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-4090364-1466069881/watcher-4090364-1466069881 -o /tmp/evaluation-result-4090364-1466069881/solver-4090364-1466069881 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466062122-10381 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090364-1466069881.wbo
pid=13721
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.35 2.32 2.28 3/194 13724
/proc/meminfo: memFree=30056724/32872528 swapFree=1370072/1517240
[pid=13724] ppid=13721 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/13724/stat : 13724 (java) D 13721 13724 10365 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 9034568 2560000 47 33554432000 1073741824 1073778376 140733982346896 140733982344024 229346733351 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/13724/statm: 625 47 37 9 0 29 0
[startup+0.10016 s]
/proc/loadavg: 2.35 2.32 2.28 3/194 13724
/proc/meminfo: memFree=30056724/32872528 swapFree=1370072/1517240
[pid=13724] ppid=13721 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/13724/stat : 13724 (java) S 13721 13724 10365 0 -1 4202496 4393 0 1 0 8 1 0 0 20 0 18 0 9034568 9787879424 6018 33554432000 1073741824 1073778376 140733982346896 140733982338032 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13724/statm: 2389619 6018 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200217 s]
/proc/loadavg: 2.35 2.32 2.28 3/194 13724
/proc/meminfo: memFree=30056724/32872528 swapFree=1370072/1517240
[pid=13724] ppid=13721 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/13724/stat : 13724 (java) S 13721 13724 10365 0 -1 4202496 4705 0 1 0 24 1 0 0 20 0 18 0 9034568 9787879424 6779 33554432000 1073741824 1073778376 140733982346896 140733982338032 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13724/statm: 2389619 6779 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.300218 s]
/proc/loadavg: 2.35 2.32 2.28 3/194 13724
/proc/meminfo: memFree=30056724/32872528 swapFree=1370072/1517240
[pid=13724] ppid=13721 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/13724/stat : 13724 (java) S 13721 13724 10365 0 -1 4202496 5846 0 1 0 47 1 0 0 20 0 18 0 9034568 9787879424 8619 33554432000 1073741824 1073778376 140733982346896 140733982338032 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13724/statm: 2389619 8619 2230 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700283 s]
/proc/loadavg: 2.35 2.32 2.28 3/194 13724
/proc/meminfo: memFree=30056724/32872528 swapFree=1370072/1517240
[pid=13724] ppid=13721 vsize=9558476 CPUtime=1.34 cores=0,2,4,6
/proc/13724/stat : 13724 (java) S 13721 13724 10365 0 -1 4202496 10478 0 1 0 128 6 0 0 20 0 18 0 9034568 9787879424 46453 33554432000 1073741824 1073778376 140733982346896 140733982338032 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13724/statm: 2389619 46453 2263 9 0 2380296 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9558476
[startup+1.50082 s]
/proc/loadavg: 2.35 2.32 2.28 3/212 13742
/proc/meminfo: memFree=29835100/32872528 swapFree=1370072/1517240
[pid=13724] ppid=13721 vsize=9558476 CPUtime=2.53 cores=0,2,4,6
/proc/13724/stat : 13724 (java) S 13721 13724 10365 0 -1 4202496 11251 0 1 0 235 18 0 0 20 0 18 0 9034568 9787879424 99720 33554432000 1073741824 1073778376 140733982346896 140733982338032 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13724/statm: 2389619 99720 2263 9 0 2380296 0
[pid=13724/tid=13726] ppid=13721 vsize=9558476 CPUtime=1.29 cores=0,2,4,6
/proc/13724/task/13726/stat : 13726 (java) R 13721 13724 10365 0 -1 4202560 2510 0 1 0 125 4 0 0 20 0 18 0 9034569 9787879424 99720 33554432000 1073741824 1073778376 140733982346896 140518219836840 140518059634752 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13727] ppid=13721 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/13724/task/13727/stat : 13727 (java) S 13721 13724 10365 0 -1 4202560 149 0 0 0 3 1 0 0 20 0 18 0 9034570 9787879424 99720 33554432000 1073741824 1073778376 140733982346896 140518181329448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13728] ppid=13721 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/13724/task/13728/stat : 13728 (java) S 13721 13724 10365 0 -1 4202560 37 0 0 0 6 2 0 0 20 0 18 0 9034570 9787879424 99720 33554432000 1073741824 1073778376 140733982346896 140518180276648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13729] ppid=13721 vsize=9558476 CPUtime=0.05 cores=0,2,4,6
/proc/13724/task/13729/stat : 13729 (java) S 13721 13724 10365 0 -1 4202560 37 0 0 0 3 2 0 0 20 0 18 0 9034570 9787879424 99720 33554432000 1073741824 1073778376 140733982346896 140518179223848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13724/tid=13730] ppid=13721 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/13724/task/13730/stat : 13730 (java) S 13721 13724 10365 0 -1 4202560 143 0 0 0 7 3 0 0 20 0 18 0 9034570 9787879424 99720 33554432000 1073741824 1073778376 140733982346896 140518178171048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13731] ppid=13721 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/13724/task/13731/stat : 13731 (java) S 13721 13724 10365 0 -1 4202560 126 0 0 0 6 2 0 0 20 0 18 0 9034570 9787879424 99720 33554432000 1073741824 1073778376 140733982346896 140518059142184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13732] ppid=13721 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/13724/task/13732/stat : 13732 (java) S 13721 13724 10365 0 -1 4202560 103 0 0 0 4 2 0 0 20 0 18 0 9034570 9787879424 99720 33554432000 1073741824 1073778376 140733982346896 140518058089384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13724/tid=13733] ppid=13721 vsize=9558476 CPUtime=0.05 cores=0,2,4,6
/proc/13724/task/13733/stat : 13733 (java) S 13721 13724 10365 0 -1 4202560 26 0 0 0 5 0 0 0 20 0 18 0 9034570 9787879424 99720 33554432000 1073741824 1073778376 140733982346896 140518057036584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13734] ppid=13721 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/13724/task/13734/stat : 13734 (java) S 13721 13724 10365 0 -1 4202560 40 0 0 0 5 1 0 0 20 0 18 0 9034570 9787879424 99720 33554432000 1073741824 1073778376 140733982346896 140518055983784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13735] ppid=13721 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13735/stat : 13735 (java) S 13721 13724 10365 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 9034571 9787879424 99720 33554432000 1073741824 1073778376 140733982346896 140518043785704 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13736] ppid=13721 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13736/stat : 13736 (java) S 13721 13724 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 9034571 9787879424 99720 33554432000 1073741824 1073778376 140733982346896 140517438383352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13737] ppid=13721 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13737/stat : 13737 (java) S 13721 13724 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 9034571 9787879424 99720 33554432000 1073741824 1073778376 140733982346896 140517437330440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13738] ppid=13721 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13738/stat : 13738 (java) S 13721 13724 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 9034574 9787879424 99720 33554432000 1073741824 1073778376 140733982346896 140517436278928 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13739] ppid=13721 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/13724/task/13739/stat : 13739 (java) S 13721 13724 10365 0 -1 4202560 4228 0 0 0 27 0 0 0 20 0 18 0 9034574 9787879424 99720 33554432000 1073741824 1073778376 140733982346896 140517435227064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13740] ppid=13721 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/13724/task/13740/stat : 13740 (java) S 13721 13724 10365 0 -1 4202560 2405 0 0 0 28 0 0 0 20 0 18 0 9034574 9787879424 99720 33554432000 1073741824 1073778376 140733982346896 140517434174264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13741] ppid=13721 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13741/stat : 13741 (java) S 13721 13724 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 9034574 9787879424 99720 33554432000 1073741824 1073778376 140733982346896 140517433121656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13742] ppid=13721 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13742/stat : 13742 (java) S 13721 13724 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 9034574 9787879424 99720 33554432000 1073741824 1073778376 140733982346896 140517432069064 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 9558476
[startup+3.10085 s]
/proc/loadavg: 2.35 2.32 2.28 4/213 13743
/proc/meminfo: memFree=29596728/32872528 swapFree=1370072/1517240
[pid=13724] ppid=13721 vsize=9625040 CPUtime=4.87 cores=0,2,4,6
/proc/13724/stat : 13724 (java) S 13721 13724 10365 0 -1 4202496 12323 0 1 0 462 25 0 0 20 0 19 0 9034568 9856040960 117599 33554432000 1073741824 1073778376 140733982346896 140733982338032 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13724/statm: 2406260 117599 2280 9 0 2396937 0
[pid=13724/tid=13726] ppid=13721 vsize=9625040 CPUtime=2.79 cores=0,2,4,6
/proc/13724/task/13726/stat : 13726 (java) R 13721 13724 10365 0 -1 4202560 2527 0 1 0 274 5 0 0 20 0 19 0 9034569 9856040960 117599 33554432000 1073741824 1073778376 140733982346896 140518219838008 140518059905096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13727] ppid=13721 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/13724/task/13727/stat : 13727 (java) S 13721 13724 10365 0 -1 4202560 159 0 0 0 5 2 0 0 20 0 19 0 9034570 9856040960 117599 33554432000 1073741824 1073778376 140733982346896 140518181329448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13728] ppid=13721 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/13724/task/13728/stat : 13728 (java) S 13721 13724 10365 0 -1 4202560 52 0 0 0 8 3 0 0 20 0 19 0 9034570 9856040960 117599 33554432000 1073741824 1073778376 140733982346896 140518180276648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13729] ppid=13721 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/13724/task/13729/stat : 13729 (java) S 13721 13724 10365 0 -1 4202560 60 0 0 0 6 2 0 0 20 0 19 0 9034570 9856040960 117599 33554432000 1073741824 1073778376 140733982346896 140518179223848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13724/tid=13730] ppid=13721 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/13724/task/13730/stat : 13730 (java) S 13721 13724 10365 0 -1 4202560 154 0 0 0 10 4 0 0 20 0 19 0 9034570 9856040960 117599 33554432000 1073741824 1073778376 140733982346896 140518178171048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13731] ppid=13721 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/13724/task/13731/stat : 13731 (java) S 13721 13724 10365 0 -1 4202560 162 0 0 0 8 3 0 0 20 0 19 0 9034570 9856040960 117599 33554432000 1073741824 1073778376 140733982346896 140518059142184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13732] ppid=13721 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/13724/task/13732/stat : 13732 (java) S 13721 13724 10365 0 -1 4202560 122 0 0 0 7 2 0 0 20 0 19 0 9034570 9856040960 117599 33554432000 1073741824 1073778376 140733982346896 140518058089384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13724/tid=13733] ppid=13721 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/13724/task/13733/stat : 13733 (java) S 13721 13724 10365 0 -1 4202560 285 0 0 0 11 3 0 0 20 0 19 0 9034570 9856040960 117599 33554432000 1073741824 1073778376 140733982346896 140518057036584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13734] ppid=13721 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/13724/task/13734/stat : 13734 (java) S 13721 13724 10365 0 -1 4202560 93 0 0 0 11 3 0 0 20 0 19 0 9034570 9856040960 117599 33554432000 1073741824 1073778376 140733982346896 140518055983784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13735] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13735/stat : 13735 (java) S 13721 13724 10365 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 9034571 9856040960 117599 33554432000 1073741824 1073778376 140733982346896 140518043785704 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13736] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13736/stat : 13736 (java) S 13721 13724 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9034571 9856040960 117599 33554432000 1073741824 1073778376 140733982346896 140517438383352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13737] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13737/stat : 13737 (java) S 13721 13724 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9034571 9856040960 117599 33554432000 1073741824 1073778376 140733982346896 140517437330440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13738] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13738/stat : 13738 (java) S 13721 13724 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9034574 9856040960 117599 33554432000 1073741824 1073778376 140733982346896 140517436278928 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13739] ppid=13721 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/13724/task/13739/stat : 13739 (java) S 13721 13724 10365 0 -1 4202560 4258 0 0 0 49 0 0 0 20 0 19 0 9034574 9856040960 117599 33554432000 1073741824 1073778376 140733982346896 140517435227064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13740] ppid=13721 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/13724/task/13740/stat : 13740 (java) S 13721 13724 10365 0 -1 4202560 2995 0 0 0 56 0 0 0 20 0 19 0 9034574 9856040960 117599 33554432000 1073741824 1073778376 140733982346896 140517434174264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13724/tid=13741] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13741/stat : 13741 (java) S 13721 13724 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9034574 9856040960 117599 33554432000 1073741824 1073778376 140733982346896 140517433121656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13742] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13742/stat : 13742 (java) S 13721 13724 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9034574 9856040960 117599 33554432000 1073741824 1073778376 140733982346896 140517432069064 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13743] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13743/stat : 13743 (java) S 13721 13724 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9034787 9856040960 117599 33554432000 1073741824 1073778376 140733982346896 140517431014568 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.87
Current children cumulated vsize (KiB) 9625040
[startup+6.30084 s]
/proc/loadavg: 2.40 2.33 2.28 4/213 13743
/proc/meminfo: memFree=29593968/32872528 swapFree=1370072/1517240
[pid=13724] ppid=13721 vsize=9625040 CPUtime=8.15 cores=0,2,4,6
/proc/13724/stat : 13724 (java) S 13721 13724 10365 0 -1 4202496 12325 0 1 0 790 25 0 0 20 0 19 0 9034568 9856040960 117395 33554432000 1073741824 1073778376 140733982346896 140733982338032 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13724/statm: 2406260 117395 2280 9 0 2396937 0
[pid=13724/tid=13726] ppid=13721 vsize=9625040 CPUtime=5.99 cores=0,2,4,6
/proc/13724/task/13726/stat : 13726 (java) R 13721 13724 10365 0 -1 4202560 2529 0 1 0 594 5 0 0 20 0 19 0 9034569 9856040960 117395 33554432000 1073741824 1073778376 140733982346896 140518219835824 140518060130129 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13727] ppid=13721 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/13724/task/13727/stat : 13727 (java) S 13721 13724 10365 0 -1 4202560 159 0 0 0 5 2 0 0 20 0 19 0 9034570 9856040960 117395 33554432000 1073741824 1073778376 140733982346896 140518181329448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13728] ppid=13721 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/13724/task/13728/stat : 13728 (java) S 13721 13724 10365 0 -1 4202560 52 0 0 0 8 3 0 0 20 0 19 0 9034570 9856040960 117395 33554432000 1073741824 1073778376 140733982346896 140518180276648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13729] ppid=13721 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/13724/task/13729/stat : 13729 (java) S 13721 13724 10365 0 -1 4202560 60 0 0 0 6 2 0 0 20 0 19 0 9034570 9856040960 117395 33554432000 1073741824 1073778376 140733982346896 140518179223848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13724/tid=13730] ppid=13721 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/13724/task/13730/stat : 13730 (java) S 13721 13724 10365 0 -1 4202560 154 0 0 0 10 4 0 0 20 0 19 0 9034570 9856040960 117395 33554432000 1073741824 1073778376 140733982346896 140518178171048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13731] ppid=13721 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/13724/task/13731/stat : 13731 (java) S 13721 13724 10365 0 -1 4202560 162 0 0 0 8 3 0 0 20 0 19 0 9034570 9856040960 117395 33554432000 1073741824 1073778376 140733982346896 140518059142184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13732] ppid=13721 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/13724/task/13732/stat : 13732 (java) S 13721 13724 10365 0 -1 4202560 122 0 0 0 7 2 0 0 20 0 19 0 9034570 9856040960 117395 33554432000 1073741824 1073778376 140733982346896 140518058089384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13724/tid=13733] ppid=13721 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/13724/task/13733/stat : 13733 (java) S 13721 13724 10365 0 -1 4202560 285 0 0 0 11 3 0 0 20 0 19 0 9034570 9856040960 117395 33554432000 1073741824 1073778376 140733982346896 140518057036584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13734] ppid=13721 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/13724/task/13734/stat : 13734 (java) S 13721 13724 10365 0 -1 4202560 93 0 0 0 11 3 0 0 20 0 19 0 9034570 9856040960 117395 33554432000 1073741824 1073778376 140733982346896 140518055983784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13735] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13735/stat : 13735 (java) S 13721 13724 10365 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 9034571 9856040960 117395 33554432000 1073741824 1073778376 140733982346896 140518043785704 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13724/tid=13736] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13736/stat : 13736 (java) S 13721 13724 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9034571 9856040960 117395 33554432000 1073741824 1073778376 140733982346896 140517438383352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13737] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13737/stat : 13737 (java) S 13721 13724 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9034571 9856040960 117395 33554432000 1073741824 1073778376 140733982346896 140517437330440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13738] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13738/stat : 13738 (java) S 13721 13724 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9034574 9856040960 117395 33554432000 1073741824 1073778376 140733982346896 140517436278928 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13739] ppid=13721 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/13724/task/13739/stat : 13739 (java) S 13721 13724 10365 0 -1 4202560 4258 0 0 0 54 0 0 0 20 0 19 0 9034574 9856040960 117395 33554432000 1073741824 1073778376 140733982346896 140517435227064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13740] ppid=13721 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/13724/task/13740/stat : 13740 (java) S 13721 13724 10365 0 -1 4202560 2995 0 0 0 59 0 0 0 20 0 19 0 9034574 9856040960 117395 33554432000 1073741824 1073778376 140733982346896 140517434174264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13724/tid=13741] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13741/stat : 13741 (java) S 13721 13724 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9034574 9856040960 117395 33554432000 1073741824 1073778376 140733982346896 140517433121656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13742] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13742/stat : 13742 (java) S 13721 13724 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9034574 9856040960 117395 33554432000 1073741824 1073778376 140733982346896 140517432069064 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13724/tid=13743] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13743/stat : 13743 (java) S 13721 13724 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9034787 9856040960 117395 33554432000 1073741824 1073778376 140733982346896 140517431014568 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.15
Current children cumulated vsize (KiB) 9625040
[startup+12.7008 s]
/proc/loadavg: 2.37 2.33 2.28 4/213 13743
################
# More data... #
################
[pid=13724/tid=13736] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13736/stat : 13736 (java) S 13721 13724 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9034571 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517438383352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13737] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13737/stat : 13737 (java) S 13721 13724 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9034571 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517437330440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13738] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13738/stat : 13738 (java) S 13721 13724 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9034574 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517436278928 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13739] ppid=13721 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/13724/task/13739/stat : 13739 (java) S 13721 13724 10365 0 -1 4202560 4276 0 0 0 65 0 0 0 20 0 19 0 9034574 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517435227064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13740] ppid=13721 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/13724/task/13740/stat : 13740 (java) S 13721 13724 10365 0 -1 4202560 3006 0 0 0 63 0 0 0 20 0 19 0 9034574 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517434174264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13724/tid=13741] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13741/stat : 13741 (java) S 13721 13724 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9034574 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517433121656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13742] ppid=13721 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/13724/task/13742/stat : 13742 (java) S 13721 13724 10365 0 -1 4202560 95 0 0 0 36 30 0 0 20 0 19 0 9034574 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517432069064 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13743] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13743/stat : 13743 (java) S 13721 13724 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9034787 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517431014568 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1664.36
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.26 2.25 2.20 4/213 13874
/proc/meminfo: memFree=29837604/32872528 swapFree=1370072/1517240
[pid=13724] ppid=13721 vsize=9625040 CPUtime=1724.36 cores=0,2,4,6
/proc/13724/stat : 13724 (java) S 13721 13724 10365 0 -1 4202496 12459 0 1 0 172383 53 0 0 20 0 19 0 9034568 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140733982338032 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13724/statm: 2406260 118337 2287 9 0 2396937 0
[pid=13724/tid=13726] ppid=13721 vsize=9625040 CPUtime=1721.75 cores=0,2,4,6
/proc/13724/task/13726/stat : 13726 (java) R 13721 13724 10365 0 -1 4202560 2534 0 1 0 172143 32 0 0 20 0 19 0 9034569 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518219837896 140518059936328 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13727] ppid=13721 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/13724/task/13727/stat : 13727 (java) S 13721 13724 10365 0 -1 4202560 159 0 0 0 5 2 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518181329448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13728] ppid=13721 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/13724/task/13728/stat : 13728 (java) S 13721 13724 10365 0 -1 4202560 52 0 0 0 8 3 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518180276648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13729] ppid=13721 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/13724/task/13729/stat : 13729 (java) S 13721 13724 10365 0 -1 4202560 60 0 0 0 6 2 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518179223848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13724/tid=13730] ppid=13721 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/13724/task/13730/stat : 13730 (java) S 13721 13724 10365 0 -1 4202560 154 0 0 0 10 4 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518178171048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13731] ppid=13721 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/13724/task/13731/stat : 13731 (java) S 13721 13724 10365 0 -1 4202560 162 0 0 0 8 3 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518059142184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13732] ppid=13721 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/13724/task/13732/stat : 13732 (java) S 13721 13724 10365 0 -1 4202560 122 0 0 0 7 2 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518058089384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13724/tid=13733] ppid=13721 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/13724/task/13733/stat : 13733 (java) S 13721 13724 10365 0 -1 4202560 285 0 0 0 11 3 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518057036584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13734] ppid=13721 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/13724/task/13734/stat : 13734 (java) S 13721 13724 10365 0 -1 4202560 93 0 0 0 11 3 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518055983784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13735] ppid=13721 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/13724/task/13735/stat : 13735 (java) S 13721 13724 10365 0 -1 4202560 200 0 0 0 1 1 0 0 20 0 19 0 9034571 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518043785704 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13736] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13736/stat : 13736 (java) S 13721 13724 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9034571 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517438383352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13737] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13737/stat : 13737 (java) S 13721 13724 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9034571 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517437330440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13738] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13738/stat : 13738 (java) S 13721 13724 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9034574 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517436278928 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13739] ppid=13721 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/13724/task/13739/stat : 13739 (java) S 13721 13724 10365 0 -1 4202560 4276 0 0 0 65 0 0 0 20 0 19 0 9034574 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517435227064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13740] ppid=13721 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/13724/task/13740/stat : 13740 (java) S 13721 13724 10365 0 -1 4202560 3006 0 0 0 63 0 0 0 20 0 19 0 9034574 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517434174264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13724/tid=13741] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13741/stat : 13741 (java) S 13721 13724 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9034574 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517433121656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13742] ppid=13721 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/13724/task/13742/stat : 13742 (java) S 13721 13724 10365 0 -1 4202560 99 0 0 0 36 31 0 0 20 0 19 0 9034574 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517432069064 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13743] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13743/stat : 13743 (java) S 13721 13724 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9034787 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517431014568 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1724.36
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.18 2.23 2.19 5/213 13875
/proc/meminfo: memFree=29837456/32872528 swapFree=1370072/1517240
[pid=13724] ppid=13721 vsize=9625040 CPUtime=1784.38 cores=0,2,4,6
/proc/13724/stat : 13724 (java) S 13721 13724 10365 0 -1 4202496 12463 0 1 0 178384 54 0 0 20 0 19 0 9034568 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140733982338032 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13724/statm: 2406260 118337 2287 9 0 2396937 0
[pid=13724/tid=13726] ppid=13721 vsize=9625040 CPUtime=1781.75 cores=0,2,4,6
/proc/13724/task/13726/stat : 13726 (java) R 13721 13724 10365 0 -1 4202560 2534 0 1 0 178142 33 0 0 20 0 19 0 9034569 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518219828960 140518060141727 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13727] ppid=13721 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/13724/task/13727/stat : 13727 (java) S 13721 13724 10365 0 -1 4202560 159 0 0 0 5 2 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518181329448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13728] ppid=13721 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/13724/task/13728/stat : 13728 (java) S 13721 13724 10365 0 -1 4202560 52 0 0 0 8 3 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518180276648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13729] ppid=13721 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/13724/task/13729/stat : 13729 (java) S 13721 13724 10365 0 -1 4202560 60 0 0 0 6 2 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518179223848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13724/tid=13730] ppid=13721 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/13724/task/13730/stat : 13730 (java) S 13721 13724 10365 0 -1 4202560 154 0 0 0 10 4 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518178171048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13731] ppid=13721 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/13724/task/13731/stat : 13731 (java) S 13721 13724 10365 0 -1 4202560 162 0 0 0 8 3 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518059142184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13732] ppid=13721 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/13724/task/13732/stat : 13732 (java) S 13721 13724 10365 0 -1 4202560 122 0 0 0 7 2 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518058089384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13724/tid=13733] ppid=13721 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/13724/task/13733/stat : 13733 (java) S 13721 13724 10365 0 -1 4202560 285 0 0 0 11 3 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518057036584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13734] ppid=13721 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/13724/task/13734/stat : 13734 (java) S 13721 13724 10365 0 -1 4202560 93 0 0 0 11 3 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518055983784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13735] ppid=13721 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/13724/task/13735/stat : 13735 (java) S 13721 13724 10365 0 -1 4202560 200 0 0 0 1 1 0 0 20 0 19 0 9034571 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518043785704 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13736] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13736/stat : 13736 (java) S 13721 13724 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9034571 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517438383352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13737] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13737/stat : 13737 (java) S 13721 13724 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9034571 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517437330440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13738] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13738/stat : 13738 (java) S 13721 13724 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9034574 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517436278928 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13739] ppid=13721 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/13724/task/13739/stat : 13739 (java) S 13721 13724 10365 0 -1 4202560 4276 0 0 0 65 0 0 0 20 0 19 0 9034574 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517435227064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13740] ppid=13721 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/13724/task/13740/stat : 13740 (java) S 13721 13724 10365 0 -1 4202560 3006 0 0 0 63 0 0 0 20 0 19 0 9034574 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517434174264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13724/tid=13741] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13741/stat : 13741 (java) S 13721 13724 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9034574 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517433121656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13742] ppid=13721 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/13724/task/13742/stat : 13742 (java) S 13721 13724 10365 0 -1 4202560 103 0 0 0 38 32 0 0 20 0 19 0 9034574 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517432069064 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13743] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13743/stat : 13743 (java) S 13721 13724 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9034787 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517431014568 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1784.38
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798 s]
/proc/loadavg: 2.21 2.23 2.19 4/213 13875
/proc/meminfo: memFree=29837960/32872528 swapFree=1370072/1517240
[pid=13724] ppid=13721 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/13724/stat : 13724 (java) S 13721 13724 10365 0 -1 4202496 12463 0 1 0 179954 54 0 0 20 0 19 0 9034568 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140733982338032 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13724/statm: 2406260 118337 2287 9 0 2396937 0
[pid=13724/tid=13726] ppid=13721 vsize=9625040 CPUtime=1797.45 cores=0,2,4,6
/proc/13724/task/13726/stat : 13726 (java) R 13721 13724 10365 0 -1 4202560 2534 0 1 0 179712 33 0 0 20 0 19 0 9034569 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518219828960 140518059212713 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13727] ppid=13721 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/13724/task/13727/stat : 13727 (java) S 13721 13724 10365 0 -1 4202560 159 0 0 0 5 2 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518181329448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13728] ppid=13721 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/13724/task/13728/stat : 13728 (java) S 13721 13724 10365 0 -1 4202560 52 0 0 0 8 3 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518180276648 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13729] ppid=13721 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/13724/task/13729/stat : 13729 (java) S 13721 13724 10365 0 -1 4202560 60 0 0 0 6 2 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518179223848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13724/tid=13730] ppid=13721 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/13724/task/13730/stat : 13730 (java) S 13721 13724 10365 0 -1 4202560 154 0 0 0 10 4 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518178171048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13731] ppid=13721 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/13724/task/13731/stat : 13731 (java) S 13721 13724 10365 0 -1 4202560 162 0 0 0 8 3 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518059142184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13732] ppid=13721 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/13724/task/13732/stat : 13732 (java) S 13721 13724 10365 0 -1 4202560 122 0 0 0 7 2 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518058089384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13724/tid=13733] ppid=13721 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/13724/task/13733/stat : 13733 (java) S 13721 13724 10365 0 -1 4202560 285 0 0 0 11 3 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518057036584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13734] ppid=13721 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/13724/task/13734/stat : 13734 (java) S 13721 13724 10365 0 -1 4202560 93 0 0 0 11 3 0 0 20 0 19 0 9034570 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518055983784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13735] ppid=13721 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/13724/task/13735/stat : 13735 (java) S 13721 13724 10365 0 -1 4202560 200 0 0 0 1 1 0 0 20 0 19 0 9034571 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140518043785704 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13736] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13736/stat : 13736 (java) S 13721 13724 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9034571 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517438383352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13737] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13737/stat : 13737 (java) S 13721 13724 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 9034571 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517437330440 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13738] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13738/stat : 13738 (java) S 13721 13724 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9034574 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517436278928 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13724/tid=13739] ppid=13721 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/13724/task/13739/stat : 13739 (java) S 13721 13724 10365 0 -1 4202560 4276 0 0 0 65 0 0 0 20 0 19 0 9034574 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517435227064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13740] ppid=13721 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/13724/task/13740/stat : 13740 (java) S 13721 13724 10365 0 -1 4202560 3006 0 0 0 63 0 0 0 20 0 19 0 9034574 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517434174264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13724/tid=13741] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13741/stat : 13741 (java) S 13721 13724 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9034574 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517433121656 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13724/tid=13742] ppid=13721 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/13724/task/13742/stat : 13742 (java) S 13721 13724 10365 0 -1 4202560 103 0 0 0 39 32 0 0 20 0 19 0 9034574 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517432069064 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13724/tid=13743] ppid=13721 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13724/task/13743/stat : 13743 (java) S 13721 13724 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9034787 9856040960 118337 33554432000 1073741824 1073778376 140733982346896 140517431014568 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040
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 13724 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1798.02
CPU time (s): 1800.63
CPU user time (s): 1799.62
CPU system time (s): 1.01185
CPU usage (%): 100.145
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 1.01185
maximum resident set size= 477592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12508
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38235
involuntary context switches= 12787
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4934 second user time and 13.302 second system time
The end