runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4117700-1467214429/watcher-4117700-1467214429 -o /tmp/evaluation-result-4117700-1467214429/solver-4117700-1467214429 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467209088-6738 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4117700-1467214429.opb
pid=8999
running on 8 cores: 4-7,12-15
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.79 4.06 3.95 4/284 9002
/proc/meminfo: memFree=25838372/32872528 swapFree=8828/8828
[pid=9002] ppid=8999 vsize=101528 CPUtime=0 cores=4-7,12-15
/proc/9002/stat : 9002 (java) S 8999 9002 6721 0 -1 4202496 1446 0 0 0 0 0 0 0 20 0 2 0 2395668 103964672 1051 33554432000 1073741824 1073778376 140737277164816 140737277155952 216811995197 0 0 0 16784584 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/9002/statm: 25382 1051 805 9 0 16774 0
[pid=9002/tid=9003] ppid=8999 vsize=101528 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9003/stat : 9003 (java) R 8999 9002 6721 0 -1 4202560 223 0 0 0 0 0 0 0 20 0 2 0 2395669 103964672 1052 33554432000 1073741824 1073778376 140737277164816 139784736777744 216808637757 0 0 0 16784584 0 0 0 -1 13 0 0 0 0 0
[startup+0.100165 s]
/proc/loadavg: 3.79 4.06 3.95 4/284 9002
/proc/meminfo: memFree=25838372/32872528 swapFree=8828/8828
[pid=9002] ppid=8999 vsize=9896436 CPUtime=0.11 cores=4-7,12-15
/proc/9002/stat : 9002 (java) S 8999 9002 6721 0 -1 4202496 4505 0 1 0 9 2 0 0 20 0 23 0 2395668 10133950464 6116 33554432000 1073741824 1073778376 140737277164816 140737277155952 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/9002/statm: 2474109 6116 2141 9 0 2464786 0
[pid=9002/tid=9003] ppid=8999 vsize=9896436 CPUtime=0.07 cores=4-7,12-15
/proc/9002/task/9003/stat : 9003 (java) R 8999 9002 6721 0 -1 4202560 2419 0 1 0 6 1 0 0 20 0 23 0 2395669 10133950464 6116 33554432000 1073741824 1073778376 140737277164816 139784736775240 216812021005 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9896436
[startup+0.200292 s]
/proc/loadavg: 3.79 4.06 3.95 4/284 9002
/proc/meminfo: memFree=25838372/32872528 swapFree=8828/8828
[pid=9002] ppid=8999 vsize=10162692 CPUtime=0.29 cores=4-7,12-15
/proc/9002/stat : 9002 (java) S 8999 9002 6721 0 -1 4202496 5359 0 1 0 27 2 0 0 20 0 27 0 2395668 10406596608 8311 33554432000 1073741824 1073778376 140737277164816 140737277155952 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/9002/statm: 2540673 8311 2225 9 0 2531350 0
[pid=9002/tid=9003] ppid=8999 vsize=10162692 CPUtime=0.14 cores=4-7,12-15
/proc/9002/task/9003/stat : 9003 (java) S 8999 9002 6721 0 -1 4202560 2455 0 1 0 12 2 0 0 20 0 27 0 2395669 10406596608 8311 33554432000 1073741824 1073778376 140737277164816 139784736777080 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10162692
[startup+0.300423 s]
/proc/loadavg: 3.79 4.06 3.95 4/284 9002
/proc/meminfo: memFree=25838372/32872528 swapFree=8828/8828
[pid=9002] ppid=8999 vsize=10162692 CPUtime=0.62 cores=4-7,12-15
/proc/9002/stat : 9002 (java) S 8999 9002 6721 0 -1 4202496 7988 0 1 0 57 5 0 0 20 0 24 0 2395668 10406596608 9701 33554432000 1073741824 1073778376 140737277164816 140737277155952 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/9002/statm: 2540673 9701 2244 9 0 2531350 0
[pid=9002/tid=9003] ppid=8999 vsize=10162692 CPUtime=0.14 cores=4-7,12-15
/proc/9002/task/9003/stat : 9003 (java) S 8999 9002 6721 0 -1 4202560 2455 0 1 0 12 2 0 0 20 0 24 0 2395669 10406596608 9701 33554432000 1073741824 1073778376 140737277164816 139784736777080 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 10162692
[startup+0.700214 s]
/proc/loadavg: 3.79 4.06 3.95 4/284 9002
/proc/meminfo: memFree=25838372/32872528 swapFree=8828/8828
[pid=9002] ppid=8999 vsize=10162692 CPUtime=0.76 cores=4-7,12-15
/proc/9002/stat : 9002 (java) S 8999 9002 6721 0 -1 4202496 8010 0 1 0 71 5 0 0 20 0 27 0 2395668 10406596608 10941 33554432000 1073741824 1073778376 140737277164816 140737277155952 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/9002/statm: 2540673 10941 2244 9 0 2531350 0
[pid=9002/tid=9003] ppid=8999 vsize=10162692 CPUtime=0.15 cores=4-7,12-15
/proc/9002/task/9003/stat : 9003 (java) S 8999 9002 6721 0 -1 4202560 2455 0 1 0 13 2 0 0 20 0 27 0 2395669 10406596608 10941 33554432000 1073741824 1073778376 140737277164816 139784736777080 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 10162692
[startup+1.50161 s]
/proc/loadavg: 3.79 4.06 3.95 7/311 9032
/proc/meminfo: memFree=25753628/32872528 swapFree=8828/8828
[pid=9002] ppid=8999 vsize=10162692 CPUtime=3.97 cores=4-7,12-15
/proc/9002/stat : 9002 (java) S 8999 9002 6721 0 -1 4202496 22636 0 1 0 387 10 0 0 20 0 27 0 2395668 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 140737277155952 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/9002/statm: 2540673 45848 2283 9 0 2531350 0
[pid=9002/tid=9003] ppid=8999 vsize=10162692 CPUtime=0.15 cores=4-7,12-15
/proc/9002/task/9003/stat : 9003 (java) S 8999 9002 6721 0 -1 4202560 2455 0 1 0 13 2 0 0 20 0 27 0 2395669 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139784736777080 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9002/tid=9005] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9005/stat : 9005 (java) S 8999 9002 6721 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 2395670 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139784698268456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9006] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9006/stat : 9006 (java) S 8999 9002 6721 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 2395670 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139784697215656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9007] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9007/stat : 9007 (java) S 8999 9002 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 2395670 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139784696163368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9002/tid=9008] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9008/stat : 9008 (java) S 8999 9002 6721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 2395670 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139784695110568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9002/tid=9009] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9009/stat : 9009 (java) S 8999 9002 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 2395670 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139784694057256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9010] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9010/stat : 9010 (java) S 8999 9002 6721 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 2395670 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139784693004456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=9002/tid=9011] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9011/stat : 9011 (java) S 8999 9002 6721 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 2395670 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139784691952168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=9002/tid=9012] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9012/stat : 9012 (java) S 8999 9002 6721 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 2395670 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139784690899368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9013] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9013/stat : 9013 (java) S 8999 9002 6721 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 2395670 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139784689847080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9002/tid=9014] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9014/stat : 9014 (java) S 8999 9002 6721 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 2395670 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139784688794280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9002/tid=9015] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9015/stat : 9015 (java) S 8999 9002 6721 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 2395670 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139784687741992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9002/tid=9016] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9016/stat : 9016 (java) S 8999 9002 6721 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 2395670 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139784686689192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9002/tid=9017] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9017/stat : 9017 (java) S 8999 9002 6721 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 2395670 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139784685635880 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=9002/tid=9018] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9018/stat : 9018 (java) S 8999 9002 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 2395671 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139784549783656 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9019] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9019/stat : 9019 (java) S 8999 9002 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 2395671 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139784548730232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9020] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9020/stat : 9020 (java) S 8999 9002 6721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 2395671 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139784547677320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9021] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9021/stat : 9021 (java) S 8999 9002 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2395673 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139784546626320 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9022] ppid=8999 vsize=10162692 CPUtime=0.97 cores=4-7,12-15
/proc/9002/task/9022/stat : 9022 (java) R 8999 9002 6721 0 -1 4202560 10876 0 0 0 95 2 0 0 20 0 27 0 2395673 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139784545559496 139784740863136 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9023] ppid=8999 vsize=10162692 CPUtime=0.96 cores=4-7,12-15
/proc/9002/task/9023/stat : 9023 (java) R 8999 9002 6721 0 -1 4202560 7834 0 0 0 94 2 0 0 20 0 27 0 2395673 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139784544498296 139784743239396 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9002/tid=9024] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9024/stat : 9024 (java) S 8999 9002 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2395673 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139783267412984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9025] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9025/stat : 9025 (java) S 8999 9002 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2395673 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139783266359880 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9028] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9028/stat : 9028 (java) S 8999 9002 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 2395685 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139783263200296 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9030] ppid=8999 vsize=10162692 CPUtime=0.81 cores=4-7,12-15
/proc/9002/task/9030/stat : 9030 (java) R 8999 9002 6721 0 -1 4202560 5 0 0 0 81 0 0 0 20 0 27 0 2395735 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139783264252872 139784559717508 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9002/tid=9031] ppid=8999 vsize=10162692 CPUtime=0.82 cores=4-7,12-15
/proc/9002/task/9031/stat : 9031 (java) R 8999 9002 6721 0 -1 4202560 75 0 0 0 80 2 0 0 20 0 27 0 2395735 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139783265304016 139784559767609 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=9002/tid=9032] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9032/stat : 9032 (java) S 8999 9002 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 2395735 10406596608 45848 33554432000 1073741824 1073778376 140737277164816 139783262148136 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 10162692
[startup+3.10155 s]
/proc/loadavg: 3.79 4.06 3.95 6/311 9032
/proc/meminfo: memFree=25646760/32872528 swapFree=8828/8828
[pid=9002] ppid=8999 vsize=10162692 CPUtime=8.59 cores=4-7,12-15
/proc/9002/stat : 9002 (java) S 8999 9002 6721 0 -1 4202496 30026 0 1 0 833 26 0 0 20 0 27 0 2395668 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 140737277155952 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/9002/statm: 2540673 84121 2285 9 0 2531350 0
[pid=9002/tid=9003] ppid=8999 vsize=10162692 CPUtime=0.15 cores=4-7,12-15
/proc/9002/task/9003/stat : 9003 (java) S 8999 9002 6721 0 -1 4202560 2455 0 1 0 13 2 0 0 20 0 27 0 2395669 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139784736777080 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9002/tid=9005] ppid=8999 vsize=10162692 CPUtime=0.02 cores=4-7,12-15
/proc/9002/task/9005/stat : 9005 (java) S 8999 9002 6721 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 27 0 2395670 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139784698268456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9006] ppid=8999 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/9002/task/9006/stat : 9006 (java) S 8999 9002 6721 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 27 0 2395670 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139784697215656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9007] ppid=8999 vsize=10162692 CPUtime=0.04 cores=4-7,12-15
/proc/9002/task/9007/stat : 9007 (java) S 8999 9002 6721 0 -1 4202560 21 0 0 0 2 2 0 0 20 0 27 0 2395670 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139784696163368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=9002/tid=9008] ppid=8999 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/9002/task/9008/stat : 9008 (java) S 8999 9002 6721 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 27 0 2395670 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139784695110568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9002/tid=9009] ppid=8999 vsize=10162692 CPUtime=0.02 cores=4-7,12-15
/proc/9002/task/9009/stat : 9009 (java) S 8999 9002 6721 0 -1 4202560 18 0 0 0 0 2 0 0 20 0 27 0 2395670 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139784694057256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9002/tid=9010] ppid=8999 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/9002/task/9010/stat : 9010 (java) S 8999 9002 6721 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 27 0 2395670 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139784693004456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9011] ppid=8999 vsize=10162692 CPUtime=0.02 cores=4-7,12-15
/proc/9002/task/9011/stat : 9011 (java) S 8999 9002 6721 0 -1 4202560 17 0 0 0 1 1 0 0 20 0 27 0 2395670 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139784691952168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9002/tid=9012] ppid=8999 vsize=10162692 CPUtime=0.03 cores=4-7,12-15
/proc/9002/task/9012/stat : 9012 (java) S 8999 9002 6721 0 -1 4202560 15 0 0 0 2 1 0 0 20 0 27 0 2395670 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139784690899368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9002/tid=9013] ppid=8999 vsize=10162692 CPUtime=0.03 cores=4-7,12-15
/proc/9002/task/9013/stat : 9013 (java) S 8999 9002 6721 0 -1 4202560 19 0 0 0 2 1 0 0 20 0 27 0 2395670 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139784689847080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9002/tid=9014] ppid=8999 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/9002/task/9014/stat : 9014 (java) S 8999 9002 6721 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 27 0 2395670 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139784688794280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=9002/tid=9015] ppid=8999 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/9002/task/9015/stat : 9015 (java) S 8999 9002 6721 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 27 0 2395670 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139784687741992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9002/tid=9016] ppid=8999 vsize=10162692 CPUtime=0.02 cores=4-7,12-15
/proc/9002/task/9016/stat : 9016 (java) S 8999 9002 6721 0 -1 4202560 12 0 0 0 1 1 0 0 20 0 27 0 2395670 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139784686689192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9002/tid=9017] ppid=8999 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/9002/task/9017/stat : 9017 (java) S 8999 9002 6721 0 -1 4202560 15 0 0 0 0 1 0 0 20 0 27 0 2395670 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139784685635880 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9002/tid=9018] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9018/stat : 9018 (java) S 8999 9002 6721 0 -1 4202560 190 0 0 0 0 0 0 0 20 0 27 0 2395671 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139784549783656 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=9002/tid=9019] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9019/stat : 9019 (java) S 8999 9002 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 2395671 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139784548730232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9020] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9020/stat : 9020 (java) S 8999 9002 6721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 2395671 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139784547677320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9021] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9021/stat : 9021 (java) S 8999 9002 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2395673 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139784546626320 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9022] ppid=8999 vsize=10162692 CPUtime=1.54 cores=4-7,12-15
/proc/9002/task/9022/stat : 9022 (java) R 8999 9002 6721 0 -1 4202560 14254 0 0 0 152 2 0 0 20 0 27 0 2395673 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139784545573432 139784742979594 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9023] ppid=8999 vsize=10162692 CPUtime=1.52 cores=4-7,12-15
/proc/9002/task/9023/stat : 9023 (java) R 8999 9002 6721 0 -1 4202560 11478 0 0 0 150 2 0 0 20 0 27 0 2395673 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139784544521144 139784744204778 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0
[pid=9002/tid=9024] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9024/stat : 9024 (java) S 8999 9002 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2395673 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139783267412984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9025] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9025/stat : 9025 (java) S 8999 9002 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2395673 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139783266359880 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9028] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9028/stat : 9028 (java) S 8999 9002 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 2395685 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139783263200296 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9030] ppid=8999 vsize=10162692 CPUtime=2.34 cores=4-7,12-15
/proc/9002/task/9030/stat : 9030 (java) R 8999 9002 6721 0 -1 4202560 11 0 0 0 234 0 0 0 20 0 27 0 2395735 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139783264252752 139784559701644 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9002/tid=9031] ppid=8999 vsize=10162692 CPUtime=2.34 cores=4-7,12-15
/proc/9002/task/9031/stat : 9031 (java) R 8999 9002 6721 0 -1 4202560 131 0 0 0 230 4 0 0 20 0 27 0 2395735 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139783265305880 139784559918094 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=9002/tid=9032] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9032/stat : 9032 (java) S 8999 9002 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 2395735 10406596608 84121 33554432000 1073741824 1073778376 140737277164816 139783262148136 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 8.59
Current children cumulated vsize (KiB) 10162692
[startup+6.30116 s]
/proc/loadavg: 3.80 4.06 3.95 5/311 9032
/proc/meminfo: memFree=25256144/32872528 swapFree=8828/8828
################
# More data... #
################
/proc/9002/task/9022/stat : 9022 (java) S 8999 9002 6721 0 -1 4202560 14268 0 0 0 160 2 0 0 20 0 27 0 2395673 10406596608 602605 33554432000 1073741824 1073778376 140737277164816 139784545573432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=9002/tid=9023] ppid=8999 vsize=10162692 CPUtime=2.11 cores=4-7,12-15
/proc/9002/task/9023/stat : 9023 (java) S 8999 9002 6721 0 -1 4202560 16074 0 0 0 208 3 0 0 20 0 27 0 2395673 10406596608 602605 33554432000 1073741824 1073778376 140737277164816 139784544521144 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9002/tid=9024] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9024/stat : 9024 (java) S 8999 9002 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2395673 10406596608 602605 33554432000 1073741824 1073778376 140737277164816 139783267412984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9025] ppid=8999 vsize=10162692 CPUtime=0.4 cores=4-7,12-15
/proc/9002/task/9025/stat : 9025 (java) S 8999 9002 6721 0 -1 4202560 46 0 0 0 18 22 0 0 20 0 27 0 2395673 10406596608 602605 33554432000 1073741824 1073778376 140737277164816 139783266359880 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9002/tid=9028] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9028/stat : 9028 (java) S 8999 9002 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 2395685 10406596608 602605 33554432000 1073741824 1073778376 140737277164816 139783263200296 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9030] ppid=8999 vsize=10162692 CPUtime=812.35 cores=4-7,12-15
/proc/9002/task/9030/stat : 9030 (java) R 8999 9002 6721 0 -1 4202560 254 0 0 0 81221 14 0 0 20 0 27 0 2395735 10406596608 602605 33554432000 1073741824 1073778376 140737277164816 139783264252752 139784559767609 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9002/tid=9031] ppid=8999 vsize=10162692 CPUtime=812.42 cores=4-7,12-15
/proc/9002/task/9031/stat : 9031 (java) R 8999 9002 6721 0 -1 4202560 1906 0 0 0 81190 52 0 0 20 0 27 0 2395735 10406596608 602605 33554432000 1073741824 1073778376 140737277164816 139783265304576 139784559792962 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0
[pid=9002/tid=9032] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9032/stat : 9032 (java) S 8999 9002 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 2395735 10406596608 602605 33554432000 1073741824 1073778376 140737277164816 139783262148136 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1675.42
Current children cumulated vsize (KiB) 10162692
[startup+882.312 s]
/proc/loadavg: 4.04 4.10 4.03 5/311 9129
/proc/meminfo: memFree=23420232/32872528 swapFree=8828/8828
[pid=9002] ppid=8999 vsize=10162692 CPUtime=1797.85 cores=4-7,12-15
/proc/9002/stat : 9002 (java) S 8999 9002 6721 0 -1 4202496 43419 0 1 0 179526 259 0 0 20 0 27 0 2395668 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 140737277155952 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/9002/statm: 2540673 597791 2294 9 0 2531350 0
[pid=9002/tid=9003] ppid=8999 vsize=10162692 CPUtime=0.19 cores=4-7,12-15
/proc/9002/task/9003/stat : 9003 (java) S 8999 9002 6721 0 -1 4202560 2470 0 1 0 16 3 0 0 20 0 27 0 2395669 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784736777080 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9002/tid=9005] ppid=8999 vsize=10162692 CPUtime=3.36 cores=4-7,12-15
/proc/9002/task/9005/stat : 9005 (java) S 8999 9002 6721 0 -1 4202560 378 0 0 0 322 14 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784698268456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9002/tid=9006] ppid=8999 vsize=10162692 CPUtime=3.28 cores=4-7,12-15
/proc/9002/task/9006/stat : 9006 (java) S 8999 9002 6721 0 -1 4202560 454 0 0 0 315 13 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784697215656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=9002/tid=9007] ppid=8999 vsize=10162692 CPUtime=3.39 cores=4-7,12-15
/proc/9002/task/9007/stat : 9007 (java) S 8999 9002 6721 0 -1 4202560 400 0 0 0 328 11 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784696163368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=9002/tid=9008] ppid=8999 vsize=10162692 CPUtime=3.41 cores=4-7,12-15
/proc/9002/task/9008/stat : 9008 (java) S 8999 9002 6721 0 -1 4202560 414 0 0 0 329 12 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784695110568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9009] ppid=8999 vsize=10162692 CPUtime=3.4 cores=4-7,12-15
/proc/9002/task/9009/stat : 9009 (java) S 8999 9002 6721 0 -1 4202560 392 0 0 0 324 16 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784694057256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=9002/tid=9010] ppid=8999 vsize=10162692 CPUtime=3.26 cores=4-7,12-15
/proc/9002/task/9010/stat : 9010 (java) S 8999 9002 6721 0 -1 4202560 426 0 0 0 316 10 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784693004456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9002/tid=9011] ppid=8999 vsize=10162692 CPUtime=3.38 cores=4-7,12-15
/proc/9002/task/9011/stat : 9011 (java) S 8999 9002 6721 0 -1 4202560 388 0 0 0 323 15 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784691952168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9002/tid=9012] ppid=8999 vsize=10162692 CPUtime=3.17 cores=4-7,12-15
/proc/9002/task/9012/stat : 9012 (java) S 8999 9002 6721 0 -1 4202560 385 0 0 0 305 12 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784690899368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9002/tid=9013] ppid=8999 vsize=10162692 CPUtime=3.45 cores=4-7,12-15
/proc/9002/task/9013/stat : 9013 (java) S 8999 9002 6721 0 -1 4202560 453 0 0 0 333 12 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784689847080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9014] ppid=8999 vsize=10162692 CPUtime=3.32 cores=4-7,12-15
/proc/9002/task/9014/stat : 9014 (java) S 8999 9002 6721 0 -1 4202560 389 0 0 0 319 13 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784688794280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=9002/tid=9015] ppid=8999 vsize=10162692 CPUtime=3.37 cores=4-7,12-15
/proc/9002/task/9015/stat : 9015 (java) S 8999 9002 6721 0 -1 4202560 410 0 0 0 325 12 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784687741992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9016] ppid=8999 vsize=10162692 CPUtime=3.37 cores=4-7,12-15
/proc/9002/task/9016/stat : 9016 (java) S 8999 9002 6721 0 -1 4202560 415 0 0 0 321 16 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784686689192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9017] ppid=8999 vsize=10162692 CPUtime=3.23 cores=4-7,12-15
/proc/9002/task/9017/stat : 9017 (java) S 8999 9002 6721 0 -1 4202560 377 0 0 0 312 11 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784685635880 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9002/tid=9018] ppid=8999 vsize=10162692 CPUtime=1.19 cores=4-7,12-15
/proc/9002/task/9018/stat : 9018 (java) S 8999 9002 6721 0 -1 4202560 1761 0 0 0 110 9 0 0 20 0 27 0 2395671 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784549783656 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9002/tid=9019] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9019/stat : 9019 (java) S 8999 9002 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 2395671 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784548730232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9020] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9020/stat : 9020 (java) S 8999 9002 6721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 2395671 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784547677320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9021] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9021/stat : 9021 (java) S 8999 9002 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2395673 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784546626320 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9022] ppid=8999 vsize=10162692 CPUtime=1.62 cores=4-7,12-15
/proc/9002/task/9022/stat : 9022 (java) S 8999 9002 6721 0 -1 4202560 14268 0 0 0 160 2 0 0 20 0 27 0 2395673 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784545573432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=9002/tid=9023] ppid=8999 vsize=10162692 CPUtime=2.11 cores=4-7,12-15
/proc/9002/task/9023/stat : 9023 (java) S 8999 9002 6721 0 -1 4202560 16074 0 0 0 208 3 0 0 20 0 27 0 2395673 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784544521144 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9002/tid=9024] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9024/stat : 9024 (java) S 8999 9002 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2395673 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139783267412984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9025] ppid=8999 vsize=10162692 CPUtime=0.42 cores=4-7,12-15
/proc/9002/task/9025/stat : 9025 (java) S 8999 9002 6721 0 -1 4202560 50 0 0 0 19 23 0 0 20 0 27 0 2395673 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139783266359880 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9002/tid=9028] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9028/stat : 9028 (java) S 8999 9002 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 2395685 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139783263200296 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9030] ppid=8999 vsize=10162692 CPUtime=871.73 cores=4-7,12-15
/proc/9002/task/9030/stat : 9030 (java) R 8999 9002 6721 0 -1 4202560 275 0 0 0 87158 15 0 0 20 0 27 0 2395735 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139783264250768 139784559712159 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9002/tid=9031] ppid=8999 vsize=10162692 CPUtime=871.79 cores=4-7,12-15
/proc/9002/task/9031/stat : 9031 (java) R 8999 9002 6721 0 -1 4202560 1922 0 0 0 87126 53 0 0 20 0 27 0 2395735 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139783265304560 139784559802736 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9002/tid=9032] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9032/stat : 9032 (java) S 8999 9002 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 2395735 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139783262148136 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 10162692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+883.412 s]
/proc/loadavg: 4.03 4.10 4.03 5/311 9129
/proc/meminfo: memFree=23420232/32872528 swapFree=8828/8828
[pid=9002] ppid=8999 vsize=10162692 CPUtime=1800.06 cores=4-7,12-15
/proc/9002/stat : 9002 (java) S 8999 9002 6721 0 -1 4202496 43419 0 1 0 179746 260 0 0 20 0 27 0 2395668 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 140737277155952 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/9002/statm: 2540673 597791 2294 9 0 2531350 0
[pid=9002/tid=9003] ppid=8999 vsize=10162692 CPUtime=0.19 cores=4-7,12-15
/proc/9002/task/9003/stat : 9003 (java) S 8999 9002 6721 0 -1 4202560 2470 0 1 0 16 3 0 0 20 0 27 0 2395669 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784736777080 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9002/tid=9005] ppid=8999 vsize=10162692 CPUtime=3.36 cores=4-7,12-15
/proc/9002/task/9005/stat : 9005 (java) S 8999 9002 6721 0 -1 4202560 378 0 0 0 322 14 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784698268456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9002/tid=9006] ppid=8999 vsize=10162692 CPUtime=3.28 cores=4-7,12-15
/proc/9002/task/9006/stat : 9006 (java) S 8999 9002 6721 0 -1 4202560 454 0 0 0 315 13 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784697215656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=9002/tid=9007] ppid=8999 vsize=10162692 CPUtime=3.39 cores=4-7,12-15
/proc/9002/task/9007/stat : 9007 (java) S 8999 9002 6721 0 -1 4202560 400 0 0 0 328 11 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784696163368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=9002/tid=9008] ppid=8999 vsize=10162692 CPUtime=3.41 cores=4-7,12-15
/proc/9002/task/9008/stat : 9008 (java) S 8999 9002 6721 0 -1 4202560 414 0 0 0 329 12 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784695110568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9009] ppid=8999 vsize=10162692 CPUtime=3.4 cores=4-7,12-15
/proc/9002/task/9009/stat : 9009 (java) S 8999 9002 6721 0 -1 4202560 392 0 0 0 324 16 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784694057256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=9002/tid=9010] ppid=8999 vsize=10162692 CPUtime=3.26 cores=4-7,12-15
/proc/9002/task/9010/stat : 9010 (java) S 8999 9002 6721 0 -1 4202560 426 0 0 0 316 10 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784693004456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9002/tid=9011] ppid=8999 vsize=10162692 CPUtime=3.38 cores=4-7,12-15
/proc/9002/task/9011/stat : 9011 (java) S 8999 9002 6721 0 -1 4202560 388 0 0 0 323 15 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784691952168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9002/tid=9012] ppid=8999 vsize=10162692 CPUtime=3.17 cores=4-7,12-15
/proc/9002/task/9012/stat : 9012 (java) S 8999 9002 6721 0 -1 4202560 385 0 0 0 305 12 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784690899368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9002/tid=9013] ppid=8999 vsize=10162692 CPUtime=3.45 cores=4-7,12-15
/proc/9002/task/9013/stat : 9013 (java) S 8999 9002 6721 0 -1 4202560 453 0 0 0 333 12 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784689847080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9014] ppid=8999 vsize=10162692 CPUtime=3.32 cores=4-7,12-15
/proc/9002/task/9014/stat : 9014 (java) S 8999 9002 6721 0 -1 4202560 389 0 0 0 319 13 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784688794280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=9002/tid=9015] ppid=8999 vsize=10162692 CPUtime=3.37 cores=4-7,12-15
/proc/9002/task/9015/stat : 9015 (java) S 8999 9002 6721 0 -1 4202560 410 0 0 0 325 12 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784687741992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9016] ppid=8999 vsize=10162692 CPUtime=3.37 cores=4-7,12-15
/proc/9002/task/9016/stat : 9016 (java) S 8999 9002 6721 0 -1 4202560 415 0 0 0 321 16 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784686689192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9017] ppid=8999 vsize=10162692 CPUtime=3.23 cores=4-7,12-15
/proc/9002/task/9017/stat : 9017 (java) S 8999 9002 6721 0 -1 4202560 377 0 0 0 312 11 0 0 20 0 27 0 2395670 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784685635880 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9002/tid=9018] ppid=8999 vsize=10162692 CPUtime=1.19 cores=4-7,12-15
/proc/9002/task/9018/stat : 9018 (java) S 8999 9002 6721 0 -1 4202560 1761 0 0 0 110 9 0 0 20 0 27 0 2395671 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784549783656 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9002/tid=9019] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9019/stat : 9019 (java) S 8999 9002 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 2395671 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784548730232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9020] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9020/stat : 9020 (java) S 8999 9002 6721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 2395671 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784547677320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9021] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9021/stat : 9021 (java) S 8999 9002 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2395673 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784546626320 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=9002/tid=9022] ppid=8999 vsize=10162692 CPUtime=1.62 cores=4-7,12-15
/proc/9002/task/9022/stat : 9022 (java) S 8999 9002 6721 0 -1 4202560 14268 0 0 0 160 2 0 0 20 0 27 0 2395673 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784545573432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=9002/tid=9023] ppid=8999 vsize=10162692 CPUtime=2.11 cores=4-7,12-15
/proc/9002/task/9023/stat : 9023 (java) S 8999 9002 6721 0 -1 4202560 16074 0 0 0 208 3 0 0 20 0 27 0 2395673 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139784544521144 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9002/tid=9024] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9024/stat : 9024 (java) S 8999 9002 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2395673 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139783267412984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9025] ppid=8999 vsize=10162692 CPUtime=0.42 cores=4-7,12-15
/proc/9002/task/9025/stat : 9025 (java) S 8999 9002 6721 0 -1 4202560 50 0 0 0 19 23 0 0 20 0 27 0 2395673 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139783266359880 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9002/tid=9028] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9028/stat : 9028 (java) S 8999 9002 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 2395685 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139783263200296 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=9002/tid=9030] ppid=8999 vsize=10162692 CPUtime=872.82 cores=4-7,12-15
/proc/9002/task/9030/stat : 9030 (java) R 8999 9002 6721 0 -1 4202560 275 0 0 0 87267 15 0 0 20 0 27 0 2395735 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139783264250768 139784559806641 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9002/tid=9031] ppid=8999 vsize=10162692 CPUtime=872.89 cores=4-7,12-15
/proc/9002/task/9031/stat : 9031 (java) R 8999 9002 6721 0 -1 4202560 1922 0 0 0 87236 53 0 0 20 0 27 0 2395735 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139783265304560 139784559802934 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9002/tid=9032] ppid=8999 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/9002/task/9032/stat : 9032 (java) S 8999 9002 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 2395735 10406596608 597791 33554432000 1073741824 1073778376 140737277164816 139783262148136 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10162692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9002 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9002 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=359519
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=993544
# CPU time returned by wait4() is 1795.35
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 883.476
CPU time (s): 1800.06
CPU user time (s): 1797.46
CPU system time (s): 2.6
CPU usage (%): 203.747
Max. virtual memory (cumulated for all children) (KiB): 10162692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.36
system time used= 2.99354
maximum resident set size= 2865776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43462
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41678
involuntary context switches= 45503
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.57354 second user time and 8.01778 second system time
The end