runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3455140-1307189152/watcher-3455140-1307189152 -o /tmp/evaluation-result-3455140-1307189152/solver-3455140-1307189152 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455140-1307189152.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.38 3.60 3.26 3/536 19959
/proc/meminfo: memFree=19189224/32950928 swapFree=58671692/67111528
[pid=19959] ppid=19957 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/19959/stat : 19959 (java) S 19957 19959 16455 0 -1 4202496 1317 0 0 0 0 0 0 0 22 0 2 0 909145870 36646912 1018 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/19959/statm: 8947 1018 782 9 0 386 0
[pid=19959/tid=19960] ppid=19957 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19960/stat : 19960 (java) S 19957 19959 16455 0 -1 4202560 202 0 0 0 0 0 0 0 23 0 2 0 909145871 36646912 1018 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256415411782 0 0 0 16784584 9434258096479272959 0 0 -1 3 0 0 0
[startup+0.0530861 s]
/proc/loadavg: 3.38 3.60 3.26 3/536 19959
/proc/meminfo: memFree=19189224/32950928 swapFree=58671692/67111528
[pid=19959] ppid=19957 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/19959/stat : 19959 (java) S 19957 19959 16455 0 -1 4202496 11162 0 1 0 1 1 0 0 22 0 13 0 909145870 10718699520 10858 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/19959/statm: 2616870 10858 1655 9 0 2607618 0
[pid=19959/tid=19960] ppid=19957 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/19959/task/19960/stat : 19960 (java) R 19957 19959 16455 0 -1 4202560 10013 0 1 0 1 1 0 0 25 0 13 0 909145871 10718699520 10858 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 47631736655779 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10467480
[startup+0.101016 s]
/proc/loadavg: 3.38 3.60 3.26 3/536 19959
/proc/meminfo: memFree=19189224/32950928 swapFree=58671692/67111528
[pid=19959] ppid=19957 vsize=10539340 CPUtime=0.08 cores=1,3,5,7
/proc/19959/stat : 19959 (java) S 19957 19959 16455 0 -1 4202496 12531 0 1 0 6 2 0 0 22 0 18 0 909145870 10792284160 12227 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19959/statm: 2634835 12227 2018 9 0 2625569 0
[pid=19959/tid=19960] ppid=19957 vsize=10539340 CPUtime=0.06 cores=1,3,5,7
/proc/19959/task/19960/stat : 19960 (java) R 19957 19959 16455 0 -1 4202560 10942 0 1 0 5 1 0 0 25 0 18 0 909145871 10792284160 12228 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 47631741123411 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10539340
[startup+0.308075 s]
/proc/loadavg: 3.38 3.60 3.26 3/536 19959
/proc/meminfo: memFree=19189224/32950928 swapFree=58671692/67111528
[pid=19959] ppid=19957 vsize=10542576 CPUtime=0.54 cores=1,3,5,7
/proc/19959/stat : 19959 (java) S 19957 19959 16455 0 -1 4202496 17973 0 1 0 51 3 0 0 22 0 18 0 909145870 10795597824 16813 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19959/statm: 2635644 16814 2200 9 0 2626378 0
[pid=19959/tid=19960] ppid=19957 vsize=10542576 CPUtime=0.28 cores=1,3,5,7
/proc/19959/task/19960/stat : 19960 (java) R 19957 19959 16455 0 -1 4202560 13355 0 1 0 26 2 0 0 18 0 18 0 909145871 10795597824 16815 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 46912505597956 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10542576
[startup+0.700975 s]
/proc/loadavg: 3.38 3.60 3.26 3/536 19959
/proc/meminfo: memFree=19189224/32950928 swapFree=58671692/67111528
[pid=19959] ppid=19957 vsize=10549468 CPUtime=1.4 cores=1,3,5,7
/proc/19959/stat : 19959 (java) S 19957 19959 16455 0 -1 4202496 26848 0 1 0 136 4 0 0 22 0 19 0 909145870 10802655232 25066 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19959/statm: 2637367 25066 2236 9 0 2628101 0
[pid=19959/tid=19960] ppid=19957 vsize=10549468 CPUtime=0.44 cores=1,3,5,7
/proc/19959/task/19960/stat : 19960 (java) S 19957 19959 16455 0 -1 4202560 20283 0 1 0 41 3 0 0 19 0 19 0 909145871 10802655232 25066 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 10549468
[startup+1.50075 s]
/proc/loadavg: 3.38 3.60 3.26 8/558 19984
/proc/meminfo: memFree=19094880/32950928 swapFree=58671692/67111528
[pid=19959] ppid=19957 vsize=10549468 CPUtime=2.97 cores=1,3,5,7
/proc/19959/stat : 19959 (java) S 19957 19959 16455 0 -1 4202496 39584 0 1 0 291 6 0 0 22 0 22 0 909145870 10802655232 35850 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19959/statm: 2637367 35850 2240 9 0 2628101 0
[pid=19959/tid=19960] ppid=19957 vsize=10549468 CPUtime=0.45 cores=1,3,5,7
/proc/19959/task/19960/stat : 19960 (java) S 19957 19959 16455 0 -1 4202560 20486 0 1 0 42 3 0 0 15 0 22 0 909145871 10802655232 35850 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19962] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19962/stat : 19962 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 909145874 10802655232 35850 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19963] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19963/stat : 19963 (java) S 19957 19959 16455 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909145874 10802655232 35850 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19964] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19964/stat : 19964 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909145874 10802655232 35850 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19965] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19965/stat : 19965 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909145874 10802655232 35850 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19966] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19966/stat : 19966 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909145874 10802655232 35850 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19967] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19967/stat : 19967 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909145874 10802655232 35850 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19968] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19968/stat : 19968 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909145874 10802655232 35850 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19969] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19969/stat : 19969 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909145874 10802655232 35850 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19970] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19970/stat : 19970 (java) S 19957 19959 16455 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 909145875 10802655232 35850 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 0 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19971] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19971/stat : 19971 (java) S 19957 19959 16455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909145875 10802655232 35850 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19972] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19972/stat : 19972 (java) S 19957 19959 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909145875 10802655232 35850 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19973] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19973/stat : 19973 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909145877 10802655232 35850 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427215281 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19974] ppid=19957 vsize=10549468 CPUtime=0.62 cores=1,3,5,7
/proc/19959/task/19974/stat : 19974 (java) S 19957 19959 16455 0 -1 4202560 2506 0 0 0 62 0 0 0 15 0 22 0 909145877 10802655232 35850 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
[pid=19959/tid=19975] ppid=19957 vsize=10549468 CPUtime=0.65 cores=1,3,5,7
/proc/19959/task/19975/stat : 19975 (java) S 19957 19959 16455 0 -1 4202560 4406 0 0 0 64 1 0 0 15 0 22 0 909145877 10802655232 35850 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 5 0 0 0
[pid=19959/tid=19976] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19976/stat : 19976 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909145877 10802655232 35850 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19977] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19977/stat : 19977 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909145877 10802655232 35850 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19980] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19980/stat : 19980 (java) S 19957 19959 16455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 909145919 10802655232 35850 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19982] ppid=19957 vsize=10549468 CPUtime=0.48 cores=1,3,5,7
/proc/19959/task/19982/stat : 19982 (java) R 19957 19959 16455 0 -1 4202560 316 0 0 0 48 0 0 0 18 0 22 0 909145969 10802655232 35850 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 46912505793087 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=19959/tid=19983] ppid=19957 vsize=10549468 CPUtime=0.5 cores=1,3,5,7
/proc/19959/task/19983/stat : 19983 (java) R 19957 19959 16455 0 -1 4202560 10168 0 0 0 49 1 0 0 19 0 22 0 909145969 10802655232 35851 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 46912505963074 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19959/tid=19984] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19984/stat : 19984 (java) S 19957 19959 16455 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909145970 10802655232 35851 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 10549468
[startup+3.10145 s]
/proc/loadavg: 3.38 3.60 3.26 5/558 19984
/proc/meminfo: memFree=19009204/32950928 swapFree=58671692/67111528
[pid=19959] ppid=19957 vsize=10549468 CPUtime=6.57 cores=1,3,5,7
/proc/19959/stat : 19959 (java) S 19957 19959 16455 0 -1 4202496 73974 0 1 0 647 10 0 0 22 0 22 0 909145870 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19959/statm: 2637367 67246 2267 9 0 2628101 0
[pid=19959/tid=19960] ppid=19957 vsize=10549468 CPUtime=0.45 cores=1,3,5,7
/proc/19959/task/19960/stat : 19960 (java) S 19957 19959 16455 0 -1 4202560 20486 0 1 0 42 3 0 0 15 0 22 0 909145871 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19962] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19962/stat : 19962 (java) S 19957 19959 16455 0 -1 4202560 439 0 0 0 0 0 0 0 18 0 22 0 909145874 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19963] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19963/stat : 19963 (java) S 19957 19959 16455 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 909145874 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19964] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19964/stat : 19964 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909145874 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19965] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19965/stat : 19965 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909145874 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19966] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19966/stat : 19966 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909145874 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19967] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19967/stat : 19967 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909145874 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19968] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19968/stat : 19968 (java) S 19957 19959 16455 0 -1 4202560 419 0 0 0 0 0 0 0 18 0 22 0 909145874 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
[pid=19959/tid=19969] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19969/stat : 19969 (java) S 19957 19959 16455 0 -1 4202560 500 0 0 0 0 0 0 0 18 0 22 0 909145874 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19970] ppid=19957 vsize=10549468 CPUtime=0.02 cores=1,3,5,7
/proc/19959/task/19970/stat : 19970 (java) S 19957 19959 16455 0 -1 4202560 1344 0 0 0 2 0 0 0 16 0 22 0 909145875 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 0 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19971] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19971/stat : 19971 (java) S 19957 19959 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909145875 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19972] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19972/stat : 19972 (java) S 19957 19959 16455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909145875 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19973] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19973/stat : 19973 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909145877 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427215281 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19974] ppid=19957 vsize=10549468 CPUtime=0.82 cores=1,3,5,7
/proc/19959/task/19974/stat : 19974 (java) S 19957 19959 16455 0 -1 4202560 2532 0 0 0 82 0 0 0 15 0 22 0 909145877 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
[pid=19959/tid=19975] ppid=19957 vsize=10549468 CPUtime=0.88 cores=1,3,5,7
/proc/19959/task/19975/stat : 19975 (java) S 19957 19959 16455 0 -1 4202560 7430 0 0 0 87 1 0 0 15 0 22 0 909145877 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 5 0 0 0
[pid=19959/tid=19976] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19976/stat : 19976 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909145877 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19977] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19977/stat : 19977 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909145877 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 4 0 16800975 18446604463699212224 0 0 -1 5 0 0 0
[pid=19959/tid=19980] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19980/stat : 19980 (java) S 19957 19959 16455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 909145919 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19982] ppid=19957 vsize=10549468 CPUtime=2.05 cores=1,3,5,7
/proc/19959/task/19982/stat : 19982 (java) R 19957 19959 16455 0 -1 4202560 1381 0 0 0 205 0 0 0 20 0 22 0 909145969 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 46912506093726 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=19959/tid=19983] ppid=19957 vsize=10549468 CPUtime=2.07 cores=1,3,5,7
/proc/19959/task/19983/stat : 19983 (java) R 19957 19959 16455 0 -1 4202560 37744 0 0 0 203 4 0 0 23 0 22 0 909145969 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 46912506361648 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19959/tid=19984] ppid=19957 vsize=10549468 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19984/stat : 19984 (java) S 19957 19959 16455 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909145970 10802655232 67246 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.57
Current children cumulated vsize (KiB) 10549468
[startup+6.30091 s]
/proc/loadavg: 3.43 3.61 3.27 5/558 19984
/proc/meminfo: memFree=18793376/32950928 swapFree=58671692/67111528
[pid=19959] ppid=19957 vsize=10549340 CPUtime=13.17 cores=1,3,5,7
/proc/19959/stat : 19959 (java) S 19957 19959 16455 0 -1 4202496 132293 0 1 0 1300 17 0 0 22 0 22 0 909145870 10802524160 123525 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19959/statm: 2637335 123525 2267 9 0 2628069 0
[pid=19959/tid=19960] ppid=19957 vsize=10549340 CPUtime=0.45 cores=1,3,5,7
/proc/19959/task/19960/stat : 19960 (java) S 19957 19959 16455 0 -1 4202560 20486 0 1 0 42 3 0 0 15 0 22 0 909145871 10802524160 123525 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19962] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19962/stat : 19962 (java) S 19957 19959 16455 0 -1 4202560 443 0 0 0 0 0 0 0 15 0 22 0 909145874 10802524160 123525 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19963] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19963/stat : 19963 (java) S 19957 19959 16455 0 -1 4202560 392 0 0 0 0 0 0 0 15 0 22 0 909145874 10802524160 123525 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19964] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19964/stat : 19964 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909145874 10802524160 123525 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
[pid=19959/tid=19965] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19965/stat : 19965 (java) S 19957 19959 16455 0 -1 4202560 302 0 0 0 0 0 0 0 16 0 22 0 909145874 10802524160 123525 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 5 0 0 0
[pid=19959/tid=19966] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19966/stat : 19966 (java) S 19957 19959 16455 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 909145874 10802524160 123526 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19967] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19967/stat : 19967 (java) S 19957 19959 16455 0 -1 4202560 296 0 0 0 0 0 0 0 15 0 22 0 909145874 10802524160 123526 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
[pid=19959/tid=19968] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19968/stat : 19968 (java) S 19957 19959 16455 0 -1 4202560 424 0 0 0 0 0 0 0 15 0 22 0 909145874 10802524160 123526 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
[pid=19959/tid=19969] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19969/stat : 19969 (java) S 19957 19959 16455 0 -1 4202560 500 0 0 0 0 0 0 0 18 0 22 0 909145874 10802524160 123527 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19970] ppid=19957 vsize=10549340 CPUtime=0.06 cores=1,3,5,7
/proc/19959/task/19970/stat : 19970 (java) S 19957 19959 16455 0 -1 4202560 2398 0 0 0 6 0 0 0 15 0 22 0 909145875 10802524160 123527 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 0 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19971] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19971/stat : 19971 (java) S 19957 19959 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909145875 10802524160 123527 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19972] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19972/stat : 19972 (java) S 19957 19959 16455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909145875 10802524160 123527 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19973] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19973/stat : 19973 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909145877 10802524160 123527 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427215281 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19974] ppid=19957 vsize=10549340 CPUtime=0.91 cores=1,3,5,7
/proc/19959/task/19974/stat : 19974 (java) S 19957 19959 16455 0 -1 4202560 3093 0 0 0 91 0 0 0 15 0 22 0 909145877 10802524160 123527 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
[pid=19959/tid=19975] ppid=19957 vsize=10549340 CPUtime=1.04 cores=1,3,5,7
/proc/19959/task/19975/stat : 19975 (java) S 19957 19959 16455 0 -1 4202560 8850 0 0 0 103 1 0 0 15 0 22 0 909145877 10802524160 123529 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 5 0 0 0
[pid=19959/tid=19976] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19976/stat : 19976 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909145877 10802524160 123531 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19977] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19977/stat : 19977 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909145877 10802524160 123532 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
[pid=19959/tid=19980] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19980/stat : 19980 (java) S 19957 19959 16455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 909145919 10802524160 123532 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19982] ppid=19957 vsize=10549340 CPUtime=5.18 cores=1,3,5,7
/proc/19959/task/19982/stat : 19982 (java) R 19957 19959 16455 0 -1 4202560 1951 0 0 0 518 0 0 0 25 0 22 0 909145969 10802524160 123532 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 46912505813659 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19959/tid=19983] ppid=19957 vsize=10549340 CPUtime=5.21 cores=1,3,5,7
/proc/19959/task/19983/stat : 19983 (java) R 19957 19959 16455 0 -1 4202560 91469 0 0 0 511 10 0 0 25 0 22 0 909145969 10802524160 123533 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 46912505963052 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19959/tid=19984] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19984/stat : 19984 (java) S 19957 19959 16455 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909145970 10802524160 123534 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 13.17
Current children cumulated vsize (KiB) 10549340
Solver just ended. Dumping a history of the last processes samples
[startup+7.10169 s]
/proc/loadavg: 3.43 3.61 3.27 5/558 19984
/proc/meminfo: memFree=18662744/32950928 swapFree=58671692/67111528
[pid=19959] ppid=19957 vsize=10549340 CPUtime=14.79 cores=1,3,5,7
/proc/19959/stat : 19959 (java) S 19957 19959 16455 0 -1 4202496 144618 0 1 0 1461 18 0 0 22 0 22 0 909145870 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19959/statm: 2637335 135849 2267 9 0 2628069 0
[pid=19959/tid=19960] ppid=19957 vsize=10549340 CPUtime=0.45 cores=1,3,5,7
/proc/19959/task/19960/stat : 19960 (java) S 19957 19959 16455 0 -1 4202560 20486 0 1 0 42 3 0 0 15 0 22 0 909145871 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19962] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19962/stat : 19962 (java) S 19957 19959 16455 0 -1 4202560 568 0 0 0 0 0 0 0 16 0 22 0 909145874 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 5 0 0 0
[pid=19959/tid=19963] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19963/stat : 19963 (java) S 19957 19959 16455 0 -1 4202560 512 0 0 0 0 0 0 0 16 0 22 0 909145874 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19964] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19964/stat : 19964 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 909145874 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
[pid=19959/tid=19965] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19965/stat : 19965 (java) S 19957 19959 16455 0 -1 4202560 302 0 0 0 0 0 0 0 15 0 22 0 909145874 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 5 0 0 0
[pid=19959/tid=19966] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19966/stat : 19966 (java) S 19957 19959 16455 0 -1 4202560 385 0 0 0 0 0 0 0 16 0 22 0 909145874 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 5 0 0 0
[pid=19959/tid=19967] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19967/stat : 19967 (java) S 19957 19959 16455 0 -1 4202560 296 0 0 0 0 0 0 0 15 0 22 0 909145874 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
[pid=19959/tid=19968] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19968/stat : 19968 (java) S 19957 19959 16455 0 -1 4202560 424 0 0 0 0 0 0 0 15 0 22 0 909145874 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
[pid=19959/tid=19969] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19969/stat : 19969 (java) S 19957 19959 16455 0 -1 4202560 612 0 0 0 0 0 0 0 15 0 22 0 909145874 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
[pid=19959/tid=19970] ppid=19957 vsize=10549340 CPUtime=0.1 cores=1,3,5,7
/proc/19959/task/19970/stat : 19970 (java) S 19957 19959 16455 0 -1 4202560 2715 0 0 0 10 0 0 0 15 0 22 0 909145875 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 0 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19971] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19971/stat : 19971 (java) S 19957 19959 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909145875 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19972] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19972/stat : 19972 (java) S 19957 19959 16455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909145875 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19973] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19973/stat : 19973 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909145877 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427215281 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19974] ppid=19957 vsize=10549340 CPUtime=0.91 cores=1,3,5,7
/proc/19959/task/19974/stat : 19974 (java) S 19957 19959 16455 0 -1 4202560 3093 0 0 0 91 0 0 0 15 0 22 0 909145877 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
[pid=19959/tid=19975] ppid=19957 vsize=10549340 CPUtime=1.09 cores=1,3,5,7
/proc/19959/task/19975/stat : 19975 (java) S 19957 19959 16455 0 -1 4202560 8856 0 0 0 108 1 0 0 15 0 22 0 909145877 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 5 0 0 0
[pid=19959/tid=19976] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19976/stat : 19976 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909145877 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19977] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19977/stat : 19977 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909145877 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
[pid=19959/tid=19980] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19980/stat : 19980 (java) S 19957 19959 16455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 909145919 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19982] ppid=19957 vsize=10549340 CPUtime=5.93 cores=1,3,5,7
/proc/19959/task/19982/stat : 19982 (java) R 19957 19959 16455 0 -1 4202560 1951 0 0 0 593 0 0 0 25 0 22 0 909145969 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 46912506059023 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=19959/tid=19983] ppid=19957 vsize=10549340 CPUtime=5.97 cores=1,3,5,7
/proc/19959/task/19983/stat : 19983 (java) R 19957 19959 16455 0 -1 4202560 102724 0 0 0 586 11 0 0 25 0 22 0 909145969 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 46912506115043 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19959/tid=19984] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19984/stat : 19984 (java) S 19957 19959 16455 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909145970 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 14.79
Current children cumulated vsize (KiB) 10549340
[startup+7.5017 s]
/proc/loadavg: 3.43 3.61 3.27 5/558 19984
/proc/meminfo: memFree=18662744/32950928 swapFree=58671692/67111528
[pid=19959] ppid=19957 vsize=10549340 CPUtime=15.56 cores=1,3,5,7
/proc/19959/stat : 19959 (java) S 19957 19959 16455 0 -1 4202496 144618 0 1 0 1538 18 0 0 22 0 19 0 909145870 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19959/statm: 2637335 135849 2267 9 0 2628069 0
[pid=19959/tid=19960] ppid=19957 vsize=10549340 CPUtime=0.45 cores=1,3,5,7
/proc/19959/task/19960/stat : 19960 (java) S 19957 19959 16455 0 -1 4202560 20486 0 1 0 42 3 0 0 15 0 19 0 909145871 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19962] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19962/stat : 19962 (java) S 19957 19959 16455 0 -1 4202560 568 0 0 0 0 0 0 0 16 0 19 0 909145874 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 5 0 0 0
[pid=19959/tid=19963] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19963/stat : 19963 (java) S 19957 19959 16455 0 -1 4202560 512 0 0 0 0 0 0 0 16 0 19 0 909145874 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 7 0 0 0
[pid=19959/tid=19964] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19964/stat : 19964 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 909145874 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
[pid=19959/tid=19965] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19965/stat : 19965 (java) S 19957 19959 16455 0 -1 4202560 302 0 0 0 0 0 0 0 15 0 19 0 909145874 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 5 0 0 0
[pid=19959/tid=19966] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19966/stat : 19966 (java) S 19957 19959 16455 0 -1 4202560 385 0 0 0 0 0 0 0 16 0 19 0 909145874 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 5 0 0 0
[pid=19959/tid=19967] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19967/stat : 19967 (java) S 19957 19959 16455 0 -1 4202560 296 0 0 0 0 0 0 0 15 0 19 0 909145874 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
[pid=19959/tid=19968] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19968/stat : 19968 (java) S 19957 19959 16455 0 -1 4202560 424 0 0 0 0 0 0 0 15 0 19 0 909145874 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
[pid=19959/tid=19969] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19969/stat : 19969 (java) S 19957 19959 16455 0 -1 4202560 612 0 0 0 0 0 0 0 15 0 19 0 909145874 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
[pid=19959/tid=19970] ppid=19957 vsize=10549340 CPUtime=0.1 cores=1,3,5,7
/proc/19959/task/19970/stat : 19970 (java) S 19957 19959 16455 0 -1 4202560 2715 0 0 0 10 0 0 0 15 0 19 0 909145875 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 0 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19971] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19971/stat : 19971 (java) S 19957 19959 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 909145875 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19972] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19972/stat : 19972 (java) S 19957 19959 16455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 909145875 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19973] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19973/stat : 19973 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909145877 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427215281 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19974] ppid=19957 vsize=10549340 CPUtime=0.91 cores=1,3,5,7
/proc/19959/task/19974/stat : 19974 (java) S 19957 19959 16455 0 -1 4202560 3093 0 0 0 91 0 0 0 15 0 19 0 909145877 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
[pid=19959/tid=19975] ppid=19957 vsize=10549340 CPUtime=1.09 cores=1,3,5,7
/proc/19959/task/19975/stat : 19975 (java) S 19957 19959 16455 0 -1 4202560 8856 0 0 0 108 1 0 0 15 0 19 0 909145877 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 5 0 0 0
[pid=19959/tid=19976] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19976/stat : 19976 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909145877 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427207577 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
[pid=19959/tid=19977] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19977/stat : 19977 (java) S 19957 19959 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909145877 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 4 0 16800975 18446604463699212224 0 0 -1 1 0 0 0
[pid=19959/tid=19984] ppid=19957 vsize=10549340 CPUtime=0 cores=1,3,5,7
/proc/19959/task/19984/stat : 19984 (java) S 19957 19959 16455 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 909145970 10802524160 135849 33554432000 1073741824 1073778376 140736265837280 18446744073709551615 256427208192 0 4 0 16800975 18446604463699212224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 15.56
Current children cumulated vsize (KiB) 10549340
Child status: 30
Real time (s): 7.59645
CPU time (s): 15.6566
CPU user time (s): 15.4517
CPU system time (s): 0.204968
CPU usage (%): 206.104
Max. virtual memory (cumulated for all children) (KiB): 10552232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.4517
system time used= 0.204968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144623
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 696
involuntary context switches= 301
runsolver used 0.043993 second user time and 0.115982 second system time
The end