runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3743888-1338788907/watcher-3743888-1338788907 -o /tmp/evaluation-result-3743888-1338788907/solver-3743888-1338788907 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3743888-1338788907.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.96 2.65 3.32 3/175 2746
/proc/meminfo: memFree=27178976/32873844 swapFree=7112/7112
[pid=2746] ppid=2744 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/2746/stat : 2746 (java) R 2744 2746 31826 0 -1 4202496 284 0 0 0 0 0 0 0 20 0 1 0 345016276 278528 33 33554432000 1073741824 1073778376 140737418197792 140736127858360 273579863335 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2746/statm: 68 34 26 9 0 25 0
[startup+0.0134671 s]
/proc/loadavg: 1.96 2.65 3.32 3/175 2746
/proc/meminfo: memFree=27178976/32873844 swapFree=7112/7112
[pid=2746] ppid=2744 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/2746/stat : 2746 (java) S 2744 2746 31826 0 -1 4202496 1274 0 0 0 0 0 0 0 20 0 2 0 345016276 98570240 976 33554432000 1073741824 1073778376 140737418197792 140737418188928 273592385597 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2746/statm: 24065 976 742 9 0 16771 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96260
[startup+0.100242 s]
/proc/loadavg: 1.96 2.65 3.32 3/175 2746
/proc/meminfo: memFree=27178976/32873844 swapFree=7112/7112
[pid=2746] ppid=2744 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/2746/stat : 2746 (java) S 2744 2746 31826 0 -1 4202496 3614 0 3 0 6 0 0 0 20 0 18 0 345016276 3028844544 5846 33554432000 1073741824 1073778376 140737418197792 140737418188928 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2746/statm: 739464 5846 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856
[startup+0.300243 s]
/proc/loadavg: 1.96 2.65 3.32 3/175 2746
/proc/meminfo: memFree=27178976/32873844 swapFree=7112/7112
[pid=2746] ppid=2744 vsize=2957856 CPUtime=0.44 cores=0,2,4,6
/proc/2746/stat : 2746 (java) S 2744 2746 31826 0 -1 4202496 5501 0 3 0 42 2 0 0 20 0 18 0 345016276 3028844544 20427 33554432000 1073741824 1073778376 140737418197792 140737418188928 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2746/statm: 739464 20427 2233 9 0 729885 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 2957856
[startup+0.700175 s]
/proc/loadavg: 1.96 2.65 3.32 3/175 2746
/proc/meminfo: memFree=27178976/32873844 swapFree=7112/7112
[pid=2746] ppid=2744 vsize=2957856 CPUtime=1.47 cores=0,2,4,6
/proc/2746/stat : 2746 (java) S 2744 2746 31826 0 -1 4202496 12760 0 3 0 143 4 0 0 20 0 18 0 345016276 3028844544 46276 33554432000 1073741824 1073778376 140737418197792 140737418188928 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2746/statm: 739464 46276 2253 9 0 729885 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 2957856
[startup+1.50065 s]
/proc/loadavg: 1.96 2.65 3.32 3/193 2764
/proc/meminfo: memFree=26810040/32873844 swapFree=7112/7112
[pid=2746] ppid=2744 vsize=2957856 CPUtime=2.69 cores=0,2,4,6
/proc/2746/stat : 2746 (java) S 2744 2746 31826 0 -1 4202496 13078 0 3 0 255 14 0 0 20 0 18 0 345016276 3028844544 136950 33554432000 1073741824 1073778376 140737418197792 140737418188928 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2746/statm: 739464 136950 2277 9 0 729885 0
[pid=2746/tid=2748] ppid=2744 vsize=2957856 CPUtime=1.35 cores=0,2,4,6
/proc/2746/task/2748/stat : 2748 (java) R 2744 2746 31826 0 -1 4202560 2739 0 3 0 129 6 0 0 20 0 18 0 345016277 3028844544 136950 33554432000 1073741824 1073778376 140737418197792 140580224360168 140580068286234 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2746/tid=2749] ppid=2744 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/2746/task/2749/stat : 2749 (java) S 2744 2746 31826 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 18 0 345016279 3028844544 136950 33554432000 1073741824 1073778376 140737418197792 140580207786792 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2750] ppid=2744 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/2746/task/2750/stat : 2750 (java) S 2744 2746 31826 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 18 0 345016279 3028844544 136950 33554432000 1073741824 1073778376 140737418197792 140580206733992 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2751] ppid=2744 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/2746/task/2751/stat : 2751 (java) S 2744 2746 31826 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 18 0 345016279 3028844544 136950 33554432000 1073741824 1073778376 140737418197792 140580205681704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2752] ppid=2744 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/2746/task/2752/stat : 2752 (java) S 2744 2746 31826 0 -1 4202560 45 0 0 0 6 2 0 0 20 0 18 0 345016279 3028844544 136950 33554432000 1073741824 1073778376 140737418197792 140580204628904 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2753] ppid=2744 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/2746/task/2753/stat : 2753 (java) S 2744 2746 31826 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 18 0 345016279 3028844544 136950 33554432000 1073741824 1073778376 140737418197792 140580203575592 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2754] ppid=2744 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/2746/task/2754/stat : 2754 (java) S 2744 2746 31826 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 18 0 345016279 3028844544 136950 33554432000 1073741824 1073778376 140737418197792 140580202522792 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2755] ppid=2744 vsize=2957856 CPUtime=0.04 cores=0,2,4,6
/proc/2746/task/2755/stat : 2755 (java) S 2744 2746 31826 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 18 0 345016279 3028844544 136950 33554432000 1073741824 1073778376 140737418197792 140580201470504 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2756] ppid=2744 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/2746/task/2756/stat : 2756 (java) S 2744 2746 31826 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 345016279 3028844544 136950 33554432000 1073741824 1073778376 140737418197792 140580200417704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2757] ppid=2744 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2757/stat : 2757 (java) S 2744 2746 31826 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345016280 3028844544 136950 33554432000 1073741824 1073778376 140737418197792 140580188007144 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2758] ppid=2744 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2758/stat : 2758 (java) S 2744 2746 31826 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345016280 3028844544 136950 33554432000 1073741824 1073778376 140737418197792 140580186953208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2759] ppid=2744 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2759/stat : 2759 (java) S 2744 2746 31826 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345016280 3028844544 136950 33554432000 1073741824 1073778376 140737418197792 140580067731208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2760] ppid=2744 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2760/stat : 2760 (java) S 2744 2746 31826 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345016283 3028844544 136950 33554432000 1073741824 1073778376 140737418197792 140580066679696 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2761] ppid=2744 vsize=2957856 CPUtime=0.44 cores=0,2,4,6
/proc/2746/task/2761/stat : 2761 (java) S 2744 2746 31826 0 -1 4202560 5023 0 0 0 44 0 0 0 20 0 18 0 345016283 3028844544 136950 33554432000 1073741824 1073778376 140737418197792 140580065626296 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2762] ppid=2744 vsize=2957856 CPUtime=0.46 cores=0,2,4,6
/proc/2746/task/2762/stat : 2762 (java) S 2744 2746 31826 0 -1 4202560 3960 0 0 0 46 0 0 0 20 0 18 0 345016283 3028844544 136950 33554432000 1073741824 1073778376 140737418197792 140580064573496 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2763] ppid=2744 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2763/stat : 2763 (java) S 2744 2746 31826 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345016283 3028844544 136950 33554432000 1073741824 1073778376 140737418197792 140580063521400 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2764] ppid=2744 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2764/stat : 2764 (java) S 2744 2746 31826 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345016283 3028844544 136950 33554432000 1073741824 1073778376 140737418197792 140580062468808 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 2957856
[startup+3.10063 s]
/proc/loadavg: 1.96 2.65 3.32 3/191 2764
/proc/meminfo: memFree=26556436/32873844 swapFree=7112/7112
[pid=2746] ppid=2744 vsize=2957856 CPUtime=4.99 cores=0,2,4,6
/proc/2746/stat : 2746 (java) S 2744 2746 31826 0 -1 4202496 13421 0 3 0 468 31 0 0 20 0 18 0 345016276 3028844544 177451 33554432000 1073741824 1073778376 140737418197792 140737418188928 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2746/statm: 739464 177451 2277 9 0 729885 0
[pid=2746/tid=2748] ppid=2744 vsize=2957856 CPUtime=2.7 cores=0,2,4,6
/proc/2746/task/2748/stat : 2748 (java) S 2744 2746 31826 0 -1 4202560 2741 0 3 0 264 6 0 0 20 0 18 0 345016277 3028844544 177451 33554432000 1073741824 1073778376 140737418197792 140580224359752 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2749] ppid=2744 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/2746/task/2749/stat : 2749 (java) R 2744 2746 31826 0 -1 4202560 50 0 0 0 8 2 0 0 20 0 18 0 345016279 3028844544 177451 33554432000 1073741824 1073778376 140737418197792 140580207786968 140580228522821 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2746/tid=2750] ppid=2744 vsize=2957856 CPUtime=0.14 cores=0,2,4,6
/proc/2746/task/2750/stat : 2750 (java) R 2744 2746 31826 0 -1 4202560 60 0 0 0 11 3 0 0 20 0 18 0 345016279 3028844544 177451 33554432000 1073741824 1073778376 140737418197792 140580206734168 140580226832057 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2751] ppid=2744 vsize=2957856 CPUtime=0.16 cores=0,2,4,6
/proc/2746/task/2751/stat : 2751 (java) R 2744 2746 31826 0 -1 4202560 61 0 0 0 13 3 0 0 20 0 18 0 345016279 3028844544 177451 33554432000 1073741824 1073778376 140737418197792 140580205681880 140580231257222 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2752] ppid=2744 vsize=2957856 CPUtime=0.24 cores=0,2,4,6
/proc/2746/task/2752/stat : 2752 (java) R 2744 2746 31826 0 -1 4202560 104 0 0 0 20 4 0 0 20 0 18 0 345016279 3028844544 177451 33554432000 1073741824 1073778376 140737418197792 140580204629080 140580231257004 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2753] ppid=2744 vsize=2957856 CPUtime=0.14 cores=0,2,4,6
/proc/2746/task/2753/stat : 2753 (java) R 2744 2746 31826 0 -1 4202560 64 0 0 0 11 3 0 0 20 0 18 0 345016279 3028844544 177451 33554432000 1073741824 1073778376 140737418197792 140580203575472 140580228117644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2754] ppid=2744 vsize=2957856 CPUtime=0.12 cores=0,2,4,6
/proc/2746/task/2754/stat : 2754 (java) R 2744 2746 31826 0 -1 4202560 52 0 0 0 10 2 0 0 20 0 18 0 345016279 3028844544 177451 33554432000 1073741824 1073778376 140737418197792 140580202522968 140580231257621 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2746/tid=2755] ppid=2744 vsize=2957856 CPUtime=0.15 cores=0,2,4,6
/proc/2746/task/2755/stat : 2755 (java) R 2744 2746 31826 0 -1 4202560 62 0 0 0 13 2 0 0 20 0 18 0 345016279 3028844544 177451 33554432000 1073741824 1073778376 140737418197792 140580201470680 140580226832057 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2756] ppid=2744 vsize=2957856 CPUtime=0.17 cores=0,2,4,6
/proc/2746/task/2756/stat : 2756 (java) R 2744 2746 31826 0 -1 4202560 61 0 0 0 14 3 0 0 20 0 18 0 345016279 3028844544 177451 33554432000 1073741824 1073778376 140737418197792 140580200417880 140580228536495 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2757] ppid=2744 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2757/stat : 2757 (java) S 2744 2746 31826 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345016280 3028844544 177451 33554432000 1073741824 1073778376 140737418197792 140580188006024 273592398908 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2758] ppid=2744 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2758/stat : 2758 (java) S 2744 2746 31826 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345016280 3028844544 177451 33554432000 1073741824 1073778376 140737418197792 140580186953208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2759] ppid=2744 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2759/stat : 2759 (java) S 2744 2746 31826 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345016280 3028844544 177451 33554432000 1073741824 1073778376 140737418197792 140580067731208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2760] ppid=2744 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2760/stat : 2760 (java) S 2744 2746 31826 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345016283 3028844544 177451 33554432000 1073741824 1073778376 140737418197792 140580066679696 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2761] ppid=2744 vsize=2957856 CPUtime=0.44 cores=0,2,4,6
/proc/2746/task/2761/stat : 2761 (java) S 2744 2746 31826 0 -1 4202560 5023 0 0 0 44 0 0 0 20 0 18 0 345016283 3028844544 177451 33554432000 1073741824 1073778376 140737418197792 140580065626296 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2762] ppid=2744 vsize=2957856 CPUtime=0.46 cores=0,2,4,6
/proc/2746/task/2762/stat : 2762 (java) S 2744 2746 31826 0 -1 4202560 3960 0 0 0 46 0 0 0 20 0 18 0 345016283 3028844544 177451 33554432000 1073741824 1073778376 140737418197792 140580064573496 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2763] ppid=2744 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2763/stat : 2763 (java) S 2744 2746 31826 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345016283 3028844544 177451 33554432000 1073741824 1073778376 140737418197792 140580063521400 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2764] ppid=2744 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2764/stat : 2764 (java) S 2744 2746 31826 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345016283 3028844544 177451 33554432000 1073741824 1073778376 140737418197792 140580062468808 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 2957856
[startup+6.30063 s]
/proc/loadavg: 2.60 2.77 3.36 3/213 2791
/proc/meminfo: memFree=25432676/32873844 swapFree=7112/7112
[pid=2746] ppid=2744 vsize=2957856 CPUtime=10.81 cores=0,2,4,6
/proc/2746/stat : 2746 (java) S 2744 2746 31826 0 -1 4202496 15011 0 3 0 1012 69 0 0 20 0 18 0 345016276 3028844544 265029 33554432000 1073741824 1073778376 140737418197792 140737418188928 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2746/statm: 739464 265029 2277 9 0 729885 0
[pid=2746/tid=2748] ppid=2744 vsize=2957856 CPUtime=5.01 cores=0,2,4,6
/proc/2746/task/2748/stat : 2748 (java) S 2744 2746 31826 0 -1 4202560 2745 0 3 0 494 7 0 0 20 0 18 0 345016277 3028844544 265029 33554432000 1073741824 1073778376 140737418197792 140580224359656 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2749] ppid=2744 vsize=2957856 CPUtime=0.54 cores=0,2,4,6
/proc/2746/task/2749/stat : 2749 (java) R 2744 2746 31826 0 -1 4202560 153 0 0 0 46 8 0 0 20 0 18 0 345016279 3028844544 265029 33554432000 1073741824 1073778376 140737418197792 140580207786968 140580228522752 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2750] ppid=2744 vsize=2957856 CPUtime=0.5 cores=0,2,4,6
/proc/2746/task/2750/stat : 2750 (java) R 2744 2746 31826 0 -1 4202560 149 0 0 0 43 7 0 0 20 0 18 0 345016279 3028844544 265029 33554432000 1073741824 1073778376 140737418197792 140580206734168 140580226920342 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2751] ppid=2744 vsize=2957856 CPUtime=0.57 cores=0,2,4,6
/proc/2746/task/2751/stat : 2751 (java) R 2744 2746 31826 0 -1 4202560 379 0 0 0 51 6 0 0 20 0 18 0 345016279 3028844544 265029 33554432000 1073741824 1073778376 140737418197792 140580205681880 140580228522648 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2752] ppid=2744 vsize=2957856 CPUtime=0.78 cores=0,2,4,6
/proc/2746/task/2752/stat : 2752 (java) R 2744 2746 31826 0 -1 4202560 330 0 0 0 67 11 0 0 20 0 18 0 345016279 3028844544 265029 33554432000 1073741824 1073778376 140737418197792 140580204629080 140580228536495 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2753] ppid=2744 vsize=2957856 CPUtime=0.56 cores=0,2,4,6
/proc/2746/task/2753/stat : 2753 (java) R 2744 2746 31826 0 -1 4202560 151 0 0 0 49 7 0 0 20 0 18 0 345016279 3028844544 265029 33554432000 1073741824 1073778376 140737418197792 140580203575768 140580228536495 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2754] ppid=2744 vsize=2957856 CPUtime=0.62 cores=0,2,4,6
/proc/2746/task/2754/stat : 2754 (java) R 2744 2746 31826 0 -1 4202560 167 0 0 0 54 8 0 0 20 0 18 0 345016279 3028844544 265029 33554432000 1073741824 1073778376 140737418197792 140580202522816 140580230869376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2755] ppid=2744 vsize=2957856 CPUtime=0.56 cores=0,2,4,6
/proc/2746/task/2755/stat : 2755 (java) R 2744 2746 31826 0 -1 4202560 379 0 0 0 50 6 0 0 20 0 18 0 345016279 3028844544 265029 33554432000 1073741824 1073778376 140737418197792 140580201470384 140580226920381 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2746/tid=2756] ppid=2744 vsize=2957856 CPUtime=0.6 cores=0,2,4,6
/proc/2746/task/2756/stat : 2756 (java) R 2744 2746 31826 0 -1 4202560 392 0 0 0 52 8 0 0 20 0 18 0 345016279 3028844544 265029 33554432000 1073741824 1073778376 140737418197792 140580200417880 140580228522781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2757] ppid=2744 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2757/stat : 2757 (java) S 2744 2746 31826 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345016280 3028844544 265029 33554432000 1073741824 1073778376 140737418197792 140580188006024 273592398908 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2758] ppid=2744 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2758/stat : 2758 (java) S 2744 2746 31826 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345016280 3028844544 265029 33554432000 1073741824 1073778376 140737418197792 140580186953208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2759] ppid=2744 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2759/stat : 2759 (java) S 2744 2746 31826 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345016280 3028844544 265029 33554432000 1073741824 1073778376 140737418197792 140580067731208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2760] ppid=2744 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2760/stat : 2760 (java) S 2744 2746 31826 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345016283 3028844544 265029 33554432000 1073741824 1073778376 140737418197792 140580066679696 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2761] ppid=2744 vsize=2957856 CPUtime=0.44 cores=0,2,4,6
/proc/2746/task/2761/stat : 2761 (java) S 2744 2746 31826 0 -1 4202560 5023 0 0 0 44 0 0 0 20 0 18 0 345016283 3028844544 265029 33554432000 1073741824 1073778376 140737418197792 140580065626296 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2762] ppid=2744 vsize=2957856 CPUtime=0.46 cores=0,2,4,6
/proc/2746/task/2762/stat : 2762 (java) S 2744 2746 31826 0 -1 4202560 3960 0 0 0 46 0 0 0 20 0 18 0 345016283 3028844544 265029 33554432000 1073741824 1073778376 140737418197792 140580064573496 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2763] ppid=2744 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2763/stat : 2763 (java) S 2744 2746 31826 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345016283 3028844544 265029 33554432000 1073741824 1073778376 140737418197792 140580063521400 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2764] ppid=2744 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2764/stat : 2764 (java) S 2744 2746 31826 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345016283 3028844544 265029 33554432000 1073741824 1073778376 140737418197792 140580062468808 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.81
Current children cumulated vsize (KiB) 2957856
[startup+12.7007 s]
/proc/loadavg: 3.27 2.91 3.40 6/213 2791
/proc/meminfo: memFree=24563160/32873844 swapFree=7112/7112
[pid=2746] ppid=2744 vsize=2957856 CPUtime=21.09 cores=0,2,4,6
/proc/2746/stat : 2746 (java) S 2744 2746 31826 0 -1 4202496 17206 0 3 0 2010 99 0 0 20 0 18 0 345016276 3028844544 338106 33554432000 1073741824 1073778376 140737418197792 140737418188928 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2746/statm: 739464 338106 2277 9 0 729885 0
[pid=2746/tid=2748] ppid=2744 vsize=2957856 CPUtime=10.02 cores=0,2,4,6
################
# More data... #
################
[pid=2746/tid=2759] ppid=2744 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2759/stat : 2759 (java) S 2744 2746 31826 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345016280 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580067731208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2760] ppid=2744 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2760/stat : 2760 (java) S 2744 2746 31826 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345016283 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580066679696 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2761] ppid=2744 vsize=3024420 CPUtime=0.83 cores=0,2,4,6
/proc/2746/task/2761/stat : 2761 (java) S 2744 2746 31826 0 -1 4202560 5072 0 0 0 83 0 0 0 20 0 19 0 345016283 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580065626296 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2746/tid=2762] ppid=2744 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/2746/task/2762/stat : 2762 (java) S 2744 2746 31826 0 -1 4202560 3962 0 0 0 72 0 0 0 20 0 19 0 345016283 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580064573496 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2763] ppid=2744 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2763/stat : 2763 (java) S 2744 2746 31826 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345016283 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580063521400 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2764] ppid=2744 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/2746/task/2764/stat : 2764 (java) S 2744 2746 31826 0 -1 4202560 96 0 0 0 35 32 0 0 20 0 19 0 345016283 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580062468808 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2792] ppid=2744 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2792/stat : 2792 (java) S 2744 2746 31826 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345017866 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580060337576 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1691.2 s]
/proc/loadavg: 2.00 2.01 2.27 3/214 2830
/proc/meminfo: memFree=23688632/32873844 swapFree=7112/7112
[pid=2746] ppid=2744 vsize=3024420 CPUtime=1800.24 cores=0,2,4,6
/proc/2746/stat : 2746 (java) S 2744 2746 31826 0 -1 4202496 1022559 0 3 0 179655 369 0 0 20 0 19 0 345016276 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140737418188928 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2746/statm: 756105 430293 2310 9 0 746526 0
[pid=2746/tid=2748] ppid=2744 vsize=3024420 CPUtime=1227.07 cores=0,2,4,6
/proc/2746/task/2748/stat : 2748 (java) S 2744 2746 31826 0 -1 4202560 3361 0 3 0 122678 29 0 0 20 0 19 0 345016277 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580224359752 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2749] ppid=2744 vsize=3024420 CPUtime=18.77 cores=0,2,4,6
/proc/2746/task/2749/stat : 2749 (java) S 2744 2746 31826 0 -1 4202560 716 0 0 0 1859 18 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580207786792 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2750] ppid=2744 vsize=3024420 CPUtime=17.46 cores=0,2,4,6
/proc/2746/task/2750/stat : 2750 (java) S 2744 2746 31826 0 -1 4202560 694 0 0 0 1729 17 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580206733992 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2751] ppid=2744 vsize=3024420 CPUtime=18.13 cores=0,2,4,6
/proc/2746/task/2751/stat : 2751 (java) S 2744 2746 31826 0 -1 4202560 669 0 0 0 1794 19 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580205681704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2752] ppid=2744 vsize=3024420 CPUtime=18.18 cores=0,2,4,6
/proc/2746/task/2752/stat : 2752 (java) S 2744 2746 31826 0 -1 4202560 809 0 0 0 1798 20 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580204628904 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2753] ppid=2744 vsize=3024420 CPUtime=18.61 cores=0,2,4,6
/proc/2746/task/2753/stat : 2753 (java) S 2744 2746 31826 0 -1 4202560 645 0 0 0 1843 18 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580203575592 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2754] ppid=2744 vsize=3024420 CPUtime=17.34 cores=0,2,4,6
/proc/2746/task/2754/stat : 2754 (java) S 2744 2746 31826 0 -1 4202560 712 0 0 0 1715 19 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580202522792 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2755] ppid=2744 vsize=3024420 CPUtime=18.58 cores=0,2,4,6
/proc/2746/task/2755/stat : 2755 (java) S 2744 2746 31826 0 -1 4202560 698 0 0 0 1841 17 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580201470504 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2756] ppid=2744 vsize=3024420 CPUtime=17.6 cores=0,2,4,6
/proc/2746/task/2756/stat : 2756 (java) S 2744 2746 31826 0 -1 4202560 959 0 0 0 1741 19 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580200417704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2757] ppid=2744 vsize=3024420 CPUtime=422 cores=0,2,4,6
/proc/2746/task/2757/stat : 2757 (java) R 2744 2746 31826 0 -1 4202560 1002985 0 0 0 42016 184 0 0 20 0 19 0 345016280 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580188007304 140580231215156 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2758] ppid=2744 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2758/stat : 2758 (java) S 2744 2746 31826 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345016280 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580186953208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2759] ppid=2744 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2759/stat : 2759 (java) S 2744 2746 31826 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345016280 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580067731208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2760] ppid=2744 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2760/stat : 2760 (java) S 2744 2746 31826 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 345016283 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580066679240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2761] ppid=2744 vsize=3024420 CPUtime=0.83 cores=0,2,4,6
/proc/2746/task/2761/stat : 2761 (java) S 2744 2746 31826 0 -1 4202560 5072 0 0 0 83 0 0 0 20 0 19 0 345016283 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580065626296 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2746/tid=2762] ppid=2744 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/2746/task/2762/stat : 2762 (java) S 2744 2746 31826 0 -1 4202560 3962 0 0 0 72 0 0 0 20 0 19 0 345016283 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580064573496 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2763] ppid=2744 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2763/stat : 2763 (java) S 2744 2746 31826 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345016283 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580063521400 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2764] ppid=2744 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/2746/task/2764/stat : 2764 (java) S 2744 2746 31826 0 -1 4202560 96 0 0 0 35 32 0 0 20 0 19 0 345016283 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580062468808 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2792] ppid=2744 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2792/stat : 2792 (java) S 2744 2746 31826 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345017866 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580060337576 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 3024420
[startup+1692 s]
/proc/loadavg: 2.00 2.01 2.27 3/215 2831
/proc/meminfo: memFree=23688632/32873844 swapFree=7112/7112
[pid=2746] ppid=2744 vsize=3024420 CPUtime=1801.03 cores=0,2,4,6
/proc/2746/stat : 2746 (java) S 2744 2746 31826 0 -1 4202496 1022559 0 3 0 179734 369 0 0 20 0 19 0 345016276 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140737418188928 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2746/statm: 756105 430293 2310 9 0 746526 0
[pid=2746/tid=2748] ppid=2744 vsize=3024420 CPUtime=1227.07 cores=0,2,4,6
/proc/2746/task/2748/stat : 2748 (java) S 2744 2746 31826 0 -1 4202560 3361 0 3 0 122678 29 0 0 20 0 19 0 345016277 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580224359752 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2749] ppid=2744 vsize=3024420 CPUtime=18.77 cores=0,2,4,6
/proc/2746/task/2749/stat : 2749 (java) S 2744 2746 31826 0 -1 4202560 716 0 0 0 1859 18 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580207786792 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2750] ppid=2744 vsize=3024420 CPUtime=17.46 cores=0,2,4,6
/proc/2746/task/2750/stat : 2750 (java) S 2744 2746 31826 0 -1 4202560 694 0 0 0 1729 17 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580206733992 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2751] ppid=2744 vsize=3024420 CPUtime=18.13 cores=0,2,4,6
/proc/2746/task/2751/stat : 2751 (java) S 2744 2746 31826 0 -1 4202560 669 0 0 0 1794 19 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580205681704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2752] ppid=2744 vsize=3024420 CPUtime=18.18 cores=0,2,4,6
/proc/2746/task/2752/stat : 2752 (java) S 2744 2746 31826 0 -1 4202560 809 0 0 0 1798 20 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580204628904 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2753] ppid=2744 vsize=3024420 CPUtime=18.61 cores=0,2,4,6
/proc/2746/task/2753/stat : 2753 (java) S 2744 2746 31826 0 -1 4202560 645 0 0 0 1843 18 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580203575592 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2754] ppid=2744 vsize=3024420 CPUtime=17.34 cores=0,2,4,6
/proc/2746/task/2754/stat : 2754 (java) S 2744 2746 31826 0 -1 4202560 712 0 0 0 1715 19 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580202522792 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2755] ppid=2744 vsize=3024420 CPUtime=18.58 cores=0,2,4,6
/proc/2746/task/2755/stat : 2755 (java) S 2744 2746 31826 0 -1 4202560 698 0 0 0 1841 17 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580201470504 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2756] ppid=2744 vsize=3024420 CPUtime=17.6 cores=0,2,4,6
/proc/2746/task/2756/stat : 2756 (java) S 2744 2746 31826 0 -1 4202560 959 0 0 0 1741 19 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580200417704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2757] ppid=2744 vsize=3024420 CPUtime=422.8 cores=0,2,4,6
/proc/2746/task/2757/stat : 2757 (java) R 2744 2746 31826 0 -1 4202560 1002985 0 0 0 42096 184 0 0 20 0 19 0 345016280 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580188007304 140580231216404 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2758] ppid=2744 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2758/stat : 2758 (java) S 2744 2746 31826 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345016280 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580186953208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2759] ppid=2744 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2759/stat : 2759 (java) S 2744 2746 31826 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345016280 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580067731208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2760] ppid=2744 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2760/stat : 2760 (java) S 2744 2746 31826 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 345016283 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580066679240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2761] ppid=2744 vsize=3024420 CPUtime=0.83 cores=0,2,4,6
/proc/2746/task/2761/stat : 2761 (java) S 2744 2746 31826 0 -1 4202560 5072 0 0 0 83 0 0 0 20 0 19 0 345016283 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580065626296 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2746/tid=2762] ppid=2744 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/2746/task/2762/stat : 2762 (java) S 2744 2746 31826 0 -1 4202560 3962 0 0 0 72 0 0 0 20 0 19 0 345016283 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580064573496 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2763] ppid=2744 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2763/stat : 2763 (java) S 2744 2746 31826 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345016283 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580063521400 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2764] ppid=2744 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/2746/task/2764/stat : 2764 (java) S 2744 2746 31826 0 -1 4202560 96 0 0 0 35 32 0 0 20 0 19 0 345016283 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580062468808 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2792] ppid=2744 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2792/stat : 2792 (java) S 2744 2746 31826 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345017866 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580060337576 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 3024420
[startup+1692.2 s]
/proc/loadavg: 2.00 2.01 2.27 3/215 2831
/proc/meminfo: memFree=23688632/32873844 swapFree=7112/7112
[pid=2746] ppid=2744 vsize=3024420 CPUtime=1801.23 cores=0,2,4,6
/proc/2746/stat : 2746 (java) S 2744 2746 31826 0 -1 4202496 1022559 0 3 0 179754 369 0 0 20 0 19 0 345016276 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140737418188928 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2746/statm: 756105 430293 2310 9 0 746526 0
[pid=2746/tid=2748] ppid=2744 vsize=3024420 CPUtime=1227.07 cores=0,2,4,6
/proc/2746/task/2748/stat : 2748 (java) S 2744 2746 31826 0 -1 4202560 3361 0 3 0 122678 29 0 0 20 0 19 0 345016277 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580224359752 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2749] ppid=2744 vsize=3024420 CPUtime=18.77 cores=0,2,4,6
/proc/2746/task/2749/stat : 2749 (java) S 2744 2746 31826 0 -1 4202560 716 0 0 0 1859 18 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580207786792 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2750] ppid=2744 vsize=3024420 CPUtime=17.46 cores=0,2,4,6
/proc/2746/task/2750/stat : 2750 (java) S 2744 2746 31826 0 -1 4202560 694 0 0 0 1729 17 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580206733992 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2751] ppid=2744 vsize=3024420 CPUtime=18.13 cores=0,2,4,6
/proc/2746/task/2751/stat : 2751 (java) S 2744 2746 31826 0 -1 4202560 669 0 0 0 1794 19 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580205681704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2752] ppid=2744 vsize=3024420 CPUtime=18.18 cores=0,2,4,6
/proc/2746/task/2752/stat : 2752 (java) S 2744 2746 31826 0 -1 4202560 809 0 0 0 1798 20 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580204628904 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2753] ppid=2744 vsize=3024420 CPUtime=18.61 cores=0,2,4,6
/proc/2746/task/2753/stat : 2753 (java) S 2744 2746 31826 0 -1 4202560 645 0 0 0 1843 18 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580203575592 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2754] ppid=2744 vsize=3024420 CPUtime=17.34 cores=0,2,4,6
/proc/2746/task/2754/stat : 2754 (java) S 2744 2746 31826 0 -1 4202560 712 0 0 0 1715 19 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580202522792 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2755] ppid=2744 vsize=3024420 CPUtime=18.58 cores=0,2,4,6
/proc/2746/task/2755/stat : 2755 (java) S 2744 2746 31826 0 -1 4202560 698 0 0 0 1841 17 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580201470504 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2756] ppid=2744 vsize=3024420 CPUtime=17.6 cores=0,2,4,6
/proc/2746/task/2756/stat : 2756 (java) S 2744 2746 31826 0 -1 4202560 959 0 0 0 1741 19 0 0 20 0 19 0 345016279 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580200417704 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2757] ppid=2744 vsize=3024420 CPUtime=423 cores=0,2,4,6
/proc/2746/task/2757/stat : 2757 (java) R 2744 2746 31826 0 -1 4202560 1002985 0 0 0 42116 184 0 0 20 0 19 0 345016280 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580188007304 140580230485393 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2758] ppid=2744 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2758/stat : 2758 (java) S 2744 2746 31826 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345016280 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580186953208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2759] ppid=2744 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2759/stat : 2759 (java) S 2744 2746 31826 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345016280 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580067731208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2760] ppid=2744 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2760/stat : 2760 (java) S 2744 2746 31826 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 345016283 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580066679240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2746/tid=2761] ppid=2744 vsize=3024420 CPUtime=0.83 cores=0,2,4,6
/proc/2746/task/2761/stat : 2761 (java) S 2744 2746 31826 0 -1 4202560 5072 0 0 0 83 0 0 0 20 0 19 0 345016283 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580065626296 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2746/tid=2762] ppid=2744 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/2746/task/2762/stat : 2762 (java) S 2744 2746 31826 0 -1 4202560 3962 0 0 0 72 0 0 0 20 0 19 0 345016283 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580064573496 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2763] ppid=2744 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2763/stat : 2763 (java) S 2744 2746 31826 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345016283 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580063521400 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2746/tid=2764] ppid=2744 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/2746/task/2764/stat : 2764 (java) S 2744 2746 31826 0 -1 4202560 96 0 0 0 35 32 0 0 20 0 19 0 345016283 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580062468808 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2746/tid=2792] ppid=2744 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2746/task/2792/stat : 2792 (java) S 2744 2746 31826 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345017866 3097006080 430293 33554432000 1073741824 1073778376 140737418197792 140580060337576 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.23
Current children cumulated vsize (KiB) 3024420
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2746 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=228387
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=52383
# CPU time returned by wait4() is 1797.28
# while last known CPU time is 1801.23
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1692.3
CPU time (s): 1801.23
CPU user time (s): 1797.54
CPU system time (s): 3.69
CPU usage (%): 106.437
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.23
system time used= 4.05238
maximum resident set size= 1756360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1022588
page faults= 3
swaps= 0
block input operations= 736
block output operations= 1664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59218
involuntary context switches= 99221
runsolver used 6.05008 second user time and 14.2238 second system time
The end