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-3732161-1338684756/watcher-3732161-1338684756 -o /tmp/evaluation-result-3732161-1338684756/solver-3732161-1338684756 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3732161-1338684756.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: 3.36 3.56 3.60 3/197 6846
/proc/meminfo: memFree=28286956/32873844 swapFree=7644/7644
[pid=6846] ppid=6844 vsize=9224 CPUtime=0 cores=0,2,4,6
/proc/6846/stat : 6846 (java) R 6844 6846 2935 0 -1 4202496 131 0 0 0 0 0 0 0 20 0 1 0 334599963 9445376 84 33554432000 1073741824 1073778376 140737220551968 140737220549096 239228466615 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6846/statm: 2306 93 75 9 0 38 0
[startup+0.102432 s]
/proc/loadavg: 3.36 3.56 3.60 3/197 6846
/proc/meminfo: memFree=28286956/32873844 swapFree=7644/7644
[pid=6846] ppid=6844 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/6846/stat : 6846 (java) S 6844 6846 2935 0 -1 4202496 4014 0 1 0 6 1 0 0 20 0 18 0 334599963 11864465408 12376 33554432000 1073741824 1073778376 140735076909920 140735076901056 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6846/statm: 2896598 12376 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392
[startup+0.200314 s]
/proc/loadavg: 3.36 3.56 3.60 3/197 6846
/proc/meminfo: memFree=28286956/32873844 swapFree=7644/7644
[pid=6846] ppid=6844 vsize=11586392 CPUtime=0.21 cores=0,2,4,6
/proc/6846/stat : 6846 (java) S 6844 6846 2935 0 -1 4202496 5111 0 1 0 20 1 0 0 20 0 18 0 334599963 11864465408 13899 33554432000 1073741824 1073778376 140735076909920 140735076901056 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6846/statm: 2896598 13899 2189 9 0 2887285 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 11586392
[startup+0.300208 s]
/proc/loadavg: 3.36 3.56 3.60 3/197 6846
/proc/meminfo: memFree=28286956/32873844 swapFree=7644/7644
[pid=6846] ppid=6844 vsize=11586392 CPUtime=0.44 cores=0,2,4,6
/proc/6846/stat : 6846 (java) S 6844 6846 2935 0 -1 4202496 5764 0 1 0 42 2 0 0 20 0 18 0 334599963 11864465408 15411 33554432000 1073741824 1073778376 140735076909920 140735076901056 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6846/statm: 2896598 15411 2223 9 0 2887285 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 11586392
[startup+0.700258 s]
/proc/loadavg: 3.36 3.56 3.60 3/197 6846
/proc/meminfo: memFree=28286956/32873844 swapFree=7644/7644
[pid=6846] ppid=6844 vsize=11852648 CPUtime=1.06 cores=0,2,4,6
/proc/6846/stat : 6846 (java) S 6844 6846 2935 0 -1 4202496 9437 0 1 0 102 4 0 0 20 0 19 0 334599963 12137111552 18818 33554432000 1073741824 1073778376 140735076909920 140735076901056 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6846/statm: 2963162 18818 2248 9 0 2953849 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 11852648
[startup+1.50065 s]
/proc/loadavg: 3.36 3.56 3.60 4/216 6871
/proc/meminfo: memFree=28132600/32873844 swapFree=7644/7644
[pid=6846] ppid=6844 vsize=11852648 CPUtime=2.39 cores=0,2,4,6
/proc/6846/stat : 6846 (java) S 6844 6846 2935 0 -1 4202496 15754 0 1 0 229 10 0 0 20 0 22 0 334599963 12137111552 59880 33554432000 1073741824 1073778376 140735076909920 140735076901056 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6846/statm: 2963162 59880 2278 9 0 2953849 0
[pid=6846/tid=6848] ppid=6844 vsize=11852648 CPUtime=0.29 cores=0,2,4,6
/proc/6846/task/6848/stat : 6848 (java) S 6844 6846 2935 0 -1 4202560 2925 0 1 0 27 2 0 0 20 0 22 0 334599964 12137111552 59880 33554432000 1073741824 1073778376 140735076909920 140226192995480 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6849] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6849/stat : 6849 (java) S 6844 6846 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 59880 33554432000 1073741824 1073778376 140735076909920 140226030106920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6850] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6850/stat : 6850 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 59880 33554432000 1073741824 1073778376 140735076909920 140226029054120 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6851] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6851/stat : 6851 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 59880 33554432000 1073741824 1073778376 140735076909920 140226028001832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6852] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6852/stat : 6852 (java) S 6844 6846 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 59880 33554432000 1073741824 1073778376 140735076909920 140226026949032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6846/tid=6853] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6853/stat : 6853 (java) S 6844 6846 2935 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 59880 33554432000 1073741824 1073778376 140735076909920 140226025896744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6854] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6854/stat : 6854 (java) S 6844 6846 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 59880 33554432000 1073741824 1073778376 140735076909920 140226024843944 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6855] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6855/stat : 6855 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 59880 33554432000 1073741824 1073778376 140735076909920 140226023791656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6856] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6856/stat : 6856 (java) S 6844 6846 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 59880 33554432000 1073741824 1073778376 140735076909920 140226022738856 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6857] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6857/stat : 6857 (java) S 6844 6846 2935 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 22 0 334599968 12137111552 59880 33554432000 1073741824 1073778376 140735076909920 140226010327272 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6858] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6858/stat : 6858 (java) S 6844 6846 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334599968 12137111552 59880 33554432000 1073741824 1073778376 140735076909920 140226009273336 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6859] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6859/stat : 6859 (java) S 6844 6846 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334599968 12137111552 59880 33554432000 1073741824 1073778376 140735076909920 140226008220936 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6860] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6860/stat : 6860 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334599971 12137111552 59880 33554432000 1073741824 1073778376 140735076909920 140226007169424 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6861] ppid=6844 vsize=11852648 CPUtime=0.57 cores=0,2,4,6
/proc/6846/task/6861/stat : 6861 (java) R 6844 6846 2935 0 -1 4202560 5054 0 0 0 57 0 0 0 20 0 22 0 334599971 12137111552 59880 33554432000 1073741824 1073778376 140735076909920 140226006117048 140226197084163 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6862] ppid=6844 vsize=11852648 CPUtime=0.52 cores=0,2,4,6
/proc/6846/task/6862/stat : 6862 (java) S 6844 6846 2935 0 -1 4202560 6336 0 0 0 52 0 0 0 20 0 22 0 334599971 12137111552 59880 33554432000 1073741824 1073778376 140735076909920 140226005064248 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6863] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6863/stat : 6863 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334599971 12137111552 59880 33554432000 1073741824 1073778376 140735076909920 140226004012152 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6864] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6864/stat : 6864 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334599971 12137111552 59880 33554432000 1073741824 1073778376 140735076909920 140226002959560 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6867] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6867/stat : 6867 (java) S 6844 6846 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334599996 12137111552 59880 33554432000 1073741824 1073778376 140735076909920 140225999799464 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 11852648
[startup+3.10066 s]
/proc/loadavg: 3.36 3.56 3.60 3/219 6874
/proc/meminfo: memFree=27907792/32873844 swapFree=7644/7644
[pid=6846] ppid=6844 vsize=11852648 CPUtime=4.86 cores=0,2,4,6
/proc/6846/stat : 6846 (java) S 6844 6846 2935 0 -1 4202496 15897 0 1 0 472 14 0 0 20 0 22 0 334599963 12137111552 96797 33554432000 1073741824 1073778376 140735076909920 140735076901056 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6846/statm: 2963162 96797 2281 9 0 2953849 0
[pid=6846/tid=6848] ppid=6844 vsize=11852648 CPUtime=0.29 cores=0,2,4,6
/proc/6846/task/6848/stat : 6848 (java) S 6844 6846 2935 0 -1 4202560 2925 0 1 0 27 2 0 0 20 0 22 0 334599964 12137111552 96797 33554432000 1073741824 1073778376 140735076909920 140226192995480 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6846/tid=6849] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6849/stat : 6849 (java) S 6844 6846 2935 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 96797 33554432000 1073741824 1073778376 140735076909920 140226030106920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6850] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6850/stat : 6850 (java) S 6844 6846 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 96797 33554432000 1073741824 1073778376 140735076909920 140226029054120 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6851] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6851/stat : 6851 (java) S 6844 6846 2935 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 96797 33554432000 1073741824 1073778376 140735076909920 140226028001832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6852] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6852/stat : 6852 (java) S 6844 6846 2935 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 96797 33554432000 1073741824 1073778376 140735076909920 140226026949032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6853] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6853/stat : 6853 (java) S 6844 6846 2935 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 96797 33554432000 1073741824 1073778376 140735076909920 140226025896744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6854] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6854/stat : 6854 (java) S 6844 6846 2935 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 96797 33554432000 1073741824 1073778376 140735076909920 140226024843944 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6855] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6855/stat : 6855 (java) S 6844 6846 2935 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 96797 33554432000 1073741824 1073778376 140735076909920 140226023791656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6846/tid=6856] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6856/stat : 6856 (java) S 6844 6846 2935 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 96797 33554432000 1073741824 1073778376 140735076909920 140226022738856 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6846/tid=6857] ppid=6844 vsize=11852648 CPUtime=0.07 cores=0,2,4,6
/proc/6846/task/6857/stat : 6857 (java) S 6844 6846 2935 0 -1 4202560 31 0 0 0 7 0 0 0 20 0 22 0 334599968 12137111552 96797 33554432000 1073741824 1073778376 140735076909920 140226010327272 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6858] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6858/stat : 6858 (java) S 6844 6846 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334599968 12137111552 96797 33554432000 1073741824 1073778376 140735076909920 140226009273336 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6859] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6859/stat : 6859 (java) S 6844 6846 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334599968 12137111552 96797 33554432000 1073741824 1073778376 140735076909920 140226008220936 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6860] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6860/stat : 6860 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334599971 12137111552 96797 33554432000 1073741824 1073778376 140735076909920 140226007169424 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6861] ppid=6844 vsize=11852648 CPUtime=0.68 cores=0,2,4,6
/proc/6846/task/6861/stat : 6861 (java) S 6844 6846 2935 0 -1 4202560 5070 0 0 0 68 0 0 0 20 0 22 0 334599971 12137111552 96797 33554432000 1073741824 1073778376 140735076909920 140226006117048 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6862] ppid=6844 vsize=11852648 CPUtime=0.66 cores=0,2,4,6
/proc/6846/task/6862/stat : 6862 (java) S 6844 6846 2935 0 -1 4202560 6352 0 0 0 66 0 0 0 20 0 22 0 334599971 12137111552 96797 33554432000 1073741824 1073778376 140735076909920 140226005064248 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6863] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6863/stat : 6863 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334599971 12137111552 96797 33554432000 1073741824 1073778376 140735076909920 140226004012152 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6864] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6864/stat : 6864 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334599971 12137111552 96797 33554432000 1073741824 1073778376 140735076909920 140226002959560 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6867] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6867/stat : 6867 (java) S 6844 6846 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334599996 12137111552 96797 33554432000 1073741824 1073778376 140735076909920 140225999799464 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.86
Current children cumulated vsize (KiB) 11852648
[startup+6.30069 s]
/proc/loadavg: 3.41 3.57 3.60 5/219 6877
/proc/meminfo: memFree=27753696/32873844 swapFree=7644/7644
[pid=6846] ppid=6844 vsize=11852648 CPUtime=11.12 cores=0,2,4,6
/proc/6846/stat : 6846 (java) S 6844 6846 2935 0 -1 4202496 16728 0 1 0 1092 20 0 0 20 0 22 0 334599963 12137111552 151933 33554432000 1073741824 1073778376 140735076909920 140735076901056 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6846/statm: 2963162 151933 2281 9 0 2953849 0
[pid=6846/tid=6848] ppid=6844 vsize=11852648 CPUtime=0.29 cores=0,2,4,6
/proc/6846/task/6848/stat : 6848 (java) S 6844 6846 2935 0 -1 4202560 2925 0 1 0 27 2 0 0 20 0 22 0 334599964 12137111552 151933 33554432000 1073741824 1073778376 140735076909920 140226192995480 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6849] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6849/stat : 6849 (java) S 6844 6846 2935 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 151933 33554432000 1073741824 1073778376 140735076909920 140226030106920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6850] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6850/stat : 6850 (java) S 6844 6846 2935 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 151933 33554432000 1073741824 1073778376 140735076909920 140226029054120 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6851] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6851/stat : 6851 (java) S 6844 6846 2935 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 151933 33554432000 1073741824 1073778376 140735076909920 140226028001832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6852] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6852/stat : 6852 (java) S 6844 6846 2935 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 151933 33554432000 1073741824 1073778376 140735076909920 140226026949032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6853] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6853/stat : 6853 (java) S 6844 6846 2935 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 151933 33554432000 1073741824 1073778376 140735076909920 140226025896744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6854] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6854/stat : 6854 (java) S 6844 6846 2935 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 151933 33554432000 1073741824 1073778376 140735076909920 140226024843944 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6855] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6855/stat : 6855 (java) S 6844 6846 2935 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 151933 33554432000 1073741824 1073778376 140735076909920 140226023791656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6856] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6856/stat : 6856 (java) S 6844 6846 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334599967 12137111552 151933 33554432000 1073741824 1073778376 140735076909920 140226022738856 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6857] ppid=6844 vsize=11852648 CPUtime=0.25 cores=0,2,4,6
/proc/6846/task/6857/stat : 6857 (java) S 6844 6846 2935 0 -1 4202560 37 0 0 0 25 0 0 0 20 0 22 0 334599968 12137111552 151933 33554432000 1073741824 1073778376 140735076909920 140226010327272 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6858] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6858/stat : 6858 (java) S 6844 6846 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334599968 12137111552 151933 33554432000 1073741824 1073778376 140735076909920 140226009273336 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6859] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6859/stat : 6859 (java) S 6844 6846 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334599968 12137111552 151933 33554432000 1073741824 1073778376 140735076909920 140226008220936 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6860] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6860/stat : 6860 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334599971 12137111552 151933 33554432000 1073741824 1073778376 140735076909920 140226007169424 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6861] ppid=6844 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/6846/task/6861/stat : 6861 (java) S 6844 6846 2935 0 -1 4202560 5764 0 0 0 79 0 0 0 20 0 22 0 334599971 12137111552 151933 33554432000 1073741824 1073778376 140735076909920 140226006117048 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6862] ppid=6844 vsize=11852648 CPUtime=0.69 cores=0,2,4,6
/proc/6846/task/6862/stat : 6862 (java) S 6844 6846 2935 0 -1 4202560 6354 0 0 0 69 0 0 0 20 0 22 0 334599971 12137111552 151933 33554432000 1073741824 1073778376 140735076909920 140226005064248 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6863] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6863/stat : 6863 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334599971 12137111552 151933 33554432000 1073741824 1073778376 140735076909920 140226004012152 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6864] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6864/stat : 6864 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334599971 12137111552 151933 33554432000 1073741824 1073778376 140735076909920 140226002959560 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6877] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6877/stat : 6877 (java) S 6844 6846 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334600247 12137111552 151933 33554432000 1073741824 1073778376 140735076909920 140225998747048 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 11.12
Current children cumulated vsize (KiB) 11852648
[startup+12.7008 s]
################
# More data... #
################
/proc/6846/task/6859/stat : 6859 (java) S 6844 6846 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334599968 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226008220936 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6860] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6860/stat : 6860 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599971 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226007169424 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6861] ppid=6844 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/6846/task/6861/stat : 6861 (java) S 6844 6846 2935 0 -1 4202560 5764 0 0 0 79 0 0 0 20 0 19 0 334599971 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226006117048 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6862] ppid=6844 vsize=11852648 CPUtime=0.73 cores=0,2,4,6
/proc/6846/task/6862/stat : 6862 (java) S 6844 6846 2935 0 -1 4202560 6366 0 0 0 73 0 0 0 20 0 19 0 334599971 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226005064248 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6863] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6863/stat : 6863 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599971 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226004012152 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6864] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6864/stat : 6864 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599971 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226002959560 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6877] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6877/stat : 6877 (java) S 6844 6846 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334600247 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140225998747048 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 24.13
Current children cumulated vsize (KiB) 11852648
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+12.801 s]
/proc/loadavg: 3.38 3.56 3.60 4/219 6880
/proc/meminfo: memFree=27666828/32873844 swapFree=7644/7644
[pid=6846] ppid=6844 vsize=11852648 CPUtime=23.74 cores=0,2,4,6
/proc/6846/stat : 6846 (java) S 6844 6846 2935 0 -1 4202496 16761 0 1 0 2352 22 0 0 20 0 22 0 334599963 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140735076901056 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6846/statm: 2963162 154511 2281 9 0 2953849 0
[pid=6846/tid=6848] ppid=6844 vsize=11852648 CPUtime=0.29 cores=0,2,4,6
/proc/6846/task/6848/stat : 6848 (java) S 6844 6846 2935 0 -1 4202560 2926 0 1 0 27 2 0 0 20 0 22 0 334599964 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140226192995480 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6849] ppid=6844 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/6846/task/6849/stat : 6849 (java) S 6844 6846 2935 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 334599967 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140226030106920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6850] ppid=6844 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/6846/task/6850/stat : 6850 (java) S 6844 6846 2935 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 334599967 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140226029054120 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6851] ppid=6844 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/6846/task/6851/stat : 6851 (java) S 6844 6846 2935 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 334599967 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140226028001832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6852] ppid=6844 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/6846/task/6852/stat : 6852 (java) S 6844 6846 2935 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 334599967 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140226026949032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6853] ppid=6844 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/6846/task/6853/stat : 6853 (java) S 6844 6846 2935 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 334599967 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140226025896744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6846/tid=6854] ppid=6844 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/6846/task/6854/stat : 6854 (java) S 6844 6846 2935 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 334599967 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140226024843944 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6855] ppid=6844 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/6846/task/6855/stat : 6855 (java) S 6844 6846 2935 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 334599967 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140226023791656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6856] ppid=6844 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/6846/task/6856/stat : 6856 (java) S 6844 6846 2935 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 22 0 334599967 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140226022738856 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6857] ppid=6844 vsize=11852648 CPUtime=0.71 cores=0,2,4,6
/proc/6846/task/6857/stat : 6857 (java) S 6844 6846 2935 0 -1 4202560 43 0 0 0 69 2 0 0 20 0 22 0 334599968 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140226010327272 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6858] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6858/stat : 6858 (java) S 6844 6846 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334599968 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140226009273336 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6859] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6859/stat : 6859 (java) S 6844 6846 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334599968 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140226008220936 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6860] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6860/stat : 6860 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334599971 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140226007169424 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6861] ppid=6844 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/6846/task/6861/stat : 6861 (java) S 6844 6846 2935 0 -1 4202560 5764 0 0 0 79 0 0 0 20 0 22 0 334599971 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140226006117048 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6862] ppid=6844 vsize=11852648 CPUtime=0.73 cores=0,2,4,6
/proc/6846/task/6862/stat : 6862 (java) S 6844 6846 2935 0 -1 4202560 6366 0 0 0 73 0 0 0 20 0 22 0 334599971 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140226005064248 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6863] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6863/stat : 6863 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334599971 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140226004012152 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6864] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6864/stat : 6864 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334599971 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140226002959560 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6877] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6877/stat : 6877 (java) S 6844 6846 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334600247 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140225998747048 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6878] ppid=6844 vsize=11852648 CPUtime=6.4 cores=0,2,4,6
/proc/6846/task/6878/stat : 6878 (java) R 6844 6846 2935 0 -1 4202560 10 0 0 0 640 0 0 0 20 0 22 0 334600547 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140226000851656 140226065786852 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6846/tid=6879] ppid=6844 vsize=11852648 CPUtime=6.37 cores=0,2,4,6
/proc/6846/task/6879/stat : 6879 (java) R 6844 6846 2935 0 -1 4202560 5 0 0 0 637 0 0 0 20 0 22 0 334600547 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140226001902224 140226066174997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6880] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6880/stat : 6880 (java) S 6844 6846 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334600547 12137111552 154511 33554432000 1073741824 1073778376 140735076909920 140225999799848 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 23.74
Current children cumulated vsize (KiB) 11852648
[startup+13.2011 s]
/proc/loadavg: 3.38 3.56 3.60 2/216 6880
/proc/meminfo: memFree=27666852/32873844 swapFree=7644/7644
[pid=6846] ppid=6844 vsize=11852648 CPUtime=24.13 cores=0,2,4,6
/proc/6846/stat : 6846 (java) S 6844 6846 2935 0 -1 4202496 16761 0 1 0 2389 24 0 0 20 0 19 0 334599963 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140735076901056 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6846/statm: 2963162 154504 2281 9 0 2953849 0
[pid=6846/tid=6848] ppid=6844 vsize=11852648 CPUtime=0.29 cores=0,2,4,6
/proc/6846/task/6848/stat : 6848 (java) S 6844 6846 2935 0 -1 4202560 2926 0 1 0 27 2 0 0 20 0 19 0 334599964 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226192995480 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6849] ppid=6844 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/6846/task/6849/stat : 6849 (java) S 6844 6846 2935 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 334599967 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226030106920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6850] ppid=6844 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/6846/task/6850/stat : 6850 (java) S 6844 6846 2935 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 334599967 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226029054120 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6851] ppid=6844 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/6846/task/6851/stat : 6851 (java) S 6844 6846 2935 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 334599967 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226028001832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6852] ppid=6844 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/6846/task/6852/stat : 6852 (java) S 6844 6846 2935 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 334599967 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226026949032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6853] ppid=6844 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/6846/task/6853/stat : 6853 (java) S 6844 6846 2935 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 334599967 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226025896744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6846/tid=6854] ppid=6844 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/6846/task/6854/stat : 6854 (java) S 6844 6846 2935 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 334599967 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226024843944 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6855] ppid=6844 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/6846/task/6855/stat : 6855 (java) S 6844 6846 2935 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 334599967 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226023791656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6856] ppid=6844 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/6846/task/6856/stat : 6856 (java) S 6844 6846 2935 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 334599967 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226022738856 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6857] ppid=6844 vsize=11852648 CPUtime=0.71 cores=0,2,4,6
/proc/6846/task/6857/stat : 6857 (java) S 6844 6846 2935 0 -1 4202560 43 0 0 0 69 2 0 0 20 0 19 0 334599968 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226010327272 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6858] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6858/stat : 6858 (java) S 6844 6846 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334599968 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226009273336 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6859] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6859/stat : 6859 (java) S 6844 6846 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334599968 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226008220936 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6860] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6860/stat : 6860 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599971 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226007169424 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6861] ppid=6844 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/6846/task/6861/stat : 6861 (java) S 6844 6846 2935 0 -1 4202560 5764 0 0 0 79 0 0 0 20 0 19 0 334599971 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226006117048 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6862] ppid=6844 vsize=11852648 CPUtime=0.73 cores=0,2,4,6
/proc/6846/task/6862/stat : 6862 (java) S 6844 6846 2935 0 -1 4202560 6366 0 0 0 73 0 0 0 20 0 19 0 334599971 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226005064248 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6863] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6863/stat : 6863 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599971 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226004012152 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6864] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6864/stat : 6864 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599971 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226002959560 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6877] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6877/stat : 6877 (java) S 6844 6846 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334600247 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140225998747048 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 24.13
Current children cumulated vsize (KiB) 11852648
[startup+13.4007 s]
/proc/loadavg: 3.38 3.56 3.60 2/216 6880
/proc/meminfo: memFree=27666852/32873844 swapFree=7644/7644
[pid=6846] ppid=6844 vsize=11852648 CPUtime=24.15 cores=0,2,4,6
/proc/6846/stat : 6846 (java) S 6844 6846 2935 0 -1 4202496 16761 0 1 0 2391 24 0 0 20 0 19 0 334599963 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140735076901056 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6846/statm: 2963162 154504 2281 9 0 2953849 0
[pid=6846/tid=6848] ppid=6844 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/6846/task/6848/stat : 6848 (java) R 6844 6846 2935 0 -1 4202560 2926 0 1 0 28 2 0 0 20 0 19 0 334599964 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226192994832 140226065475522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6846/tid=6849] ppid=6844 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/6846/task/6849/stat : 6849 (java) S 6844 6846 2935 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 334599967 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226030106920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6850] ppid=6844 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/6846/task/6850/stat : 6850 (java) S 6844 6846 2935 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 334599967 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226029054120 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6851] ppid=6844 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/6846/task/6851/stat : 6851 (java) S 6844 6846 2935 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 334599967 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226028001832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6852] ppid=6844 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/6846/task/6852/stat : 6852 (java) S 6844 6846 2935 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 334599967 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226026949032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6853] ppid=6844 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/6846/task/6853/stat : 6853 (java) S 6844 6846 2935 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 334599967 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226025896744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6846/tid=6854] ppid=6844 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/6846/task/6854/stat : 6854 (java) S 6844 6846 2935 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 334599967 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226024843944 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6855] ppid=6844 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/6846/task/6855/stat : 6855 (java) S 6844 6846 2935 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 334599967 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226023791656 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6856] ppid=6844 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/6846/task/6856/stat : 6856 (java) S 6844 6846 2935 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 334599967 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226022738856 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6857] ppid=6844 vsize=11852648 CPUtime=0.71 cores=0,2,4,6
/proc/6846/task/6857/stat : 6857 (java) S 6844 6846 2935 0 -1 4202560 43 0 0 0 69 2 0 0 20 0 19 0 334599968 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226010327272 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6858] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6858/stat : 6858 (java) S 6844 6846 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334599968 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226009273336 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6859] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6859/stat : 6859 (java) S 6844 6846 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334599968 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226008220936 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6860] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6860/stat : 6860 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599971 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226007169424 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6861] ppid=6844 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/6846/task/6861/stat : 6861 (java) S 6844 6846 2935 0 -1 4202560 5764 0 0 0 79 0 0 0 20 0 19 0 334599971 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226006117048 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6846/tid=6862] ppid=6844 vsize=11852648 CPUtime=0.74 cores=0,2,4,6
/proc/6846/task/6862/stat : 6862 (java) R 6844 6846 2935 0 -1 4202560 6366 0 0 0 74 0 0 0 20 0 19 0 334599971 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226005064088 140226198838545 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6863] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6863/stat : 6863 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599971 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226004012152 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6846/tid=6864] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6864/stat : 6864 (java) S 6844 6846 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599971 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140226002959560 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6846/tid=6877] ppid=6844 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6846/task/6877/stat : 6877 (java) S 6844 6846 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334600247 12137111552 154504 33554432000 1073741824 1073778376 140735076909920 140225998747048 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 24.15
Current children cumulated vsize (KiB) 11852648
Child status: 30
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.0100002
# lost CPU user time (s): 0.0300007
# lost CPU system time (s): -0.02
Real time (s): 13.4636
CPU time (s): 24.2913
CPU user time (s): 23.9784
CPU system time (s): 0.312949
CPU usage (%): 180.422
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.9484
system time used= 0.332949
maximum resident set size= 620096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16774
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1252
involuntary context switches= 691
runsolver used 0.057991 second user time and 0.109983 second system time
The end