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-3731640-1338740245/watcher-3731640-1338740245 -o /tmp/evaluation-result-3731640-1338740245/solver-3731640-1338740245 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3731640-1338740245.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: 1.93 2.06 1.98 3/194 31413
/proc/meminfo: memFree=26410084/32873844 swapFree=7372/7372
[pid=31413] ppid=31411 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/31413/stat : 31413 (java6) D 31411 31413 31022 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 340150643 9515008 183 33554432000 1073741824 1073778376 140737136469456 140737136460488 251032059573 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/31413/statm: 2323 183 140 9 0 71 0
[startup+0.0124789 s]
/proc/loadavg: 1.93 2.06 1.98 3/194 31413
/proc/meminfo: memFree=26410084/32873844 swapFree=7372/7372
[pid=31413] ppid=31411 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/31413/stat : 31413 (java) S 31411 31413 31022 0 -1 4202496 1218 0 0 0 0 0 0 0 20 0 2 0 340150643 95129600 927 33554432000 1073741824 1073778376 140736831285248 140736831276384 251035418685 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31413/statm: 23225 927 703 9 0 16769 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 92900
[startup+0.100257 s]
/proc/loadavg: 1.93 2.06 1.98 3/194 31413
/proc/meminfo: memFree=26410084/32873844 swapFree=7372/7372
[pid=31413] ppid=31411 vsize=2648568 CPUtime=0.09 cores=0,2,4,6
/proc/31413/stat : 31413 (java) S 31411 31413 31022 0 -1 4202496 4678 0 1 0 8 1 0 0 20 0 18 0 340150643 2712133632 6395 33554432000 1073741824 1073778376 140736831285248 140736831276384 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31413/statm: 662142 6395 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.300211 s]
/proc/loadavg: 1.93 2.06 1.98 3/194 31413
/proc/meminfo: memFree=26410084/32873844 swapFree=7372/7372
[pid=31413] ppid=31411 vsize=2648568 CPUtime=0.46 cores=0,2,4,6
/proc/31413/stat : 31413 (java) S 31411 31413 31022 0 -1 4202496 5811 0 1 0 45 1 0 0 20 0 18 0 340150643 2712133632 9883 33554432000 1073741824 1073778376 140736831285248 140736831276384 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31413/statm: 662142 9883 2217 9 0 652835 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2648568
[startup+0.700218 s]
/proc/loadavg: 1.93 2.06 1.98 3/194 31413
/proc/meminfo: memFree=26410084/32873844 swapFree=7372/7372
[pid=31413] ppid=31411 vsize=2648568 CPUtime=1.07 cores=0,2,4,6
/proc/31413/stat : 31413 (java) S 31411 31413 31022 0 -1 4202496 9303 0 1 0 104 3 0 0 20 0 18 0 340150643 2712133632 45095 33554432000 1073741824 1073778376 140736831285248 140736831276384 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31413/statm: 662142 45095 2233 9 0 652835 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 2648568
[startup+1.50066 s]
/proc/loadavg: 1.93 2.06 1.98 3/212 31431
/proc/meminfo: memFree=26113160/32873844 swapFree=7372/7372
[pid=31413] ppid=31411 vsize=2648568 CPUtime=1.95 cores=0,2,4,6
/proc/31413/stat : 31413 (java) S 31411 31413 31022 0 -1 4202496 9442 0 1 0 189 6 0 0 20 0 18 0 340150643 2712133632 95294 33554432000 1073741824 1073778376 140736831285248 140736831276384 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31413/statm: 662142 95294 2249 9 0 652835 0
[pid=31413/tid=31415] ppid=31411 vsize=2648568 CPUtime=1.43 cores=0,2,4,6
/proc/31413/task/31415/stat : 31415 (java) R 31411 31413 31022 0 -1 4202560 2910 0 1 0 138 5 0 0 20 0 18 0 340150644 2712133632 95294 33554432000 1073741824 1073778376 140736831285248 139703640838352 139703492201983 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31416] ppid=31411 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31416/stat : 31416 (java) S 31411 31413 31022 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 340150645 2712133632 95294 33554432000 1073741824 1073778376 140736831285248 139703625296296 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31417] ppid=31411 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31417/stat : 31417 (java) S 31411 31413 31022 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 340150645 2712133632 95294 33554432000 1073741824 1073778376 140736831285248 139703624243752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31418] ppid=31411 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31418/stat : 31418 (java) S 31411 31413 31022 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 340150645 2712133632 95294 33554432000 1073741824 1073778376 140736831285248 139703623190696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31413/tid=31419] ppid=31411 vsize=2648568 CPUtime=0.02 cores=0,2,4,6
/proc/31413/task/31419/stat : 31419 (java) S 31411 31413 31022 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 340150645 2712133632 95294 33554432000 1073741824 1073778376 140736831285248 139703622138152 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31420] ppid=31411 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31420/stat : 31420 (java) S 31411 31413 31022 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 340150645 2712133632 95294 33554432000 1073741824 1073778376 140736831285248 139703621086120 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31421] ppid=31411 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31421/stat : 31421 (java) S 31411 31413 31022 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 340150645 2712133632 95294 33554432000 1073741824 1073778376 140736831285248 139703620033576 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31413/tid=31422] ppid=31411 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31422/stat : 31422 (java) S 31411 31413 31022 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 340150645 2712133632 95294 33554432000 1073741824 1073778376 140736831285248 139703618980520 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31423] ppid=31411 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31423/stat : 31423 (java) S 31411 31413 31022 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 340150645 2712133632 95294 33554432000 1073741824 1073778376 140736831285248 139703617927976 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31424] ppid=31411 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31424/stat : 31424 (java) S 31411 31413 31022 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 340150646 2712133632 95294 33554432000 1073741824 1073778376 140736831285248 139703487539560 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31425] ppid=31411 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31425/stat : 31425 (java) S 31411 31413 31022 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 340150647 2712133632 95294 33554432000 1073741824 1073778376 140736831285248 139703486485880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31426] ppid=31411 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31426/stat : 31426 (java) S 31411 31413 31022 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 340150647 2712133632 95294 33554432000 1073741824 1073778376 140736831285248 139703485432712 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31427] ppid=31411 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31427/stat : 31427 (java) S 31411 31413 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340150649 2712133632 95294 33554432000 1073741824 1073778376 140736831285248 139703484381456 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31428] ppid=31411 vsize=2648568 CPUtime=0.2 cores=0,2,4,6
/proc/31413/task/31428/stat : 31428 (java) S 31411 31413 31022 0 -1 4202560 2902 0 0 0 20 0 0 0 20 0 18 0 340150649 2712133632 95294 33554432000 1073741824 1073778376 140736831285248 139703483329336 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31429] ppid=31411 vsize=2648568 CPUtime=0.17 cores=0,2,4,6
/proc/31413/task/31429/stat : 31429 (java) S 31411 31413 31022 0 -1 4202560 2401 0 0 0 17 0 0 0 20 0 18 0 340150649 2712133632 95294 33554432000 1073741824 1073778376 140736831285248 139703482276792 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31430] ppid=31411 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31430/stat : 31430 (java) S 31411 31413 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340150649 2712133632 95294 33554432000 1073741824 1073778376 140736831285248 139703481223928 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31431] ppid=31411 vsize=2648568 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31431/stat : 31431 (java) S 31411 31413 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340150649 2712133632 95294 33554432000 1073741824 1073778376 140736831285248 139703480171592 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 2648568
[startup+3.10069 s]
/proc/loadavg: 1.93 2.06 1.98 3/212 31431
/proc/meminfo: memFree=26007968/32873844 swapFree=7372/7372
[pid=31413] ppid=31411 vsize=2715132 CPUtime=4.28 cores=0,2,4,6
/proc/31413/stat : 31413 (java) S 31411 31413 31022 0 -1 4202496 12060 0 1 0 416 12 0 0 20 0 19 0 340150643 2780295168 108089 33554432000 1073741824 1073778376 140736831285248 140736831276384 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31413/statm: 678783 108089 2273 9 0 669476 0
[pid=31413/tid=31415] ppid=31411 vsize=2715132 CPUtime=2.95 cores=0,2,4,6
/proc/31413/task/31415/stat : 31415 (java) R 31411 31413 31022 0 -1 4202560 2922 0 1 0 289 6 0 0 20 0 19 0 340150644 2780295168 108089 33554432000 1073741824 1073778376 140736831285248 139703640846792 139703492235712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31416] ppid=31411 vsize=2715132 CPUtime=0.02 cores=0,2,4,6
/proc/31413/task/31416/stat : 31416 (java) S 31411 31413 31022 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 340150645 2780295168 108089 33554432000 1073741824 1073778376 140736831285248 139703625296296 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31417] ppid=31411 vsize=2715132 CPUtime=0.04 cores=0,2,4,6
/proc/31413/task/31417/stat : 31417 (java) S 31411 31413 31022 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 19 0 340150645 2780295168 108089 33554432000 1073741824 1073778376 140736831285248 139703624243752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31418] ppid=31411 vsize=2715132 CPUtime=0.04 cores=0,2,4,6
/proc/31413/task/31418/stat : 31418 (java) S 31411 31413 31022 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 340150645 2780295168 108089 33554432000 1073741824 1073778376 140736831285248 139703623190696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31419] ppid=31411 vsize=2715132 CPUtime=0.07 cores=0,2,4,6
/proc/31413/task/31419/stat : 31419 (java) S 31411 31413 31022 0 -1 4202560 29 0 0 0 7 0 0 0 20 0 19 0 340150645 2780295168 108089 33554432000 1073741824 1073778376 140736831285248 139703622138152 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31420] ppid=31411 vsize=2715132 CPUtime=0.04 cores=0,2,4,6
/proc/31413/task/31420/stat : 31420 (java) S 31411 31413 31022 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 19 0 340150645 2780295168 108089 33554432000 1073741824 1073778376 140736831285248 139703621086120 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31421] ppid=31411 vsize=2715132 CPUtime=0.04 cores=0,2,4,6
/proc/31413/task/31421/stat : 31421 (java) S 31411 31413 31022 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 340150645 2780295168 108089 33554432000 1073741824 1073778376 140736831285248 139703620033576 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31422] ppid=31411 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/31413/task/31422/stat : 31422 (java) S 31411 31413 31022 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 340150645 2780295168 108089 33554432000 1073741824 1073778376 140736831285248 139703618980520 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31423] ppid=31411 vsize=2715132 CPUtime=0.05 cores=0,2,4,6
/proc/31413/task/31423/stat : 31423 (java) S 31411 31413 31022 0 -1 4202560 19 0 0 0 5 0 0 0 20 0 19 0 340150645 2780295168 108089 33554432000 1073741824 1073778376 140736831285248 139703617927976 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31424] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31424/stat : 31424 (java) S 31411 31413 31022 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340150646 2780295168 108089 33554432000 1073741824 1073778376 140736831285248 139703487539560 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31413/tid=31425] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31425/stat : 31425 (java) S 31411 31413 31022 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340150647 2780295168 108089 33554432000 1073741824 1073778376 140736831285248 139703486485880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31426] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31426/stat : 31426 (java) S 31411 31413 31022 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340150647 2780295168 108089 33554432000 1073741824 1073778376 140736831285248 139703485432712 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31427] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31427/stat : 31427 (java) S 31411 31413 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340150649 2780295168 108089 33554432000 1073741824 1073778376 140736831285248 139703484381456 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31428] ppid=31411 vsize=2715132 CPUtime=0.46 cores=0,2,4,6
/proc/31413/task/31428/stat : 31428 (java) S 31411 31413 31022 0 -1 4202560 4151 0 0 0 46 0 0 0 20 0 19 0 340150649 2780295168 108089 33554432000 1073741824 1073778376 140736831285248 139703483329336 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31413/tid=31429] ppid=31411 vsize=2715132 CPUtime=0.41 cores=0,2,4,6
/proc/31413/task/31429/stat : 31429 (java) S 31411 31413 31022 0 -1 4202560 3649 0 0 0 41 0 0 0 20 0 19 0 340150649 2780295168 108089 33554432000 1073741824 1073778376 140736831285248 139703482276792 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31430] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31430/stat : 31430 (java) S 31411 31413 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340150649 2780295168 108089 33554432000 1073741824 1073778376 140736831285248 139703481223928 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31431] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31431/stat : 31431 (java) S 31411 31413 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340150649 2780295168 108089 33554432000 1073741824 1073778376 140736831285248 139703480171592 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 2715132
[startup+6.30071 s]
/proc/loadavg: 1.93 2.06 1.98 3/213 31432
/proc/meminfo: memFree=25984876/32873844 swapFree=7372/7372
[pid=31413] ppid=31411 vsize=2715132 CPUtime=7.52 cores=0,2,4,6
/proc/31413/stat : 31413 (java) S 31411 31413 31022 0 -1 4202496 12064 0 1 0 740 12 0 0 20 0 19 0 340150643 2780295168 108058 33554432000 1073741824 1073778376 140736831285248 140736831276384 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31413/statm: 678783 108058 2273 9 0 669476 0
[pid=31413/tid=31415] ppid=31411 vsize=2715132 CPUtime=6.15 cores=0,2,4,6
/proc/31413/task/31415/stat : 31415 (java) R 31411 31413 31022 0 -1 4202560 2925 0 1 0 609 6 0 0 20 0 19 0 340150644 2780295168 108058 33554432000 1073741824 1073778376 140736831285248 139703640846608 139703492582445 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31416] ppid=31411 vsize=2715132 CPUtime=0.02 cores=0,2,4,6
/proc/31413/task/31416/stat : 31416 (java) S 31411 31413 31022 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 340150645 2780295168 108058 33554432000 1073741824 1073778376 140736831285248 139703625296296 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31417] ppid=31411 vsize=2715132 CPUtime=0.04 cores=0,2,4,6
/proc/31413/task/31417/stat : 31417 (java) S 31411 31413 31022 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 19 0 340150645 2780295168 108058 33554432000 1073741824 1073778376 140736831285248 139703624243752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31418] ppid=31411 vsize=2715132 CPUtime=0.04 cores=0,2,4,6
/proc/31413/task/31418/stat : 31418 (java) S 31411 31413 31022 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 340150645 2780295168 108058 33554432000 1073741824 1073778376 140736831285248 139703623190696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31419] ppid=31411 vsize=2715132 CPUtime=0.07 cores=0,2,4,6
/proc/31413/task/31419/stat : 31419 (java) S 31411 31413 31022 0 -1 4202560 29 0 0 0 7 0 0 0 20 0 19 0 340150645 2780295168 108058 33554432000 1073741824 1073778376 140736831285248 139703622138152 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31420] ppid=31411 vsize=2715132 CPUtime=0.04 cores=0,2,4,6
/proc/31413/task/31420/stat : 31420 (java) S 31411 31413 31022 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 19 0 340150645 2780295168 108058 33554432000 1073741824 1073778376 140736831285248 139703621086120 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31421] ppid=31411 vsize=2715132 CPUtime=0.04 cores=0,2,4,6
/proc/31413/task/31421/stat : 31421 (java) S 31411 31413 31022 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 340150645 2780295168 108058 33554432000 1073741824 1073778376 140736831285248 139703620033576 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31422] ppid=31411 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/31413/task/31422/stat : 31422 (java) S 31411 31413 31022 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 340150645 2780295168 108058 33554432000 1073741824 1073778376 140736831285248 139703618980520 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31423] ppid=31411 vsize=2715132 CPUtime=0.05 cores=0,2,4,6
/proc/31413/task/31423/stat : 31423 (java) S 31411 31413 31022 0 -1 4202560 19 0 0 0 5 0 0 0 20 0 19 0 340150645 2780295168 108058 33554432000 1073741824 1073778376 140736831285248 139703617927976 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31424] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31424/stat : 31424 (java) S 31411 31413 31022 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340150646 2780295168 108058 33554432000 1073741824 1073778376 140736831285248 139703487539560 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31425] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31425/stat : 31425 (java) S 31411 31413 31022 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340150647 2780295168 108058 33554432000 1073741824 1073778376 140736831285248 139703486485880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31426] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31426/stat : 31426 (java) S 31411 31413 31022 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340150647 2780295168 108058 33554432000 1073741824 1073778376 140736831285248 139703485432712 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31427] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31427/stat : 31427 (java) S 31411 31413 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340150649 2780295168 108058 33554432000 1073741824 1073778376 140736831285248 139703484381456 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31428] ppid=31411 vsize=2715132 CPUtime=0.48 cores=0,2,4,6
/proc/31413/task/31428/stat : 31428 (java) S 31411 31413 31022 0 -1 4202560 4151 0 0 0 48 0 0 0 20 0 19 0 340150649 2780295168 108058 33554432000 1073741824 1073778376 140736831285248 139703483329336 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31413/tid=31429] ppid=31411 vsize=2715132 CPUtime=0.43 cores=0,2,4,6
/proc/31413/task/31429/stat : 31429 (java) S 31411 31413 31022 0 -1 4202560 3649 0 0 0 43 0 0 0 20 0 19 0 340150649 2780295168 108058 33554432000 1073741824 1073778376 140736831285248 139703482276792 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31430] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31430/stat : 31430 (java) S 31411 31413 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340150649 2780295168 108058 33554432000 1073741824 1073778376 140736831285248 139703481223928 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31431] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31431/stat : 31431 (java) S 31411 31413 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340150649 2780295168 108058 33554432000 1073741824 1073778376 140736831285248 139703480171592 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31432] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31432/stat : 31432 (java) S 31411 31413 31022 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340150933 2780295168 108058 33554432000 1073741824 1073778376 140736831285248 139703479116840 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.52
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
/proc/loadavg: 1.94 2.06 1.98 3/213 31432
/proc/meminfo: memFree=25984644/32873844 swapFree=7372/7372
[pid=31413] ppid=31411 vsize=2715132 CPUtime=13.95 cores=0,2,4,6
/proc/31413/stat : 31413 (java) S 31411 31413 31022 0 -1 4202496 12067 0 1 0 1383 12 0 0 20 0 19 0 340150643 2780295168 108060 33554432000 1073741824 1073778376 140736831285248 140736831276384 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
################
# More data... #
################
[pid=31413/tid=31421] ppid=31411 vsize=2715132 CPUtime=0.38 cores=0,2,4,6
/proc/31413/task/31421/stat : 31421 (java) S 31411 31413 31022 0 -1 4202560 272 0 0 0 22 16 0 0 20 0 19 0 340150645 2780295168 341679 33554432000 1073741824 1073778376 140736831285248 139703620033576 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31422] ppid=31411 vsize=2715132 CPUtime=0.14 cores=0,2,4,6
/proc/31413/task/31422/stat : 31422 (java) S 31411 31413 31022 0 -1 4202560 111 0 0 0 8 6 0 0 20 0 19 0 340150645 2780295168 341679 33554432000 1073741824 1073778376 140736831285248 139703618980520 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31423] ppid=31411 vsize=2715132 CPUtime=0.33 cores=0,2,4,6
/proc/31413/task/31423/stat : 31423 (java) S 31411 31413 31022 0 -1 4202560 229 0 0 0 18 15 0 0 20 0 19 0 340150645 2780295168 341679 33554432000 1073741824 1073778376 140736831285248 139703617927976 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31424] ppid=31411 vsize=2715132 CPUtime=3.8 cores=0,2,4,6
/proc/31413/task/31424/stat : 31424 (java) S 31411 31413 31022 0 -1 4202560 163 0 0 0 373 7 0 0 20 0 19 0 340150646 2780295168 341679 33554432000 1073741824 1073778376 140736831285248 139703487539560 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31425] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31425/stat : 31425 (java) S 31411 31413 31022 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340150647 2780295168 341679 33554432000 1073741824 1073778376 140736831285248 139703486485880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31426] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31426/stat : 31426 (java) S 31411 31413 31022 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340150647 2780295168 341679 33554432000 1073741824 1073778376 140736831285248 139703485432712 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31427] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31427/stat : 31427 (java) S 31411 31413 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340150649 2780295168 341679 33554432000 1073741824 1073778376 140736831285248 139703484381456 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31428] ppid=31411 vsize=2715132 CPUtime=0.53 cores=0,2,4,6
/proc/31413/task/31428/stat : 31428 (java) S 31411 31413 31022 0 -1 4202560 4184 0 0 0 53 0 0 0 20 0 19 0 340150649 2780295168 341679 33554432000 1073741824 1073778376 140736831285248 139703483329336 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31413/tid=31429] ppid=31411 vsize=2715132 CPUtime=0.56 cores=0,2,4,6
/proc/31413/task/31429/stat : 31429 (java) S 31411 31413 31022 0 -1 4202560 4154 0 0 0 56 0 0 0 20 0 19 0 340150649 2780295168 341679 33554432000 1073741824 1073778376 140736831285248 139703482276792 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31430] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31430/stat : 31430 (java) S 31411 31413 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340150649 2780295168 341679 33554432000 1073741824 1073778376 140736831285248 139703481223928 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31431] ppid=31411 vsize=2715132 CPUtime=0.69 cores=0,2,4,6
/proc/31413/task/31431/stat : 31431 (java) S 31411 31413 31022 0 -1 4202560 95 0 0 0 36 33 0 0 20 0 19 0 340150649 2780295168 341679 33554432000 1073741824 1073778376 140736831285248 139703480171592 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31432] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31432/stat : 31432 (java) S 31411 31413 31022 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340150933 2780295168 341679 33554432000 1073741824 1073778376 140736831285248 139703479116840 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1665.16
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 31506
/proc/meminfo: memFree=24873556/32873844 swapFree=7372/7372
[pid=31413] ppid=31411 vsize=2715132 CPUtime=1725.16 cores=0,2,4,6
/proc/31413/stat : 31413 (java) S 31411 31413 31022 0 -1 4202496 14266 0 1 0 172393 123 0 0 20 0 19 0 340150643 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 140736831276384 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31413/statm: 678783 343333 2286 9 0 669476 0
[pid=31413/tid=31415] ppid=31411 vsize=2715132 CPUtime=1717.43 cores=0,2,4,6
/proc/31413/task/31415/stat : 31415 (java) R 31411 31413 31022 0 -1 4202560 2937 0 1 0 171710 33 0 0 20 0 19 0 340150644 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703640845680 139703492586188 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31416] ppid=31411 vsize=2715132 CPUtime=0.25 cores=0,2,4,6
/proc/31413/task/31416/stat : 31416 (java) S 31411 31413 31022 0 -1 4202560 190 0 0 0 13 12 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703625296296 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31417] ppid=31411 vsize=2715132 CPUtime=0.27 cores=0,2,4,6
/proc/31413/task/31417/stat : 31417 (java) S 31411 31413 31022 0 -1 4202560 194 0 0 0 16 11 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703624243752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31413/tid=31418] ppid=31411 vsize=2715132 CPUtime=0.33 cores=0,2,4,6
/proc/31413/task/31418/stat : 31418 (java) S 31411 31413 31022 0 -1 4202560 235 0 0 0 18 15 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703623190696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31419] ppid=31411 vsize=2715132 CPUtime=0.29 cores=0,2,4,6
/proc/31413/task/31419/stat : 31419 (java) S 31411 31413 31022 0 -1 4202560 205 0 0 0 18 11 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703622138152 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31413/tid=31420] ppid=31411 vsize=2715132 CPUtime=0.15 cores=0,2,4,6
/proc/31413/task/31420/stat : 31420 (java) S 31411 31413 31022 0 -1 4202560 107 0 0 0 8 7 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703621086120 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31421] ppid=31411 vsize=2715132 CPUtime=0.38 cores=0,2,4,6
/proc/31413/task/31421/stat : 31421 (java) S 31411 31413 31022 0 -1 4202560 272 0 0 0 22 16 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703620033576 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31422] ppid=31411 vsize=2715132 CPUtime=0.14 cores=0,2,4,6
/proc/31413/task/31422/stat : 31422 (java) S 31411 31413 31022 0 -1 4202560 111 0 0 0 8 6 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703618980520 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31423] ppid=31411 vsize=2715132 CPUtime=0.33 cores=0,2,4,6
/proc/31413/task/31423/stat : 31423 (java) S 31411 31413 31022 0 -1 4202560 229 0 0 0 18 15 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703617927976 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31424] ppid=31411 vsize=2715132 CPUtime=4.22 cores=0,2,4,6
/proc/31413/task/31424/stat : 31424 (java) S 31411 31413 31022 0 -1 4202560 165 0 0 0 415 7 0 0 20 0 19 0 340150646 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703487539560 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31425] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31425/stat : 31425 (java) S 31411 31413 31022 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340150647 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703486485880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31426] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31426/stat : 31426 (java) S 31411 31413 31022 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340150647 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703485432712 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31427] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31427/stat : 31427 (java) S 31411 31413 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340150649 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703484381456 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31428] ppid=31411 vsize=2715132 CPUtime=0.53 cores=0,2,4,6
/proc/31413/task/31428/stat : 31428 (java) S 31411 31413 31022 0 -1 4202560 4184 0 0 0 53 0 0 0 20 0 19 0 340150649 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703483329336 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31413/tid=31429] ppid=31411 vsize=2715132 CPUtime=0.56 cores=0,2,4,6
/proc/31413/task/31429/stat : 31429 (java) S 31411 31413 31022 0 -1 4202560 4154 0 0 0 56 0 0 0 20 0 19 0 340150649 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703482276792 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31430] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31430/stat : 31430 (java) S 31411 31413 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340150649 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703481223928 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31431] ppid=31411 vsize=2715132 CPUtime=0.72 cores=0,2,4,6
/proc/31413/task/31431/stat : 31431 (java) S 31411 31413 31022 0 -1 4202560 99 0 0 0 38 34 0 0 20 0 19 0 340150649 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703480171592 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31432] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31432/stat : 31432 (java) S 31411 31413 31022 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340150933 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703479116840 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1725.16
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 31506
/proc/meminfo: memFree=24872688/32873844 swapFree=7372/7372
[pid=31413] ppid=31411 vsize=2715132 CPUtime=1785.17 cores=0,2,4,6
/proc/31413/stat : 31413 (java) S 31411 31413 31022 0 -1 4202496 14271 0 1 0 178393 124 0 0 20 0 19 0 340150643 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 140736831276384 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31413/statm: 678783 343333 2286 9 0 669476 0
[pid=31413/tid=31415] ppid=31411 vsize=2715132 CPUtime=1777.01 cores=0,2,4,6
/proc/31413/task/31415/stat : 31415 (java) R 31411 31413 31022 0 -1 4202560 2938 0 1 0 177667 34 0 0 20 0 19 0 340150644 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703640846624 139703492515017 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31416] ppid=31411 vsize=2715132 CPUtime=0.25 cores=0,2,4,6
/proc/31413/task/31416/stat : 31416 (java) S 31411 31413 31022 0 -1 4202560 190 0 0 0 13 12 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703625296296 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31417] ppid=31411 vsize=2715132 CPUtime=0.27 cores=0,2,4,6
/proc/31413/task/31417/stat : 31417 (java) S 31411 31413 31022 0 -1 4202560 194 0 0 0 16 11 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703624243752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31413/tid=31418] ppid=31411 vsize=2715132 CPUtime=0.33 cores=0,2,4,6
/proc/31413/task/31418/stat : 31418 (java) S 31411 31413 31022 0 -1 4202560 235 0 0 0 18 15 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703623190696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31419] ppid=31411 vsize=2715132 CPUtime=0.29 cores=0,2,4,6
/proc/31413/task/31419/stat : 31419 (java) S 31411 31413 31022 0 -1 4202560 205 0 0 0 18 11 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703622138152 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31413/tid=31420] ppid=31411 vsize=2715132 CPUtime=0.15 cores=0,2,4,6
/proc/31413/task/31420/stat : 31420 (java) S 31411 31413 31022 0 -1 4202560 107 0 0 0 8 7 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703621086120 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31421] ppid=31411 vsize=2715132 CPUtime=0.38 cores=0,2,4,6
/proc/31413/task/31421/stat : 31421 (java) S 31411 31413 31022 0 -1 4202560 272 0 0 0 22 16 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703620033576 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31422] ppid=31411 vsize=2715132 CPUtime=0.14 cores=0,2,4,6
/proc/31413/task/31422/stat : 31422 (java) S 31411 31413 31022 0 -1 4202560 111 0 0 0 8 6 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703618980520 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31423] ppid=31411 vsize=2715132 CPUtime=0.33 cores=0,2,4,6
/proc/31413/task/31423/stat : 31423 (java) S 31411 31413 31022 0 -1 4202560 229 0 0 0 18 15 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703617927976 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31424] ppid=31411 vsize=2715132 CPUtime=4.64 cores=0,2,4,6
/proc/31413/task/31424/stat : 31424 (java) S 31411 31413 31022 0 -1 4202560 165 0 0 0 457 7 0 0 20 0 19 0 340150646 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703487539560 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31425] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31425/stat : 31425 (java) S 31411 31413 31022 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340150647 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703486485880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31426] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31426/stat : 31426 (java) S 31411 31413 31022 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340150647 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703485432712 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31427] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31427/stat : 31427 (java) S 31411 31413 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340150649 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703484381456 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31428] ppid=31411 vsize=2715132 CPUtime=0.53 cores=0,2,4,6
/proc/31413/task/31428/stat : 31428 (java) S 31411 31413 31022 0 -1 4202560 4184 0 0 0 53 0 0 0 20 0 19 0 340150649 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703483329336 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31413/tid=31429] ppid=31411 vsize=2715132 CPUtime=0.56 cores=0,2,4,6
/proc/31413/task/31429/stat : 31429 (java) S 31411 31413 31022 0 -1 4202560 4154 0 0 0 56 0 0 0 20 0 19 0 340150649 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703482276792 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31430] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31430/stat : 31430 (java) S 31411 31413 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340150649 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703481223928 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31431] ppid=31411 vsize=2715132 CPUtime=0.74 cores=0,2,4,6
/proc/31413/task/31431/stat : 31431 (java) S 31411 31413 31022 0 -1 4202560 103 0 0 0 39 35 0 0 20 0 19 0 340150649 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703480171592 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31432] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31432/stat : 31432 (java) S 31411 31413 31022 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340150933 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703479116840 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1785.17
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 31507
/proc/meminfo: memFree=24872812/32873844 swapFree=7372/7372
[pid=31413] ppid=31411 vsize=2715132 CPUtime=1800.08 cores=0,2,4,6
/proc/31413/stat : 31413 (java) S 31411 31413 31022 0 -1 4202496 14271 0 1 0 179884 124 0 0 20 0 19 0 340150643 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 140736831276384 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31413/statm: 678783 343333 2286 9 0 669476 0
[pid=31413/tid=31415] ppid=31411 vsize=2715132 CPUtime=1791.91 cores=0,2,4,6
/proc/31413/task/31415/stat : 31415 (java) R 31411 31413 31022 0 -1 4202560 2938 0 1 0 179157 34 0 0 20 0 19 0 340150644 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703640846624 139703492514945 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31416] ppid=31411 vsize=2715132 CPUtime=0.25 cores=0,2,4,6
/proc/31413/task/31416/stat : 31416 (java) S 31411 31413 31022 0 -1 4202560 190 0 0 0 13 12 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703625296296 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31417] ppid=31411 vsize=2715132 CPUtime=0.27 cores=0,2,4,6
/proc/31413/task/31417/stat : 31417 (java) S 31411 31413 31022 0 -1 4202560 194 0 0 0 16 11 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703624243752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31413/tid=31418] ppid=31411 vsize=2715132 CPUtime=0.33 cores=0,2,4,6
/proc/31413/task/31418/stat : 31418 (java) S 31411 31413 31022 0 -1 4202560 235 0 0 0 18 15 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703623190696 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31419] ppid=31411 vsize=2715132 CPUtime=0.29 cores=0,2,4,6
/proc/31413/task/31419/stat : 31419 (java) S 31411 31413 31022 0 -1 4202560 205 0 0 0 18 11 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703622138152 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31413/tid=31420] ppid=31411 vsize=2715132 CPUtime=0.15 cores=0,2,4,6
/proc/31413/task/31420/stat : 31420 (java) S 31411 31413 31022 0 -1 4202560 107 0 0 0 8 7 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703621086120 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31421] ppid=31411 vsize=2715132 CPUtime=0.38 cores=0,2,4,6
/proc/31413/task/31421/stat : 31421 (java) S 31411 31413 31022 0 -1 4202560 272 0 0 0 22 16 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703620033576 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31422] ppid=31411 vsize=2715132 CPUtime=0.14 cores=0,2,4,6
/proc/31413/task/31422/stat : 31422 (java) S 31411 31413 31022 0 -1 4202560 111 0 0 0 8 6 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703618980520 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31423] ppid=31411 vsize=2715132 CPUtime=0.33 cores=0,2,4,6
/proc/31413/task/31423/stat : 31423 (java) S 31411 31413 31022 0 -1 4202560 229 0 0 0 18 15 0 0 20 0 19 0 340150645 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703617927976 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31424] ppid=31411 vsize=2715132 CPUtime=4.64 cores=0,2,4,6
/proc/31413/task/31424/stat : 31424 (java) S 31411 31413 31022 0 -1 4202560 165 0 0 0 457 7 0 0 20 0 19 0 340150646 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703487539560 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31425] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31425/stat : 31425 (java) S 31411 31413 31022 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340150647 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703486485880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31426] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31426/stat : 31426 (java) S 31411 31413 31022 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340150647 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703485432712 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31427] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31427/stat : 31427 (java) S 31411 31413 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340150649 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703484381456 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31413/tid=31428] ppid=31411 vsize=2715132 CPUtime=0.53 cores=0,2,4,6
/proc/31413/task/31428/stat : 31428 (java) S 31411 31413 31022 0 -1 4202560 4184 0 0 0 53 0 0 0 20 0 19 0 340150649 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703483329336 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31413/tid=31429] ppid=31411 vsize=2715132 CPUtime=0.56 cores=0,2,4,6
/proc/31413/task/31429/stat : 31429 (java) S 31411 31413 31022 0 -1 4202560 4154 0 0 0 56 0 0 0 20 0 19 0 340150649 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703482276792 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31430] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31430/stat : 31430 (java) S 31411 31413 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340150649 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703481223928 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31413/tid=31431] ppid=31411 vsize=2715132 CPUtime=0.75 cores=0,2,4,6
/proc/31413/task/31431/stat : 31431 (java) S 31411 31413 31022 0 -1 4202560 103 0 0 0 40 35 0 0 20 0 19 0 340150649 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703480171592 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31413/tid=31432] ppid=31411 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/31413/task/31432/stat : 31432 (java) S 31411 31413 31022 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340150933 2780295168 343333 33554432000 1073741824 1073778376 140736831285248 139703479116840 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2715132
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): 1797.25
CPU time (s): 1800.88
CPU user time (s): 1799.03
CPU system time (s): 1.85372
CPU usage (%): 100.202
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.85372
maximum resident set size= 1373520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14322
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38209
involuntary context switches= 4153
runsolver used 5.71113 second user time and 14.7518 second system time
The end