runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3731963-1338684062/watcher-3731963-1338684062 -o /tmp/evaluation-result-3731963-1338684062/solver-3731963-1338684062 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3731963-1338684062.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: 3.53 3.63 3.68 4/195 14719
/proc/meminfo: memFree=24609100/32873852 swapFree=6856/6856
[pid=14719] ppid=14717 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/14719/stat : 14719 (java) R 14717 14719 4583 0 -1 4202496 1120 0 0 0 0 0 0 0 20 0 1 0 334531681 23793664 848 33554432000 1073741824 1073778376 140733393297760 140733393286824 140504290181104 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14719/statm: 5809 863 652 9 0 128 0
[startup+0.057147 s]
/proc/loadavg: 3.53 3.63 3.68 4/195 14719
/proc/meminfo: memFree=24609100/32873852 swapFree=6856/6856
[pid=14719] ppid=14717 vsize=11253516 CPUtime=0.04 cores=0,2,4,6
/proc/14719/stat : 14719 (java) S 14717 14719 4583 0 -1 4202496 4357 0 1 0 3 1 0 0 20 0 13 0 334531681 11523600384 11697 33554432000 1073741824 1073778376 140733393297760 140733393288896 229359255613 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14719/statm: 2813379 11697 1708 9 0 2804080 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11253516
[startup+0.100311 s]
/proc/loadavg: 3.53 3.63 3.68 4/195 14719
/proc/meminfo: memFree=24609100/32873852 swapFree=6856/6856
[pid=14719] ppid=14717 vsize=11586392 CPUtime=0.1 cores=0,2,4,6
/proc/14719/stat : 14719 (java) S 14717 14719 4583 0 -1 4202496 5307 0 1 0 8 2 0 0 20 0 18 0 334531681 11864465408 13157 33554432000 1073741824 1073778376 140733393297760 140733393288896 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14719/statm: 2896598 13157 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.300288 s]
/proc/loadavg: 3.53 3.63 3.68 4/195 14719
/proc/meminfo: memFree=24609100/32873852 swapFree=6856/6856
[pid=14719] ppid=14717 vsize=11852648 CPUtime=0.16 cores=0,2,4,6
/proc/14719/stat : 14719 (java) S 14717 14719 4583 0 -1 4202496 5523 0 1 0 14 2 0 0 20 0 19 0 334531681 12137111552 14840 33554432000 1073741824 1073778376 140733393297760 140733393288896 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14719/statm: 2963162 14840 2164 9 0 2953849 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 11852648
[startup+0.700264 s]
/proc/loadavg: 3.53 3.63 3.68 4/195 14719
/proc/meminfo: memFree=24609100/32873852 swapFree=6856/6856
[pid=14719] ppid=14717 vsize=11852648 CPUtime=0.16 cores=0,2,4,6
/proc/14719/stat : 14719 (java) S 14717 14719 4583 0 -1 4202496 5585 0 1 0 14 2 0 0 20 0 19 0 334531681 12137111552 15899 33554432000 1073741824 1073778376 140733393297760 140733393288896 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14719/statm: 2963162 15899 2164 9 0 2953849 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 11852648
[startup+1.50073 s]
/proc/loadavg: 3.53 3.63 3.68 2/214 14744
/proc/meminfo: memFree=24553176/32873852 swapFree=6856/6856
[pid=14719] ppid=14717 vsize=11852648 CPUtime=0.16 cores=0,2,4,6
/proc/14719/stat : 14719 (java) S 14717 14719 4583 0 -1 4202496 5594 0 1 0 14 2 0 0 20 0 20 0 334531681 12137111552 16925 33554432000 1073741824 1073778376 140733393297760 140733393288896 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14719/statm: 2963162 16925 2164 9 0 2953849 0
[pid=14719/tid=14720] ppid=14717 vsize=11852648 CPUtime=0.12 cores=0,2,4,6
/proc/14719/task/14720/stat : 14720 (java) S 14717 14719 4583 0 -1 4202560 3425 0 1 0 10 2 0 0 20 0 20 0 334531681 12137111552 16925 33554432000 1073741824 1073778376 140733393297760 140504287724696 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14719/tid=14722] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14722/stat : 14722 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334531683 12137111552 16925 33554432000 1073741824 1073778376 140733393297760 140504124754088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14719/tid=14723] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14723/stat : 14723 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334531683 12137111552 16925 33554432000 1073741824 1073778376 140733393297760 140504123701544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14719/tid=14724] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14724/stat : 14724 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334531683 12137111552 16925 33554432000 1073741824 1073778376 140733393297760 140504122649000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14719/tid=14725] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14725/stat : 14725 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334531683 12137111552 16925 33554432000 1073741824 1073778376 140733393297760 140504121596456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14719/tid=14726] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14726/stat : 14726 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334531683 12137111552 16925 33554432000 1073741824 1073778376 140733393297760 140504120543912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14719/tid=14727] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14727/stat : 14727 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334531683 12137111552 16925 33554432000 1073741824 1073778376 140733393297760 140504119491368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14719/tid=14728] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14728/stat : 14728 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334531683 12137111552 16925 33554432000 1073741824 1073778376 140733393297760 140504118438824 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14719/tid=14729] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14729/stat : 14729 (java) S 14717 14719 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 334531683 12137111552 16925 33554432000 1073741824 1073778376 140733393297760 140504117386280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14719/tid=14730] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14730/stat : 14730 (java) S 14717 14719 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 334531684 12137111552 16925 33554432000 1073741824 1073778376 140733393297760 140504105187432 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14719/tid=14731] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14731/stat : 14731 (java) S 14717 14719 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 334531685 12137111552 16925 33554432000 1073741824 1073778376 140733393297760 140504104133752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14719/tid=14732] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14732/stat : 14732 (java) S 14717 14719 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 334531685 12137111552 16925 33554432000 1073741824 1073778376 140733393297760 140504103081096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14719/tid=14733] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14733/stat : 14733 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334531687 12137111552 16925 33554432000 1073741824 1073778376 140733393297760 140504102029840 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14719/tid=14734] ppid=14717 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/14719/task/14734/stat : 14734 (java) S 14717 14719 4583 0 -1 4202560 332 0 0 0 1 0 0 0 20 0 20 0 334531687 12137111552 16925 33554432000 1073741824 1073778376 140733393297760 140504100977208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14719/tid=14735] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14735/stat : 14735 (java) S 14717 14719 4583 0 -1 4202560 518 0 0 0 0 0 0 0 20 0 20 0 334531687 12137111552 16925 33554432000 1073741824 1073778376 140733393297760 140504099924664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14719/tid=14736] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14736/stat : 14736 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334531687 12137111552 16925 33554432000 1073741824 1073778376 140733393297760 140504098872312 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14719/tid=14737] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14737/stat : 14737 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334531687 12137111552 16925 33554432000 1073741824 1073778376 140733393297760 140504097819976 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14719/tid=14740] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14740/stat : 14740 (java) S 14717 14719 4583 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 334531695 12137111552 16925 33554432000 1073741824 1073778376 140733393297760 140504094659624 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+1.90072 s]
/proc/loadavg: 3.53 3.63 3.68 2/214 14744
/proc/meminfo: memFree=24553176/32873852 swapFree=6856/6856
[pid=14719] ppid=14717 vsize=11852648 CPUtime=0.16 cores=0,2,4,6
/proc/14719/stat : 14719 (java) S 14717 14719 4583 0 -1 4202496 5602 0 1 0 14 2 0 0 20 0 19 0 334531681 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140733393288896 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14719/statm: 2963162 17947 2164 9 0 2953849 0
[pid=14719/tid=14720] ppid=14717 vsize=11852648 CPUtime=0.12 cores=0,2,4,6
/proc/14719/task/14720/stat : 14720 (java) S 14717 14719 4583 0 -1 4202560 3425 0 1 0 10 2 0 0 20 0 19 0 334531681 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504287724696 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14719/tid=14722] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14722/stat : 14722 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334531683 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504124754088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14719/tid=14723] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14723/stat : 14723 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334531683 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504123701544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14719/tid=14724] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14724/stat : 14724 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334531683 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504122649000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14719/tid=14725] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14725/stat : 14725 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334531683 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504121596456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14719/tid=14726] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14726/stat : 14726 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334531683 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504120543912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14719/tid=14727] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14727/stat : 14727 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334531683 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504119491368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14719/tid=14728] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14728/stat : 14728 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334531683 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504118438824 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14719/tid=14729] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14729/stat : 14729 (java) S 14717 14719 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334531683 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504117386280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14719/tid=14730] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14730/stat : 14730 (java) S 14717 14719 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334531684 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504105187432 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14719/tid=14731] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14731/stat : 14731 (java) S 14717 14719 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334531685 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504104133752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14719/tid=14732] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14732/stat : 14732 (java) S 14717 14719 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334531685 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504103081096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14719/tid=14733] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14733/stat : 14733 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334531687 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504102029840 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14719/tid=14734] ppid=14717 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/14719/task/14734/stat : 14734 (java) S 14717 14719 4583 0 -1 4202560 332 0 0 0 1 0 0 0 20 0 19 0 334531687 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504100977208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14719/tid=14735] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14735/stat : 14735 (java) S 14717 14719 4583 0 -1 4202560 518 0 0 0 0 0 0 0 20 0 19 0 334531687 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504099924664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14719/tid=14736] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14736/stat : 14736 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334531687 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504098872312 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14719/tid=14737] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14737/stat : 14737 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334531687 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504097819976 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14719/tid=14740] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14740/stat : 14740 (java) S 14717 14719 4583 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334531695 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504094659624 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 11852648
[startup+2.10068 s]
/proc/loadavg: 3.53 3.63 3.68 2/214 14749
/proc/meminfo: memFree=24544580/32873852 swapFree=6856/6856
[pid=14719] ppid=14717 vsize=11852648 CPUtime=0.16 cores=0,2,4,6
/proc/14719/stat : 14719 (java) S 14717 14719 4583 0 -1 4202496 5602 0 1 0 14 2 0 0 20 0 19 0 334531681 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140733393288896 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14719/statm: 2963162 17947 2164 9 0 2953849 0
[pid=14719/tid=14720] ppid=14717 vsize=11852648 CPUtime=0.12 cores=0,2,4,6
/proc/14719/task/14720/stat : 14720 (java) S 14717 14719 4583 0 -1 4202560 3425 0 1 0 10 2 0 0 20 0 19 0 334531681 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504287724696 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14719/tid=14722] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14722/stat : 14722 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334531683 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504124754088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14719/tid=14723] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14723/stat : 14723 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334531683 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504123701544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14719/tid=14724] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14724/stat : 14724 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334531683 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504122649000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14719/tid=14725] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14725/stat : 14725 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334531683 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504121596456 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14719/tid=14726] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14726/stat : 14726 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334531683 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504120543912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14719/tid=14727] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14727/stat : 14727 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334531683 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504119491368 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14719/tid=14728] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14728/stat : 14728 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334531683 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504118438824 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14719/tid=14729] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14729/stat : 14729 (java) S 14717 14719 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334531683 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504117386280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14719/tid=14730] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14730/stat : 14730 (java) S 14717 14719 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334531684 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504105187432 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14719/tid=14731] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14731/stat : 14731 (java) S 14717 14719 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334531685 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504104133752 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14719/tid=14732] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14732/stat : 14732 (java) S 14717 14719 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334531685 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504103081096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14719/tid=14733] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14733/stat : 14733 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334531687 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504102029840 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14719/tid=14734] ppid=14717 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/14719/task/14734/stat : 14734 (java) S 14717 14719 4583 0 -1 4202560 332 0 0 0 1 0 0 0 20 0 19 0 334531687 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504100977208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14719/tid=14735] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14735/stat : 14735 (java) S 14717 14719 4583 0 -1 4202560 518 0 0 0 0 0 0 0 20 0 19 0 334531687 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504099924664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14719/tid=14736] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14736/stat : 14736 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334531687 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504098872312 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14719/tid=14737] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14737/stat : 14737 (java) S 14717 14719 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334531687 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504097819976 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14719/tid=14740] ppid=14717 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14719/task/14740/stat : 14740 (java) S 14717 14719 4583 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334531695 12137111552 17947 33554432000 1073741824 1073778376 140733393297760 140504094659624 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 11852648
Child status: 30
Real time (s): 2.15141
CPU time (s): 0.172973
CPU user time (s): 0.13098
CPU system time (s): 0.041993
CPU usage (%): 8.03998
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.13098
system time used= 0.041993
maximum resident set size= 73848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5609
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 235
involuntary context switches= 20
runsolver used 0.003999 second user time and 0.024996 second system time
The end