runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3459398-1307138946/watcher-3459398-1307138946 -o /tmp/evaluation-result-3459398-1307138946/solver-3459398-1307138946 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459398-1307138946.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.00 2.03 2.03 2/590 28754
/proc/meminfo: memFree=31741180/32950928 swapFree=43925852/67111528
[pid=28754] ppid=28752 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/28754/stat : 28754 (java) S 28752 28754 24211 0 -1 4202496 10170 0 1 0 0 1 0 0 25 0 2 0 825493412 13850947584 9872 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/28754/statm: 3381579 9887 917 9 0 3372735 0
[pid=28754/tid=28755] ppid=28752 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28755/stat : 28755 (java) R 28752 28754 24211 0 -1 4202560 9406 0 1 0 0 0 0 0 25 0 2 0 825493412 13850947584 10221 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.031442 s]
/proc/loadavg: 2.00 2.03 2.03 2/590 28754
/proc/meminfo: memFree=31741180/32950928 swapFree=43925852/67111528
[pid=28754] ppid=28752 vsize=13537012 CPUtime=0.02 cores=1,3,5,7
/proc/28754/stat : 28754 (java) S 28752 28754 24211 0 -1 4202496 13229 0 1 0 1 1 0 0 25 0 10 0 825493412 13861900288 12928 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/28754/statm: 3384253 12929 1515 9 0 3375001 0
[pid=28754/tid=28755] ppid=28752 vsize=13537012 CPUtime=0.02 cores=1,3,5,7
/proc/28754/task/28755/stat : 28755 (java) R 28752 28754 24211 0 -1 4202560 12110 0 1 0 1 1 0 0 25 0 10 0 825493412 13861900288 12930 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 47021227692767 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13537012
[startup+0.10043 s]
/proc/loadavg: 2.00 2.03 2.03 2/590 28754
/proc/meminfo: memFree=31741180/32950928 swapFree=43925852/67111528
[pid=28754] ppid=28752 vsize=13622060 CPUtime=0.1 cores=1,3,5,7
/proc/28754/stat : 28754 (java) S 28752 28754 24211 0 -1 4202496 15606 0 1 0 9 1 0 0 25 0 18 0 825493412 13948989440 15258 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28754/statm: 3405515 15258 2093 9 0 3396249 0
[pid=28754/tid=28755] ppid=28752 vsize=13622060 CPUtime=0.08 cores=1,3,5,7
/proc/28754/task/28755/stat : 28755 (java) R 28752 28754 24211 0 -1 4202560 13637 0 1 0 7 1 0 0 18 0 18 0 825493412 13948989440 15259 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268272350241 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622060
[startup+0.300397 s]
/proc/loadavg: 2.00 2.03 2.03 2/590 28754
/proc/meminfo: memFree=31741180/32950928 swapFree=43925852/67111528
[pid=28754] ppid=28752 vsize=13623548 CPUtime=0.49 cores=1,3,5,7
/proc/28754/stat : 28754 (java) S 28752 28754 24211 0 -1 4202496 18717 0 1 0 48 1 0 0 25 0 18 0 825493412 13950513152 17925 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28754/statm: 3405887 17926 2202 9 0 3396621 0
[pid=28754/tid=28755] ppid=28752 vsize=13623548 CPUtime=0.28 cores=1,3,5,7
/proc/28754/task/28755/stat : 28755 (java) R 28752 28754 24211 0 -1 4202560 15570 0 1 0 27 1 0 0 18 0 18 0 825493412 13950513152 17926 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 46912505542761 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13623548
[startup+0.700323 s]
/proc/loadavg: 2.00 2.03 2.03 2/590 28754
/proc/meminfo: memFree=31741180/32950928 swapFree=43925852/67111528
[pid=28754] ppid=28752 vsize=13627732 CPUtime=1.26 cores=1,3,5,7
/proc/28754/stat : 28754 (java) S 28752 28754 24211 0 -1 4202496 21959 0 1 0 124 2 0 0 25 0 19 0 825493412 13954797568 20380 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28754/statm: 3406933 20380 2229 9 0 3397667 0
[pid=28754/tid=28755] ppid=28752 vsize=13627732 CPUtime=0.68 cores=1,3,5,7
/proc/28754/task/28755/stat : 28755 (java) R 28752 28754 24211 0 -1 4202560 17197 0 1 0 67 1 0 0 19 0 19 0 825493412 13954797568 20380 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 46912505725017 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 13627732
[startup+1.50124 s]
/proc/loadavg: 2.00 2.03 2.03 3/609 28773
/proc/meminfo: memFree=31666264/32950928 swapFree=43925852/67111528
[pid=28754] ppid=28752 vsize=13627732 CPUtime=2.15 cores=1,3,5,7
/proc/28754/stat : 28754 (java) S 28752 28754 24211 0 -1 4202496 22977 0 1 0 213 2 0 0 25 0 19 0 825493412 13954797568 21391 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28754/statm: 3406933 21391 2260 9 0 3397667 0
[pid=28754/tid=28755] ppid=28752 vsize=13627732 CPUtime=1.46 cores=1,3,5,7
/proc/28754/task/28755/stat : 28755 (java) R 28752 28754 24211 0 -1 4202560 17361 0 1 0 145 1 0 0 20 0 19 0 825493412 13954797568 21391 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 46912505692154 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28754/tid=28757] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28757/stat : 28757 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825493414 13954797568 21391 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28758] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28758/stat : 28758 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825493414 13954797568 21391 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28759] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28759/stat : 28759 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825493414 13954797568 21391 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28760] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28760/stat : 28760 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825493414 13954797568 21391 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28761] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28761/stat : 28761 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825493414 13954797568 21391 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28762] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28762/stat : 28762 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825493414 13954797568 21391 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28763] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28763/stat : 28763 (java) S 28752 28754 24211 0 -1 4202560 200 0 0 0 0 0 0 0 18 0 19 0 825493414 13954797568 21391 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28764] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28764/stat : 28764 (java) S 28752 28754 24211 0 -1 4202560 214 0 0 0 0 0 0 0 18 0 19 0 825493414 13954797568 21391 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28765] ppid=28752 vsize=13627732 CPUtime=0.01 cores=1,3,5,7
/proc/28754/task/28765/stat : 28765 (java) S 28752 28754 24211 0 -1 4202560 418 0 0 0 1 0 0 0 17 0 19 0 825493415 13954797568 21391 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284505600 0 0 0 16800975 18446604466978030720 0 0 -1 1 0 0 0
[pid=28754/tid=28766] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28766/stat : 28766 (java) S 28752 28754 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825493416 13954797568 21391 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 1 0 0 0
[pid=28754/tid=28767] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28767/stat : 28767 (java) S 28752 28754 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825493416 13954797568 21391 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 1 0 0 0
[pid=28754/tid=28768] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28768/stat : 28768 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825493418 13954797568 21391 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284512689 0 4 0 16800975 18446604466978030720 0 0 -1 1 0 0 0
[pid=28754/tid=28769] ppid=28752 vsize=13627732 CPUtime=0.35 cores=1,3,5,7
/proc/28754/task/28769/stat : 28769 (java) S 28752 28754 24211 0 -1 4202560 1603 0 0 0 35 0 0 0 18 0 19 0 825493418 13954797568 21391 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 3 0 0 0
[pid=28754/tid=28770] ppid=28752 vsize=13627732 CPUtime=0.28 cores=1,3,5,7
/proc/28754/task/28770/stat : 28770 (java) S 28752 28754 24211 0 -1 4202560 2026 0 0 0 28 0 0 0 17 0 19 0 825493418 13954797568 21391 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28771] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28771/stat : 28771 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825493418 13954797568 21391 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 1 0 0 0
[pid=28754/tid=28772] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28772/stat : 28772 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825493418 13954797568 21391 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284505600 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28773] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28773/stat : 28773 (java) S 28752 28754 24211 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825493447 13954797568 21391 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284505600 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 13627732
Solver just ended. Dumping a history of the last processes samples
[startup+1.70122 s]
/proc/loadavg: 2.00 2.03 2.03 3/609 28773
/proc/meminfo: memFree=31666264/32950928 swapFree=43925852/67111528
[pid=28754] ppid=28752 vsize=13627732 CPUtime=2.37 cores=1,3,5,7
/proc/28754/stat : 28754 (java) S 28752 28754 24211 0 -1 4202496 22981 0 1 0 235 2 0 0 25 0 19 0 825493412 13954797568 21395 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28754/statm: 3406933 21395 2260 9 0 3397667 0
[pid=28754/tid=28755] ppid=28752 vsize=13627732 CPUtime=1.66 cores=1,3,5,7
/proc/28754/task/28755/stat : 28755 (java) R 28752 28754 24211 0 -1 4202560 17361 0 1 0 165 1 0 0 21 0 19 0 825493412 13954797568 21395 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 46912505869639 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28754/tid=28757] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28757/stat : 28757 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825493414 13954797568 21395 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28758] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28758/stat : 28758 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825493414 13954797568 21395 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28759] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28759/stat : 28759 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825493414 13954797568 21395 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28760] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28760/stat : 28760 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825493414 13954797568 21395 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28761] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28761/stat : 28761 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825493414 13954797568 21395 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28762] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28762/stat : 28762 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825493414 13954797568 21395 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28763] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28763/stat : 28763 (java) S 28752 28754 24211 0 -1 4202560 200 0 0 0 0 0 0 0 18 0 19 0 825493414 13954797568 21395 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28764] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28764/stat : 28764 (java) S 28752 28754 24211 0 -1 4202560 214 0 0 0 0 0 0 0 18 0 19 0 825493414 13954797568 21395 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28765] ppid=28752 vsize=13627732 CPUtime=0.01 cores=1,3,5,7
/proc/28754/task/28765/stat : 28765 (java) S 28752 28754 24211 0 -1 4202560 418 0 0 0 1 0 0 0 17 0 19 0 825493415 13954797568 21395 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284505600 0 0 0 16800975 18446604466978030720 0 0 -1 1 0 0 0
[pid=28754/tid=28766] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28766/stat : 28766 (java) S 28752 28754 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825493416 13954797568 21395 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 1 0 0 0
[pid=28754/tid=28767] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28767/stat : 28767 (java) S 28752 28754 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825493416 13954797568 21395 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 1 0 0 0
[pid=28754/tid=28768] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28768/stat : 28768 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825493418 13954797568 21395 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284512689 0 4 0 16800975 18446604466978030720 0 0 -1 1 0 0 0
[pid=28754/tid=28769] ppid=28752 vsize=13627732 CPUtime=0.37 cores=1,3,5,7
/proc/28754/task/28769/stat : 28769 (java) S 28752 28754 24211 0 -1 4202560 1605 0 0 0 37 0 0 0 16 0 19 0 825493418 13954797568 21395 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 3 0 0 0
[pid=28754/tid=28770] ppid=28752 vsize=13627732 CPUtime=0.3 cores=1,3,5,7
/proc/28754/task/28770/stat : 28770 (java) S 28752 28754 24211 0 -1 4202560 2028 0 0 0 30 0 0 0 15 0 19 0 825493418 13954797568 21395 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28771] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28771/stat : 28771 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825493418 13954797568 21395 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 1 0 0 0
[pid=28754/tid=28772] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28772/stat : 28772 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825493418 13954797568 21395 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284505600 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28773] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28773/stat : 28773 (java) S 28752 28754 24211 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825493447 13954797568 21395 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284505600 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 13627732
[startup+1.80119 s]
/proc/loadavg: 2.00 2.03 2.03 3/609 28773
/proc/meminfo: memFree=31666264/32950928 swapFree=43925852/67111528
[pid=28754] ppid=28752 vsize=13627732 CPUtime=2.47 cores=1,3,5,7
/proc/28754/stat : 28754 (java) S 28752 28754 24211 0 -1 4202496 23324 0 1 0 245 2 0 0 25 0 19 0 825493412 13954797568 21737 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28754/statm: 3406933 21737 2260 9 0 3397667 0
[pid=28754/tid=28755] ppid=28752 vsize=13627732 CPUtime=1.75 cores=1,3,5,7
/proc/28754/task/28755/stat : 28755 (java) R 28752 28754 24211 0 -1 4202560 17363 0 1 0 174 1 0 0 21 0 19 0 825493412 13954797568 21737 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 46912505839716 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28754/tid=28757] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28757/stat : 28757 (java) S 28752 28754 24211 0 -1 4202560 155 0 0 0 0 0 0 0 15 0 19 0 825493414 13954797568 21737 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28758] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28758/stat : 28758 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825493414 13954797568 21737 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28759] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28759/stat : 28759 (java) S 28752 28754 24211 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 825493414 13954797568 21737 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28760] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28760/stat : 28760 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825493414 13954797568 21737 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28761] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28761/stat : 28761 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 825493414 13954797568 21737 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28762] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28762/stat : 28762 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825493414 13954797568 21737 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28763] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28763/stat : 28763 (java) S 28752 28754 24211 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 19 0 825493414 13954797568 21737 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28764] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28764/stat : 28764 (java) S 28752 28754 24211 0 -1 4202560 214 0 0 0 0 0 0 0 16 0 19 0 825493414 13954797568 21737 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28765] ppid=28752 vsize=13627732 CPUtime=0.02 cores=1,3,5,7
/proc/28754/task/28765/stat : 28765 (java) S 28752 28754 24211 0 -1 4202560 537 0 0 0 2 0 0 0 16 0 19 0 825493415 13954797568 21737 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284505600 0 0 0 16800975 18446604466978030720 0 0 -1 1 0 0 0
[pid=28754/tid=28766] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28766/stat : 28766 (java) S 28752 28754 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825493416 13954797568 21737 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 1 0 0 0
[pid=28754/tid=28767] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28767/stat : 28767 (java) S 28752 28754 24211 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825493416 13954797568 21737 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 1 0 0 0
[pid=28754/tid=28768] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28768/stat : 28768 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825493418 13954797568 21737 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284512689 0 4 0 16800975 18446604466978030720 0 0 -1 1 0 0 0
[pid=28754/tid=28769] ppid=28752 vsize=13627732 CPUtime=0.37 cores=1,3,5,7
/proc/28754/task/28769/stat : 28769 (java) S 28752 28754 24211 0 -1 4202560 1605 0 0 0 37 0 0 0 16 0 19 0 825493418 13954797568 21737 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 3 0 0 0
[pid=28754/tid=28770] ppid=28752 vsize=13627732 CPUtime=0.3 cores=1,3,5,7
/proc/28754/task/28770/stat : 28770 (java) S 28752 28754 24211 0 -1 4202560 2028 0 0 0 30 0 0 0 15 0 19 0 825493418 13954797568 21737 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28771] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28771/stat : 28771 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825493418 13954797568 21737 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284504985 0 4 0 16800975 18446604466978030720 0 0 -1 1 0 0 0
[pid=28754/tid=28772] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28772/stat : 28772 (java) S 28752 28754 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825493418 13954797568 21737 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284505600 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
[pid=28754/tid=28773] ppid=28752 vsize=13627732 CPUtime=0 cores=1,3,5,7
/proc/28754/task/28773/stat : 28773 (java) S 28752 28754 24211 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825493447 13954797568 21737 33554432000 1073741824 1073778376 140736521056544 18446744073709551615 268284505600 0 4 0 16800975 18446604466978030720 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 13627732
Child status: 20
Real time (s): 1.89536
CPU time (s): 2.58461
CPU user time (s): 2.55861
CPU system time (s): 0.025996
CPU usage (%): 136.365
Max. virtual memory (cumulated for all children) (KiB): 13627732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.55861
system time used= 0.025996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23399
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 296
involuntary context switches= 65
runsolver used 0.010998 second user time and 0.033994 second system time
The end