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-3688844-1337879990/watcher-3688844-1337879990 -o /tmp/evaluation-result-3688844-1337879990/solver-3688844-1337879990 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688844-1337879990.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.86 3.86 3.88 4/195 3736
/proc/meminfo: memFree=26618612/32873852 swapFree=6848/6848
[pid=3736] ppid=3734 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/3736/stat : 3736 (java) R 3734 3736 718 0 -1 4202496 1133 0 0 0 0 0 0 0 20 0 1 0 254124471 23793664 860 33554432000 1073741824 1073778376 140735355349744 140735355338808 139972691107833 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3736/statm: 5793 857 646 9 0 128 0
[startup+0.0564659 s]
/proc/loadavg: 3.86 3.86 3.88 4/195 3736
/proc/meminfo: memFree=26618612/32873852 swapFree=6848/6848
[pid=3736] ppid=3734 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/3736/stat : 3736 (java) S 3734 3736 718 0 -1 4202496 3172 0 1 0 3 1 0 0 20 0 18 0 254124471 9787813888 4380 33554432000 1073741824 1073778376 140735355349744 140735355340880 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3736/statm: 2389603 4381 1754 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558412
[startup+0.100276 s]
/proc/loadavg: 3.86 3.86 3.88 4/195 3736
/proc/meminfo: memFree=26618612/32873852 swapFree=6848/6848
[pid=3736] ppid=3734 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/3736/stat : 3736 (java) S 3734 3736 718 0 -1 4202496 4340 0 1 0 9 1 0 0 20 0 18 0 254124471 9787813888 6027 33554432000 1073741824 1073778376 140735355349744 140735355340880 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3736/statm: 2389603 6029 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300249 s]
/proc/loadavg: 3.86 3.86 3.88 4/195 3736
/proc/meminfo: memFree=26618612/32873852 swapFree=6848/6848
[pid=3736] ppid=3734 vsize=9558412 CPUtime=0.47 cores=1,3,5,7
/proc/3736/stat : 3736 (java) S 3734 3736 718 0 -1 4202496 5466 0 1 0 46 1 0 0 20 0 18 0 254124471 9787813888 8250 33554432000 1073741824 1073778376 140735355349744 140735355340880 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3736/statm: 2389603 8250 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412
[startup+0.70026 s]
/proc/loadavg: 3.86 3.86 3.88 4/195 3736
/proc/meminfo: memFree=26618612/32873852 swapFree=6848/6848
[pid=3736] ppid=3734 vsize=9824668 CPUtime=1.55 cores=1,3,5,7
/proc/3736/stat : 3736 (java) S 3734 3736 718 0 -1 4202496 13581 0 1 0 148 7 0 0 20 0 19 0 254124471 10060460032 31995 33554432000 1073741824 1073778376 140735355349744 140735355340880 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3736/statm: 2456167 31995 2250 9 0 2446860 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 9824668
[startup+1.50066 s]
/proc/loadavg: 3.86 3.86 3.88 3/214 3758
/proc/meminfo: memFree=26499012/32873852 swapFree=6848/6848
[pid=3736] ppid=3734 vsize=9824668 CPUtime=1.72 cores=1,3,5,7
/proc/3736/stat : 3736 (java) S 3734 3736 718 0 -1 4202496 13621 0 1 0 163 9 0 0 20 0 19 0 254124471 10060460032 33562 33554432000 1073741824 1073778376 140735355349744 140735355340880 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3736/statm: 2456167 33562 2250 9 0 2446860 0
[pid=3736/tid=3737] ppid=3734 vsize=9824668 CPUtime=0.56 cores=1,3,5,7
/proc/3736/task/3737/stat : 3737 (java) S 3734 3736 718 0 -1 4202560 2492 0 1 0 53 3 0 0 20 0 19 0 254124471 10060460032 33562 33554432000 1073741824 1073778376 140735355349744 139972689007608 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3739] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3739/stat : 3739 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124472 10060460032 33562 33554432000 1073741824 1073778376 140735355349744 139972650499112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3740] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3740/stat : 3740 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124472 10060460032 33562 33554432000 1073741824 1073778376 140735355349744 139972531186600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3741] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3741/stat : 3741 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124472 10060460032 33562 33554432000 1073741824 1073778376 140735355349744 139972530133800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3742] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3742/stat : 3742 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124472 10060460032 33562 33554432000 1073741824 1073778376 140735355349744 139972529081000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3736/tid=3743] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3743/stat : 3743 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124472 10060460032 33562 33554432000 1073741824 1073778376 140735355349744 139972528028200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3744] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3744/stat : 3744 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124472 10060460032 33562 33554432000 1073741824 1073778376 140735355349744 139972526975400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3736/tid=3745] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3745/stat : 3745 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124472 10060460032 33562 33554432000 1073741824 1073778376 140735355349744 139972525922600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3746] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3746/stat : 3746 (java) S 3734 3736 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254124472 10060460032 33562 33554432000 1073741824 1073778376 140735355349744 139972524869800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3747] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3747/stat : 3747 (java) S 3734 3736 718 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254124473 10060460032 33562 33554432000 1073741824 1073778376 140735355349744 139972042542056 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3748] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3748/stat : 3748 (java) S 3734 3736 718 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254124474 10060460032 33562 33554432000 1073741824 1073778376 140735355349744 139972041488120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3749] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3749/stat : 3749 (java) S 3734 3736 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254124474 10060460032 33562 33554432000 1073741824 1073778376 140735355349744 139972040435208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3750] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3750/stat : 3750 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124476 10060460032 33562 33554432000 1073741824 1073778376 140735355349744 139972039383696 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3751] ppid=3734 vsize=9824668 CPUtime=0.46 cores=1,3,5,7
/proc/3736/task/3751/stat : 3751 (java) S 3734 3736 718 0 -1 4202560 4312 0 0 0 46 0 0 0 20 0 19 0 254124476 10060460032 33562 33554432000 1073741824 1073778376 140735355349744 139972038330808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3752] ppid=3734 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/3736/task/3752/stat : 3752 (java) S 3734 3736 718 0 -1 4202560 5508 0 0 0 44 1 0 0 20 0 19 0 254124476 10060460032 33562 33554432000 1073741824 1073778376 140735355349744 139972037278008 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3736/tid=3753] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3753/stat : 3753 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124476 10060460032 33562 33554432000 1073741824 1073778376 140735355349744 139972036225400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3754] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3754/stat : 3754 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124476 10060460032 33562 33554432000 1073741824 1073778376 140735355349744 139972035172808 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 9824668
[startup+3.10067 s]
/proc/loadavg: 3.86 3.86 3.88 8/217 3767
/proc/meminfo: memFree=26482520/32873852 swapFree=6848/6848
[pid=3736] ppid=3734 vsize=9824668 CPUtime=2 cores=1,3,5,7
/proc/3736/stat : 3736 (java) S 3734 3736 718 0 -1 4202496 13652 0 1 0 187 13 0 0 20 0 19 0 254124471 10060460032 37660 33554432000 1073741824 1073778376 140735355349744 140735355340880 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3736/statm: 2456167 37660 2252 9 0 2446860 0
[pid=3736/tid=3737] ppid=3734 vsize=9824668 CPUtime=0.57 cores=1,3,5,7
/proc/3736/task/3737/stat : 3737 (java) R 3734 3736 718 0 -1 4202560 2494 0 1 0 54 3 0 0 20 0 19 0 254124471 10060460032 37660 33554432000 1073741824 1073778376 140735355349744 139972689007608 139972531305234 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3739] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3739/stat : 3739 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124472 10060460032 37660 33554432000 1073741824 1073778376 140735355349744 139972650499112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3740] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3740/stat : 3740 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124472 10060460032 37660 33554432000 1073741824 1073778376 140735355349744 139972531186600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3741] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3741/stat : 3741 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124472 10060460032 37660 33554432000 1073741824 1073778376 140735355349744 139972530133800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3742] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3742/stat : 3742 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124472 10060460032 37660 33554432000 1073741824 1073778376 140735355349744 139972529081000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3736/tid=3743] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3743/stat : 3743 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124472 10060460032 37660 33554432000 1073741824 1073778376 140735355349744 139972528028200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3744] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3744/stat : 3744 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124472 10060460032 37660 33554432000 1073741824 1073778376 140735355349744 139972526975400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3736/tid=3745] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3745/stat : 3745 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124472 10060460032 37660 33554432000 1073741824 1073778376 140735355349744 139972525922600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3746] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3746/stat : 3746 (java) S 3734 3736 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254124472 10060460032 37660 33554432000 1073741824 1073778376 140735355349744 139972524869800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3747] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3747/stat : 3747 (java) S 3734 3736 718 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254124473 10060460032 37660 33554432000 1073741824 1073778376 140735355349744 139972042542056 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3748] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3748/stat : 3748 (java) S 3734 3736 718 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254124474 10060460032 37660 33554432000 1073741824 1073778376 140735355349744 139972041488120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3749] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3749/stat : 3749 (java) S 3734 3736 718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254124474 10060460032 37660 33554432000 1073741824 1073778376 140735355349744 139972040435208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3750] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3750/stat : 3750 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124476 10060460032 37660 33554432000 1073741824 1073778376 140735355349744 139972039383696 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3751] ppid=3734 vsize=9824668 CPUtime=0.54 cores=1,3,5,7
/proc/3736/task/3751/stat : 3751 (java) R 3734 3736 718 0 -1 4202560 4314 0 0 0 54 0 0 0 20 0 19 0 254124476 10060460032 37660 33554432000 1073741824 1073778376 140735355349744 139972038330808 229359280565 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3752] ppid=3734 vsize=9824668 CPUtime=0.53 cores=1,3,5,7
/proc/3736/task/3752/stat : 3752 (java) R 3734 3736 718 0 -1 4202560 5508 0 0 0 52 1 0 0 20 0 19 0 254124476 10060460032 37660 33554432000 1073741824 1073778376 140735355349744 139972037278008 229359270968 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3736/tid=3753] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3753/stat : 3753 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124476 10060460032 37660 33554432000 1073741824 1073778376 140735355349744 139972036225400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3754] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3754/stat : 3754 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124476 10060460032 37660 33554432000 1073741824 1073778376 140735355349744 139972035172808 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3761] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3761/stat : 3761 (java) S 3734 3736 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254124580 10060460032 37660 33554432000 1073741824 1073778376 140735355349744 139972030960552 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 9824668
heavy processes:
[startup+6.30078 s]
/proc/loadavg: 3.71 3.83 3.87 3/214 3785
/proc/meminfo: memFree=26450204/32873852 swapFree=6848/6848
[pid=3736] ppid=3734 vsize=9824668 CPUtime=5.24 cores=1,3,5,7
/proc/3736/stat : 3736 (java) S 3734 3736 718 0 -1 4202496 20953 0 1 0 502 22 0 0 20 0 22 0 254124471 10060460032 54539 33554432000 1073741824 1073778376 140735355349744 140735355340880 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3736/statm: 2456167 54539 2286 9 0 2446860 0
[pid=3736/tid=3737] ppid=3734 vsize=9824668 CPUtime=0.58 cores=1,3,5,7
/proc/3736/task/3737/stat : 3737 (java) S 3734 3736 718 0 -1 4202560 2496 0 1 0 55 3 0 0 20 0 22 0 254124471 10060460032 54539 33554432000 1073741824 1073778376 140735355349744 139972689007608 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3739] ppid=3734 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/3736/task/3739/stat : 3739 (java) S 3734 3736 718 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 254124472 10060460032 54539 33554432000 1073741824 1073778376 140735355349744 139972650499112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3740] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3740/stat : 3740 (java) S 3734 3736 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254124472 10060460032 54539 33554432000 1073741824 1073778376 140735355349744 139972531186600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3741] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3741/stat : 3741 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254124472 10060460032 54539 33554432000 1073741824 1073778376 140735355349744 139972530133800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3742] ppid=3734 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/3736/task/3742/stat : 3742 (java) S 3734 3736 718 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 254124472 10060460032 54539 33554432000 1073741824 1073778376 140735355349744 139972529081000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3743] ppid=3734 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/3736/task/3743/stat : 3743 (java) S 3734 3736 718 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 254124472 10060460032 54539 33554432000 1073741824 1073778376 140735355349744 139972528028200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3744] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3744/stat : 3744 (java) S 3734 3736 718 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254124472 10060460032 54539 33554432000 1073741824 1073778376 140735355349744 139972526975400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3736/tid=3745] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3745/stat : 3745 (java) S 3734 3736 718 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254124472 10060460032 54539 33554432000 1073741824 1073778376 140735355349744 139972525922600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3746] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3746/stat : 3746 (java) S 3734 3736 718 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254124472 10060460032 54539 33554432000 1073741824 1073778376 140735355349744 139972524869800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3747] ppid=3734 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/3736/task/3747/stat : 3747 (java) S 3734 3736 718 0 -1 4202560 51 0 0 0 9 0 0 0 20 0 22 0 254124473 10060460032 54539 33554432000 1073741824 1073778376 140735355349744 139972042542056 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3736/tid=3748] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3748/stat : 3748 (java) S 3734 3736 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254124474 10060460032 54539 33554432000 1073741824 1073778376 140735355349744 139972041488120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3749] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3749/stat : 3749 (java) S 3734 3736 718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254124474 10060460032 54539 33554432000 1073741824 1073778376 140735355349744 139972040435208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3750] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3750/stat : 3750 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254124476 10060460032 54539 33554432000 1073741824 1073778376 140735355349744 139972039383696 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3751] ppid=3734 vsize=9824668 CPUtime=1.5 cores=1,3,5,7
/proc/3736/task/3751/stat : 3751 (java) S 3734 3736 718 0 -1 4202560 10415 0 0 0 148 2 0 0 20 0 22 0 254124476 10060460032 54539 33554432000 1073741824 1073778376 140735355349744 139972038330808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3752] ppid=3734 vsize=9824668 CPUtime=1.01 cores=1,3,5,7
/proc/3736/task/3752/stat : 3752 (java) S 3734 3736 718 0 -1 4202560 6522 0 0 0 99 2 0 0 20 0 22 0 254124476 10060460032 54539 33554432000 1073741824 1073778376 140735355349744 139972037278008 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3753] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3753/stat : 3753 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254124476 10060460032 54539 33554432000 1073741824 1073778376 140735355349744 139972036225400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3754] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3754/stat : 3754 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254124476 10060460032 54539 33554432000 1073741824 1073778376 140735355349744 139972035172808 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3761] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3761/stat : 3761 (java) S 3734 3736 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254124580 10060460032 54539 33554432000 1073741824 1073778376 140735355349744 139972030960552 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.24
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
################
# More data... #
################
/proc/3736/task/3742/stat : 3742 (java) S 3734 3736 718 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 254124472 10060460032 62305 33554432000 1073741824 1073778376 140735355349744 139972529081000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3743] ppid=3734 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/3736/task/3743/stat : 3743 (java) S 3734 3736 718 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 254124472 10060460032 62305 33554432000 1073741824 1073778376 140735355349744 139972528028200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3744] ppid=3734 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/3736/task/3744/stat : 3744 (java) S 3734 3736 718 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 254124472 10060460032 62305 33554432000 1073741824 1073778376 140735355349744 139972526975400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3745] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3745/stat : 3745 (java) S 3734 3736 718 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254124472 10060460032 62305 33554432000 1073741824 1073778376 140735355349744 139972525922600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3736/tid=3746] ppid=3734 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/3736/task/3746/stat : 3746 (java) S 3734 3736 718 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 254124472 10060460032 62305 33554432000 1073741824 1073778376 140735355349744 139972524869800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3747] ppid=3734 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/3736/task/3747/stat : 3747 (java) S 3734 3736 718 0 -1 4202560 119 0 0 0 29 0 0 0 20 0 19 0 254124473 10060460032 62305 33554432000 1073741824 1073778376 140735355349744 139972042542056 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3748] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3748/stat : 3748 (java) S 3734 3736 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254124474 10060460032 62305 33554432000 1073741824 1073778376 140735355349744 139972041488120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3749] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3749/stat : 3749 (java) S 3734 3736 718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254124474 10060460032 62305 33554432000 1073741824 1073778376 140735355349744 139972040435208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3750] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3750/stat : 3750 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124476 10060460032 62305 33554432000 1073741824 1073778376 140735355349744 139972039383696 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3751] ppid=3734 vsize=9824668 CPUtime=1.63 cores=1,3,5,7
/proc/3736/task/3751/stat : 3751 (java) S 3734 3736 718 0 -1 4202560 10434 0 0 0 161 2 0 0 20 0 19 0 254124476 10060460032 62305 33554432000 1073741824 1073778376 140735355349744 139972038330808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3752] ppid=3734 vsize=9824668 CPUtime=1.09 cores=1,3,5,7
/proc/3736/task/3752/stat : 3752 (java) S 3734 3736 718 0 -1 4202560 6523 0 0 0 107 2 0 0 20 0 19 0 254124476 10060460032 62305 33554432000 1073741824 1073778376 140735355349744 139972037278008 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3753] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3753/stat : 3753 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124476 10060460032 62305 33554432000 1073741824 1073778376 140735355349744 139972036225400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3754] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3754/stat : 3754 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124476 10060460032 62305 33554432000 1073741824 1073778376 140735355349744 139972035172808 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3761] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3761/stat : 3761 (java) S 3734 3736 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254124580 10060460032 62305 33554432000 1073741824 1073778376 140735355349744 139972030960552 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.71
Current children cumulated vsize (KiB) 9824668
[startup+11.101 s]
/proc/loadavg: 3.57 3.80 3.86 4/218 3812
/proc/meminfo: memFree=26303520/32873852 swapFree=6848/6848
[pid=3736] ppid=3734 vsize=9824668 CPUtime=9.91 cores=1,3,5,7
/proc/3736/stat : 3736 (java) S 3734 3736 718 0 -1 4202496 21183 0 1 0 953 38 0 0 20 0 22 0 254124471 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 140735355340880 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3736/statm: 2456167 80443 2287 9 0 2446860 0
[pid=3736/tid=3737] ppid=3734 vsize=9824668 CPUtime=0.58 cores=1,3,5,7
/proc/3736/task/3737/stat : 3737 (java) S 3734 3736 718 0 -1 4202560 2496 0 1 0 55 3 0 0 20 0 22 0 254124471 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972689007608 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3739] ppid=3734 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/3736/task/3739/stat : 3739 (java) S 3734 3736 718 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 254124472 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972650499112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3740] ppid=3734 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/3736/task/3740/stat : 3740 (java) S 3734 3736 718 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 254124472 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972531186600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3736/tid=3741] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3741/stat : 3741 (java) S 3734 3736 718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254124472 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972530133800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3736/tid=3742] ppid=3734 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/3736/task/3742/stat : 3742 (java) S 3734 3736 718 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 254124472 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972529081000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3743] ppid=3734 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/3736/task/3743/stat : 3743 (java) S 3734 3736 718 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 254124472 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972528028200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3736/tid=3744] ppid=3734 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/3736/task/3744/stat : 3744 (java) S 3734 3736 718 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 254124472 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972526975400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3736/tid=3745] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3745/stat : 3745 (java) S 3734 3736 718 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 254124472 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972525922600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3746] ppid=3734 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/3736/task/3746/stat : 3746 (java) S 3734 3736 718 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 254124472 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972524869800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3747] ppid=3734 vsize=9824668 CPUtime=0.35 cores=1,3,5,7
/proc/3736/task/3747/stat : 3747 (java) S 3734 3736 718 0 -1 4202560 120 0 0 0 35 0 0 0 20 0 22 0 254124473 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972042542056 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3748] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3748/stat : 3748 (java) S 3734 3736 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254124474 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972041488120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3749] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3749/stat : 3749 (java) S 3734 3736 718 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254124474 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972040435208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3750] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3750/stat : 3750 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254124476 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972039383696 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3751] ppid=3734 vsize=9824668 CPUtime=1.68 cores=1,3,5,7
/proc/3736/task/3751/stat : 3751 (java) S 3734 3736 718 0 -1 4202560 10437 0 0 0 166 2 0 0 20 0 22 0 254124476 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972038330808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3752] ppid=3734 vsize=9824668 CPUtime=1.09 cores=1,3,5,7
/proc/3736/task/3752/stat : 3752 (java) S 3734 3736 718 0 -1 4202560 6523 0 0 0 107 2 0 0 20 0 22 0 254124476 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972037278008 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3753] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3753/stat : 3753 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254124476 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972036225400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3754] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3754/stat : 3754 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254124476 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972035172808 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3736/tid=3761] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3761/stat : 3761 (java) S 3734 3736 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254124580 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972030960552 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3810] ppid=3734 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/3736/task/3810/stat : 3810 (java) R 3734 3736 718 0 -1 4202560 6 0 0 0 39 0 0 0 20 0 22 0 254125533 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972034116520 139972531968335 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3736/tid=3811] ppid=3734 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/3736/task/3811/stat : 3811 (java) R 3734 3736 718 0 -1 4202560 21 0 0 0 39 0 0 0 20 0 22 0 254125533 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972033064936 139972531856115 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3812] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3812/stat : 3812 (java) S 3734 3736 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254125534 10060460032 80443 33554432000 1073741824 1073778376 140735355349744 139972032013224 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 9.91
Current children cumulated vsize (KiB) 9824668
[startup+11.9009 s]
/proc/loadavg: 3.57 3.80 3.86 4/218 3812
/proc/meminfo: memFree=26303520/32873852 swapFree=6848/6848
[pid=3736] ppid=3734 vsize=9824668 CPUtime=11.31 cores=1,3,5,7
/proc/3736/stat : 3736 (java) S 3734 3736 718 0 -1 4202496 21193 0 1 0 1092 39 0 0 20 0 19 0 254124471 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 140735355340880 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3736/statm: 2456167 80954 2287 9 0 2446860 0
[pid=3736/tid=3737] ppid=3734 vsize=9824668 CPUtime=0.58 cores=1,3,5,7
/proc/3736/task/3737/stat : 3737 (java) S 3734 3736 718 0 -1 4202560 2496 0 1 0 55 3 0 0 20 0 19 0 254124471 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972689007608 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3739] ppid=3734 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/3736/task/3739/stat : 3739 (java) S 3734 3736 718 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 254124472 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972650499112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3740] ppid=3734 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/3736/task/3740/stat : 3740 (java) S 3734 3736 718 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 254124472 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972531186600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3741] ppid=3734 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/3736/task/3741/stat : 3741 (java) S 3734 3736 718 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 254124472 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972530133800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3742] ppid=3734 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/3736/task/3742/stat : 3742 (java) S 3734 3736 718 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 254124472 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972529081000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3743] ppid=3734 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/3736/task/3743/stat : 3743 (java) S 3734 3736 718 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 19 0 254124472 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972528028200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3744] ppid=3734 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/3736/task/3744/stat : 3744 (java) S 3734 3736 718 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 254124472 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972526975400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3736/tid=3745] ppid=3734 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/3736/task/3745/stat : 3745 (java) S 3734 3736 718 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 254124472 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972525922600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3746] ppid=3734 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/3736/task/3746/stat : 3746 (java) S 3734 3736 718 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 254124472 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972524869800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3747] ppid=3734 vsize=9824668 CPUtime=0.5 cores=1,3,5,7
/proc/3736/task/3747/stat : 3747 (java) S 3734 3736 718 0 -1 4202560 121 0 0 0 50 0 0 0 20 0 19 0 254124473 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972042542056 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3748] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3748/stat : 3748 (java) S 3734 3736 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254124474 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972041488120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3749] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3749/stat : 3749 (java) S 3734 3736 718 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254124474 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972040435208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3750] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3750/stat : 3750 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124476 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972039383696 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3751] ppid=3734 vsize=9824668 CPUtime=1.68 cores=1,3,5,7
/proc/3736/task/3751/stat : 3751 (java) S 3734 3736 718 0 -1 4202560 10437 0 0 0 166 2 0 0 20 0 19 0 254124476 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972038330808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3752] ppid=3734 vsize=9824668 CPUtime=1.09 cores=1,3,5,7
/proc/3736/task/3752/stat : 3752 (java) S 3734 3736 718 0 -1 4202560 6523 0 0 0 107 2 0 0 20 0 19 0 254124476 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972037278008 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3753] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3753/stat : 3753 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124476 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972036225400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3754] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3754/stat : 3754 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124476 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972035172808 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3761] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3761/stat : 3761 (java) S 3734 3736 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254124580 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972030960552 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 11.31
Current children cumulated vsize (KiB) 9824668
[startup+12.1072 s]
/proc/loadavg: 3.57 3.80 3.86 3/215 3812
/proc/meminfo: memFree=26297136/32873852 swapFree=6848/6848
[pid=3736] ppid=3734 vsize=9824668 CPUtime=11.31 cores=1,3,5,7
/proc/3736/stat : 3736 (java) S 3734 3736 718 0 -1 4202496 21193 0 1 0 1092 39 0 0 20 0 19 0 254124471 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 140735355340880 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3736/statm: 2456167 80954 2287 9 0 2446860 0
[pid=3736/tid=3737] ppid=3734 vsize=9824668 CPUtime=0.58 cores=1,3,5,7
/proc/3736/task/3737/stat : 3737 (java) S 3734 3736 718 0 -1 4202560 2496 0 1 0 55 3 0 0 20 0 19 0 254124471 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972689007608 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3739] ppid=3734 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/3736/task/3739/stat : 3739 (java) S 3734 3736 718 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 254124472 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972650499112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3740] ppid=3734 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/3736/task/3740/stat : 3740 (java) S 3734 3736 718 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 254124472 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972531186600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3741] ppid=3734 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/3736/task/3741/stat : 3741 (java) S 3734 3736 718 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 254124472 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972530133800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3742] ppid=3734 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/3736/task/3742/stat : 3742 (java) S 3734 3736 718 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 254124472 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972529081000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3743] ppid=3734 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/3736/task/3743/stat : 3743 (java) S 3734 3736 718 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 19 0 254124472 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972528028200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3744] ppid=3734 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/3736/task/3744/stat : 3744 (java) S 3734 3736 718 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 254124472 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972526975400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3736/tid=3745] ppid=3734 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/3736/task/3745/stat : 3745 (java) S 3734 3736 718 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 254124472 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972525922600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3746] ppid=3734 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/3736/task/3746/stat : 3746 (java) S 3734 3736 718 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 254124472 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972524869800 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3747] ppid=3734 vsize=9824668 CPUtime=0.5 cores=1,3,5,7
/proc/3736/task/3747/stat : 3747 (java) S 3734 3736 718 0 -1 4202560 121 0 0 0 50 0 0 0 20 0 19 0 254124473 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972042542056 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3748] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3748/stat : 3748 (java) S 3734 3736 718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254124474 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972041488120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3749] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3749/stat : 3749 (java) S 3734 3736 718 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254124474 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972040435208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3750] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3750/stat : 3750 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124476 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972039383696 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3736/tid=3751] ppid=3734 vsize=9824668 CPUtime=1.68 cores=1,3,5,7
/proc/3736/task/3751/stat : 3751 (java) S 3734 3736 718 0 -1 4202560 10437 0 0 0 166 2 0 0 20 0 19 0 254124476 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972038330808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3752] ppid=3734 vsize=9824668 CPUtime=1.09 cores=1,3,5,7
/proc/3736/task/3752/stat : 3752 (java) S 3734 3736 718 0 -1 4202560 6523 0 0 0 107 2 0 0 20 0 19 0 254124476 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972037278008 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3753] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3753/stat : 3753 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124476 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972036225400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3736/tid=3754] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3754/stat : 3754 (java) S 3734 3736 718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254124476 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972035172808 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3736/tid=3761] ppid=3734 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/3736/task/3761/stat : 3761 (java) S 3734 3736 718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254124580 10060460032 80954 33554432000 1073741824 1073778376 140735355349744 139972030960552 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 11.31
Current children cumulated vsize (KiB) 9824668
Child status: 30
Real time (s): 12.1797
CPU time (s): 11.4313
CPU user time (s): 10.9503
CPU system time (s): 0.480926
CPU usage (%): 93.8551
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.9503
system time used= 0.480926
maximum resident set size= 323848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21203
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= 1432
involuntary context switches= 522
runsolver used 0.043993 second user time and 0.077988 second system time
The end