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-3454837-1307187164/watcher-3454837-1307187164 -o /tmp/evaluation-result-3454837-1307187164/solver-3454837-1307187164 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454837-1307187164.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: 3.92 3.86 3.19 3/476 27375
/proc/meminfo: memFree=20416188/32951124 swapFree=60476376/67111528
[pid=27375] ppid=27373 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/27375/stat : 27375 (java) S 27373 27375 23562 0 -1 4202496 5212 0 1 0 0 0 0 0 25 0 2 0 811132336 10694979584 4914 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/27375/statm: 2611079 4927 917 9 0 2602235 0
[pid=27375/tid=27376] ppid=27373 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27376/stat : 27376 (java) R 27373 27375 23562 0 -1 4202560 5774 0 1 0 0 0 0 0 25 0 2 0 811132337 10694979584 6590 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.058463 s]
/proc/loadavg: 3.92 3.86 3.19 3/476 27375
/proc/meminfo: memFree=20416188/32951124 swapFree=60476376/67111528
[pid=27375] ppid=27373 vsize=10469672 CPUtime=0.05 cores=1,3,5,7
/proc/27375/stat : 27375 (java) S 27373 27375 23562 0 -1 4202496 11581 0 1 0 4 1 0 0 25 0 15 0 811132336 10720944128 11278 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27375/statm: 2617675 11281 1714 9 0 2608423 0
[pid=27375/tid=27376] ppid=27373 vsize=10470700 CPUtime=0.03 cores=1,3,5,7
/proc/27375/task/27376/stat : 27376 (java) R 27373 27375 23562 0 -1 4202560 10412 0 1 0 3 0 0 0 25 0 16 0 811132337 10721996800 11282 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220816189751 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10469672
[startup+0.100457 s]
/proc/loadavg: 3.92 3.86 3.19 3/476 27375
/proc/meminfo: memFree=20416188/32951124 swapFree=60476376/67111528
[pid=27375] ppid=27373 vsize=10539900 CPUtime=0.1 cores=1,3,5,7
/proc/27375/stat : 27375 (java) S 27373 27375 23562 0 -1 4202496 13086 0 1 0 9 1 0 0 25 0 18 0 811132336 10792857600 12744 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27375/statm: 2634975 12745 2092 9 0 2625709 0
[pid=27375/tid=27376] ppid=27373 vsize=10539900 CPUtime=0.08 cores=1,3,5,7
/proc/27375/task/27376/stat : 27376 (java) R 27373 27375 23562 0 -1 4202560 11138 0 1 0 7 1 0 0 18 0 18 0 811132337 10792857600 12745 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 47653282917203 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) 10539900
[startup+0.30042 s]
/proc/loadavg: 3.92 3.86 3.19 3/476 27375
/proc/meminfo: memFree=20416188/32951124 swapFree=60476376/67111528
[pid=27375] ppid=27373 vsize=10539900 CPUtime=0.47 cores=1,3,5,7
/proc/27375/stat : 27375 (java) S 27373 27375 23562 0 -1 4202496 16050 0 1 0 46 1 0 0 25 0 18 0 811132336 10792857600 15193 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27375/statm: 2634975 15194 2199 9 0 2625709 0
[pid=27375/tid=27376] ppid=27373 vsize=10539900 CPUtime=0.28 cores=1,3,5,7
/proc/27375/task/27376/stat : 27376 (java) R 27373 27375 23562 0 -1 4202560 12967 0 1 0 27 1 0 0 18 0 18 0 811132337 10792857600 15195 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10539900
[startup+0.70031 s]
/proc/loadavg: 3.92 3.86 3.19 3/476 27375
/proc/meminfo: memFree=20416188/32951124 swapFree=60476376/67111528
[pid=27375] ppid=27373 vsize=10555120 CPUtime=1.84 cores=1,3,5,7
/proc/27375/stat : 27375 (java) S 27373 27375 23562 0 -1 4202496 36346 0 1 0 180 4 0 0 25 0 22 0 811132336 10808442880 32071 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27375/statm: 2638780 32087 2229 9 0 2629514 0
[pid=27375/tid=27376] ppid=27373 vsize=10555120 CPUtime=0.3 cores=1,3,5,7
/proc/27375/task/27376/stat : 27376 (java) S 27373 27375 23562 0 -1 4202560 13358 0 1 0 29 1 0 0 19 0 22 0 811132337 10808442880 32089 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052992 0 4 0 16800975 18446604469932976960 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 10555120
[startup+1.50117 s]
/proc/loadavg: 4.17 3.92 3.21 5/498 27397
/proc/meminfo: memFree=20227912/32951124 swapFree=60476376/67111528
[pid=27375] ppid=27373 vsize=10554020 CPUtime=4.17 cores=1,3,5,7
/proc/27375/stat : 27375 (java) S 27373 27375 23562 0 -1 4202496 76507 0 1 0 407 10 0 0 25 0 22 0 811132336 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27375/statm: 2638505 65098 2257 9 0 2629239 0
[pid=27375/tid=27376] ppid=27373 vsize=10554020 CPUtime=0.3 cores=1,3,5,7
/proc/27375/task/27376/stat : 27376 (java) S 27373 27375 23562 0 -1 4202560 13358 0 1 0 29 1 0 0 15 0 22 0 811132337 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052992 0 4 0 16800975 18446604469932976960 0 0 -1 5 0 0 0
[pid=27375/tid=27378] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27378/stat : 27378 (java) S 27373 27375 23562 0 -1 4202560 213 0 0 0 0 0 0 0 16 0 22 0 811132338 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 7 0 0 0
[pid=27375/tid=27379] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27379/stat : 27379 (java) S 27373 27375 23562 0 -1 4202560 167 0 0 0 0 0 0 0 16 0 22 0 811132338 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 7 0 0 0
[pid=27375/tid=27380] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27380/stat : 27380 (java) S 27373 27375 23562 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 22 0 811132338 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 7 0 0 0
[pid=27375/tid=27381] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27381/stat : 27381 (java) S 27373 27375 23562 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 811132338 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 7 0 0 0
[pid=27375/tid=27382] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27382/stat : 27382 (java) S 27373 27375 23562 0 -1 4202560 264 0 0 0 0 0 0 0 15 0 22 0 811132338 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 3 0 0 0
[pid=27375/tid=27383] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27383/stat : 27383 (java) S 27373 27375 23562 0 -1 4202560 85 0 0 0 0 0 0 0 16 0 22 0 811132338 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 3 0 0 0
[pid=27375/tid=27384] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27384/stat : 27384 (java) S 27373 27375 23562 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 22 0 811132338 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 1 0 0 0
[pid=27375/tid=27385] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27385/stat : 27385 (java) S 27373 27375 23562 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 22 0 811132338 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 7 0 0 0
[pid=27375/tid=27386] ppid=27373 vsize=10554020 CPUtime=0.05 cores=1,3,5,7
/proc/27375/task/27386/stat : 27386 (java) S 27373 27375 23562 0 -1 4202560 1275 0 0 0 5 0 0 0 16 0 22 0 811132339 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052992 0 0 0 16800975 18446604469932976960 0 0 -1 5 0 0 0
[pid=27375/tid=27387] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27387/stat : 27387 (java) S 27373 27375 23562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811132340 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 1 0 0 0
[pid=27375/tid=27388] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27388/stat : 27388 (java) S 27373 27375 23562 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811132340 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 1 0 0 0
[pid=27375/tid=27389] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27389/stat : 27389 (java) S 27373 27375 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811132342 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828060081 0 4 0 16800975 18446604469932976960 0 0 -1 1 0 0 0
[pid=27375/tid=27390] ppid=27373 vsize=10554020 CPUtime=0.82 cores=1,3,5,7
/proc/27375/task/27390/stat : 27390 (java) S 27373 27375 23562 0 -1 4202560 7495 0 0 0 81 1 0 0 22 0 22 0 811132342 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 3 0 0 0
[pid=27375/tid=27391] ppid=27373 vsize=10554020 CPUtime=0.82 cores=1,3,5,7
/proc/27375/task/27391/stat : 27391 (java) S 27373 27375 23562 0 -1 4202560 10713 0 0 0 81 1 0 0 15 0 22 0 811132342 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 1 0 0 0
[pid=27375/tid=27392] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27392/stat : 27392 (java) S 27373 27375 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811132342 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 1 0 0 0
[pid=27375/tid=27393] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27393/stat : 27393 (java) S 27373 27375 23562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811132342 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052992 0 4 0 16800975 18446604469932976960 0 0 -1 5 0 0 0
[pid=27375/tid=27394] ppid=27373 vsize=10554020 CPUtime=1.09 cores=1,3,5,7
/proc/27375/task/27394/stat : 27394 (java) R 27373 27375 23562 0 -1 4202560 352 0 0 0 109 0 0 0 20 0 22 0 811132368 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 46912505635391 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27375/tid=27395] ppid=27373 vsize=10554020 CPUtime=1.02 cores=1,3,5,7
/proc/27375/task/27395/stat : 27395 (java) R 27373 27375 23562 0 -1 4202560 41024 0 0 0 96 6 0 0 18 0 22 0 811132368 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 46912505831672 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=27375/tid=27396] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27396/stat : 27396 (java) S 27373 27375 23562 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 811132369 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052992 0 4 0 16800975 18446604469932976960 0 0 -1 5 0 0 0
[pid=27375/tid=27397] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27397/stat : 27397 (java) S 27373 27375 23562 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811132369 10807316480 65098 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052992 0 4 0 16800975 18446604469932976960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 10554020
Solver just ended. Dumping a history of the last processes samples
[startup+1.60118 s]
/proc/loadavg: 4.17 3.92 3.21 5/498 27397
/proc/meminfo: memFree=20227912/32951124 swapFree=60476376/67111528
[pid=27375] ppid=27373 vsize=10554020 CPUtime=4.3 cores=1,3,5,7
/proc/27375/stat : 27375 (java) S 27373 27375 23562 0 -1 4202496 76508 0 1 0 420 10 0 0 25 0 19 0 811132336 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27375/statm: 2638505 65099 2258 9 0 2629239 0
[pid=27375/tid=27376] ppid=27373 vsize=10554020 CPUtime=0.3 cores=1,3,5,7
/proc/27375/task/27376/stat : 27376 (java) S 27373 27375 23562 0 -1 4202560 13358 0 1 0 29 1 0 0 15 0 19 0 811132337 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052992 0 4 0 16800975 18446604469932976960 0 0 -1 5 0 0 0
[pid=27375/tid=27378] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27378/stat : 27378 (java) S 27373 27375 23562 0 -1 4202560 213 0 0 0 0 0 0 0 16 0 19 0 811132338 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 7 0 0 0
[pid=27375/tid=27379] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27379/stat : 27379 (java) S 27373 27375 23562 0 -1 4202560 167 0 0 0 0 0 0 0 16 0 19 0 811132338 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 7 0 0 0
[pid=27375/tid=27380] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27380/stat : 27380 (java) S 27373 27375 23562 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 19 0 811132338 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 7 0 0 0
[pid=27375/tid=27381] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27381/stat : 27381 (java) S 27373 27375 23562 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 811132338 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 7 0 0 0
[pid=27375/tid=27382] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27382/stat : 27382 (java) S 27373 27375 23562 0 -1 4202560 264 0 0 0 0 0 0 0 15 0 19 0 811132338 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 3 0 0 0
[pid=27375/tid=27383] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27383/stat : 27383 (java) S 27373 27375 23562 0 -1 4202560 85 0 0 0 0 0 0 0 16 0 19 0 811132338 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 3 0 0 0
[pid=27375/tid=27384] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27384/stat : 27384 (java) S 27373 27375 23562 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 19 0 811132338 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 1 0 0 0
[pid=27375/tid=27385] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27385/stat : 27385 (java) S 27373 27375 23562 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 811132338 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 7 0 0 0
[pid=27375/tid=27386] ppid=27373 vsize=10554020 CPUtime=0.05 cores=1,3,5,7
/proc/27375/task/27386/stat : 27386 (java) S 27373 27375 23562 0 -1 4202560 1275 0 0 0 5 0 0 0 16 0 19 0 811132339 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052992 0 0 0 16800975 18446604469932976960 0 0 -1 5 0 0 0
[pid=27375/tid=27387] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27387/stat : 27387 (java) S 27373 27375 23562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 811132340 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 1 0 0 0
[pid=27375/tid=27388] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27388/stat : 27388 (java) S 27373 27375 23562 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 811132340 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 1 0 0 0
[pid=27375/tid=27389] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27389/stat : 27389 (java) S 27373 27375 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811132342 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828060081 0 4 0 16800975 18446604469932976960 0 0 -1 1 0 0 0
[pid=27375/tid=27390] ppid=27373 vsize=10554020 CPUtime=0.82 cores=1,3,5,7
/proc/27375/task/27390/stat : 27390 (java) S 27373 27375 23562 0 -1 4202560 7495 0 0 0 81 1 0 0 22 0 19 0 811132342 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 3 0 0 0
[pid=27375/tid=27391] ppid=27373 vsize=10554020 CPUtime=0.82 cores=1,3,5,7
/proc/27375/task/27391/stat : 27391 (java) S 27373 27375 23562 0 -1 4202560 10713 0 0 0 81 1 0 0 15 0 19 0 811132342 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 1 0 0 0
[pid=27375/tid=27392] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27392/stat : 27392 (java) S 27373 27375 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811132342 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 1 0 0 0
[pid=27375/tid=27393] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27393/stat : 27393 (java) S 27373 27375 23562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811132342 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052992 0 4 0 16800975 18446604469932976960 0 0 -1 5 0 0 0
[pid=27375/tid=27397] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27397/stat : 27397 (java) S 27373 27375 23562 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 811132369 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052992 0 4 0 16800975 18446604469932976960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 10554020
[startup+1.80116 s]
/proc/loadavg: 4.17 3.92 3.21 5/498 27397
/proc/meminfo: memFree=20227912/32951124 swapFree=60476376/67111528
[pid=27375] ppid=27373 vsize=10554020 CPUtime=4.3 cores=1,3,5,7
/proc/27375/stat : 27375 (java) S 27373 27375 23562 0 -1 4202496 76508 0 1 0 420 10 0 0 25 0 19 0 811132336 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27375/statm: 2638505 65099 2258 9 0 2629239 0
[pid=27375/tid=27376] ppid=27373 vsize=10554020 CPUtime=0.3 cores=1,3,5,7
/proc/27375/task/27376/stat : 27376 (java) S 27373 27375 23562 0 -1 4202560 13358 0 1 0 29 1 0 0 15 0 19 0 811132337 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052992 0 4 0 16800975 18446604469932976960 0 0 -1 5 0 0 0
[pid=27375/tid=27378] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27378/stat : 27378 (java) S 27373 27375 23562 0 -1 4202560 213 0 0 0 0 0 0 0 16 0 19 0 811132338 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 7 0 0 0
[pid=27375/tid=27379] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27379/stat : 27379 (java) S 27373 27375 23562 0 -1 4202560 167 0 0 0 0 0 0 0 16 0 19 0 811132338 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 7 0 0 0
[pid=27375/tid=27380] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27380/stat : 27380 (java) S 27373 27375 23562 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 19 0 811132338 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 7 0 0 0
[pid=27375/tid=27381] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27381/stat : 27381 (java) S 27373 27375 23562 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 811132338 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 7 0 0 0
[pid=27375/tid=27382] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27382/stat : 27382 (java) S 27373 27375 23562 0 -1 4202560 264 0 0 0 0 0 0 0 15 0 19 0 811132338 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 3 0 0 0
[pid=27375/tid=27383] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27383/stat : 27383 (java) S 27373 27375 23562 0 -1 4202560 85 0 0 0 0 0 0 0 16 0 19 0 811132338 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 3 0 0 0
[pid=27375/tid=27384] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27384/stat : 27384 (java) S 27373 27375 23562 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 19 0 811132338 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 1 0 0 0
[pid=27375/tid=27385] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27385/stat : 27385 (java) S 27373 27375 23562 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 811132338 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 7 0 0 0
[pid=27375/tid=27386] ppid=27373 vsize=10554020 CPUtime=0.05 cores=1,3,5,7
/proc/27375/task/27386/stat : 27386 (java) S 27373 27375 23562 0 -1 4202560 1275 0 0 0 5 0 0 0 16 0 19 0 811132339 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052992 0 0 0 16800975 18446604469932976960 0 0 -1 5 0 0 0
[pid=27375/tid=27387] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27387/stat : 27387 (java) S 27373 27375 23562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 811132340 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 1 0 0 0
[pid=27375/tid=27388] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27388/stat : 27388 (java) S 27373 27375 23562 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 811132340 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 1 0 0 0
[pid=27375/tid=27389] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27389/stat : 27389 (java) S 27373 27375 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811132342 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828060081 0 4 0 16800975 18446604469932976960 0 0 -1 1 0 0 0
[pid=27375/tid=27390] ppid=27373 vsize=10554020 CPUtime=0.82 cores=1,3,5,7
/proc/27375/task/27390/stat : 27390 (java) S 27373 27375 23562 0 -1 4202560 7495 0 0 0 81 1 0 0 22 0 19 0 811132342 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 3 0 0 0
[pid=27375/tid=27391] ppid=27373 vsize=10554020 CPUtime=0.82 cores=1,3,5,7
/proc/27375/task/27391/stat : 27391 (java) S 27373 27375 23562 0 -1 4202560 10713 0 0 0 81 1 0 0 15 0 19 0 811132342 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 1 0 0 0
[pid=27375/tid=27392] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27392/stat : 27392 (java) S 27373 27375 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811132342 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052377 0 4 0 16800975 18446604469932976960 0 0 -1 1 0 0 0
[pid=27375/tid=27393] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27393/stat : 27393 (java) S 27373 27375 23562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811132342 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052992 0 4 0 16800975 18446604469932976960 0 0 -1 5 0 0 0
[pid=27375/tid=27397] ppid=27373 vsize=10554020 CPUtime=0 cores=1,3,5,7
/proc/27375/task/27397/stat : 27397 (java) S 27373 27375 23562 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 811132369 10807316480 65099 33554432000 1073741824 1073778376 140733483036400 18446744073709551615 220828052992 0 4 0 16800975 18446604469932976960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 10554020
Child status: 10
Real time (s): 1.84564
CPU time (s): 4.33634
CPU user time (s): 4.21636
CPU system time (s): 0.119981
CPU usage (%): 234.951
Max. virtual memory (cumulated for all children) (KiB): 10566272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.21636
system time used= 0.119981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76523
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= 404
involuntary context switches= 136
runsolver used 0.014997 second user time and 0.021996 second system time
The end