runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687989-1337879085/watcher-3687989-1337879085 -o /tmp/evaluation-result-3687989-1337879085/solver-3687989-1337879085 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687989-1337879085.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.00 2.01 3/194 21815
/proc/meminfo: memFree=28605540/32873844 swapFree=7100/7100
[pid=21815] ppid=21813 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/21815/stat : 21815 (java) D 21813 21815 20833 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 254037072 9515008 182 33554432000 1073741824 1073778376 140734137899648 140734137890680 249650036405 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/21815/statm: 2323 182 140 9 0 71 0
[startup+0.0568331 s]
/proc/loadavg: 1.92 2.00 2.01 3/194 21815
/proc/meminfo: memFree=28605540/32873844 swapFree=7100/7100
[pid=21815] ppid=21813 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21813 21815 20833 0 -1 4202496 3075 0 1 0 2 1 0 0 20 0 13 0 254037072 9446973440 3774 33554432000 1073741824 1073778376 140736600625840 140736600616976 249653395517 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21815/statm: 2306390 3774 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.100218 s]
/proc/loadavg: 1.92 2.00 2.01 3/194 21815
/proc/meminfo: memFree=28605540/32873844 swapFree=7100/7100
[pid=21815] ppid=21813 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21813 21815 20833 0 -1 4202496 4285 0 1 0 8 1 0 0 20 0 18 0 254037072 9787813888 5476 33554432000 1073741824 1073778376 140736600625840 140736600616976 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21815/statm: 2389603 5476 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300192 s]
/proc/loadavg: 1.92 2.00 2.01 3/194 21815
/proc/meminfo: memFree=28605540/32873844 swapFree=7100/7100
[pid=21815] ppid=21813 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21813 21815 20833 0 -1 4202496 6644 0 1 0 47 2 0 0 20 0 19 0 254037072 9855975424 7447 33554432000 1073741824 1073778376 140736600625840 140736600616976 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21815/statm: 2406244 7447 2217 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9624976
[startup+0.700196 s]
/proc/loadavg: 1.92 2.00 2.01 3/194 21815
/proc/meminfo: memFree=28605540/32873844 swapFree=7100/7100
[pid=21815] ppid=21813 vsize=9624976 CPUtime=1.13 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21813 21815 20833 0 -1 4202496 11808 0 1 0 110 3 0 0 20 0 19 0 254037072 9855975424 12992 33554432000 1073741824 1073778376 140736600625840 140736600616976 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21815/statm: 2406244 12992 2256 9 0 2396937 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 9624976
[startup+1.50066 s]
/proc/loadavg: 1.92 2.00 2.01 3/213 21834
/proc/meminfo: memFree=28562208/32873844 swapFree=7100/7100
[pid=21815] ppid=21813 vsize=9624976 CPUtime=1.97 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21813 21815 20833 0 -1 4202496 11835 0 1 0 194 3 0 0 20 0 19 0 254037072 9855975424 14038 33554432000 1073741824 1073778376 140736600625840 140736600616976 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21815/statm: 2406244 14038 2266 9 0 2396937 0
[pid=21815/tid=21817] ppid=21813 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/21815/task/21817/stat : 21817 (java) R 21813 21815 20833 0 -1 4202560 2453 0 1 0 138 0 0 0 20 0 19 0 254037073 9855975424 14038 33554432000 1073741824 1073778376 140736600625840 140556011340184 140555841866266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21818] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21818/stat : 21818 (java) S 21813 21815 20833 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 14038 33554432000 1073741824 1073778376 140736600625840 140555972831400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21819] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21819/stat : 21819 (java) S 21813 21815 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 14038 33554432000 1073741824 1073778376 140736600625840 140555971778856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21820] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21820/stat : 21820 (java) S 21813 21815 20833 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 14038 33554432000 1073741824 1073778376 140736600625840 140555970726312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21821] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21821/stat : 21821 (java) S 21813 21815 20833 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 14038 33554432000 1073741824 1073778376 140736600625840 140555969673768 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21815/tid=21822] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21822/stat : 21822 (java) S 21813 21815 20833 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 14038 33554432000 1073741824 1073778376 140736600625840 140555968621224 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21815/tid=21823] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21823/stat : 21823 (java) S 21813 21815 20833 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 14038 33554432000 1073741824 1073778376 140736600625840 140555967568680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21824] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21824/stat : 21824 (java) S 21813 21815 20833 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 14038 33554432000 1073741824 1073778376 140736600625840 140555966516136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21825] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21825/stat : 21825 (java) S 21813 21815 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 14038 33554432000 1073741824 1073778376 140736600625840 140555965463592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21826] ppid=21813 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/21815/task/21826/stat : 21826 (java) S 21813 21815 20833 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 19 0 254037075 9855975424 14038 33554432000 1073741824 1073778376 140736600625840 140555835115624 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21827] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21827/stat : 21827 (java) S 21813 21815 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254037076 9855975424 14038 33554432000 1073741824 1073778376 140736600625840 140555834061944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21828] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21828/stat : 21828 (java) S 21813 21815 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254037076 9855975424 14038 33554432000 1073741824 1073778376 140736600625840 140555833009288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21829] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21829/stat : 21829 (java) S 21813 21815 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037078 9855975424 14038 33554432000 1073741824 1073778376 140736600625840 140555831958032 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21830] ppid=21813 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/21815/task/21830/stat : 21830 (java) S 21813 21815 20833 0 -1 4202560 1600 0 0 0 17 0 0 0 20 0 19 0 254037078 9855975424 14038 33554432000 1073741824 1073778376 140736600625840 140555830905400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21831] ppid=21813 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/21815/task/21831/stat : 21831 (java) S 21813 21815 20833 0 -1 4202560 6515 0 0 0 29 0 0 0 20 0 19 0 254037078 9855975424 14038 33554432000 1073741824 1073778376 140736600625840 140555829852856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21832] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21832/stat : 21832 (java) S 21813 21815 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037078 9855975424 14038 33554432000 1073741824 1073778376 140736600625840 140555828800504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21833] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21833/stat : 21833 (java) S 21813 21815 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037078 9855975424 14038 33554432000 1073741824 1073778376 140736600625840 140555827748168 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21834] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21834/stat : 21834 (java) S 21813 21815 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254037085 9855975424 14038 33554432000 1073741824 1073778376 140736600625840 140555826692904 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 9624976
[startup+3.1008 s]
/proc/loadavg: 1.92 2.00 2.01 3/213 21834
/proc/meminfo: memFree=28557616/32873844 swapFree=7100/7100
[pid=21815] ppid=21813 vsize=9624976 CPUtime=3.59 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21813 21815 20833 0 -1 4202496 11869 0 1 0 355 4 0 0 20 0 19 0 254037072 9855975424 15088 33554432000 1073741824 1073778376 140736600625840 140736600616976 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21815/statm: 2406244 15088 2266 9 0 2396937 0
[pid=21815/tid=21817] ppid=21813 vsize=9624976 CPUtime=2.91 cores=1,3,5,7
/proc/21815/task/21817/stat : 21817 (java) R 21813 21815 20833 0 -1 4202560 2457 0 1 0 291 0 0 0 20 0 19 0 254037073 9855975424 15088 33554432000 1073741824 1073778376 140736600625840 140556011340064 140555841866261 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21818] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21818/stat : 21818 (java) S 21813 21815 20833 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 15088 33554432000 1073741824 1073778376 140736600625840 140555972831400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21819] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21819/stat : 21819 (java) S 21813 21815 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 15088 33554432000 1073741824 1073778376 140736600625840 140555971778856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21820] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21820/stat : 21820 (java) S 21813 21815 20833 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 15088 33554432000 1073741824 1073778376 140736600625840 140555970726312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21821] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21821/stat : 21821 (java) S 21813 21815 20833 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 15088 33554432000 1073741824 1073778376 140736600625840 140555969673768 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21815/tid=21822] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21822/stat : 21822 (java) S 21813 21815 20833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 15088 33554432000 1073741824 1073778376 140736600625840 140555968621224 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21815/tid=21823] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21823/stat : 21823 (java) S 21813 21815 20833 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 15088 33554432000 1073741824 1073778376 140736600625840 140555967568680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21824] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21824/stat : 21824 (java) S 21813 21815 20833 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 15088 33554432000 1073741824 1073778376 140736600625840 140555966516136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21825] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21825/stat : 21825 (java) S 21813 21815 20833 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 15088 33554432000 1073741824 1073778376 140736600625840 140555965463592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21826] ppid=21813 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/21815/task/21826/stat : 21826 (java) S 21813 21815 20833 0 -1 4202560 32 0 0 0 10 0 0 0 20 0 19 0 254037075 9855975424 15088 33554432000 1073741824 1073778376 140736600625840 140555835115624 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21827] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21827/stat : 21827 (java) S 21813 21815 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254037076 9855975424 15088 33554432000 1073741824 1073778376 140736600625840 140555834061944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21828] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21828/stat : 21828 (java) S 21813 21815 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254037076 9855975424 15088 33554432000 1073741824 1073778376 140736600625840 140555833009288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21829] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21829/stat : 21829 (java) S 21813 21815 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037078 9855975424 15088 33554432000 1073741824 1073778376 140736600625840 140555831958032 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21830] ppid=21813 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/21815/task/21830/stat : 21830 (java) S 21813 21815 20833 0 -1 4202560 1600 0 0 0 17 0 0 0 20 0 19 0 254037078 9855975424 15088 33554432000 1073741824 1073778376 140736600625840 140555830905400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21831] ppid=21813 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/21815/task/21831/stat : 21831 (java) S 21813 21815 20833 0 -1 4202560 6515 0 0 0 29 0 0 0 20 0 19 0 254037078 9855975424 15088 33554432000 1073741824 1073778376 140736600625840 140555829852856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21832] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21832/stat : 21832 (java) S 21813 21815 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037078 9855975424 15088 33554432000 1073741824 1073778376 140736600625840 140555828800504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21833] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21833/stat : 21833 (java) S 21813 21815 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037078 9855975424 15088 33554432000 1073741824 1073778376 140736600625840 140555827748168 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21834] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21834/stat : 21834 (java) S 21813 21815 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254037085 9855975424 15088 33554432000 1073741824 1073778376 140736600625840 140555826692904 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 9624976
[startup+6.30068 s]
/proc/loadavg: 1.93 2.00 2.01 3/213 21834
/proc/meminfo: memFree=28554820/32873844 swapFree=7100/7100
[pid=21815] ppid=21813 vsize=9624976 CPUtime=6.82 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21813 21815 20833 0 -1 4202496 11898 0 1 0 678 4 0 0 20 0 19 0 254037072 9855975424 15534 33554432000 1073741824 1073778376 140736600625840 140736600616976 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21815/statm: 2406244 15534 2266 9 0 2396937 0
[pid=21815/tid=21817] ppid=21813 vsize=9624976 CPUtime=6.01 cores=1,3,5,7
/proc/21815/task/21817/stat : 21817 (java) R 21813 21815 20833 0 -1 4202560 2464 0 1 0 601 0 0 0 20 0 19 0 254037073 9855975424 15534 33554432000 1073741824 1073778376 140736600625840 140556011340064 140555841897146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21818] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21818/stat : 21818 (java) S 21813 21815 20833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 15534 33554432000 1073741824 1073778376 140736600625840 140555972831400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21819] ppid=21813 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21815/task/21819/stat : 21819 (java) S 21813 21815 20833 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 254037074 9855975424 15534 33554432000 1073741824 1073778376 140736600625840 140555971778856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21820] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21820/stat : 21820 (java) S 21813 21815 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 15534 33554432000 1073741824 1073778376 140736600625840 140555970726312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21821] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21821/stat : 21821 (java) S 21813 21815 20833 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 15534 33554432000 1073741824 1073778376 140736600625840 140555969673768 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21815/tid=21822] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21822/stat : 21822 (java) S 21813 21815 20833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 15534 33554432000 1073741824 1073778376 140736600625840 140555968621224 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21815/tid=21823] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21823/stat : 21823 (java) S 21813 21815 20833 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 15534 33554432000 1073741824 1073778376 140736600625840 140555967568680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21824] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21824/stat : 21824 (java) S 21813 21815 20833 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 15534 33554432000 1073741824 1073778376 140736600625840 140555966516136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21825] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21825/stat : 21825 (java) S 21813 21815 20833 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 254037074 9855975424 15534 33554432000 1073741824 1073778376 140736600625840 140555965463592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21826] ppid=21813 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/21815/task/21826/stat : 21826 (java) S 21813 21815 20833 0 -1 4202560 33 0 0 0 18 0 0 0 20 0 19 0 254037075 9855975424 15534 33554432000 1073741824 1073778376 140736600625840 140555835115624 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21827] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21827/stat : 21827 (java) S 21813 21815 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254037076 9855975424 15534 33554432000 1073741824 1073778376 140736600625840 140555834061944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21828] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21828/stat : 21828 (java) S 21813 21815 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254037076 9855975424 15534 33554432000 1073741824 1073778376 140736600625840 140555833009288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21829] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21829/stat : 21829 (java) S 21813 21815 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037078 9855975424 15534 33554432000 1073741824 1073778376 140736600625840 140555831958032 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21830] ppid=21813 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/21815/task/21830/stat : 21830 (java) S 21813 21815 20833 0 -1 4202560 1600 0 0 0 17 0 0 0 20 0 19 0 254037078 9855975424 15534 33554432000 1073741824 1073778376 140736600625840 140555830905400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21831] ppid=21813 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/21815/task/21831/stat : 21831 (java) S 21813 21815 20833 0 -1 4202560 6515 0 0 0 29 0 0 0 20 0 19 0 254037078 9855975424 15534 33554432000 1073741824 1073778376 140736600625840 140555829852856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21832] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21832/stat : 21832 (java) S 21813 21815 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037078 9855975424 15534 33554432000 1073741824 1073778376 140736600625840 140555828800504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21833] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21833/stat : 21833 (java) S 21813 21815 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037078 9855975424 15534 33554432000 1073741824 1073778376 140736600625840 140555827748168 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21834] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21834/stat : 21834 (java) S 21813 21815 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254037085 9855975424 15534 33554432000 1073741824 1073778376 140736600625840 140555826692904 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.82
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=21815/tid=21830] ppid=21813 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/21815/task/21830/stat : 21830 (java) S 21813 21815 20833 0 -1 4202560 1600 0 0 0 17 0 0 0 20 0 19 0 254037078 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555830905400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21831] ppid=21813 vsize=9624976 CPUtime=0.31 cores=1,3,5,7
/proc/21815/task/21831/stat : 21831 (java) S 21813 21815 20833 0 -1 4202560 6519 0 0 0 31 0 0 0 20 0 19 0 254037078 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555829852856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21832] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21832/stat : 21832 (java) S 21813 21815 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037078 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555828800504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21833] ppid=21813 vsize=9624976 CPUtime=0.57 cores=1,3,5,7
/proc/21815/task/21833/stat : 21833 (java) S 21813 21815 20833 0 -1 4202560 97 0 0 0 31 26 0 0 20 0 19 0 254037078 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555827748168 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21834] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21834/stat : 21834 (java) S 21813 21815 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254037085 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555826692904 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1668.49
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 21909
/proc/meminfo: memFree=28689960/32873844 swapFree=7100/7100
[pid=21815] ppid=21813 vsize=9624976 CPUtime=1728.62 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21813 21815 20833 0 -1 4202496 14443 0 1 0 172813 49 0 0 20 0 19 0 254037072 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140736600616976 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21815/statm: 2406244 59846 2267 9 0 2396937 0
[pid=21815/tid=21817] ppid=21813 vsize=9624976 CPUtime=1706.2 cores=1,3,5,7
/proc/21815/task/21817/stat : 21817 (java) R 21813 21815 20833 0 -1 4202560 2640 0 1 0 170593 27 0 0 20 0 19 0 254037073 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140556011340064 140555841949526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21818] ppid=21813 vsize=9624976 CPUtime=0.97 cores=1,3,5,7
/proc/21815/task/21818/stat : 21818 (java) S 21813 21815 20833 0 -1 4202560 272 0 0 0 95 2 0 0 20 0 19 0 254037074 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555972831400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21819] ppid=21813 vsize=9624976 CPUtime=1.12 cores=1,3,5,7
/proc/21815/task/21819/stat : 21819 (java) S 21813 21815 20833 0 -1 4202560 364 0 0 0 109 3 0 0 20 0 19 0 254037074 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555971778856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21820] ppid=21813 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/21815/task/21820/stat : 21820 (java) S 21813 21815 20833 0 -1 4202560 325 0 0 0 86 2 0 0 20 0 19 0 254037074 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555970726312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21815/tid=21821] ppid=21813 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/21815/task/21821/stat : 21821 (java) S 21813 21815 20833 0 -1 4202560 324 0 0 0 96 2 0 0 20 0 19 0 254037074 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555969673768 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21822] ppid=21813 vsize=9624976 CPUtime=0.97 cores=1,3,5,7
/proc/21815/task/21822/stat : 21822 (java) S 21813 21815 20833 0 -1 4202560 200 0 0 0 94 3 0 0 20 0 19 0 254037074 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555968621224 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21815/tid=21823] ppid=21813 vsize=9624976 CPUtime=0.95 cores=1,3,5,7
/proc/21815/task/21823/stat : 21823 (java) S 21813 21815 20833 0 -1 4202560 370 0 0 0 93 2 0 0 20 0 19 0 254037074 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555967568680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21824] ppid=21813 vsize=9624976 CPUtime=0.94 cores=1,3,5,7
/proc/21815/task/21824/stat : 21824 (java) S 21813 21815 20833 0 -1 4202560 185 0 0 0 92 2 0 0 20 0 19 0 254037074 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555966516136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21825] ppid=21813 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/21815/task/21825/stat : 21825 (java) S 21813 21815 20833 0 -1 4202560 202 0 0 0 86 2 0 0 20 0 19 0 254037074 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555965463592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21826] ppid=21813 vsize=9624976 CPUtime=9.41 cores=1,3,5,7
/proc/21815/task/21826/stat : 21826 (java) S 21813 21815 20833 0 -1 4202560 164 0 0 0 939 2 0 0 20 0 19 0 254037075 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555835115624 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21827] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21827/stat : 21827 (java) S 21813 21815 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254037076 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555834061944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21828] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21828/stat : 21828 (java) S 21813 21815 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254037076 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555833009288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21829] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21829/stat : 21829 (java) S 21813 21815 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037078 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555831958032 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21830] ppid=21813 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/21815/task/21830/stat : 21830 (java) S 21813 21815 20833 0 -1 4202560 1600 0 0 0 17 0 0 0 20 0 19 0 254037078 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555830905400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21831] ppid=21813 vsize=9624976 CPUtime=0.31 cores=1,3,5,7
/proc/21815/task/21831/stat : 21831 (java) S 21813 21815 20833 0 -1 4202560 6519 0 0 0 31 0 0 0 20 0 19 0 254037078 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555829852856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21832] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21832/stat : 21832 (java) S 21813 21815 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037078 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555828800504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21833] ppid=21813 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/21815/task/21833/stat : 21833 (java) S 21813 21815 20833 0 -1 4202560 99 0 0 0 32 28 0 0 20 0 19 0 254037078 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555827748168 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21834] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21834/stat : 21834 (java) S 21813 21815 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254037085 9855975424 59846 33554432000 1073741824 1073778376 140736600625840 140555826692904 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1728.62
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/193 21912
/proc/meminfo: memFree=29713688/32873844 swapFree=7100/7100
[pid=21815] ppid=21813 vsize=9624976 CPUtime=1788.78 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21813 21815 20833 0 -1 4202496 14452 0 1 0 178828 50 0 0 20 0 19 0 254037072 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140736600616976 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21815/statm: 2406244 60358 2267 9 0 2396937 0
[pid=21815/tid=21817] ppid=21813 vsize=9624976 CPUtime=1765.76 cores=1,3,5,7
/proc/21815/task/21817/stat : 21817 (java) R 21813 21815 20833 0 -1 4202560 2643 0 1 0 176548 28 0 0 20 0 19 0 254037073 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140556011340064 140555842014832 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21818] ppid=21813 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/21815/task/21818/stat : 21818 (java) S 21813 21815 20833 0 -1 4202560 272 0 0 0 97 2 0 0 20 0 19 0 254037074 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555972831400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21819] ppid=21813 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/21815/task/21819/stat : 21819 (java) S 21813 21815 20833 0 -1 4202560 364 0 0 0 111 3 0 0 20 0 19 0 254037074 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555971778856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21820] ppid=21813 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/21815/task/21820/stat : 21820 (java) S 21813 21815 20833 0 -1 4202560 325 0 0 0 89 2 0 0 20 0 19 0 254037074 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555970726312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21815/tid=21821] ppid=21813 vsize=9624976 CPUtime=1 cores=1,3,5,7
/proc/21815/task/21821/stat : 21821 (java) S 21813 21815 20833 0 -1 4202560 324 0 0 0 98 2 0 0 20 0 19 0 254037074 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555969673768 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21822] ppid=21813 vsize=9624976 CPUtime=1 cores=1,3,5,7
/proc/21815/task/21822/stat : 21822 (java) S 21813 21815 20833 0 -1 4202560 200 0 0 0 97 3 0 0 20 0 19 0 254037074 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555968621224 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21815/tid=21823] ppid=21813 vsize=9624976 CPUtime=0.97 cores=1,3,5,7
/proc/21815/task/21823/stat : 21823 (java) S 21813 21815 20833 0 -1 4202560 370 0 0 0 95 2 0 0 20 0 19 0 254037074 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555967568680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21824] ppid=21813 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/21815/task/21824/stat : 21824 (java) S 21813 21815 20833 0 -1 4202560 185 0 0 0 96 2 0 0 20 0 19 0 254037074 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555966516136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21825] ppid=21813 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/21815/task/21825/stat : 21825 (java) S 21813 21815 20833 0 -1 4202560 202 0 0 0 89 2 0 0 20 0 19 0 254037074 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555965463592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21826] ppid=21813 vsize=9624976 CPUtime=9.65 cores=1,3,5,7
/proc/21815/task/21826/stat : 21826 (java) S 21813 21815 20833 0 -1 4202560 166 0 0 0 963 2 0 0 20 0 19 0 254037075 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555835115624 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21827] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21827/stat : 21827 (java) S 21813 21815 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254037076 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555834061944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21828] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21828/stat : 21828 (java) S 21813 21815 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254037076 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555833009288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21829] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21829/stat : 21829 (java) S 21813 21815 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037078 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555831958032 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21830] ppid=21813 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/21815/task/21830/stat : 21830 (java) S 21813 21815 20833 0 -1 4202560 1600 0 0 0 17 0 0 0 20 0 19 0 254037078 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555830905400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21831] ppid=21813 vsize=9624976 CPUtime=0.31 cores=1,3,5,7
/proc/21815/task/21831/stat : 21831 (java) S 21813 21815 20833 0 -1 4202560 6519 0 0 0 31 0 0 0 20 0 19 0 254037078 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555829852856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21832] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21832/stat : 21832 (java) S 21813 21815 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037078 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555828800504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21833] ppid=21813 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/21815/task/21833/stat : 21833 (java) S 21813 21815 20833 0 -1 4202560 103 0 0 0 34 28 0 0 20 0 19 0 254037078 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555827748168 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21834] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21834/stat : 21834 (java) S 21813 21815 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254037085 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555826692904 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1788.78
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.4 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 21968
/proc/meminfo: memFree=29665552/32873844 swapFree=7100/7100
[pid=21815] ppid=21813 vsize=9624976 CPUtime=1800 cores=1,3,5,7
/proc/21815/stat : 21815 (java) S 21813 21815 20833 0 -1 4202496 14455 0 1 0 179950 50 0 0 20 0 19 0 254037072 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140736600616976 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21815/statm: 2406244 60358 2267 9 0 2396937 0
[pid=21815/tid=21817] ppid=21813 vsize=9624976 CPUtime=1776.7 cores=1,3,5,7
/proc/21815/task/21817/stat : 21817 (java) R 21813 21815 20833 0 -1 4202560 2644 0 1 0 177641 29 0 0 20 0 19 0 254037073 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140556011340064 140555841949526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21818] ppid=21813 vsize=9624976 CPUtime=1.01 cores=1,3,5,7
/proc/21815/task/21818/stat : 21818 (java) S 21813 21815 20833 0 -1 4202560 272 0 0 0 99 2 0 0 20 0 19 0 254037074 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555972831400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21819] ppid=21813 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/21815/task/21819/stat : 21819 (java) S 21813 21815 20833 0 -1 4202560 364 0 0 0 113 3 0 0 20 0 19 0 254037074 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555971778856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21820] ppid=21813 vsize=9624976 CPUtime=0.94 cores=1,3,5,7
/proc/21815/task/21820/stat : 21820 (java) S 21813 21815 20833 0 -1 4202560 325 0 0 0 92 2 0 0 20 0 19 0 254037074 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555970726312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21821] ppid=21813 vsize=9624976 CPUtime=1.02 cores=1,3,5,7
/proc/21815/task/21821/stat : 21821 (java) S 21813 21815 20833 0 -1 4202560 324 0 0 0 100 2 0 0 20 0 19 0 254037074 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555969673768 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21822] ppid=21813 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/21815/task/21822/stat : 21822 (java) S 21813 21815 20833 0 -1 4202560 200 0 0 0 100 3 0 0 20 0 19 0 254037074 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555968621224 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21823] ppid=21813 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/21815/task/21823/stat : 21823 (java) S 21813 21815 20833 0 -1 4202560 370 0 0 0 96 2 0 0 20 0 19 0 254037074 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555967568680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21824] ppid=21813 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/21815/task/21824/stat : 21824 (java) S 21813 21815 20833 0 -1 4202560 185 0 0 0 97 2 0 0 20 0 19 0 254037074 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555966516136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21825] ppid=21813 vsize=9624976 CPUtime=0.93 cores=1,3,5,7
/proc/21815/task/21825/stat : 21825 (java) S 21813 21815 20833 0 -1 4202560 202 0 0 0 91 2 0 0 20 0 19 0 254037074 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555965463592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21815/tid=21826] ppid=21813 vsize=9624976 CPUtime=9.74 cores=1,3,5,7
/proc/21815/task/21826/stat : 21826 (java) S 21813 21815 20833 0 -1 4202560 168 0 0 0 972 2 0 0 20 0 19 0 254037075 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555835115624 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21827] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21827/stat : 21827 (java) S 21813 21815 20833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254037076 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555834061944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21828] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21828/stat : 21828 (java) S 21813 21815 20833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254037076 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555833009288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21829] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21829/stat : 21829 (java) S 21813 21815 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037078 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555831958032 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21830] ppid=21813 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/21815/task/21830/stat : 21830 (java) S 21813 21815 20833 0 -1 4202560 1600 0 0 0 17 0 0 0 20 0 19 0 254037078 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555830905400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21815/tid=21831] ppid=21813 vsize=9624976 CPUtime=0.31 cores=1,3,5,7
/proc/21815/task/21831/stat : 21831 (java) S 21813 21815 20833 0 -1 4202560 6519 0 0 0 31 0 0 0 20 0 19 0 254037078 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555829852856 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21832] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21832/stat : 21832 (java) S 21813 21815 20833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037078 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555828800504 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21815/tid=21833] ppid=21813 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/21815/task/21833/stat : 21833 (java) S 21813 21815 20833 0 -1 4202560 103 0 0 0 35 28 0 0 20 0 19 0 254037078 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555827748168 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21815/tid=21834] ppid=21813 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21815/task/21834/stat : 21834 (java) S 21813 21815 20833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254037085 9855975424 60358 33554432000 1073741824 1073778376 140736600625840 140555826692904 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21815 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=68108
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=913861
# CPU time returned by wait4() is 1795.98
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1793.45
CPU time (s): 1800
CPU user time (s): 1799.5
CPU system time (s): 0.5
CPU usage (%): 100.365
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.07
system time used= 0.913861
maximum resident set size= 241596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14498
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42828
involuntary context switches= 15358
runsolver used 6.66099 second user time and 15.2617 second system time
The end