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-3733881-1338699208/watcher-3733881-1338699208 -o /tmp/evaluation-result-3733881-1338699208/solver-3733881-1338699208 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3733881-1338699208.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.00 2.00 3/194 2367
/proc/meminfo: memFree=26968344/32873648 swapFree=7112/7112
[pid=2367] ppid=2365 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/2367/stat : 2367 (java) R 2365 2367 29837 0 -1 4202496 285 0 0 0 0 0 0 0 20 0 1 0 336046727 278528 33 33554432000 1073741824 1073778376 140736595208848 140734018642696 242158234919 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2367/statm: 68 33 25 9 0 25 0
[startup+0.0382741 s]
/proc/loadavg: 2.04 2.00 2.00 3/194 2367
/proc/meminfo: memFree=26968344/32873648 swapFree=7112/7112
[pid=2367] ppid=2365 vsize=2490788 CPUtime=0.01 cores=0,2,4,6
/proc/2367/stat : 2367 (java) S 2365 2367 29837 0 -1 4202496 3840 0 1 0 1 0 0 0 20 0 11 0 336046727 2550566912 5050 33554432000 1073741824 1073778376 140736595208848 140736595199984 242170757181 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2367/statm: 622697 5051 1652 9 0 613398 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2490788
[startup+0.100212 s]
/proc/loadavg: 2.04 2.00 2.00 3/194 2367
/proc/meminfo: memFree=26968344/32873648 swapFree=7112/7112
[pid=2367] ppid=2365 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/2367/stat : 2367 (java) S 2365 2367 29837 0 -1 4202496 4932 0 1 0 8 1 0 0 20 0 18 0 336046727 3028844544 6626 33554432000 1073741824 1073778376 140736595208848 140736595199984 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2367/statm: 739464 6626 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.300233 s]
/proc/loadavg: 2.04 2.00 2.00 3/194 2367
/proc/meminfo: memFree=26968344/32873648 swapFree=7112/7112
[pid=2367] ppid=2365 vsize=2957856 CPUtime=0.53 cores=0,2,4,6
/proc/2367/stat : 2367 (java) S 2365 2367 29837 0 -1 4202496 10742 0 1 0 51 2 0 0 20 0 18 0 336046727 3028844544 13885 33554432000 1073741824 1073778376 140736595208848 140736595199984 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2367/statm: 739464 13885 2249 9 0 729885 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2957856
[startup+0.700228 s]
/proc/loadavg: 2.04 2.00 2.00 3/194 2367
/proc/meminfo: memFree=26968344/32873648 swapFree=7112/7112
[pid=2367] ppid=2365 vsize=2957856 CPUtime=1.23 cores=0,2,4,6
/proc/2367/stat : 2367 (java) S 2365 2367 29837 0 -1 4202496 12424 0 1 0 119 4 0 0 20 0 18 0 336046727 3028844544 49889 33554432000 1073741824 1073778376 140736595208848 140736595199984 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2367/statm: 739721 49890 2271 9 0 730142 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 2957856
[startup+1.5007 s]
/proc/loadavg: 2.04 2.00 2.00 3/213 2386
/proc/meminfo: memFree=26711120/32873648 swapFree=7112/7112
[pid=2367] ppid=2365 vsize=3024420 CPUtime=2.22 cores=0,2,4,6
/proc/2367/stat : 2367 (java) S 2365 2367 29837 0 -1 4202496 13780 0 1 0 215 7 0 0 20 0 19 0 336046727 3097006080 101617 33554432000 1073741824 1073778376 140736595208848 140736595199984 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2367/statm: 756105 101617 2277 9 0 746526 0
[pid=2367/tid=2369] ppid=2365 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/2367/task/2369/stat : 2369 (java) R 2365 2367 29837 0 -1 4202560 3212 0 1 0 141 5 0 0 20 0 19 0 336046728 3097006080 101617 33554432000 1073741824 1073778376 140736595208848 140393593409576 140393438690157 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2370] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2370/stat : 2370 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046729 3097006080 101617 33554432000 1073741824 1073778376 140736595208848 140393576835240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2371] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2371/stat : 2371 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046729 3097006080 101617 33554432000 1073741824 1073778376 140736595208848 140393575782696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2372] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2372/stat : 2372 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046729 3097006080 101617 33554432000 1073741824 1073778376 140736595208848 140393574730152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2367/tid=2373] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2373/stat : 2373 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046729 3097006080 101617 33554432000 1073741824 1073778376 140736595208848 140393573677608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2374] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2374/stat : 2374 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046729 3097006080 101617 33554432000 1073741824 1073778376 140736595208848 140393572625064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2375] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2375/stat : 2375 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046729 3097006080 101617 33554432000 1073741824 1073778376 140736595208848 140393571572520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2367/tid=2376] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2376/stat : 2376 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046729 3097006080 101617 33554432000 1073741824 1073778376 140736595208848 140393570519976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2377] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2377/stat : 2377 (java) S 2365 2367 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336046729 3097006080 101617 33554432000 1073741824 1073778376 140736595208848 140393569467432 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2378] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2378/stat : 2378 (java) S 2365 2367 29837 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 336046730 3097006080 101617 33554432000 1073741824 1073778376 140736595208848 140393557055592 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2379] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2379/stat : 2379 (java) S 2365 2367 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336046730 3097006080 101617 33554432000 1073741824 1073778376 140736595208848 140393437979768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2380] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2380/stat : 2380 (java) S 2365 2367 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336046730 3097006080 101617 33554432000 1073741824 1073778376 140736595208848 140393436927112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2381] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2381/stat : 2381 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046733 3097006080 101617 33554432000 1073741824 1073778376 140736595208848 140393435875856 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2382] ppid=2365 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/2367/task/2382/stat : 2382 (java) S 2365 2367 29837 0 -1 4202560 4436 0 0 0 30 0 0 0 20 0 19 0 336046733 3097006080 101617 33554432000 1073741824 1073778376 140736595208848 140393434823224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2383] ppid=2365 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/2367/task/2383/stat : 2383 (java) S 2365 2367 29837 0 -1 4202560 4937 0 0 0 42 0 0 0 20 0 19 0 336046733 3097006080 101617 33554432000 1073741824 1073778376 140736595208848 140393433770680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2384] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2384/stat : 2384 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046733 3097006080 101617 33554432000 1073741824 1073778376 140736595208848 140393432718328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2385] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2385/stat : 2385 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046733 3097006080 101617 33554432000 1073741824 1073778376 140736595208848 140393431665992 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2386] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2386/stat : 2386 (java) S 2365 2367 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336046797 3097006080 101617 33554432000 1073741824 1073778376 140736595208848 140393429533480 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 3024420
[startup+3.1007 s]
/proc/loadavg: 2.04 2.00 2.00 3/213 2386
/proc/meminfo: memFree=26499308/32873648 swapFree=7112/7112
[pid=2367] ppid=2365 vsize=3024420 CPUtime=3.97 cores=0,2,4,6
/proc/2367/stat : 2367 (java) S 2365 2367 29837 0 -1 4202496 13893 0 1 0 386 11 0 0 20 0 19 0 336046727 3097006080 124169 33554432000 1073741824 1073778376 140736595208848 140736595199984 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2367/statm: 756105 124169 2292 9 0 746526 0
[pid=2367/tid=2369] ppid=2365 vsize=3024420 CPUtime=3.02 cores=0,2,4,6
/proc/2367/task/2369/stat : 2369 (java) R 2365 2367 29837 0 -1 4202560 3242 0 1 0 295 7 0 0 20 0 19 0 336046728 3097006080 124169 33554432000 1073741824 1073778376 140736595208848 140393593408840 140393438707302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2370] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2370/stat : 2370 (java) S 2365 2367 29837 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 336046729 3097006080 124169 33554432000 1073741824 1073778376 140736595208848 140393576835240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2371] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2371/stat : 2371 (java) S 2365 2367 29837 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 336046729 3097006080 124169 33554432000 1073741824 1073778376 140736595208848 140393575782696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2372] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2372/stat : 2372 (java) S 2365 2367 29837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 336046729 3097006080 124169 33554432000 1073741824 1073778376 140736595208848 140393574730152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2367/tid=2373] ppid=2365 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/2367/task/2373/stat : 2373 (java) S 2365 2367 29837 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 336046729 3097006080 124169 33554432000 1073741824 1073778376 140736595208848 140393573677608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2374] ppid=2365 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/2367/task/2374/stat : 2374 (java) S 2365 2367 29837 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 336046729 3097006080 124169 33554432000 1073741824 1073778376 140736595208848 140393572625064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2375] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2375/stat : 2375 (java) S 2365 2367 29837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 336046729 3097006080 124169 33554432000 1073741824 1073778376 140736595208848 140393571572520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2367/tid=2376] ppid=2365 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/2367/task/2376/stat : 2376 (java) S 2365 2367 29837 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 336046729 3097006080 124169 33554432000 1073741824 1073778376 140736595208848 140393570519976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2377] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2377/stat : 2377 (java) S 2365 2367 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336046729 3097006080 124169 33554432000 1073741824 1073778376 140736595208848 140393569467432 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2367/tid=2378] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2378/stat : 2378 (java) S 2365 2367 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336046730 3097006080 124169 33554432000 1073741824 1073778376 140736595208848 140393557055592 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2379] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2379/stat : 2379 (java) S 2365 2367 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336046730 3097006080 124169 33554432000 1073741824 1073778376 140736595208848 140393437979768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2380] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2380/stat : 2380 (java) S 2365 2367 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336046730 3097006080 124169 33554432000 1073741824 1073778376 140736595208848 140393436927112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2381] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2381/stat : 2381 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046733 3097006080 124169 33554432000 1073741824 1073778376 140736595208848 140393435875856 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2382] ppid=2365 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/2367/task/2382/stat : 2382 (java) S 2365 2367 29837 0 -1 4202560 4436 0 0 0 30 0 0 0 20 0 19 0 336046733 3097006080 124169 33554432000 1073741824 1073778376 140736595208848 140393434823224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2383] ppid=2365 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/2367/task/2383/stat : 2383 (java) S 2365 2367 29837 0 -1 4202560 4938 0 0 0 46 0 0 0 20 0 19 0 336046733 3097006080 124169 33554432000 1073741824 1073778376 140736595208848 140393433770680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2384] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2384/stat : 2384 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046733 3097006080 124169 33554432000 1073741824 1073778376 140736595208848 140393432718328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2385] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2385/stat : 2385 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046733 3097006080 124169 33554432000 1073741824 1073778376 140736595208848 140393431665992 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2386] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2386/stat : 2386 (java) S 2365 2367 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336046797 3097006080 124169 33554432000 1073741824 1073778376 140736595208848 140393429533480 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 3024420
[startup+6.30066 s]
/proc/loadavg: 2.03 2.00 2.00 3/213 2386
/proc/meminfo: memFree=26478332/32873648 swapFree=7112/7112
[pid=2367] ppid=2365 vsize=3024420 CPUtime=7.27 cores=0,2,4,6
/proc/2367/stat : 2367 (java) S 2365 2367 29837 0 -1 4202496 13898 0 1 0 716 11 0 0 20 0 19 0 336046727 3097006080 124003 33554432000 1073741824 1073778376 140736595208848 140736595199984 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2367/statm: 756105 124003 2292 9 0 746526 0
[pid=2367/tid=2369] ppid=2365 vsize=3024420 CPUtime=6.17 cores=0,2,4,6
/proc/2367/task/2369/stat : 2369 (java) R 2365 2367 29837 0 -1 4202560 3246 0 1 0 610 7 0 0 20 0 19 0 336046728 3097006080 124003 33554432000 1073741824 1073778376 140736595208848 140393593409880 140393438465005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2370] ppid=2365 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/2367/task/2370/stat : 2370 (java) S 2365 2367 29837 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 336046729 3097006080 124003 33554432000 1073741824 1073778376 140736595208848 140393576835240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2371] ppid=2365 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/2367/task/2371/stat : 2371 (java) S 2365 2367 29837 0 -1 4202560 7 0 0 0 4 0 0 0 20 0 19 0 336046729 3097006080 124003 33554432000 1073741824 1073778376 140736595208848 140393575782696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2372] ppid=2365 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/2367/task/2372/stat : 2372 (java) S 2365 2367 29837 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 336046729 3097006080 124003 33554432000 1073741824 1073778376 140736595208848 140393574730152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2367/tid=2373] ppid=2365 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/2367/task/2373/stat : 2373 (java) S 2365 2367 29837 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 336046729 3097006080 124003 33554432000 1073741824 1073778376 140736595208848 140393573677608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2374] ppid=2365 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/2367/task/2374/stat : 2374 (java) S 2365 2367 29837 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 336046729 3097006080 124003 33554432000 1073741824 1073778376 140736595208848 140393572625064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2375] ppid=2365 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/2367/task/2375/stat : 2375 (java) S 2365 2367 29837 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 336046729 3097006080 124003 33554432000 1073741824 1073778376 140736595208848 140393571572520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2367/tid=2376] ppid=2365 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/2367/task/2376/stat : 2376 (java) S 2365 2367 29837 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 336046729 3097006080 124003 33554432000 1073741824 1073778376 140736595208848 140393570519976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2377] ppid=2365 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/2367/task/2377/stat : 2377 (java) S 2365 2367 29837 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 336046729 3097006080 124003 33554432000 1073741824 1073778376 140736595208848 140393569467432 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2367/tid=2378] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2378/stat : 2378 (java) S 2365 2367 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336046730 3097006080 124003 33554432000 1073741824 1073778376 140736595208848 140393557055592 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2379] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2379/stat : 2379 (java) S 2365 2367 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336046730 3097006080 124003 33554432000 1073741824 1073778376 140736595208848 140393437979768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2380] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2380/stat : 2380 (java) S 2365 2367 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336046730 3097006080 124003 33554432000 1073741824 1073778376 140736595208848 140393436927112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2381] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2381/stat : 2381 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046733 3097006080 124003 33554432000 1073741824 1073778376 140736595208848 140393435875856 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2382] ppid=2365 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/2367/task/2382/stat : 2382 (java) S 2365 2367 29837 0 -1 4202560 4436 0 0 0 32 0 0 0 20 0 19 0 336046733 3097006080 124003 33554432000 1073741824 1073778376 140736595208848 140393434823224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2383] ppid=2365 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/2367/task/2383/stat : 2383 (java) S 2365 2367 29837 0 -1 4202560 4938 0 0 0 46 0 0 0 20 0 19 0 336046733 3097006080 124003 33554432000 1073741824 1073778376 140736595208848 140393433770680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2384] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2384/stat : 2384 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046733 3097006080 124003 33554432000 1073741824 1073778376 140736595208848 140393432718328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2385] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2385/stat : 2385 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046733 3097006080 124003 33554432000 1073741824 1073778376 140736595208848 140393431665992 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2386] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2386/stat : 2386 (java) S 2365 2367 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336046797 3097006080 124003 33554432000 1073741824 1073778376 140736595208848 140393429533480 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 3024420
[startup+12.7006 s]
################
# More data... #
################
[pid=2367/tid=2375] ppid=2365 vsize=3024420 CPUtime=6.57 cores=0,2,4,6
/proc/2367/task/2375/stat : 2375 (java) S 2365 2367 29837 0 -1 4202560 280 0 0 0 649 8 0 0 20 0 19 0 336046729 3097006080 225080 33554432000 1073741824 1073778376 140736595208848 140393571572520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2376] ppid=2365 vsize=3024420 CPUtime=6.56 cores=0,2,4,6
/proc/2367/task/2376/stat : 2376 (java) S 2365 2367 29837 0 -1 4202560 268 0 0 0 648 8 0 0 20 0 19 0 336046729 3097006080 225080 33554432000 1073741824 1073778376 140736595208848 140393570519976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2377] ppid=2365 vsize=3024420 CPUtime=6.38 cores=0,2,4,6
/proc/2367/task/2377/stat : 2377 (java) S 2365 2367 29837 0 -1 4202560 265 0 0 0 631 7 0 0 20 0 19 0 336046729 3097006080 225080 33554432000 1073741824 1073778376 140736595208848 140393569467432 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2378] ppid=2365 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/2367/task/2378/stat : 2378 (java) S 2365 2367 29837 0 -1 4202560 97 0 0 0 14 4 0 0 20 0 19 0 336046730 3097006080 225080 33554432000 1073741824 1073778376 140736595208848 140393557055592 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2379] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2379/stat : 2379 (java) S 2365 2367 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336046730 3097006080 225080 33554432000 1073741824 1073778376 140736595208848 140393437979768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2380] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2380/stat : 2380 (java) S 2365 2367 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336046730 3097006080 225080 33554432000 1073741824 1073778376 140736595208848 140393436927112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2381] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2381/stat : 2381 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046733 3097006080 225080 33554432000 1073741824 1073778376 140736595208848 140393435875856 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2382] ppid=2365 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/2367/task/2382/stat : 2382 (java) S 2365 2367 29837 0 -1 4202560 4445 0 0 0 42 0 0 0 20 0 19 0 336046733 3097006080 225080 33554432000 1073741824 1073778376 140736595208848 140393434823224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2383] ppid=2365 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/2367/task/2383/stat : 2383 (java) S 2365 2367 29837 0 -1 4202560 4938 0 0 0 47 0 0 0 20 0 19 0 336046733 3097006080 225080 33554432000 1073741824 1073778376 140736595208848 140393433770680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2384] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2384/stat : 2384 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046733 3097006080 225080 33554432000 1073741824 1073778376 140736595208848 140393432718328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2385] ppid=2365 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/2367/task/2385/stat : 2385 (java) S 2365 2367 29837 0 -1 4202560 91 0 0 0 30 29 0 0 20 0 19 0 336046733 3097006080 225080 33554432000 1073741824 1073778376 140736595208848 140393431665992 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2437] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2437/stat : 2437 (java) S 2365 2367 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336163979 3097006080 225080 33554432000 1073741824 1073778376 140736595208848 140393429533736 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1640.04
Current children cumulated vsize (KiB) 3024420
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/213 2504
/proc/meminfo: memFree=26471976/32873648 swapFree=7112/7112
[pid=2367] ppid=2365 vsize=3024420 CPUtime=1701.95 cores=0,2,4,6
/proc/2367/stat : 2367 (java) S 2365 2367 29837 0 -1 4202496 17503 0 1 0 170089 106 0 0 20 0 19 0 336046727 3097006080 228733 33554432000 1073741824 1073778376 140736595208848 140736595199984 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2367/statm: 756105 228733 2295 9 0 746526 0
[pid=2367/tid=2369] ppid=2365 vsize=3024420 CPUtime=1646.09 cores=0,2,4,6
/proc/2367/task/2369/stat : 2369 (java) R 2365 2367 29837 0 -1 4202560 4439 0 1 0 164572 37 0 0 20 0 19 0 336046728 3097006080 228733 33554432000 1073741824 1073778376 140736595208848 140393593408736 140393438691634 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2370] ppid=2365 vsize=3024420 CPUtime=6.63 cores=0,2,4,6
/proc/2367/task/2370/stat : 2370 (java) S 2365 2367 29837 0 -1 4202560 310 0 0 0 654 9 0 0 20 0 19 0 336046729 3097006080 228733 33554432000 1073741824 1073778376 140736595208848 140393576835240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2371] ppid=2365 vsize=3024420 CPUtime=6.91 cores=0,2,4,6
/proc/2367/task/2371/stat : 2371 (java) S 2365 2367 29837 0 -1 4202560 271 0 0 0 684 7 0 0 20 0 19 0 336046729 3097006080 228733 33554432000 1073741824 1073778376 140736595208848 140393575782696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2367/tid=2372] ppid=2365 vsize=3024420 CPUtime=6.8 cores=0,2,4,6
/proc/2367/task/2372/stat : 2372 (java) S 2365 2367 29837 0 -1 4202560 270 0 0 0 672 8 0 0 20 0 19 0 336046729 3097006080 228733 33554432000 1073741824 1073778376 140736595208848 140393574730152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2373] ppid=2365 vsize=3024420 CPUtime=6.51 cores=0,2,4,6
/proc/2367/task/2373/stat : 2373 (java) S 2365 2367 29837 0 -1 4202560 250 0 0 0 645 6 0 0 20 0 19 0 336046729 3097006080 228733 33554432000 1073741824 1073778376 140736595208848 140393573677608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2374] ppid=2365 vsize=3024420 CPUtime=6.88 cores=0,2,4,6
/proc/2367/task/2374/stat : 2374 (java) S 2365 2367 29837 0 -1 4202560 291 0 0 0 678 10 0 0 20 0 19 0 336046729 3097006080 228733 33554432000 1073741824 1073778376 140736595208848 140393572625064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2375] ppid=2365 vsize=3024420 CPUtime=6.88 cores=0,2,4,6
/proc/2367/task/2375/stat : 2375 (java) S 2365 2367 29837 0 -1 4202560 289 0 0 0 680 8 0 0 20 0 19 0 336046729 3097006080 228733 33554432000 1073741824 1073778376 140736595208848 140393571572520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2367/tid=2376] ppid=2365 vsize=3024420 CPUtime=6.89 cores=0,2,4,6
/proc/2367/task/2376/stat : 2376 (java) S 2365 2367 29837 0 -1 4202560 279 0 0 0 681 8 0 0 20 0 19 0 336046729 3097006080 228733 33554432000 1073741824 1073778376 140736595208848 140393570519976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2377] ppid=2365 vsize=3024420 CPUtime=6.71 cores=0,2,4,6
/proc/2367/task/2377/stat : 2377 (java) S 2365 2367 29837 0 -1 4202560 277 0 0 0 664 7 0 0 20 0 19 0 336046729 3097006080 228733 33554432000 1073741824 1073778376 140736595208848 140393569467432 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2378] ppid=2365 vsize=3024420 CPUtime=0.19 cores=0,2,4,6
/proc/2367/task/2378/stat : 2378 (java) S 2365 2367 29837 0 -1 4202560 101 0 0 0 15 4 0 0 20 0 19 0 336046730 3097006080 228733 33554432000 1073741824 1073778376 140736595208848 140393557055592 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2379] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2379/stat : 2379 (java) S 2365 2367 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336046730 3097006080 228733 33554432000 1073741824 1073778376 140736595208848 140393437979768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2380] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2380/stat : 2380 (java) S 2365 2367 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336046730 3097006080 228733 33554432000 1073741824 1073778376 140736595208848 140393436927112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2381] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2381/stat : 2381 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046733 3097006080 228733 33554432000 1073741824 1073778376 140736595208848 140393435875856 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2382] ppid=2365 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/2367/task/2382/stat : 2382 (java) S 2365 2367 29837 0 -1 4202560 4445 0 0 0 42 0 0 0 20 0 19 0 336046733 3097006080 228733 33554432000 1073741824 1073778376 140736595208848 140393434823224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2383] ppid=2365 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/2367/task/2383/stat : 2383 (java) S 2365 2367 29837 0 -1 4202560 4938 0 0 0 47 0 0 0 20 0 19 0 336046733 3097006080 228733 33554432000 1073741824 1073778376 140736595208848 140393433770680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2384] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2384/stat : 2384 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046733 3097006080 228733 33554432000 1073741824 1073778376 140736595208848 140393432718328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2385] ppid=2365 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/2367/task/2385/stat : 2385 (java) S 2365 2367 29837 0 -1 4202560 95 0 0 0 31 30 0 0 20 0 19 0 336046733 3097006080 228733 33554432000 1073741824 1073778376 140736595208848 140393431665992 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2503] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2503/stat : 2503 (java) S 2365 2367 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336210070 3097006080 228733 33554432000 1073741824 1073778376 140736595208848 140393429533864 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1701.95
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 1.93 2.01 1.99 3/213 2504
/proc/meminfo: memFree=26362816/32873648 swapFree=7112/7112
[pid=2367] ppid=2365 vsize=3024420 CPUtime=1764.23 cores=0,2,4,6
/proc/2367/stat : 2367 (java) S 2365 2367 29837 0 -1 4202496 17621 0 1 0 176314 109 0 0 20 0 19 0 336046727 3097006080 232887 33554432000 1073741824 1073778376 140736595208848 140736595199984 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2367/statm: 756105 232887 2295 9 0 746526 0
[pid=2367/tid=2369] ppid=2365 vsize=3024420 CPUtime=1705.24 cores=0,2,4,6
/proc/2367/task/2369/stat : 2369 (java) S 2365 2367 29837 0 -1 4202560 4480 0 1 0 170487 37 0 0 20 0 19 0 336046728 3097006080 232887 33554432000 1073741824 1073778376 140736595208848 140393593408936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2370] ppid=2365 vsize=3024420 CPUtime=6.97 cores=0,2,4,6
/proc/2367/task/2370/stat : 2370 (java) R 2365 2367 29837 0 -1 4202560 314 0 0 0 688 9 0 0 20 0 19 0 336046729 3097006080 232887 33554432000 1073741824 1073778376 140736595208848 140393576835368 242167352455 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2371] ppid=2365 vsize=3024420 CPUtime=7.28 cores=0,2,4,6
/proc/2367/task/2371/stat : 2371 (java) R 2365 2367 29837 0 -1 4202560 276 0 0 0 721 7 0 0 20 0 19 0 336046729 3097006080 232887 33554432000 1073741824 1073778376 140736595208848 140393575782696 140393601455266 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2372] ppid=2365 vsize=3024420 CPUtime=7.17 cores=0,2,4,6
/proc/2367/task/2372/stat : 2372 (java) R 2365 2367 29837 0 -1 4202560 284 0 0 0 709 8 0 0 20 0 19 0 336046729 3097006080 232887 33554432000 1073741824 1073778376 140736595208848 140393574730280 242167352455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2373] ppid=2365 vsize=3024420 CPUtime=6.87 cores=0,2,4,6
/proc/2367/task/2373/stat : 2373 (java) R 2365 2367 29837 0 -1 4202560 261 0 0 0 681 6 0 0 20 0 19 0 336046729 3097006080 232887 33554432000 1073741824 1073778376 140736595208848 140393573677736 242167352455 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2374] ppid=2365 vsize=3024420 CPUtime=7.31 cores=0,2,4,6
/proc/2367/task/2374/stat : 2374 (java) R 2365 2367 29837 0 -1 4202560 302 0 0 0 721 10 0 0 20 0 19 0 336046729 3097006080 232887 33554432000 1073741824 1073778376 140736595208848 140393572625240 140393599918502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2375] ppid=2365 vsize=3024420 CPUtime=7.33 cores=0,2,4,6
/proc/2367/task/2375/stat : 2375 (java) R 2365 2367 29837 0 -1 4202560 300 0 0 0 724 9 0 0 20 0 19 0 336046729 3097006080 232887 33554432000 1073741824 1073778376 140736595208848 140393571572648 140393601455264 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=2367/tid=2376] ppid=2365 vsize=3024420 CPUtime=7.26 cores=0,2,4,6
/proc/2367/task/2376/stat : 2376 (java) R 2365 2367 29837 0 -1 4202560 284 0 0 0 718 8 0 0 20 0 19 0 336046729 3097006080 232887 33554432000 1073741824 1073778376 140736595208848 140393570520104 242167352455 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=2367/tid=2377] ppid=2365 vsize=3024420 CPUtime=7.13 cores=0,2,4,6
/proc/2367/task/2377/stat : 2377 (java) R 2365 2367 29837 0 -1 4202560 285 0 0 0 706 7 0 0 20 0 19 0 336046729 3097006080 232887 33554432000 1073741824 1073778376 140736595208848 140393569467432 242167352455 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2378] ppid=2365 vsize=3024420 CPUtime=0.19 cores=0,2,4,6
/proc/2367/task/2378/stat : 2378 (java) S 2365 2367 29837 0 -1 4202560 105 0 0 0 15 4 0 0 20 0 19 0 336046730 3097006080 232887 33554432000 1073741824 1073778376 140736595208848 140393557054472 242170770492 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2379] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2379/stat : 2379 (java) S 2365 2367 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336046730 3097006080 232887 33554432000 1073741824 1073778376 140736595208848 140393437979768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2380] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2380/stat : 2380 (java) S 2365 2367 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336046730 3097006080 232887 33554432000 1073741824 1073778376 140736595208848 140393436927112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2381] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2381/stat : 2381 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046733 3097006080 232887 33554432000 1073741824 1073778376 140736595208848 140393435875856 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2382] ppid=2365 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/2367/task/2382/stat : 2382 (java) S 2365 2367 29837 0 -1 4202560 4445 0 0 0 42 0 0 0 20 0 19 0 336046733 3097006080 232887 33554432000 1073741824 1073778376 140736595208848 140393434823224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2383] ppid=2365 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/2367/task/2383/stat : 2383 (java) S 2365 2367 29837 0 -1 4202560 4938 0 0 0 47 0 0 0 20 0 19 0 336046733 3097006080 232887 33554432000 1073741824 1073778376 140736595208848 140393433770680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2384] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2384/stat : 2384 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046733 3097006080 232887 33554432000 1073741824 1073778376 140736595208848 140393432718328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2385] ppid=2365 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/2367/task/2385/stat : 2385 (java) S 2365 2367 29837 0 -1 4202560 99 0 0 0 32 31 0 0 20 0 19 0 336046733 3097006080 232887 33554432000 1073741824 1073778376 140736595208848 140393431665992 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2503] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2503/stat : 2503 (java) S 2365 2367 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336210070 3097006080 232887 33554432000 1073741824 1073778376 140736595208848 140393429533864 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1764.23
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1756.8 s]
/proc/loadavg: 1.96 2.01 1.99 3/212 2504
/proc/meminfo: memFree=26357252/32873648 swapFree=7112/7112
[pid=2367] ppid=2365 vsize=3024420 CPUtime=1800.07 cores=0,2,4,6
/proc/2367/stat : 2367 (java) S 2365 2367 29837 0 -1 4202496 17682 0 1 0 179897 110 0 0 20 0 19 0 336046727 3097006080 234451 33554432000 1073741824 1073778376 140736595208848 140736595199984 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2367/statm: 756105 234451 2295 9 0 746526 0
[pid=2367/tid=2369] ppid=2365 vsize=3024420 CPUtime=1739.23 cores=0,2,4,6
/proc/2367/task/2369/stat : 2369 (java) R 2365 2367 29837 0 -1 4202560 4505 0 1 0 173885 38 0 0 20 0 19 0 336046728 3097006080 234451 33554432000 1073741824 1073778376 140736595208848 140393593408816 140393438689162 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2370] ppid=2365 vsize=3024420 CPUtime=7.19 cores=0,2,4,6
/proc/2367/task/2370/stat : 2370 (java) S 2365 2367 29837 0 -1 4202560 318 0 0 0 710 9 0 0 20 0 19 0 336046729 3097006080 234451 33554432000 1073741824 1073778376 140736595208848 140393576835240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2371] ppid=2365 vsize=3024420 CPUtime=7.5 cores=0,2,4,6
/proc/2367/task/2371/stat : 2371 (java) S 2365 2367 29837 0 -1 4202560 280 0 0 0 743 7 0 0 20 0 19 0 336046729 3097006080 234451 33554432000 1073741824 1073778376 140736595208848 140393575782696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2372] ppid=2365 vsize=3024420 CPUtime=7.42 cores=0,2,4,6
/proc/2367/task/2372/stat : 2372 (java) S 2365 2367 29837 0 -1 4202560 287 0 0 0 734 8 0 0 20 0 19 0 336046729 3097006080 234451 33554432000 1073741824 1073778376 140736595208848 140393574730152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2367/tid=2373] ppid=2365 vsize=3024420 CPUtime=7.07 cores=0,2,4,6
/proc/2367/task/2373/stat : 2373 (java) S 2365 2367 29837 0 -1 4202560 264 0 0 0 701 6 0 0 20 0 19 0 336046729 3097006080 234451 33554432000 1073741824 1073778376 140736595208848 140393573677608 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2367/tid=2374] ppid=2365 vsize=3024420 CPUtime=7.52 cores=0,2,4,6
/proc/2367/task/2374/stat : 2374 (java) S 2365 2367 29837 0 -1 4202560 307 0 0 0 742 10 0 0 20 0 19 0 336046729 3097006080 234451 33554432000 1073741824 1073778376 140736595208848 140393572625064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2375] ppid=2365 vsize=3024420 CPUtime=7.56 cores=0,2,4,6
/proc/2367/task/2375/stat : 2375 (java) S 2365 2367 29837 0 -1 4202560 304 0 0 0 747 9 0 0 20 0 19 0 336046729 3097006080 234451 33554432000 1073741824 1073778376 140736595208848 140393571572520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2376] ppid=2365 vsize=3024420 CPUtime=7.5 cores=0,2,4,6
/proc/2367/task/2376/stat : 2376 (java) S 2365 2367 29837 0 -1 4202560 288 0 0 0 741 9 0 0 20 0 19 0 336046729 3097006080 234451 33554432000 1073741824 1073778376 140736595208848 140393570519976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2367/tid=2377] ppid=2365 vsize=3024420 CPUtime=7.37 cores=0,2,4,6
/proc/2367/task/2377/stat : 2377 (java) S 2365 2367 29837 0 -1 4202560 290 0 0 0 730 7 0 0 20 0 19 0 336046729 3097006080 234451 33554432000 1073741824 1073778376 140736595208848 140393569467432 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2378] ppid=2365 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/2367/task/2378/stat : 2378 (java) S 2365 2367 29837 0 -1 4202560 107 0 0 0 16 4 0 0 20 0 19 0 336046730 3097006080 234451 33554432000 1073741824 1073778376 140736595208848 140393557055592 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2379] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2379/stat : 2379 (java) S 2365 2367 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336046730 3097006080 234451 33554432000 1073741824 1073778376 140736595208848 140393437979768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2380] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2380/stat : 2380 (java) S 2365 2367 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336046730 3097006080 234451 33554432000 1073741824 1073778376 140736595208848 140393436927112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2381] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2381/stat : 2381 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046733 3097006080 234451 33554432000 1073741824 1073778376 140736595208848 140393435875856 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2382] ppid=2365 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/2367/task/2382/stat : 2382 (java) S 2365 2367 29837 0 -1 4202560 4445 0 0 0 42 0 0 0 20 0 19 0 336046733 3097006080 234451 33554432000 1073741824 1073778376 140736595208848 140393434823224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2367/tid=2383] ppid=2365 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/2367/task/2383/stat : 2383 (java) S 2365 2367 29837 0 -1 4202560 4938 0 0 0 47 0 0 0 20 0 19 0 336046733 3097006080 234451 33554432000 1073741824 1073778376 140736595208848 140393433770680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2384] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2384/stat : 2384 (java) S 2365 2367 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336046733 3097006080 234451 33554432000 1073741824 1073778376 140736595208848 140393432718328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2367/tid=2385] ppid=2365 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/2367/task/2385/stat : 2385 (java) S 2365 2367 29837 0 -1 4202560 101 0 0 0 33 31 0 0 20 0 19 0 336046733 3097006080 234451 33554432000 1073741824 1073778376 140736595208848 140393431665992 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2367/tid=2503] ppid=2365 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/2367/task/2503/stat : 2503 (java) S 2365 2367 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336210070 3097006080 234451 33554432000 1073741824 1073778376 140736595208848 140393429533864 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1756.84
CPU time (s): 1800.39
CPU user time (s): 1798.86
CPU system time (s): 1.53377
CPU usage (%): 102.479
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.53377
maximum resident set size= 937920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17714
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75110
involuntary context switches= 139285
runsolver used 6.18106 second user time and 14.3718 second system time
The end