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-3454212-1307190749/watcher-3454212-1307190749 -o /tmp/evaluation-result-3454212-1307190749/solver-3454212-1307190749 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454212-1307190749.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.10 3.72 3.70 2/505 22739
/proc/meminfo: memFree=21277568/32951124 swapFree=46575304/67111528
[pid=22739] ppid=22737 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22739/stat : 22739 (java) S 22737 22739 17058 0 -1 4202496 3268 0 1 0 0 0 0 0 21 0 2 0 563266190 10694979584 2970 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/22739/statm: 2611079 2983 917 9 0 2602235 0
[pid=22739/tid=22740] ppid=22737 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22740/stat : 22740 (java) R 22737 22739 17058 0 -1 4202560 6834 0 1 0 0 0 0 0 23 0 2 0 563266190 10694979584 7650 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.099628 s]
/proc/loadavg: 3.10 3.72 3.70 2/505 22739
/proc/meminfo: memFree=21277568/32951124 swapFree=46575304/67111528
[pid=22739] ppid=22737 vsize=10540440 CPUtime=0.1 cores=1,3,5,7
/proc/22739/stat : 22739 (java) S 22737 22739 17058 0 -1 4202496 13155 0 1 0 9 1 0 0 21 0 18 0 563266190 10793410560 12821 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22739/statm: 2635110 12821 2093 9 0 2625844 0
[pid=22739/tid=22740] ppid=22737 vsize=10540440 CPUtime=0.08 cores=1,3,5,7
/proc/22739/task/22740/stat : 22740 (java) R 22737 22739 17058 0 -1 4202560 11192 0 1 0 7 1 0 0 18 0 18 0 563266190 10793410560 12822 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672488907 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540440
[startup+0.100626 s]
/proc/loadavg: 3.10 3.72 3.70 2/505 22739
/proc/meminfo: memFree=21277568/32951124 swapFree=46575304/67111528
[pid=22739] ppid=22737 vsize=10540440 CPUtime=0.1 cores=1,3,5,7
/proc/22739/stat : 22739 (java) S 22737 22739 17058 0 -1 4202496 13167 0 1 0 9 1 0 0 21 0 18 0 563266190 10793410560 12833 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22739/statm: 2635110 12833 2093 9 0 2625844 0
[pid=22739/tid=22740] ppid=22737 vsize=10540440 CPUtime=0.08 cores=1,3,5,7
/proc/22739/task/22740/stat : 22740 (java) R 22737 22739 17058 0 -1 4202560 11203 0 1 0 7 1 0 0 18 0 18 0 563266190 10793410560 12833 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 47448804433486 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540440
[startup+0.300594 s]
/proc/loadavg: 3.10 3.72 3.70 2/505 22739
/proc/meminfo: memFree=21277568/32951124 swapFree=46575304/67111528
[pid=22739] ppid=22737 vsize=10542144 CPUtime=0.47 cores=1,3,5,7
/proc/22739/stat : 22739 (java) S 22737 22739 17058 0 -1 4202496 22402 0 1 0 45 2 0 0 21 0 18 0 563266190 10795155456 21506 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22739/statm: 2635536 21509 2200 9 0 2626270 0
[pid=22739/tid=22740] ppid=22737 vsize=10542144 CPUtime=0.28 cores=1,3,5,7
/proc/22739/task/22740/stat : 22740 (java) R 22737 22739 17058 0 -1 4202560 18932 0 1 0 26 2 0 0 18 0 18 0 563266190 10795155456 21510 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 46912505604073 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542144
[startup+0.70052 s]
/proc/loadavg: 3.10 3.72 3.70 2/505 22739
/proc/meminfo: memFree=21277568/32951124 swapFree=46575304/67111528
[pid=22739] ppid=22737 vsize=10542144 CPUtime=0.87 cores=1,3,5,7
/proc/22739/stat : 22739 (java) S 22737 22739 17058 0 -1 4202496 48562 0 1 0 82 5 0 0 21 0 18 0 563266190 10795155456 47666 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22739/statm: 2635536 47669 2200 9 0 2626270 0
[pid=22739/tid=22740] ppid=22737 vsize=10542144 CPUtime=0.68 cores=1,3,5,7
/proc/22739/task/22740/stat : 22740 (java) R 22737 22739 17058 0 -1 4202560 45092 0 1 0 63 5 0 0 18 0 18 0 563266190 10795155456 47670 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 46912505583345 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 10542144
[startup+1.50139 s]
/proc/loadavg: 3.01 3.69 3.69 6/527 22761
/proc/meminfo: memFree=20718476/32951124 swapFree=46575304/67111528
[pid=22739] ppid=22737 vsize=10553300 CPUtime=2.24 cores=1,3,5,7
/proc/22739/stat : 22739 (java) S 22737 22739 17058 0 -1 4202496 121588 0 1 0 210 14 0 0 21 0 18 0 563266190 10806579200 116012 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22739/statm: 2638325 116016 2212 9 0 2629059 0
[pid=22739/tid=22740] ppid=22737 vsize=10553300 CPUtime=1.49 cores=1,3,5,7
/proc/22739/task/22740/stat : 22740 (java) R 22737 22739 17058 0 -1 4202560 109421 0 1 0 136 13 0 0 20 0 18 0 563266190 10806579200 116017 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 46912505561435 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22739/tid=22742] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22742/stat : 22742 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 563266192 10806579200 116021 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22743] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22743/stat : 22743 (java) S 22737 22739 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 563266192 10806579200 116025 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22744] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22744/stat : 22744 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 563266192 10806579200 116028 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22745] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22745/stat : 22745 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 563266192 10806579200 116030 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22746] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22746/stat : 22746 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 563266192 10806579200 116032 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22747] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22747/stat : 22747 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 563266192 10806579200 116034 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22748] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22748/stat : 22748 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 563266192 10806579200 116036 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
[pid=22739/tid=22749] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22749/stat : 22749 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 563266192 10806579200 116040 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
[pid=22739/tid=22750] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22750/stat : 22750 (java) S 22737 22739 17058 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 563266193 10806579200 116043 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 0 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22751] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22751/stat : 22751 (java) S 22737 22739 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 563266194 10806579200 116047 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22752] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22752/stat : 22752 (java) S 22737 22739 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 563266194 10806579200 116049 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22753] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22753/stat : 22753 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 563266196 10806579200 116051 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672485809 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22754] ppid=22737 vsize=10553300 CPUtime=0.41 cores=1,3,5,7
/proc/22739/task/22754/stat : 22754 (java) S 22737 22739 17058 0 -1 4202560 5512 0 0 0 41 0 0 0 19 0 18 0 563266196 10806579200 116053 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
[pid=22739/tid=22755] ppid=22737 vsize=10553300 CPUtime=0.32 cores=1,3,5,7
/proc/22739/task/22755/stat : 22755 (java) S 22737 22739 17058 0 -1 4202560 5510 0 0 0 32 0 0 0 15 0 18 0 563266196 10806579200 116055 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22756] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22756/stat : 22756 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 563266196 10806579200 116060 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22757] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22757/stat : 22757 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 563266196 10806579200 116063 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 10553300
[startup+3.1011 s]
/proc/loadavg: 3.01 3.69 3.69 4/527 22761
/proc/meminfo: memFree=20230616/32951124 swapFree=46575304/67111528
[pid=22739] ppid=22737 vsize=10553300 CPUtime=3.87 cores=1,3,5,7
/proc/22739/stat : 22739 (java) S 22737 22739 17058 0 -1 4202496 264465 0 1 0 358 29 0 0 21 0 18 0 563266190 10806579200 258889 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22739/statm: 2638325 258889 2213 9 0 2629059 0
[pid=22739/tid=22740] ppid=22737 vsize=10553300 CPUtime=3.08 cores=1,3,5,7
/proc/22739/task/22740/stat : 22740 (java) R 22737 22739 17058 0 -1 4202560 252289 0 1 0 280 28 0 0 25 0 18 0 563266190 10806579200 258889 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 46912505748798 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22739/tid=22742] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22742/stat : 22742 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 563266192 10806579200 258889 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22743] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22743/stat : 22743 (java) S 22737 22739 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 563266192 10806579200 258889 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22744] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22744/stat : 22744 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 563266192 10806579200 258889 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22745] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22745/stat : 22745 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 563266192 10806579200 258889 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22746] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22746/stat : 22746 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 563266192 10806579200 258889 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22747] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22747/stat : 22747 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 563266192 10806579200 258889 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22748] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22748/stat : 22748 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 563266192 10806579200 258889 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
[pid=22739/tid=22749] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22749/stat : 22749 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 563266192 10806579200 258889 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
[pid=22739/tid=22750] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22750/stat : 22750 (java) S 22737 22739 17058 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 563266193 10806579200 258889 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 0 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22751] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22751/stat : 22751 (java) S 22737 22739 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 563266194 10806579200 258889 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22752] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22752/stat : 22752 (java) S 22737 22739 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 563266194 10806579200 258889 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22753] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22753/stat : 22753 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 563266196 10806579200 258889 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672485809 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22754] ppid=22737 vsize=10553300 CPUtime=0.42 cores=1,3,5,7
/proc/22739/task/22754/stat : 22754 (java) S 22737 22739 17058 0 -1 4202560 5514 0 0 0 42 0 0 0 17 0 18 0 563266196 10806579200 258889 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
[pid=22739/tid=22755] ppid=22737 vsize=10553300 CPUtime=0.34 cores=1,3,5,7
/proc/22739/task/22755/stat : 22755 (java) S 22737 22739 17058 0 -1 4202560 5512 0 0 0 34 0 0 0 15 0 18 0 563266196 10806579200 258889 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22756] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22756/stat : 22756 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 563266196 10806579200 258889 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22757] ppid=22737 vsize=10553300 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22757/stat : 22757 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 563266196 10806579200 258889 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 10553300
[startup+6.30154 s]
/proc/loadavg: 3.25 3.73 3.70 6/531 22771
/proc/meminfo: memFree=19468232/32951124 swapFree=46575304/67111528
[pid=22739] ppid=22737 vsize=10557412 CPUtime=10.42 cores=1,3,5,7
/proc/22739/stat : 22739 (java) S 22737 22739 17058 0 -1 4202496 381045 0 1 0 1002 40 0 0 21 0 22 0 563266190 10810789888 374934 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22739/statm: 2639353 374935 2236 9 0 2630087 0
[pid=22739/tid=22740] ppid=22737 vsize=10557412 CPUtime=3.58 cores=1,3,5,7
/proc/22739/task/22740/stat : 22740 (java) S 22737 22739 17058 0 -1 4202560 267885 0 1 0 329 29 0 0 15 0 22 0 563266190 10810789888 374936 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22742] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22742/stat : 22742 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 563266192 10810789888 374936 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22743] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22743/stat : 22743 (java) S 22737 22739 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 563266192 10810789888 374937 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22744] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22744/stat : 22744 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563266192 10810789888 374937 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22745] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22745/stat : 22745 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563266192 10810789888 374937 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22746] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22746/stat : 22746 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563266192 10810789888 374938 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22747] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22747/stat : 22747 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563266192 10810789888 374938 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22748] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22748/stat : 22748 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563266192 10810789888 374938 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
[pid=22739/tid=22749] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22749/stat : 22749 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563266192 10810789888 374938 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
[pid=22739/tid=22750] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22750/stat : 22750 (java) S 22737 22739 17058 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 563266193 10810789888 374938 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 0 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22751] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22751/stat : 22751 (java) S 22737 22739 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 563266194 10810789888 374938 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22752] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22752/stat : 22752 (java) S 22737 22739 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563266194 10810789888 374938 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22753] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22753/stat : 22753 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563266196 10810789888 374938 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672485809 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22754] ppid=22737 vsize=10557412 CPUtime=0.72 cores=1,3,5,7
/proc/22739/task/22754/stat : 22754 (java) S 22737 22739 17058 0 -1 4202560 6078 0 0 0 72 0 0 0 15 0 22 0 563266196 10810789888 374938 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
[pid=22739/tid=22755] ppid=22737 vsize=10557412 CPUtime=0.76 cores=1,3,5,7
/proc/22739/task/22755/stat : 22755 (java) S 22737 22739 17058 0 -1 4202560 5580 0 0 0 76 0 0 0 15 0 22 0 563266196 10810789888 374938 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22756] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22756/stat : 22756 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563266196 10810789888 374938 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22757] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22757/stat : 22757 (java) S 22737 22739 17058 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 563266196 10810789888 374938 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/22739/task/22742/stat : 22742 (java) S 22737 22739 17058 0 -1 4202560 32503 0 0 0 110 4 0 0 15 0 22 0 563266192 10810789888 1145192 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22743] ppid=22737 vsize=10557412 CPUtime=0.56 cores=1,3,5,7
/proc/22739/task/22743/stat : 22743 (java) S 22737 22739 17058 0 -1 4202560 1584 0 0 0 56 0 0 0 15 0 22 0 563266192 10810789888 1145192 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 5 0 0 0
[pid=22739/tid=22744] ppid=22737 vsize=10557412 CPUtime=0.95 cores=1,3,5,7
/proc/22739/task/22744/stat : 22744 (java) S 22737 22739 17058 0 -1 4202560 21552 0 0 0 92 3 0 0 15 0 22 0 563266192 10810789888 1145192 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 5 0 0 0
[pid=22739/tid=22745] ppid=22737 vsize=10557412 CPUtime=0.92 cores=1,3,5,7
/proc/22739/task/22745/stat : 22745 (java) S 22737 22739 17058 0 -1 4202560 18451 0 0 0 90 2 0 0 15 0 22 0 563266192 10810789888 1145192 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22746] ppid=22737 vsize=10557412 CPUtime=1.31 cores=1,3,5,7
/proc/22739/task/22746/stat : 22746 (java) S 22737 22739 17058 0 -1 4202560 53657 0 0 0 125 6 0 0 15 0 22 0 563266192 10810789888 1145192 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 5 0 0 0
[pid=22739/tid=22747] ppid=22737 vsize=10557412 CPUtime=1.08 cores=1,3,5,7
/proc/22739/task/22747/stat : 22747 (java) S 22737 22739 17058 0 -1 4202560 40387 0 0 0 102 6 0 0 16 0 22 0 563266192 10810789888 1145192 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22748] ppid=22737 vsize=10557412 CPUtime=0.66 cores=1,3,5,7
/proc/22739/task/22748/stat : 22748 (java) S 22737 22739 17058 0 -1 4202560 10781 0 0 0 65 1 0 0 15 0 22 0 563266192 10810789888 1145192 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22749] ppid=22737 vsize=10557412 CPUtime=0.87 cores=1,3,5,7
/proc/22739/task/22749/stat : 22749 (java) S 22737 22739 17058 0 -1 4202560 21224 0 0 0 84 3 0 0 15 0 22 0 563266192 10810789888 1145192 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 5 0 0 0
[pid=22739/tid=22750] ppid=22737 vsize=10557412 CPUtime=114.91 cores=1,3,5,7
/proc/22739/task/22750/stat : 22750 (java) S 22737 22739 17058 0 -1 4202560 306057 0 0 0 11464 27 0 0 18 0 22 0 563266193 10810789888 1145192 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 0 0 16800975 18446604468027633856 0 0 -1 5 0 0 0
[pid=22739/tid=22751] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22751/stat : 22751 (java) S 22737 22739 17058 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 563266194 10810789888 1145192 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22752] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22752/stat : 22752 (java) S 22737 22739 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 563266194 10810789888 1145192 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22753] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22753/stat : 22753 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563266196 10810789888 1145192 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672485809 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22754] ppid=22737 vsize=10557412 CPUtime=0.91 cores=1,3,5,7
/proc/22739/task/22754/stat : 22754 (java) S 22737 22739 17058 0 -1 4202560 6107 0 0 0 91 0 0 0 15 0 22 0 563266196 10810789888 1145192 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
[pid=22739/tid=22755] ppid=22737 vsize=10557412 CPUtime=1.01 cores=1,3,5,7
/proc/22739/task/22755/stat : 22755 (java) S 22737 22739 17058 0 -1 4202560 5633 0 0 0 101 0 0 0 15 0 22 0 563266196 10810789888 1145192 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22756] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22756/stat : 22756 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563266196 10810789888 1145192 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22757] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22757/stat : 22757 (java) S 22737 22739 17058 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 563266196 10810789888 1145192 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22765] ppid=22737 vsize=10557412 CPUtime=761.72 cores=1,3,5,7
/proc/22739/task/22765/stat : 22765 (java) R 22737 22739 17058 0 -1 4202560 6243 0 0 0 76171 1 0 0 25 0 22 0 563266550 10810789888 1145192 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 46912505924146 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22739/tid=22766] ppid=22737 vsize=10557412 CPUtime=761.68 cores=1,3,5,7
/proc/22739/task/22766/stat : 22766 (java) R 22737 22739 17058 0 -1 4202560 358274 0 0 0 76131 37 0 0 25 0 22 0 563266550 10810789888 1145192 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 46912506081633 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22739/tid=22767] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22767/stat : 22767 (java) S 22737 22739 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563266571 10810789888 1145192 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22768] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22768/stat : 22768 (java) S 22737 22739 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563266575 10810789888 1145192 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1651.43
Current children cumulated vsize (KiB) 10557412
[startup+942.301 s]
/proc/loadavg: 3.78 3.85 3.81 5/531 22856
/proc/meminfo: memFree=13250652/32951124 swapFree=46575304/67111528
[pid=22739] ppid=22737 vsize=10557412 CPUtime=1760.59 cores=1,3,5,7
/proc/22739/stat : 22739 (java) S 22737 22739 17058 0 -1 4202496 1165571 0 1 0 175932 127 0 0 21 0 22 0 563266190 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22739/statm: 2639353 1159190 2263 9 0 2630087 0
[pid=22739/tid=22740] ppid=22737 vsize=10557412 CPUtime=3.58 cores=1,3,5,7
/proc/22739/task/22740/stat : 22740 (java) S 22737 22739 17058 0 -1 4202560 267904 0 1 0 329 29 0 0 15 0 22 0 563266190 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22742] ppid=22737 vsize=10557412 CPUtime=1.23 cores=1,3,5,7
/proc/22739/task/22742/stat : 22742 (java) S 22737 22739 17058 0 -1 4202560 32503 0 0 0 119 4 0 0 15 0 22 0 563266192 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
[pid=22739/tid=22743] ppid=22737 vsize=10557412 CPUtime=0.6 cores=1,3,5,7
/proc/22739/task/22743/stat : 22743 (java) S 22737 22739 17058 0 -1 4202560 1584 0 0 0 60 0 0 0 15 0 22 0 563266192 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22744] ppid=22737 vsize=10557412 CPUtime=1.03 cores=1,3,5,7
/proc/22739/task/22744/stat : 22744 (java) S 22737 22739 17058 0 -1 4202560 21558 0 0 0 100 3 0 0 15 0 22 0 563266192 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22745] ppid=22737 vsize=10557412 CPUtime=1.02 cores=1,3,5,7
/proc/22739/task/22745/stat : 22745 (java) S 22737 22739 17058 0 -1 4202560 18451 0 0 0 100 2 0 0 16 0 22 0 563266192 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22746] ppid=22737 vsize=10557412 CPUtime=1.43 cores=1,3,5,7
/proc/22739/task/22746/stat : 22746 (java) S 22737 22739 17058 0 -1 4202560 53659 0 0 0 137 6 0 0 16 0 22 0 563266192 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
[pid=22739/tid=22747] ppid=22737 vsize=10557412 CPUtime=1.18 cores=1,3,5,7
/proc/22739/task/22747/stat : 22747 (java) S 22737 22739 17058 0 -1 4202560 40390 0 0 0 112 6 0 0 16 0 22 0 563266192 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 5 0 0 0
[pid=22739/tid=22748] ppid=22737 vsize=10557412 CPUtime=0.74 cores=1,3,5,7
/proc/22739/task/22748/stat : 22748 (java) S 22737 22739 17058 0 -1 4202560 10783 0 0 0 73 1 0 0 16 0 22 0 563266192 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 5 0 0 0
[pid=22739/tid=22749] ppid=22737 vsize=10557412 CPUtime=0.92 cores=1,3,5,7
/proc/22739/task/22749/stat : 22749 (java) S 22737 22739 17058 0 -1 4202560 21227 0 0 0 89 3 0 0 15 0 22 0 563266192 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
[pid=22739/tid=22750] ppid=22737 vsize=10557412 CPUtime=126.07 cores=1,3,5,7
/proc/22739/task/22750/stat : 22750 (java) S 22737 22739 17058 0 -1 4202560 320043 0 0 0 12578 29 0 0 18 0 22 0 563266193 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 0 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
[pid=22739/tid=22751] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22751/stat : 22751 (java) S 22737 22739 17058 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 563266194 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22752] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22752/stat : 22752 (java) S 22737 22739 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 563266194 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22753] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22753/stat : 22753 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563266196 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672485809 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22754] ppid=22737 vsize=10557412 CPUtime=0.91 cores=1,3,5,7
/proc/22739/task/22754/stat : 22754 (java) S 22737 22739 17058 0 -1 4202560 6107 0 0 0 91 0 0 0 15 0 22 0 563266196 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
[pid=22739/tid=22755] ppid=22737 vsize=10557412 CPUtime=1.01 cores=1,3,5,7
/proc/22739/task/22755/stat : 22755 (java) S 22737 22739 17058 0 -1 4202560 5633 0 0 0 101 0 0 0 15 0 22 0 563266196 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22756] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22756/stat : 22756 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563266196 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22757] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22757/stat : 22757 (java) S 22737 22739 17058 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 563266196 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22765] ppid=22737 vsize=10557412 CPUtime=810.4 cores=1,3,5,7
/proc/22739/task/22765/stat : 22765 (java) R 22737 22739 17058 0 -1 4202560 6244 0 0 0 81039 1 0 0 25 0 22 0 563266550 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 46912506025167 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22739/tid=22766] ppid=22737 vsize=10557412 CPUtime=810.36 cores=1,3,5,7
/proc/22739/task/22766/stat : 22766 (java) R 22737 22739 17058 0 -1 4202560 358274 0 0 0 80999 37 0 0 25 0 22 0 563266550 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 46912505937070 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22739/tid=22767] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22767/stat : 22767 (java) S 22737 22739 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563266571 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22768] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22768/stat : 22768 (java) S 22737 22739 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563266575 10810789888 1159190 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1760.59
Current children cumulated vsize (KiB) 10557412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+964.101 s]
/proc/loadavg: 3.76 3.84 3.81 5/531 22857
/proc/meminfo: memFree=13189512/32951124 swapFree=46575304/67111528
[pid=22739] ppid=22737 vsize=10557412 CPUtime=1800.21 cores=1,3,5,7
/proc/22739/stat : 22739 (java) S 22737 22739 17058 0 -1 4202496 1178043 0 1 0 179893 128 0 0 21 0 22 0 563266190 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22739/statm: 2639353 1171656 2263 9 0 2630087 0
[pid=22739/tid=22740] ppid=22737 vsize=10557412 CPUtime=3.58 cores=1,3,5,7
/proc/22739/task/22740/stat : 22740 (java) S 22737 22739 17058 0 -1 4202560 267906 0 1 0 329 29 0 0 15 0 22 0 563266190 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22742] ppid=22737 vsize=10557412 CPUtime=1.25 cores=1,3,5,7
/proc/22739/task/22742/stat : 22742 (java) S 22737 22739 17058 0 -1 4202560 32506 0 0 0 121 4 0 0 16 0 22 0 563266192 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
[pid=22739/tid=22743] ppid=22737 vsize=10557412 CPUtime=0.66 cores=1,3,5,7
/proc/22739/task/22743/stat : 22743 (java) S 22737 22739 17058 0 -1 4202560 1584 0 0 0 66 0 0 0 16 0 22 0 563266192 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 5 0 0 0
[pid=22739/tid=22744] ppid=22737 vsize=10557412 CPUtime=1.1 cores=1,3,5,7
/proc/22739/task/22744/stat : 22744 (java) S 22737 22739 17058 0 -1 4202560 21558 0 0 0 107 3 0 0 16 0 22 0 563266192 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22745] ppid=22737 vsize=10557412 CPUtime=1.12 cores=1,3,5,7
/proc/22739/task/22745/stat : 22745 (java) S 22737 22739 17058 0 -1 4202560 18451 0 0 0 110 2 0 0 16 0 22 0 563266192 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
[pid=22739/tid=22746] ppid=22737 vsize=10557412 CPUtime=1.5 cores=1,3,5,7
/proc/22739/task/22746/stat : 22746 (java) S 22737 22739 17058 0 -1 4202560 53659 0 0 0 144 6 0 0 16 0 22 0 563266192 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
[pid=22739/tid=22747] ppid=22737 vsize=10557412 CPUtime=1.2 cores=1,3,5,7
/proc/22739/task/22747/stat : 22747 (java) S 22737 22739 17058 0 -1 4202560 40390 0 0 0 114 6 0 0 15 0 22 0 563266192 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 5 0 0 0
[pid=22739/tid=22748] ppid=22737 vsize=10557412 CPUtime=0.75 cores=1,3,5,7
/proc/22739/task/22748/stat : 22748 (java) S 22737 22739 17058 0 -1 4202560 10783 0 0 0 74 1 0 0 16 0 22 0 563266192 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 5 0 0 0
[pid=22739/tid=22749] ppid=22737 vsize=10557412 CPUtime=0.94 cores=1,3,5,7
/proc/22739/task/22749/stat : 22749 (java) S 22737 22739 17058 0 -1 4202560 21227 0 0 0 91 3 0 0 16 0 22 0 563266192 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22750] ppid=22737 vsize=10557412 CPUtime=130.25 cores=1,3,5,7
/proc/22739/task/22750/stat : 22750 (java) S 22737 22739 17058 0 -1 4202560 332508 0 0 0 12995 30 0 0 18 0 22 0 563266193 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 0 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22751] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22751/stat : 22751 (java) S 22737 22739 17058 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 563266194 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22752] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22752/stat : 22752 (java) S 22737 22739 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 563266194 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22753] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22753/stat : 22753 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563266196 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672485809 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22754] ppid=22737 vsize=10557412 CPUtime=0.91 cores=1,3,5,7
/proc/22739/task/22754/stat : 22754 (java) S 22737 22739 17058 0 -1 4202560 6107 0 0 0 91 0 0 0 15 0 22 0 563266196 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
[pid=22739/tid=22755] ppid=22737 vsize=10557412 CPUtime=1.01 cores=1,3,5,7
/proc/22739/task/22755/stat : 22755 (java) S 22737 22739 17058 0 -1 4202560 5633 0 0 0 101 0 0 0 15 0 22 0 563266196 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 1 0 0 0
[pid=22739/tid=22756] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22756/stat : 22756 (java) S 22737 22739 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 563266196 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478105 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22757] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22757/stat : 22757 (java) S 22737 22739 17058 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 563266196 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22765] ppid=22737 vsize=10557412 CPUtime=827.94 cores=1,3,5,7
/proc/22739/task/22765/stat : 22765 (java) R 22737 22739 17058 0 -1 4202560 6244 0 0 0 82793 1 0 0 21 0 22 0 563266550 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 46912505679211 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22739/tid=22766] ppid=22737 vsize=10557412 CPUtime=827.9 cores=1,3,5,7
/proc/22739/task/22766/stat : 22766 (java) R 22737 22739 17058 0 -1 4202560 358274 0 0 0 82753 37 0 0 21 0 22 0 563266550 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 46912506025725 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22739/tid=22767] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22767/stat : 22767 (java) S 22737 22739 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563266571 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 4 0 16800975 18446604468027633856 0 0 -1 3 0 0 0
[pid=22739/tid=22768] ppid=22737 vsize=10557412 CPUtime=0 cores=1,3,5,7
/proc/22739/task/22768/stat : 22768 (java) S 22737 22739 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563266575 10810789888 1171656 33554432000 1073741824 1073778376 140735948988352 18446744073709551615 268672478720 0 4 0 16800975 18446604468027633856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 10557412
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+964.225 s]
/proc/loadavg: 3.76 3.84 3.81 5/531 22857
/proc/meminfo: memFree=13189512/32951124 swapFree=46575304/67111528
[pid=22739] ppid=22737 vsize=0 CPUtime=1800.37 cores=1,3,5,7
/proc/22739/stat : 22739 (java) Z 22737 22739 17058 0 -1 4203548 1178075 0 1 0 179900 137 0 0 17 0 2 0 563266190 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22739/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 0
[startup+964.301 s]
/proc/loadavg: 3.76 3.84 3.81 5/531 22857
/proc/meminfo: memFree=13189512/32951124 swapFree=46575304/67111528
[pid=22739] ppid=22737 vsize=0 CPUtime=1800.45 cores=1,3,5,7
/proc/22739/stat : 22739 (java) Z 22737 22739 17058 0 -1 4203548 1178075 0 1 0 179900 145 0 0 17 0 2 0 563266190 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22739/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 964.304
CPU time (s): 1800.46
CPU user time (s): 1799
CPU system time (s): 1.45378
CPU usage (%): 186.71
Max. virtual memory (cumulated for all children) (KiB): 10557412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.45378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1178075
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= 24231
involuntary context switches= 21091
runsolver used 4.87926 second user time and 10.9563 second system time
The end