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-3732795-1338745445/watcher-3732795-1338745445 -o /tmp/evaluation-result-3732795-1338745445/solver-3732795-1338745445 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3732795-1338745445.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.00 2.04 2.03 2/192 22368
/proc/meminfo: memFree=24487764/32873852 swapFree=6856/6856
[pid=22368] ppid=22366 vsize=89740 CPUtime=0 cores=0,2,4,6
/proc/22368/stat : 22368 (java) S 22366 22368 21377 0 -1 4202496 1169 0 0 0 0 0 0 0 20 0 2 0 340669914 91893760 889 33554432000 1073741824 1073778376 140736519669280 140736519660416 229359255613 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22368/statm: 22434 894 678 9 0 16769 0
[pid=22368/tid=22369] ppid=22366 vsize=89800 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22369/stat : 22369 (java) R 22366 22368 21377 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 2 0 340669915 91955200 901 33554432000 1073741824 1073778376 140736519669280 140736519658344 229346733300 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0
[startup+0.0906041 s]
/proc/loadavg: 2.00 2.04 2.03 2/192 22368
/proc/meminfo: memFree=24487764/32873852 swapFree=6856/6856
[pid=22368] ppid=22366 vsize=2648568 CPUtime=0.08 cores=0,2,4,6
/proc/22368/stat : 22368 (java) S 22366 22368 21377 0 -1 4202496 4566 0 1 0 7 1 0 0 20 0 18 0 340669914 2712133632 6284 33554432000 1073741824 1073778376 140736519669280 140736519660416 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22368/statm: 662142 6286 2088 9 0 652835 0
[pid=22368/tid=22369] ppid=22366 vsize=2648568 CPUtime=0.06 cores=0,2,4,6
/proc/22368/task/22369/stat : 22369 (java) R 22366 22368 21377 0 -1 4202560 2689 0 1 0 6 0 0 0 20 0 18 0 340669915 2712133632 6296 33554432000 1073741824 1073778376 140736519669280 139673802974088 139673793047999 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2648568
[startup+0.100283 s]
/proc/loadavg: 2.00 2.04 2.03 2/192 22368
/proc/meminfo: memFree=24487764/32873852 swapFree=6856/6856
[pid=22368] ppid=22366 vsize=2648568 CPUtime=0.1 cores=0,2,4,6
/proc/22368/stat : 22368 (java) S 22366 22368 21377 0 -1 4202496 4669 0 1 0 9 1 0 0 20 0 18 0 340669914 2712133632 6387 33554432000 1073741824 1073778376 140736519669280 140736519660416 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22368/statm: 662142 6387 2109 9 0 652835 0
[pid=22368/tid=22369] ppid=22366 vsize=2648568 CPUtime=0.07 cores=0,2,4,6
/proc/22368/task/22369/stat : 22369 (java) R 22366 22368 21377 0 -1 4202560 2732 0 1 0 7 0 0 0 20 0 18 0 340669915 2712133632 6387 33554432000 1073741824 1073778376 140736519669280 139673802974088 229359281421 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.300225 s]
/proc/loadavg: 2.00 2.04 2.03 2/192 22368
/proc/meminfo: memFree=24487764/32873852 swapFree=6856/6856
[pid=22368] ppid=22366 vsize=2715132 CPUtime=0.56 cores=0,2,4,6
/proc/22368/stat : 22368 (java) S 22366 22368 21377 0 -1 4202496 7857 0 1 0 53 3 0 0 20 0 19 0 340669914 2780295168 8706 33554432000 1073741824 1073778376 140736519669280 140736519660416 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22368/statm: 678783 8706 2211 9 0 669476 0
[pid=22368/tid=22369] ppid=22366 vsize=2715132 CPUtime=0.27 cores=0,2,4,6
/proc/22368/task/22369/stat : 22369 (java) R 22366 22368 21377 0 -1 4202560 2746 0 1 0 27 0 0 0 20 0 19 0 340669915 2780295168 8706 33554432000 1073741824 1073778376 140736519669280 139673802985592 139673628374436 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 2715132
[startup+0.70022 s]
/proc/loadavg: 2.00 2.04 2.03 2/192 22368
/proc/meminfo: memFree=24487764/32873852 swapFree=6856/6856
[pid=22368] ppid=22366 vsize=2715132 CPUtime=1.09 cores=0,2,4,6
/proc/22368/stat : 22368 (java) S 22366 22368 21377 0 -1 4202496 8674 0 1 0 106 3 0 0 20 0 19 0 340669914 2780295168 9751 33554432000 1073741824 1073778376 140736519669280 140736519660416 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22368/statm: 678783 9751 2218 9 0 669476 0
[pid=22368/tid=22369] ppid=22366 vsize=2715132 CPUtime=0.67 cores=0,2,4,6
/proc/22368/task/22369/stat : 22369 (java) R 22366 22368 21377 0 -1 4202560 2748 0 1 0 66 1 0 0 20 0 19 0 340669915 2780295168 9751 33554432000 1073741824 1073778376 140736519669280 139673802985944 139673628720639 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 2715132
[startup+1.50066 s]
/proc/loadavg: 2.00 2.04 2.03 3/211 22387
/proc/meminfo: memFree=24455084/32873852 swapFree=6856/6856
[pid=22368] ppid=22366 vsize=2715132 CPUtime=1.89 cores=0,2,4,6
/proc/22368/stat : 22368 (java) S 22366 22368 21377 0 -1 4202496 8678 0 1 0 186 3 0 0 20 0 19 0 340669914 2780295168 11287 33554432000 1073741824 1073778376 140736519669280 140736519660416 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22368/statm: 678783 11287 2218 9 0 669476 0
[pid=22368/tid=22369] ppid=22366 vsize=2715132 CPUtime=1.47 cores=0,2,4,6
/proc/22368/task/22369/stat : 22369 (java) R 22366 22368 21377 0 -1 4202560 2752 0 1 0 146 1 0 0 20 0 19 0 340669915 2780295168 11287 33554432000 1073741824 1073778376 140736519669280 139673802984056 139673628763627 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 11287 33554432000 1073741824 1073778376 140736519669280 139673787436072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22372] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22372/stat : 22372 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 11287 33554432000 1073741824 1073778376 140736519669280 139673786383272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22373] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22373/stat : 22373 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 11287 33554432000 1073741824 1073778376 140736519669280 139673785330472 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22368/tid=22374] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22374/stat : 22374 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 11287 33554432000 1073741824 1073778376 140736519669280 139673784277672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22375] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22375/stat : 22375 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 11287 33554432000 1073741824 1073778376 140736519669280 139673783224872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22376] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22376/stat : 22376 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 11287 33554432000 1073741824 1073778376 140736519669280 139673782172072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22377] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22377/stat : 22377 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669916 2780295168 11287 33554432000 1073741824 1073778376 140736519669280 139673781119272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22378] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22378/stat : 22378 (java) S 22366 22368 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340669916 2780295168 11287 33554432000 1073741824 1073778376 140736519669280 139673780066472 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22379] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22379/stat : 22379 (java) S 22366 22368 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 11287 33554432000 1073741824 1073778376 140736519669280 139673767656424 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22380] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22380/stat : 22380 (java) S 22366 22368 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 11287 33554432000 1073741824 1073778376 140736519669280 139673766602488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22381] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22381/stat : 22381 (java) S 22366 22368 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 11287 33554432000 1073741824 1073778376 140736519669280 139673765549576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22382] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22382/stat : 22382 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669920 2780295168 11287 33554432000 1073741824 1073778376 140736519669280 139673764498064 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22383] ppid=22366 vsize=2715132 CPUtime=0.17 cores=0,2,4,6
/proc/22368/task/22383/stat : 22383 (java) S 22366 22368 21377 0 -1 4202560 1756 0 0 0 17 0 0 0 20 0 19 0 340669920 2780295168 11287 33554432000 1073741824 1073778376 140736519669280 139673763445176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22384] ppid=22366 vsize=2715132 CPUtime=0.21 cores=0,2,4,6
/proc/22368/task/22384/stat : 22384 (java) S 22366 22368 21377 0 -1 4202560 2976 0 0 0 21 0 0 0 20 0 19 0 340669920 2780295168 11287 33554432000 1073741824 1073778376 140736519669280 139673762392376 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22385] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22385/stat : 22385 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669920 2780295168 11287 33554432000 1073741824 1073778376 140736519669280 139673761339768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22386] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22386/stat : 22386 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669920 2780295168 11287 33554432000 1073741824 1073778376 140736519669280 139673760287176 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22387] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22387/stat : 22387 (java) S 22366 22368 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340669927 2780295168 11287 33554432000 1073741824 1073778376 140736519669280 139673759233704 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 2715132
[startup+3.10075 s]
/proc/loadavg: 2.00 2.04 2.03 3/211 22387
/proc/meminfo: memFree=24446396/32873852 swapFree=6856/6856
[pid=22368] ppid=22366 vsize=2715132 CPUtime=3.49 cores=0,2,4,6
/proc/22368/stat : 22368 (java) S 22366 22368 21377 0 -1 4202496 8682 0 1 0 346 3 0 0 20 0 19 0 340669914 2780295168 13335 33554432000 1073741824 1073778376 140736519669280 140736519660416 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22368/statm: 678783 13335 2218 9 0 669476 0
[pid=22368/tid=22369] ppid=22366 vsize=2715132 CPUtime=3.06 cores=0,2,4,6
/proc/22368/task/22369/stat : 22369 (java) R 22366 22368 21377 0 -1 4202560 2756 0 1 0 305 1 0 0 20 0 19 0 340669915 2780295168 13335 33554432000 1073741824 1073778376 140736519669280 139673802985880 139673628806736 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 13335 33554432000 1073741824 1073778376 140736519669280 139673787436072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22372] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22372/stat : 22372 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 13335 33554432000 1073741824 1073778376 140736519669280 139673786383272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22373] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22373/stat : 22373 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 13335 33554432000 1073741824 1073778376 140736519669280 139673785330472 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22368/tid=22374] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22374/stat : 22374 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 13335 33554432000 1073741824 1073778376 140736519669280 139673784277672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22375] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22375/stat : 22375 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 13335 33554432000 1073741824 1073778376 140736519669280 139673783224872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22376] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22376/stat : 22376 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 13335 33554432000 1073741824 1073778376 140736519669280 139673782172072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22377] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22377/stat : 22377 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669916 2780295168 13335 33554432000 1073741824 1073778376 140736519669280 139673781119272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22378] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22378/stat : 22378 (java) S 22366 22368 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340669916 2780295168 13335 33554432000 1073741824 1073778376 140736519669280 139673780066472 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22379] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22379/stat : 22379 (java) S 22366 22368 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 13335 33554432000 1073741824 1073778376 140736519669280 139673767656424 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22380] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22380/stat : 22380 (java) S 22366 22368 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 13335 33554432000 1073741824 1073778376 140736519669280 139673766602488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22381] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22381/stat : 22381 (java) S 22366 22368 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 13335 33554432000 1073741824 1073778376 140736519669280 139673765549576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22382] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22382/stat : 22382 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669920 2780295168 13335 33554432000 1073741824 1073778376 140736519669280 139673764498064 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22383] ppid=22366 vsize=2715132 CPUtime=0.17 cores=0,2,4,6
/proc/22368/task/22383/stat : 22383 (java) S 22366 22368 21377 0 -1 4202560 1756 0 0 0 17 0 0 0 20 0 19 0 340669920 2780295168 13335 33554432000 1073741824 1073778376 140736519669280 139673763445176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22384] ppid=22366 vsize=2715132 CPUtime=0.21 cores=0,2,4,6
/proc/22368/task/22384/stat : 22384 (java) S 22366 22368 21377 0 -1 4202560 2976 0 0 0 21 0 0 0 20 0 19 0 340669920 2780295168 13335 33554432000 1073741824 1073778376 140736519669280 139673762392376 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22385] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22385/stat : 22385 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669920 2780295168 13335 33554432000 1073741824 1073778376 140736519669280 139673761339768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22386] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22386/stat : 22386 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669920 2780295168 13335 33554432000 1073741824 1073778376 140736519669280 139673760287176 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22387] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22387/stat : 22387 (java) S 22366 22368 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340669927 2780295168 13335 33554432000 1073741824 1073778376 140736519669280 139673759233704 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 2715132
[startup+6.3007 s]
/proc/loadavg: 2.00 2.04 2.03 3/211 22387
/proc/meminfo: memFree=24433736/32873852 swapFree=6856/6856
[pid=22368] ppid=22366 vsize=2715132 CPUtime=6.69 cores=0,2,4,6
/proc/22368/stat : 22368 (java) S 22366 22368 21377 0 -1 4202496 8690 0 1 0 665 4 0 0 20 0 19 0 340669914 2780295168 16384 33554432000 1073741824 1073778376 140736519669280 140736519660416 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22368/statm: 678783 16384 2219 9 0 669476 0
[pid=22368/tid=22369] ppid=22366 vsize=2715132 CPUtime=6.25 cores=0,2,4,6
/proc/22368/task/22369/stat : 22369 (java) R 22366 22368 21377 0 -1 4202560 2763 0 1 0 624 1 0 0 20 0 19 0 340669915 2780295168 16384 33554432000 1073741824 1073778376 140736519669280 139673802983936 139673628806660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 16384 33554432000 1073741824 1073778376 140736519669280 139673787436072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22372] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22372/stat : 22372 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 16384 33554432000 1073741824 1073778376 140736519669280 139673786383272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22373] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22373/stat : 22373 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 16384 33554432000 1073741824 1073778376 140736519669280 139673785330472 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22368/tid=22374] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22374/stat : 22374 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 16384 33554432000 1073741824 1073778376 140736519669280 139673784277672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22375] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22375/stat : 22375 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 16384 33554432000 1073741824 1073778376 140736519669280 139673783224872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22376] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22376/stat : 22376 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 16384 33554432000 1073741824 1073778376 140736519669280 139673782172072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22377] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22377/stat : 22377 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669916 2780295168 16384 33554432000 1073741824 1073778376 140736519669280 139673781119272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22378] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22378/stat : 22378 (java) S 22366 22368 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340669916 2780295168 16384 33554432000 1073741824 1073778376 140736519669280 139673780066472 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22379] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22379/stat : 22379 (java) S 22366 22368 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 16384 33554432000 1073741824 1073778376 140736519669280 139673767656424 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22380] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22380/stat : 22380 (java) S 22366 22368 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 16384 33554432000 1073741824 1073778376 140736519669280 139673766602488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22381] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22381/stat : 22381 (java) S 22366 22368 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 16384 33554432000 1073741824 1073778376 140736519669280 139673765549576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22382] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22382/stat : 22382 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669920 2780295168 16384 33554432000 1073741824 1073778376 140736519669280 139673764498064 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22383] ppid=22366 vsize=2715132 CPUtime=0.17 cores=0,2,4,6
/proc/22368/task/22383/stat : 22383 (java) S 22366 22368 21377 0 -1 4202560 1756 0 0 0 17 0 0 0 20 0 19 0 340669920 2780295168 16384 33554432000 1073741824 1073778376 140736519669280 139673763445176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22384] ppid=22366 vsize=2715132 CPUtime=0.21 cores=0,2,4,6
/proc/22368/task/22384/stat : 22384 (java) S 22366 22368 21377 0 -1 4202560 2976 0 0 0 21 0 0 0 20 0 19 0 340669920 2780295168 16384 33554432000 1073741824 1073778376 140736519669280 139673762392376 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
/proc/22368/task/22378/stat : 22378 (java) S 22366 22368 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340669916 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673780066472 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22379] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22379/stat : 22379 (java) S 22366 22368 21377 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673767656424 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22380] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22380/stat : 22380 (java) S 22366 22368 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673766602488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22381] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22381/stat : 22381 (java) S 22366 22368 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673765549576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22382] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22382/stat : 22382 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669920 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673764498064 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22383] ppid=22366 vsize=2715132 CPUtime=0.17 cores=0,2,4,6
/proc/22368/task/22383/stat : 22383 (java) S 22366 22368 21377 0 -1 4202560 1757 0 0 0 17 0 0 0 20 0 19 0 340669920 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673763445176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22384] ppid=22366 vsize=2715132 CPUtime=0.28 cores=0,2,4,6
/proc/22368/task/22384/stat : 22384 (java) S 22366 22368 21377 0 -1 4202560 2980 0 0 0 28 0 0 0 20 0 19 0 340669920 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673762392376 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22385] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22385/stat : 22385 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669920 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673761339768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22386] ppid=22366 vsize=2715132 CPUtime=0.1 cores=0,2,4,6
/proc/22368/task/22386/stat : 22386 (java) S 22366 22368 21377 0 -1 4202560 18 0 0 0 6 4 0 0 20 0 19 0 340669920 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673760287176 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22387] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22387/stat : 22387 (java) S 22366 22368 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340669927 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673759233704 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 309.17
Current children cumulated vsize (KiB) 2715132
[startup+309.107 s]
/proc/loadavg: 1.98 1.98 2.00 3/211 22389
/proc/meminfo: memFree=24272924/32873852 swapFree=6856/6856
[pid=22368] ppid=22366 vsize=2715132 CPUtime=309.57 cores=0,2,4,6
/proc/22368/stat : 22368 (java) S 22366 22368 21377 0 -1 4202496 8807 0 1 0 30948 9 0 0 20 0 19 0 340669914 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 140736519660416 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22368/statm: 678783 55306 2228 9 0 669476 0
[pid=22368/tid=22369] ppid=22366 vsize=2715132 CPUtime=308.26 cores=0,2,4,6
/proc/22368/task/22369/stat : 22369 (java) R 22366 22368 21377 0 -1 4202560 2854 0 1 0 30818 8 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673802986392 139673628974000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673787436072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22372] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22372/stat : 22372 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673786383272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22373] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22373/stat : 22373 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673785330472 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22368/tid=22374] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22374/stat : 22374 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673784277672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22375] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22375/stat : 22375 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673783224872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22376] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22376/stat : 22376 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673782172072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22377] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22377/stat : 22377 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669916 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673781119272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22378] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22378/stat : 22378 (java) S 22366 22368 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340669916 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673780066472 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22379] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22379/stat : 22379 (java) S 22366 22368 21377 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673767656424 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22380] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22380/stat : 22380 (java) S 22366 22368 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673766602488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22381] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22381/stat : 22381 (java) S 22366 22368 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673765549576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22382] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22382/stat : 22382 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669920 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673764498064 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22383] ppid=22366 vsize=2715132 CPUtime=0.17 cores=0,2,4,6
/proc/22368/task/22383/stat : 22383 (java) S 22366 22368 21377 0 -1 4202560 1757 0 0 0 17 0 0 0 20 0 19 0 340669920 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673763445176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22384] ppid=22366 vsize=2715132 CPUtime=0.28 cores=0,2,4,6
/proc/22368/task/22384/stat : 22384 (java) S 22366 22368 21377 0 -1 4202560 2981 0 0 0 28 0 0 0 20 0 19 0 340669920 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673762392376 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22385] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22385/stat : 22385 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669920 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673761339768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22386] ppid=22366 vsize=2715132 CPUtime=0.1 cores=0,2,4,6
/proc/22368/task/22386/stat : 22386 (java) S 22366 22368 21377 0 -1 4202560 18 0 0 0 6 4 0 0 20 0 19 0 340669920 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673760287176 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22387] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22387/stat : 22387 (java) S 22366 22368 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340669927 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673759233704 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 309.57
Current children cumulated vsize (KiB) 2715132
[startup+309.301 s]
/proc/loadavg: 1.98 1.98 2.00 3/211 22389
/proc/meminfo: memFree=24272924/32873852 swapFree=6856/6856
[pid=22368] ppid=22366 vsize=2715132 CPUtime=309.77 cores=0,2,4,6
/proc/22368/stat : 22368 (java) S 22366 22368 21377 0 -1 4202496 8808 0 1 0 30968 9 0 0 20 0 19 0 340669914 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 140736519660416 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22368/statm: 678783 55306 2228 9 0 669476 0
[pid=22368/tid=22369] ppid=22366 vsize=2715132 CPUtime=308.45 cores=0,2,4,6
/proc/22368/task/22369/stat : 22369 (java) R 22366 22368 21377 0 -1 4202560 2854 0 1 0 30837 8 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673802984392 139673628974000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673787436072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22372] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22372/stat : 22372 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673786383272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22373] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22373/stat : 22373 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673785330472 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22368/tid=22374] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22374/stat : 22374 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673784277672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22375] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22375/stat : 22375 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673783224872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22376] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22376/stat : 22376 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673782172072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22377] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22377/stat : 22377 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669916 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673781119272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22378] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22378/stat : 22378 (java) S 22366 22368 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340669916 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673780066472 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22379] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22379/stat : 22379 (java) S 22366 22368 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673767656424 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22380] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22380/stat : 22380 (java) S 22366 22368 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673766602488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22381] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22381/stat : 22381 (java) S 22366 22368 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673765549576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22382] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22382/stat : 22382 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669920 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673764498064 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22383] ppid=22366 vsize=2715132 CPUtime=0.17 cores=0,2,4,6
/proc/22368/task/22383/stat : 22383 (java) S 22366 22368 21377 0 -1 4202560 1757 0 0 0 17 0 0 0 20 0 19 0 340669920 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673763445176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22384] ppid=22366 vsize=2715132 CPUtime=0.28 cores=0,2,4,6
/proc/22368/task/22384/stat : 22384 (java) S 22366 22368 21377 0 -1 4202560 2981 0 0 0 28 0 0 0 20 0 19 0 340669920 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673762392376 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22385] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22385/stat : 22385 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669920 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673761339768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22386] ppid=22366 vsize=2715132 CPUtime=0.1 cores=0,2,4,6
/proc/22368/task/22386/stat : 22386 (java) S 22366 22368 21377 0 -1 4202560 18 0 0 0 6 4 0 0 20 0 19 0 340669920 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673760287176 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22387] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22387/stat : 22387 (java) S 22366 22368 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340669927 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673759233704 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 309.77
Current children cumulated vsize (KiB) 2715132
[startup+309.401 s]
/proc/loadavg: 1.98 1.98 2.00 3/211 22389
/proc/meminfo: memFree=24272924/32873852 swapFree=6856/6856
[pid=22368] ppid=22366 vsize=2715132 CPUtime=309.87 cores=0,2,4,6
/proc/22368/stat : 22368 (java) S 22366 22368 21377 0 -1 4202496 8810 0 1 0 30978 9 0 0 20 0 19 0 340669914 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 140736519660416 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22368/statm: 678783 55306 2228 9 0 669476 0
[pid=22368/tid=22369] ppid=22366 vsize=2715132 CPUtime=308.55 cores=0,2,4,6
/proc/22368/task/22369/stat : 22369 (java) R 22366 22368 21377 0 -1 4202560 2854 0 1 0 30847 8 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673802984392 139673628974000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22371] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22371/stat : 22371 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673787436072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22372] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22372/stat : 22372 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673786383272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22373] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22373/stat : 22373 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673785330472 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22368/tid=22374] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22374/stat : 22374 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673784277672 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22375] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22375/stat : 22375 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673783224872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22376] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22376/stat : 22376 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669915 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673782172072 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22377] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22377/stat : 22377 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669916 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673781119272 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22368/tid=22378] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22378/stat : 22378 (java) S 22366 22368 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340669916 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673780066472 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22379] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22379/stat : 22379 (java) S 22366 22368 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673767656424 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22380] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22380/stat : 22380 (java) S 22366 22368 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673766602488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22381] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22381/stat : 22381 (java) S 22366 22368 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340669917 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673765549576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22382] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22382/stat : 22382 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669920 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673764498064 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22383] ppid=22366 vsize=2715132 CPUtime=0.17 cores=0,2,4,6
/proc/22368/task/22383/stat : 22383 (java) S 22366 22368 21377 0 -1 4202560 1757 0 0 0 17 0 0 0 20 0 19 0 340669920 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673763445176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22384] ppid=22366 vsize=2715132 CPUtime=0.28 cores=0,2,4,6
/proc/22368/task/22384/stat : 22384 (java) S 22366 22368 21377 0 -1 4202560 2981 0 0 0 28 0 0 0 20 0 19 0 340669920 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673762392376 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22385] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22385/stat : 22385 (java) S 22366 22368 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340669920 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673761339768 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22368/tid=22386] ppid=22366 vsize=2715132 CPUtime=0.1 cores=0,2,4,6
/proc/22368/task/22386/stat : 22386 (java) S 22366 22368 21377 0 -1 4202560 20 0 0 0 6 4 0 0 20 0 19 0 340669920 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673760287176 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22368/tid=22387] ppid=22366 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/22368/task/22387/stat : 22387 (java) S 22366 22368 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340669927 2780295168 55306 33554432000 1073741824 1073778376 140736519669280 139673759233704 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 309.87
Current children cumulated vsize (KiB) 2715132
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22368 and gives
# childrusage.ru_utime.tv_sec=309
# childrusage.ru_utime.tv_usec=35019
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=173973
# CPU time returned by wait4() is 309.209
# while last known CPU time is 309.87
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 309.419
CPU time (s): 309.87
CPU user time (s): 309.78
CPU system time (s): 0.09
CPU usage (%): 100.146
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 309.035
system time used= 0.173973
maximum resident set size= 223328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8831
page faults= 1
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6720
involuntary context switches= 557
runsolver used 1.04084 second user time and 2.95355 second system time
The end