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-3455540-1307196706/watcher-3455540-1307196706 -o /tmp/evaluation-result-3455540-1307196706/solver-3455540-1307196706 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455540-1307196706.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.78 2.77 3.29 4/575 13363
/proc/meminfo: memFree=28556288/32951124 swapFree=34426104/67111528
[pid=13363] ppid=13361 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/13363/stat : 13363 (java) S 13361 13363 12781 0 -1 4202496 2246 0 1 0 0 0 0 0 25 0 2 0 909901250 10681323520 1947 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/13363/statm: 2607745 1961 906 9 0 2598901 0
[pid=13363/tid=13366] ppid=13361 vsize=10453028 CPUtime=0.01 cores=0,2,4,6
/proc/13363/task/13366/stat : 13366 (java) R 13361 13363 12781 0 -1 4202560 8771 0 1 0 0 1 0 0 25 0 10 0 909901251 10703900672 9596 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 47892942672122 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=13363/tid=13367] ppid=13361 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13367/stat : 13367 (java) R 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909901252 10703900672 9612 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=13363/tid=13368] ppid=13361 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13368/stat : 13368 (java) R 13361 13363 12781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 909901252 10703900672 9627 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=13363/tid=13369] ppid=13361 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13369/stat : 13369 (java) R 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909901252 10703900672 9634 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=13363/tid=13370] ppid=13361 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13370/stat : 13370 (java) R 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909901252 10703900672 9639 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=13363/tid=13371] ppid=13361 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13371/stat : 13371 (java) R 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909901252 10703900672 9639 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=13363/tid=13372] ppid=13361 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13372/stat : 13372 (java) R 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909901252 10703900672 9640 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=13363/tid=13373] ppid=13361 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13373/stat : 13373 (java) R 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909901252 10703900672 9645 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=13363/tid=13374] ppid=13361 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13374/stat : 13374 (java) R 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909901252 10703900672 9647 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.106163 s]
/proc/loadavg: 1.78 2.77 3.29 4/575 13363
/proc/meminfo: memFree=28556288/32951124 swapFree=34426104/67111528
[pid=13363] ppid=13361 vsize=10539360 CPUtime=0.11 cores=0,2,4,6
/proc/13363/stat : 13363 (java) S 13361 13363 12781 0 -1 4202496 13011 0 1 0 9 2 0 0 25 0 18 0 909901250 10792304640 12707 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13363/statm: 2634840 12709 2108 9 0 2625574 0
[pid=13363/tid=13366] ppid=13361 vsize=10539360 CPUtime=0.09 cores=0,2,4,6
/proc/13363/task/13366/stat : 13366 (java) R 13361 13363 12781 0 -1 4202560 11252 0 1 0 7 2 0 0 18 0 18 0 909901251 10792304640 12709 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296752587 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13363/tid=13367] ppid=13361 vsize=10539360 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13367/stat : 13367 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10792304640 12709 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 4 0 0 0
[pid=13363/tid=13368] ppid=13361 vsize=10539360 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13368/stat : 13368 (java) S 13361 13363 12781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909901252 10792304640 12709 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 4 0 0 0
[pid=13363/tid=13369] ppid=13361 vsize=10539360 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13369/stat : 13369 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10792304640 12709 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 4 0 0 0
[pid=13363/tid=13370] ppid=13361 vsize=10539360 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13370/stat : 13370 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10792304640 12709 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 6 0 0 0
[pid=13363/tid=13371] ppid=13361 vsize=10539360 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13371/stat : 13371 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10792304640 12710 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 6 0 0 0
[pid=13363/tid=13372] ppid=13361 vsize=10539360 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13372/stat : 13372 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10792304640 12710 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 6 0 0 0
[pid=13363/tid=13373] ppid=13361 vsize=10539360 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13373/stat : 13373 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10792304640 12710 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 6 0 0 0
[pid=13363/tid=13374] ppid=13361 vsize=10539360 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13374/stat : 13374 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10792304640 12710 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539360
[startup+0.202853 s]
/proc/loadavg: 1.78 2.77 3.29 4/575 13363
/proc/meminfo: memFree=28556288/32951124 swapFree=34426104/67111528
[pid=13363] ppid=13361 vsize=10540296 CPUtime=0.31 cores=0,2,4,6
/proc/13363/stat : 13363 (java) S 13361 13363 12781 0 -1 4202496 14482 0 1 0 29 2 0 0 25 0 18 0 909901250 10793263104 13967 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13363/statm: 2635074 13967 2190 9 0 2625808 0
[pid=13363/tid=13366] ppid=13361 vsize=10540296 CPUtime=0.19 cores=0,2,4,6
/proc/13363/task/13366/stat : 13366 (java) R 13361 13363 12781 0 -1 4202560 12060 0 1 0 17 2 0 0 18 0 18 0 909901251 10793263104 13967 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 47892942658356 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13363/tid=13367] ppid=13361 vsize=10540296 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13367/stat : 13367 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10793263104 13967 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 4 0 0 0
[pid=13363/tid=13368] ppid=13361 vsize=10540296 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13368/stat : 13368 (java) S 13361 13363 12781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909901252 10793263104 13968 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 4 0 0 0
[pid=13363/tid=13369] ppid=13361 vsize=10540296 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13369/stat : 13369 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10793263104 13968 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 4 0 0 0
[pid=13363/tid=13370] ppid=13361 vsize=10540296 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13370/stat : 13370 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10793263104 13968 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 6 0 0 0
[pid=13363/tid=13371] ppid=13361 vsize=10540296 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13371/stat : 13371 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10793263104 13968 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 6 0 0 0
[pid=13363/tid=13372] ppid=13361 vsize=10540296 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13372/stat : 13372 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10793263104 13969 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 6 0 0 0
[pid=13363/tid=13373] ppid=13361 vsize=10540296 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13373/stat : 13373 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10793263104 13969 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 6 0 0 0
[pid=13363/tid=13374] ppid=13361 vsize=10540296 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13374/stat : 13374 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10793263104 13969 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 10540296
[startup+0.301129 s]
/proc/loadavg: 1.78 2.77 3.29 4/575 13363
/proc/meminfo: memFree=28556288/32951124 swapFree=34426104/67111528
[pid=13363] ppid=13361 vsize=10541476 CPUtime=0.51 cores=0,2,4,6
/proc/13363/stat : 13363 (java) S 13361 13363 12781 0 -1 4202496 16526 0 1 0 48 3 0 0 25 0 18 0 909901250 10794471424 15752 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13363/statm: 2635369 15752 2202 9 0 2626103 0
[pid=13363/tid=13366] ppid=13361 vsize=10541476 CPUtime=0.28 cores=0,2,4,6
/proc/13363/task/13366/stat : 13366 (java) R 13361 13363 12781 0 -1 4202560 13396 0 1 0 26 2 0 0 18 0 18 0 909901251 10794471424 15753 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13363/tid=13367] ppid=13361 vsize=10541476 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13367/stat : 13367 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10794471424 15754 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 4 0 0 0
[pid=13363/tid=13368] ppid=13361 vsize=10541476 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13368/stat : 13368 (java) S 13361 13363 12781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909901252 10794471424 15754 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 4 0 0 0
[pid=13363/tid=13369] ppid=13361 vsize=10541476 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13369/stat : 13369 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10794471424 15755 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 4 0 0 0
[pid=13363/tid=13370] ppid=13361 vsize=10541476 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13370/stat : 13370 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10794471424 15756 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 6 0 0 0
[pid=13363/tid=13371] ppid=13361 vsize=10541476 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13371/stat : 13371 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10794471424 15756 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 6 0 0 0
[pid=13363/tid=13372] ppid=13361 vsize=10541476 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13372/stat : 13372 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10794471424 15757 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 6 0 0 0
[pid=13363/tid=13373] ppid=13361 vsize=10541476 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13373/stat : 13373 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10794471424 15758 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 6 0 0 0
[pid=13363/tid=13374] ppid=13361 vsize=10541476 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13374/stat : 13374 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10794471424 15758 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10541476
Solver just ended. Dumping a history of the last processes samples
[startup+0.40106 s]
/proc/loadavg: 1.78 2.77 3.29 4/575 13363
/proc/meminfo: memFree=28556288/32951124 swapFree=34426104/67111528
[pid=13363] ppid=13361 vsize=10545752 CPUtime=0.79 cores=0,2,4,6
/proc/13363/stat : 13363 (java) S 13361 13363 12781 0 -1 4202496 23737 0 1 0 75 4 0 0 25 0 18 0 909901250 10798850048 21546 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13363/statm: 2636438 21548 2220 9 0 2627172 0
[pid=13363/tid=13366] ppid=13361 vsize=10545752 CPUtime=0.38 cores=0,2,4,6
/proc/13363/task/13366/stat : 13366 (java) R 13361 13363 12781 0 -1 4202560 16980 0 1 0 36 2 0 0 18 0 18 0 909901251 10798850048 21548 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 46912505635945 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13363/tid=13367] ppid=13361 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13367/stat : 13367 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10798850048 21549 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 4 0 0 0
[pid=13363/tid=13368] ppid=13361 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13368/stat : 13368 (java) S 13361 13363 12781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909901252 10798850048 21550 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 4 0 0 0
[pid=13363/tid=13369] ppid=13361 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13369/stat : 13369 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10798850048 21551 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 4 0 0 0
[pid=13363/tid=13370] ppid=13361 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13370/stat : 13370 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10798850048 21552 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 6 0 0 0
[pid=13363/tid=13371] ppid=13361 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13371/stat : 13371 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10798850048 21553 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 6 0 0 0
[pid=13363/tid=13372] ppid=13361 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13372/stat : 13372 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10798850048 21554 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 6 0 0 0
[pid=13363/tid=13373] ppid=13361 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13373/stat : 13373 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10798850048 21555 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 6 0 0 0
[pid=13363/tid=13374] ppid=13361 vsize=10545752 CPUtime=0 cores=0,2,4,6
/proc/13363/task/13374/stat : 13374 (java) S 13361 13363 12781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909901252 10798850048 21556 33554432000 1073741824 1073778376 140735319702352 18446744073709551615 224296741785 0 4 0 16800975 18446604449361906624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 10545752
Child status: 20
Real time (s): 0.493542
CPU time (s): 1.03084
CPU user time (s): 0.969852
CPU system time (s): 0.06099
CPU usage (%): 208.866
Max. virtual memory (cumulated for all children) (KiB): 10545752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.969852
system time used= 0.06099
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30301
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= 224
involuntary context switches= 48
runsolver used 0.004999 second user time and 0.016997 second system time
The end