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-3453991-1307194772/watcher-3453991-1307194772 -o /tmp/evaluation-result-3453991-1307194772/solver-3453991-1307194772 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453991-1307194772.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: 2.62 2.80 3.34 4/509 23579
/proc/meminfo: memFree=20558656/32951124 swapFree=46575304/67111528
[pid=23579] ppid=23577 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/23579/stat : 23579 (java) S 23577 23579 17058 0 -1 4202496 2170 0 1 0 0 0 0 0 25 0 2 0 563668486 10681323520 1873 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/23579/statm: 2607745 1885 906 9 0 2598901 0
[pid=23579/tid=23580] ppid=23577 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23580/stat : 23580 (java) R 23577 23579 17058 0 -1 4202560 5222 0 1 0 0 0 0 0 25 0 2 0 563668487 10694979584 6037 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.06129 s]
/proc/loadavg: 2.62 2.80 3.34 4/509 23579
/proc/meminfo: memFree=20558656/32951124 swapFree=46575304/67111528
[pid=23579] ppid=23577 vsize=10472756 CPUtime=0.04 cores=0,2,4,6
/proc/23579/stat : 23579 (java) S 23577 23579 17058 0 -1 4202496 11600 0 1 0 3 1 0 0 25 0 17 0 563668486 10724102144 11297 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23579/statm: 2618189 11297 1721 9 0 2608937 0
[pid=23579/tid=23580] ppid=23577 vsize=10472756 CPUtime=0.04 cores=0,2,4,6
/proc/23579/task/23580/stat : 23580 (java) D 23577 23579 17058 0 -1 4202560 10426 0 1 0 3 1 0 0 25 0 17 0 563668487 10724102144 11297 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268660705370 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10472756
[startup+0.100284 s]
/proc/loadavg: 2.62 2.80 3.34 4/509 23579
/proc/meminfo: memFree=20558656/32951124 swapFree=46575304/67111528
[pid=23579] ppid=23577 vsize=10540000 CPUtime=0.1 cores=0,2,4,6
/proc/23579/stat : 23579 (java) S 23577 23579 17058 0 -1 4202496 13030 0 1 0 8 2 0 0 25 0 18 0 563668486 10792960000 12693 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23579/statm: 2635000 12693 2093 9 0 2625734 0
[pid=23579/tid=23580] ppid=23577 vsize=10540000 CPUtime=0.07 cores=0,2,4,6
/proc/23579/task/23580/stat : 23580 (java) R 23577 23579 17058 0 -1 4202560 11084 0 1 0 6 1 0 0 18 0 18 0 563668487 10792960000 12693 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 46912496202641 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540000
[startup+0.300277 s]
/proc/loadavg: 2.62 2.80 3.34 4/509 23579
/proc/meminfo: memFree=20558656/32951124 swapFree=46575304/67111528
[pid=23579] ppid=23577 vsize=10544264 CPUtime=0.16 cores=0,2,4,6
/proc/23579/stat : 23579 (java) S 23577 23579 17058 0 -1 4202496 13624 0 1 0 14 2 0 0 25 0 19 0 563668486 10797326336 13258 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23579/statm: 2636066 13258 2141 9 0 2626800 0
[pid=23579/tid=23580] ppid=23577 vsize=10544264 CPUtime=0.11 cores=0,2,4,6
/proc/23579/task/23580/stat : 23580 (java) S 23577 23579 17058 0 -1 4202560 11524 0 1 0 10 1 0 0 19 0 19 0 563668487 10797326336 13258 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478720 0 4 0 16800975 18446604453963334720 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 10544264
[startup+0.70121 s]
/proc/loadavg: 2.62 2.80 3.34 4/509 23579
/proc/meminfo: memFree=20558656/32951124 swapFree=46575304/67111528
[pid=23579] ppid=23577 vsize=10544264 CPUtime=0.16 cores=0,2,4,6
/proc/23579/stat : 23579 (java) S 23577 23579 17058 0 -1 4202496 13691 0 1 0 14 2 0 0 25 0 20 0 563668486 10797326336 13325 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23579/statm: 2636066 13325 2141 9 0 2626800 0
[pid=23579/tid=23580] ppid=23577 vsize=10544264 CPUtime=0.11 cores=0,2,4,6
/proc/23579/task/23580/stat : 23580 (java) S 23577 23579 17058 0 -1 4202560 11532 0 1 0 10 1 0 0 16 0 20 0 563668487 10797326336 13325 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478720 0 4 0 16800975 18446604453963334720 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 10544264
[startup+1.50107 s]
/proc/loadavg: 2.62 2.80 3.34 3/529 23604
/proc/meminfo: memFree=20512808/32951124 swapFree=46575304/67111528
[pid=23579] ppid=23577 vsize=10544264 CPUtime=0.17 cores=0,2,4,6
/proc/23579/stat : 23579 (java) S 23577 23579 17058 0 -1 4202496 13709 0 1 0 15 2 0 0 25 0 20 0 563668486 10797326336 13343 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23579/statm: 2636066 13343 2141 9 0 2626800 0
[pid=23579/tid=23580] ppid=23577 vsize=10544264 CPUtime=0.11 cores=0,2,4,6
/proc/23579/task/23580/stat : 23580 (java) S 23577 23579 17058 0 -1 4202560 11533 0 1 0 10 1 0 0 16 0 20 0 563668487 10797326336 13343 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478720 0 4 0 16800975 18446604453963334720 0 0 -1 6 0 0 0
[pid=23579/tid=23582] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23582/stat : 23582 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563668488 10797326336 13343 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 0 0 0 0
[pid=23579/tid=23583] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23583/stat : 23583 (java) S 23577 23579 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 563668488 10797326336 13343 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 4 0 0 0
[pid=23579/tid=23584] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23584/stat : 23584 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563668488 10797326336 13343 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 0 0 0 0
[pid=23579/tid=23585] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23585/stat : 23585 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563668488 10797326336 13343 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 4 0 0 0
[pid=23579/tid=23586] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23586/stat : 23586 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563668488 10797326336 13343 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 4 0 0 0
[pid=23579/tid=23587] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23587/stat : 23587 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563668488 10797326336 13343 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 6 0 0 0
[pid=23579/tid=23588] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23588/stat : 23588 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563668488 10797326336 13343 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 0 0 0 0
[pid=23579/tid=23589] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23589/stat : 23589 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563668488 10797326336 13343 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 0 0 0 0
[pid=23579/tid=23590] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23590/stat : 23590 (java) S 23577 23579 17058 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 563668489 10797326336 13343 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478720 0 0 0 16800975 18446604453963334720 0 0 -1 2 0 0 0
[pid=23579/tid=23591] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23591/stat : 23591 (java) S 23577 23579 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 563668490 10797326336 13343 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 2 0 0 0
[pid=23579/tid=23592] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23592/stat : 23592 (java) S 23577 23579 17058 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 20 0 563668490 10797326336 13343 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 6 0 0 0
[pid=23579/tid=23593] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23593/stat : 23593 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563668492 10797326336 13343 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672485809 0 4 0 16800975 18446604453963334720 0 0 -1 2 0 0 0
[pid=23579/tid=23594] ppid=23577 vsize=10544264 CPUtime=0.02 cores=0,2,4,6
/proc/23579/task/23594/stat : 23594 (java) S 23577 23579 17058 0 -1 4202560 453 0 0 0 2 0 0 0 15 0 20 0 563668492 10797326336 13343 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 6 0 0 0
[pid=23579/tid=23595] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23595/stat : 23595 (java) S 23577 23579 17058 0 -1 4202560 437 0 0 0 0 0 0 0 25 0 20 0 563668492 10797326336 13343 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 0 0 0 0
[pid=23579/tid=23596] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23596/stat : 23596 (java) S 23577 23579 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 563668492 10797326336 13343 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 6 0 0 0
[pid=23579/tid=23597] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23597/stat : 23597 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 563668492 10797326336 13343 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478720 0 4 0 16800975 18446604453963334720 0 0 -1 4 0 0 0
[pid=23579/tid=23601] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23601/stat : 23601 (java) S 23577 23579 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 563668500 10797326336 13343 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478720 0 4 0 16800975 18446604453963334720 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10544264
Solver just ended. Dumping a history of the last processes samples
[startup+1.901 s]
/proc/loadavg: 2.62 2.80 3.34 3/529 23604
/proc/meminfo: memFree=20512808/32951124 swapFree=46575304/67111528
[pid=23579] ppid=23577 vsize=10544264 CPUtime=0.17 cores=0,2,4,6
/proc/23579/stat : 23579 (java) S 23577 23579 17058 0 -1 4202496 13727 0 1 0 15 2 0 0 25 0 19 0 563668486 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23579/statm: 2636066 13361 2141 9 0 2626800 0
[pid=23579/tid=23580] ppid=23577 vsize=10544264 CPUtime=0.11 cores=0,2,4,6
/proc/23579/task/23580/stat : 23580 (java) S 23577 23579 17058 0 -1 4202560 11535 0 1 0 10 1 0 0 16 0 19 0 563668487 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478720 0 4 0 16800975 18446604453963334720 0 0 -1 0 0 0 0
[pid=23579/tid=23582] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23582/stat : 23582 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668488 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 0 0 0 0
[pid=23579/tid=23583] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23583/stat : 23583 (java) S 23577 23579 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 563668488 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 4 0 0 0
[pid=23579/tid=23584] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23584/stat : 23584 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668488 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 0 0 0 0
[pid=23579/tid=23585] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23585/stat : 23585 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668488 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 4 0 0 0
[pid=23579/tid=23586] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23586/stat : 23586 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668488 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 4 0 0 0
[pid=23579/tid=23587] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23587/stat : 23587 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668488 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 6 0 0 0
[pid=23579/tid=23588] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23588/stat : 23588 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668488 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 0 0 0 0
[pid=23579/tid=23589] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23589/stat : 23589 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668488 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 0 0 0 0
[pid=23579/tid=23590] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23590/stat : 23590 (java) S 23577 23579 17058 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 563668489 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478720 0 0 0 16800975 18446604453963334720 0 0 -1 2 0 0 0
[pid=23579/tid=23591] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23591/stat : 23591 (java) S 23577 23579 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 563668490 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 2 0 0 0
[pid=23579/tid=23592] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23592/stat : 23592 (java) S 23577 23579 17058 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 563668490 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 6 0 0 0
[pid=23579/tid=23593] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23593/stat : 23593 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668492 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672485809 0 4 0 16800975 18446604453963334720 0 0 -1 2 0 0 0
[pid=23579/tid=23594] ppid=23577 vsize=10544264 CPUtime=0.02 cores=0,2,4,6
/proc/23579/task/23594/stat : 23594 (java) S 23577 23579 17058 0 -1 4202560 453 0 0 0 2 0 0 0 15 0 19 0 563668492 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 6 0 0 0
[pid=23579/tid=23595] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23595/stat : 23595 (java) S 23577 23579 17058 0 -1 4202560 437 0 0 0 0 0 0 0 25 0 19 0 563668492 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 0 0 0 0
[pid=23579/tid=23596] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23596/stat : 23596 (java) S 23577 23579 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 563668492 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 6 0 0 0
[pid=23579/tid=23597] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23597/stat : 23597 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 563668492 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478720 0 4 0 16800975 18446604453963334720 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10544264
[startup+2.10093 s]
/proc/loadavg: 2.49 2.77 3.33 3/528 23613
/proc/meminfo: memFree=20511452/32951124 swapFree=46575304/67111528
[pid=23579] ppid=23577 vsize=10544264 CPUtime=0.17 cores=0,2,4,6
/proc/23579/stat : 23579 (java) S 23577 23579 17058 0 -1 4202496 13727 0 1 0 15 2 0 0 25 0 19 0 563668486 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23579/statm: 2636066 13361 2141 9 0 2626800 0
[pid=23579/tid=23580] ppid=23577 vsize=10544264 CPUtime=0.11 cores=0,2,4,6
/proc/23579/task/23580/stat : 23580 (java) S 23577 23579 17058 0 -1 4202560 11535 0 1 0 10 1 0 0 16 0 19 0 563668487 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478720 0 4 0 16800975 18446604453963334720 0 0 -1 0 0 0 0
[pid=23579/tid=23582] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23582/stat : 23582 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668488 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 0 0 0 0
[pid=23579/tid=23583] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23583/stat : 23583 (java) S 23577 23579 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 563668488 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 4 0 0 0
[pid=23579/tid=23584] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23584/stat : 23584 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668488 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 0 0 0 0
[pid=23579/tid=23585] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23585/stat : 23585 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668488 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 4 0 0 0
[pid=23579/tid=23586] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23586/stat : 23586 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668488 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 4 0 0 0
[pid=23579/tid=23587] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23587/stat : 23587 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668488 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 6 0 0 0
[pid=23579/tid=23588] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23588/stat : 23588 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668488 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 0 0 0 0
[pid=23579/tid=23589] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23589/stat : 23589 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668488 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 0 0 0 0
[pid=23579/tid=23590] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23590/stat : 23590 (java) S 23577 23579 17058 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 563668489 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478720 0 0 0 16800975 18446604453963334720 0 0 -1 2 0 0 0
[pid=23579/tid=23591] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23591/stat : 23591 (java) S 23577 23579 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 563668490 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 2 0 0 0
[pid=23579/tid=23592] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23592/stat : 23592 (java) S 23577 23579 17058 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 563668490 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 6 0 0 0
[pid=23579/tid=23593] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23593/stat : 23593 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 563668492 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672485809 0 4 0 16800975 18446604453963334720 0 0 -1 2 0 0 0
[pid=23579/tid=23594] ppid=23577 vsize=10544264 CPUtime=0.02 cores=0,2,4,6
/proc/23579/task/23594/stat : 23594 (java) S 23577 23579 17058 0 -1 4202560 453 0 0 0 2 0 0 0 15 0 19 0 563668492 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 6 0 0 0
[pid=23579/tid=23595] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23595/stat : 23595 (java) S 23577 23579 17058 0 -1 4202560 437 0 0 0 0 0 0 0 25 0 19 0 563668492 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 0 0 0 0
[pid=23579/tid=23596] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23596/stat : 23596 (java) S 23577 23579 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 563668492 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478105 0 4 0 16800975 18446604453963334720 0 0 -1 6 0 0 0
[pid=23579/tid=23597] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23597/stat : 23597 (java) S 23577 23579 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 563668492 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478720 0 4 0 16800975 18446604453963334720 0 0 -1 4 0 0 0
[pid=23579/tid=23607] ppid=23577 vsize=10544264 CPUtime=0 cores=0,2,4,6
/proc/23579/task/23607/stat : 23607 (java) S 23577 23579 17058 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 563668601 10797326336 13361 33554432000 1073741824 1073778376 140736043196688 18446744073709551615 268672478720 0 4 0 16800975 18446604453963334720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10544264
Child status: 30
Real time (s): 2.15548
CPU time (s): 0.179972
CPU user time (s): 0.153976
CPU system time (s): 0.025996
CPU usage (%): 8.34951
Max. virtual memory (cumulated for all children) (KiB): 10544264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.153976
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= 13738
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= 194
involuntary context switches= 24
runsolver used 0.014997 second user time and 0.037994 second system time
The end