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-3455255-1307191887/watcher-3455255-1307191887 -o /tmp/evaluation-result-3455255-1307191887/solver-3455255-1307191887 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455255-1307191887.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.99 3.95 3.83 4/467 25692
/proc/meminfo: memFree=28593952/32950928 swapFree=34365992/67111528
[pid=25692] ppid=25690 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25690 25692 22425 0 -1 4202496 3413 0 1 0 0 0 0 0 25 0 2 0 830787454 10694979584 3115 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/25692/statm: 2611079 3129 917 9 0 2602235 0
[pid=25692/tid=25693] ppid=25690 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25693/stat : 25693 (java) R 25690 25692 22425 0 -1 4202560 5803 0 1 0 0 0 0 0 25 0 2 0 830787455 10694979584 6619 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0667859 s]
/proc/loadavg: 3.99 3.95 3.83 4/467 25692
/proc/meminfo: memFree=28593952/32950928 swapFree=34365992/67111528
[pid=25692] ppid=25690 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25690 25692 22425 0 -1 4202496 11790 0 1 0 4 1 0 0 25 0 18 0 830787454 10724302848 11487 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25692/statm: 2618238 11489 1742 9 0 2608972 0
[pid=25692/tid=25693] ppid=25690 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/25692/task/25693/stat : 25693 (java) R 25690 25692 22425 0 -1 4202560 10619 0 1 0 4 1 0 0 25 0 18 0 830787455 10724302848 11491 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 47565132181509 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952
[startup+0.10078 s]
/proc/loadavg: 3.99 3.95 3.83 4/467 25692
/proc/meminfo: memFree=28593952/32950928 swapFree=34365992/67111528
[pid=25692] ppid=25690 vsize=10539700 CPUtime=0.1 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25690 25692 22425 0 -1 4202496 13127 0 1 0 9 1 0 0 25 0 18 0 830787454 10792652800 12792 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25692/statm: 2634925 12792 2092 9 0 2625659 0
[pid=25692/tid=25693] ppid=25690 vsize=10539700 CPUtime=0.08 cores=1,3,5,7
/proc/25692/task/25693/stat : 25693 (java) R 25690 25692 22425 0 -1 4202560 11184 0 1 0 7 1 0 0 25 0 18 0 830787455 10792652800 12792 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 47565136681811 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539700
[startup+0.300743 s]
/proc/loadavg: 3.99 3.95 3.83 4/467 25692
/proc/meminfo: memFree=28593952/32950928 swapFree=34365992/67111528
[pid=25692] ppid=25690 vsize=10544256 CPUtime=0.2 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25690 25692 22425 0 -1 4202496 13888 0 1 0 18 2 0 0 25 0 19 0 830787454 10797318144 13513 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25692/statm: 2636064 13513 2182 9 0 2626798 0
[pid=25692/tid=25693] ppid=25690 vsize=10544256 CPUtime=0.13 cores=1,3,5,7
/proc/25692/task/25693/stat : 25693 (java) S 25690 25692 22425 0 -1 4202560 11563 0 1 0 12 1 0 0 25 0 19 0 830787455 10797318144 13513 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606683136 0 4 0 16800975 18446604464878486720 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10544256
[startup+0.700673 s]
/proc/loadavg: 3.99 3.95 3.83 4/467 25692
/proc/meminfo: memFree=28593952/32950928 swapFree=34365992/67111528
[pid=25692] ppid=25690 vsize=10544256 CPUtime=0.2 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25690 25692 22425 0 -1 4202496 13927 0 1 0 18 2 0 0 25 0 19 0 830787454 10797318144 13552 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25692/statm: 2636064 13552 2183 9 0 2626798 0
[pid=25692/tid=25693] ppid=25690 vsize=10544256 CPUtime=0.13 cores=1,3,5,7
/proc/25692/task/25693/stat : 25693 (java) S 25690 25692 22425 0 -1 4202560 11570 0 1 0 12 1 0 0 21 0 19 0 830787455 10797318144 13552 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606683136 0 4 0 16800975 18446604464878486720 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10544256
[startup+1.50053 s]
/proc/loadavg: 3.99 3.95 3.83 4/486 25717
/proc/meminfo: memFree=28547388/32950928 swapFree=34365992/67111528
[pid=25692] ppid=25690 vsize=10546468 CPUtime=0.26 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25690 25692 22425 0 -1 4202496 15231 0 1 0 24 2 0 0 25 0 20 0 830787454 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25692/statm: 2636617 14368 2191 9 0 2627351 0
[pid=25692/tid=25693] ppid=25690 vsize=10546468 CPUtime=0.13 cores=1,3,5,7
/proc/25692/task/25693/stat : 25693 (java) S 25690 25692 22425 0 -1 4202560 11573 0 1 0 12 1 0 0 17 0 20 0 830787455 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606683136 0 4 0 16800975 18446604464878486720 0 0 -1 5 0 0 0
[pid=25692/tid=25695] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25695/stat : 25695 (java) S 25690 25692 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830787456 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 7 0 0 0
[pid=25692/tid=25696] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25696/stat : 25696 (java) S 25690 25692 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 830787456 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 7 0 0 0
[pid=25692/tid=25697] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25697/stat : 25697 (java) S 25690 25692 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830787456 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 7 0 0 0
[pid=25692/tid=25698] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25698/stat : 25698 (java) S 25690 25692 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830787456 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 7 0 0 0
[pid=25692/tid=25699] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25699/stat : 25699 (java) S 25690 25692 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830787456 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 7 0 0 0
[pid=25692/tid=25700] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25700/stat : 25700 (java) S 25690 25692 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830787456 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 7 0 0 0
[pid=25692/tid=25701] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25701/stat : 25701 (java) S 25690 25692 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830787456 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 7 0 0 0
[pid=25692/tid=25702] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25702/stat : 25702 (java) S 25690 25692 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830787456 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 7 0 0 0
[pid=25692/tid=25703] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25703/stat : 25703 (java) S 25690 25692 22425 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 830787457 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606683136 0 0 0 16800975 18446604464878486720 0 0 -1 5 0 0 0
[pid=25692/tid=25704] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25704/stat : 25704 (java) S 25690 25692 22425 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 830787458 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 5 0 0 0
[pid=25692/tid=25705] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25705/stat : 25705 (java) S 25690 25692 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 830787458 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 5 0 0 0
[pid=25692/tid=25706] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25706/stat : 25706 (java) S 25690 25692 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830787460 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606690225 0 4 0 16800975 18446604464878486720 0 0 -1 5 0 0 0
[pid=25692/tid=25707] ppid=25690 vsize=10546468 CPUtime=0.06 cores=1,3,5,7
/proc/25692/task/25707/stat : 25707 (java) S 25690 25692 22425 0 -1 4202560 1520 0 0 0 6 0 0 0 16 0 20 0 830787460 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 3 0 0 0
[pid=25692/tid=25708] ppid=25690 vsize=10546468 CPUtime=0.01 cores=1,3,5,7
/proc/25692/task/25708/stat : 25708 (java) S 25690 25692 22425 0 -1 4202560 690 0 0 0 1 0 0 0 17 0 20 0 830787460 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 1 0 0 0
[pid=25692/tid=25709] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25709/stat : 25709 (java) S 25690 25692 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830787460 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 5 0 0 0
[pid=25692/tid=25710] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25710/stat : 25710 (java) S 25690 25692 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 830787460 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606683136 0 4 0 16800975 18446604464878486720 0 0 -1 7 0 0 0
[pid=25692/tid=25713] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25713/stat : 25713 (java) S 25690 25692 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 830787469 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606683136 0 4 0 16800975 18446604464878486720 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10546468
Solver just ended. Dumping a history of the last processes samples
[startup+1.60154 s]
/proc/loadavg: 3.99 3.95 3.83 4/486 25717
/proc/meminfo: memFree=28547388/32950928 swapFree=34365992/67111528
[pid=25692] ppid=25690 vsize=10546468 CPUtime=0.26 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25690 25692 22425 0 -1 4202496 15231 0 1 0 24 2 0 0 25 0 20 0 830787454 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25692/statm: 2636617 14368 2191 9 0 2627351 0
[pid=25692/tid=25693] ppid=25690 vsize=10546468 CPUtime=0.13 cores=1,3,5,7
/proc/25692/task/25693/stat : 25693 (java) S 25690 25692 22425 0 -1 4202560 11573 0 1 0 12 1 0 0 17 0 20 0 830787455 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606683136 0 4 0 16800975 18446604464878486720 0 0 -1 5 0 0 0
[pid=25692/tid=25695] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25695/stat : 25695 (java) S 25690 25692 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830787456 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 7 0 0 0
[pid=25692/tid=25696] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25696/stat : 25696 (java) S 25690 25692 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 830787456 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 7 0 0 0
[pid=25692/tid=25697] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25697/stat : 25697 (java) S 25690 25692 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830787456 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 7 0 0 0
[pid=25692/tid=25698] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25698/stat : 25698 (java) S 25690 25692 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830787456 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 7 0 0 0
[pid=25692/tid=25699] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25699/stat : 25699 (java) S 25690 25692 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830787456 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 7 0 0 0
[pid=25692/tid=25700] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25700/stat : 25700 (java) S 25690 25692 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830787456 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 7 0 0 0
[pid=25692/tid=25701] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25701/stat : 25701 (java) S 25690 25692 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830787456 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 7 0 0 0
[pid=25692/tid=25702] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25702/stat : 25702 (java) S 25690 25692 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830787456 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 7 0 0 0
[pid=25692/tid=25703] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25703/stat : 25703 (java) S 25690 25692 22425 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 830787457 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606683136 0 0 0 16800975 18446604464878486720 0 0 -1 5 0 0 0
[pid=25692/tid=25704] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25704/stat : 25704 (java) S 25690 25692 22425 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 830787458 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 5 0 0 0
[pid=25692/tid=25705] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25705/stat : 25705 (java) S 25690 25692 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 830787458 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 5 0 0 0
[pid=25692/tid=25706] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25706/stat : 25706 (java) S 25690 25692 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830787460 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606690225 0 4 0 16800975 18446604464878486720 0 0 -1 5 0 0 0
[pid=25692/tid=25707] ppid=25690 vsize=10546468 CPUtime=0.06 cores=1,3,5,7
/proc/25692/task/25707/stat : 25707 (java) S 25690 25692 22425 0 -1 4202560 1520 0 0 0 6 0 0 0 16 0 20 0 830787460 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 3 0 0 0
[pid=25692/tid=25708] ppid=25690 vsize=10546468 CPUtime=0.01 cores=1,3,5,7
/proc/25692/task/25708/stat : 25708 (java) S 25690 25692 22425 0 -1 4202560 690 0 0 0 1 0 0 0 17 0 20 0 830787460 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 1 0 0 0
[pid=25692/tid=25709] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25709/stat : 25709 (java) S 25690 25692 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830787460 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606682521 0 4 0 16800975 18446604464878486720 0 0 -1 5 0 0 0
[pid=25692/tid=25710] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25710/stat : 25710 (java) S 25690 25692 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 830787460 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606683136 0 4 0 16800975 18446604464878486720 0 0 -1 7 0 0 0
[pid=25692/tid=25713] ppid=25690 vsize=10546468 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25713/stat : 25713 (java) S 25690 25692 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 830787469 10799583232 14368 33554432000 1073741824 1073778376 140733556526512 18446744073709551615 235606683136 0 4 0 16800975 18446604464878486720 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10546468
Child status: 30
Real time (s): 1.6616
CPU time (s): 0.270958
CPU user time (s): 0.245962
CPU system time (s): 0.024996
CPU usage (%): 16.3071
Max. virtual memory (cumulated for all children) (KiB): 10546468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.245962
system time used= 0.024996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15242
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= 180
involuntary context switches= 63
runsolver used 0.009998 second user time and 0.022996 second system time
The end