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-3711265-1338165608/watcher-3711265-1338165608 -o /tmp/evaluation-result-3711265-1338165608/solver-3711265-1338165608 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711265-1338165608.opb
running on 4 cores: 1,3,5,7
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: 2.05 2.02 2.00 3/195 983
/proc/meminfo: memFree=31159468/32873844 swapFree=7624/7624
[pid=983] ppid=981 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/983/stat : 983 (java) R 981 983 31312 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 282686380 23793664 239 33554432000 1073741824 1073778376 140734354539408 140734354528472 214360439347 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/983/statm: 5809 252 197 9 0 128 0
[pid=983/tid=984] ppid=981 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/983/task/984/stat : 984 (java) R 981 983 31312 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 2 0 282686381 24780800 870 33554432000 1073741824 1073778376 140734354539408 140734354528472 140065435168512 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0256869 s]
/proc/loadavg: 2.05 2.02 2.00 3/195 983
/proc/meminfo: memFree=31159468/32873844 swapFree=7624/7624
[pid=983] ppid=981 vsize=9092432 CPUtime=0.01 cores=1,3,5,7
/proc/983/stat : 983 (java) S 981 983 31312 0 -1 4202496 2857 0 1 0 1 0 0 0 20 0 11 0 282686380 9310650368 3556 33554432000 1073741824 1073778376 140734354539408 140734354530544 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/983/statm: 2273108 3556 1590 9 0 2263809 0
[pid=983/tid=984] ppid=981 vsize=9092432 CPUtime=0 cores=1,3,5,7
/proc/983/task/984/stat : 984 (java) R 981 983 31312 0 -1 4202560 1698 0 1 0 0 0 0 0 20 0 11 0 282686381 9310650368 3556 33554432000 1073741824 1073778376 140734354539408 140065428581128 214369966128 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432
[startup+0.100413 s]
/proc/loadavg: 2.05 2.02 2.00 3/195 983
/proc/meminfo: memFree=31159468/32873844 swapFree=7624/7624
[pid=983] ppid=981 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/983/stat : 983 (java) S 981 983 31312 0 -1 4202496 4256 0 1 0 9 1 0 0 20 0 18 0 282686380 9787842560 5974 33554432000 1073741824 1073778376 140734354539408 140734354530544 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/983/statm: 2389610 5974 2116 9 0 2380296 0
[pid=983/tid=984] ppid=981 vsize=9558440 CPUtime=0.07 cores=1,3,5,7
/proc/983/task/984/stat : 984 (java) R 981 983 31312 0 -1 4202560 2407 0 1 0 7 0 0 0 20 0 18 0 282686381 9787842560 5974 33554432000 1073741824 1073778376 140734354539408 140065428578152 214373033229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300257 s]
/proc/loadavg: 2.05 2.02 2.00 3/195 983
/proc/meminfo: memFree=31159468/32873844 swapFree=7624/7624
[pid=983] ppid=981 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/983/stat : 983 (java) S 981 983 31312 0 -1 4202496 6670 0 1 0 52 1 0 0 20 0 19 0 282686380 9856004096 7917 33554432000 1073741824 1073778376 140734354539408 140734354530544 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/983/statm: 2406251 7917 2215 9 0 2396937 0
[pid=983/tid=984] ppid=981 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/983/task/984/stat : 984 (java) R 981 983 31312 0 -1 4202560 2495 0 1 0 26 1 0 0 20 0 19 0 282686381 9856004096 7917 33554432000 1073741824 1073778376 140734354539408 140065428579088 140065276071248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9625004
[startup+0.700208 s]
/proc/loadavg: 2.05 2.02 2.00 3/195 983
/proc/meminfo: memFree=31159468/32873844 swapFree=7624/7624
[pid=983] ppid=981 vsize=9625004 CPUtime=1.22 cores=1,3,5,7
/proc/983/stat : 983 (java) S 981 983 31312 0 -1 4202496 9782 0 1 0 120 2 0 0 20 0 19 0 282686380 9856004096 11418 33554432000 1073741824 1073778376 140734354539408 140734354530544 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/983/statm: 2406251 11418 2264 9 0 2396937 0
[pid=983/tid=984] ppid=981 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/983/task/984/stat : 984 (java) R 981 983 31312 0 -1 4202560 2507 0 1 0 65 1 0 0 20 0 19 0 282686381 9856004096 11418 33554432000 1073741824 1073778376 140734354539408 140065428578728 140065276199412 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 9625004
Solver just ended. Dumping a history of the last processes samples
[startup+1.10735 s]
/proc/loadavg: 2.05 2.02 2.00 3/214 1002
/proc/meminfo: memFree=31118444/32873844 swapFree=7624/7624
[pid=983] ppid=981 vsize=9625004 CPUtime=1.67 cores=1,3,5,7
/proc/983/stat : 983 (java) S 981 983 31312 0 -1 4202496 10067 0 1 0 165 2 0 0 20 0 19 0 282686380 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140734354530544 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/983/statm: 2406251 12295 2265 9 0 2396937 0
[pid=983/tid=984] ppid=981 vsize=9625004 CPUtime=1.04 cores=1,3,5,7
/proc/983/task/984/stat : 984 (java) R 981 983 31312 0 -1 4202560 2508 0 1 0 103 1 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065428578728 140065276068126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=983/tid=986] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/986/stat : 986 (java) S 981 983 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065401030824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=983/tid=987] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/987/stat : 987 (java) S 981 983 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065399978280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=983/tid=988] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/988/stat : 988 (java) S 981 983 31312 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065398925736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=983/tid=989] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/989/stat : 989 (java) S 981 983 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065397873192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=983/tid=990] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/990/stat : 990 (java) S 981 983 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065396820648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=983/tid=991] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/991/stat : 991 (java) S 981 983 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065395768104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=983/tid=992] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/992/stat : 992 (java) S 981 983 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065394715560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=983/tid=993] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/993/stat : 993 (java) S 981 983 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065264675880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=983/tid=994] ppid=981 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/983/task/994/stat : 994 (java) S 981 983 31312 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 282686382 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064781727848 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=983/tid=995] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/995/stat : 995 (java) S 981 983 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282686383 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064780674168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=983/tid=996] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/996/stat : 996 (java) S 981 983 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282686383 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064779621512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=983/tid=997] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/997/stat : 997 (java) S 981 983 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686385 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064778570256 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=983/tid=998] ppid=981 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/983/task/998/stat : 998 (java) S 981 983 31312 0 -1 4202560 4376 0 0 0 36 0 0 0 20 0 19 0 282686385 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064777517624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=983/tid=999] ppid=981 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/983/task/999/stat : 999 (java) R 981 983 31312 0 -1 4202560 1930 0 0 0 18 0 0 0 20 0 19 0 282686386 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064776464208 140065432696176 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=983/tid=1000] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/1000/stat : 1000 (java) S 981 983 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686386 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064775412728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=983/tid=1001] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/1001/stat : 1001 (java) S 981 983 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686386 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064774360392 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=983/tid=1002] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/1002/stat : 1002 (java) S 981 983 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282686396 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064773305128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 9625004
[startup+1.3007 s]
/proc/loadavg: 2.05 2.02 2.00 3/214 1002
/proc/meminfo: memFree=31118444/32873844 swapFree=7624/7624
[pid=983] ppid=981 vsize=9625004 CPUtime=1.87 cores=1,3,5,7
/proc/983/stat : 983 (java) S 981 983 31312 0 -1 4202496 10067 0 1 0 185 2 0 0 20 0 19 0 282686380 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140734354530544 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/983/statm: 2406251 12295 2265 9 0 2396937 0
[pid=983/tid=984] ppid=981 vsize=9625004 CPUtime=1.23 cores=1,3,5,7
/proc/983/task/984/stat : 984 (java) R 981 983 31312 0 -1 4202560 2508 0 1 0 122 1 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065428578728 140065276118851 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=983/tid=986] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/986/stat : 986 (java) S 981 983 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065401030824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=983/tid=987] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/987/stat : 987 (java) S 981 983 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065399978280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=983/tid=988] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/988/stat : 988 (java) S 981 983 31312 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065398925736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=983/tid=989] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/989/stat : 989 (java) S 981 983 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065397873192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=983/tid=990] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/990/stat : 990 (java) S 981 983 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065396820648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=983/tid=991] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/991/stat : 991 (java) S 981 983 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065395768104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=983/tid=992] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/992/stat : 992 (java) S 981 983 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065394715560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=983/tid=993] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/993/stat : 993 (java) S 981 983 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065264675880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=983/tid=994] ppid=981 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/983/task/994/stat : 994 (java) S 981 983 31312 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 282686382 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064781727848 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=983/tid=995] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/995/stat : 995 (java) S 981 983 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282686383 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064780674168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=983/tid=996] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/996/stat : 996 (java) S 981 983 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282686383 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064779621512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=983/tid=997] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/997/stat : 997 (java) S 981 983 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686385 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064778570256 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=983/tid=998] ppid=981 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/983/task/998/stat : 998 (java) S 981 983 31312 0 -1 4202560 4376 0 0 0 36 0 0 0 20 0 19 0 282686385 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064777517624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=983/tid=999] ppid=981 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/983/task/999/stat : 999 (java) S 981 983 31312 0 -1 4202560 1930 0 0 0 19 0 0 0 20 0 19 0 282686386 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064776465080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=983/tid=1000] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/1000/stat : 1000 (java) S 981 983 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686386 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064775412728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=983/tid=1001] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/1001/stat : 1001 (java) S 981 983 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686386 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064774360392 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=983/tid=1002] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/1002/stat : 1002 (java) S 981 983 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282686396 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064773305128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 9625004
[startup+1.40066 s]
/proc/loadavg: 2.05 2.02 2.00 3/214 1002
/proc/meminfo: memFree=31118444/32873844 swapFree=7624/7624
[pid=983] ppid=981 vsize=9625004 CPUtime=1.97 cores=1,3,5,7
/proc/983/stat : 983 (java) S 981 983 31312 0 -1 4202496 10067 0 1 0 195 2 0 0 20 0 19 0 282686380 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140734354530544 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/983/statm: 2406251 12295 2265 9 0 2396937 0
[pid=983/tid=984] ppid=981 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/983/task/984/stat : 984 (java) R 981 983 31312 0 -1 4202560 2508 0 1 0 132 1 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065428578728 140065276106203 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=983/tid=986] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/986/stat : 986 (java) S 981 983 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065401030824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=983/tid=987] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/987/stat : 987 (java) S 981 983 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065399978280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=983/tid=988] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/988/stat : 988 (java) S 981 983 31312 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065398925736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=983/tid=989] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/989/stat : 989 (java) S 981 983 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065397873192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=983/tid=990] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/990/stat : 990 (java) S 981 983 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065396820648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=983/tid=991] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/991/stat : 991 (java) S 981 983 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065395768104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=983/tid=992] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/992/stat : 992 (java) S 981 983 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065394715560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=983/tid=993] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/993/stat : 993 (java) S 981 983 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282686381 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140065264675880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=983/tid=994] ppid=981 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/983/task/994/stat : 994 (java) S 981 983 31312 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 282686382 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064781727848 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=983/tid=995] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/995/stat : 995 (java) S 981 983 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282686383 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064780674168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=983/tid=996] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/996/stat : 996 (java) S 981 983 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282686383 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064779621512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=983/tid=997] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/997/stat : 997 (java) S 981 983 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686385 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064778570256 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=983/tid=998] ppid=981 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/983/task/998/stat : 998 (java) S 981 983 31312 0 -1 4202560 4376 0 0 0 36 0 0 0 20 0 19 0 282686385 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064777517624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=983/tid=999] ppid=981 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/983/task/999/stat : 999 (java) S 981 983 31312 0 -1 4202560 1930 0 0 0 19 0 0 0 20 0 19 0 282686386 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064776465080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=983/tid=1000] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/1000/stat : 1000 (java) S 981 983 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686386 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064775412728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=983/tid=1001] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/1001/stat : 1001 (java) S 981 983 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282686386 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064774360392 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=983/tid=1002] ppid=981 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/983/task/1002/stat : 1002 (java) S 981 983 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282686396 9856004096 12295 33554432000 1073741824 1073778376 140734354539408 140064773305128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 9625004
Child status: 1
Real time (s): 1.4531
CPU time (s): 2.04469
CPU user time (s): 1.9917
CPU system time (s): 0.052991
CPU usage (%): 140.713
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.9917
system time used= 0.052991
maximum resident set size= 49616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10249
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 342
involuntary context switches= 56
runsolver used 0.000999 second user time and 0.015997 second system time
The end