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-3688669-1337886284/watcher-3688669-1337886284 -o /tmp/evaluation-result-3688669-1337886284/solver-3688669-1337886284 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688669-1337886284.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 1/174 22861
/proc/meminfo: memFree=27699944/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/22861/stat : 22861 (java) R 22859 22861 21352 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 254756996 9515008 182 33554432000 1073741824 1073778376 140736215680688 140736215671720 240426761909 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22861/statm: 2323 182 140 9 0 71 0
[startup+0.0285791 s]
/proc/loadavg: 1.92 1.98 1.99 1/174 22861
/proc/meminfo: memFree=27699944/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9016616 CPUtime=0 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 2686 0 1 0 0 0 0 0 20 0 10 0 254756996 9233014784 2876 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22861/statm: 2254154 2885 1458 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616
[startup+0.100243 s]
/proc/loadavg: 1.92 1.98 1.99 1/174 22861
/proc/meminfo: memFree=27699944/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 4304 0 1 0 7 1 0 0 20 0 18 0 254756996 9787813888 4991 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22861/statm: 2389603 4991 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300192 s]
/proc/loadavg: 1.92 1.98 1.99 1/174 22861
/proc/meminfo: memFree=27699944/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9558412 CPUtime=0.41 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 5127 0 1 0 39 2 0 0 20 0 18 0 254756996 9787813888 7088 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22861/statm: 2389603 7088 2210 9 0 2380296 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 9558412
[startup+0.700191 s]
/proc/loadavg: 1.92 1.98 1.99 1/174 22861
/proc/meminfo: memFree=27699944/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9558412 CPUtime=1.59 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 15010 0 1 0 155 4 0 0 20 0 18 0 254756996 9787813888 23215 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22861/statm: 2389603 23215 2248 9 0 2380296 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 9558412
[startup+1.5007 s]
/proc/loadavg: 1.92 1.98 1.99 7/212 22935
/proc/meminfo: memFree=27560108/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9624976 CPUtime=3.05 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 17157 0 1 0 300 5 0 0 20 0 19 0 254756996 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22861/statm: 2406244 28557 2261 9 0 2396937 0
[pid=22861/tid=22863] ppid=22859 vsize=9624976 CPUtime=1.46 cores=0,2,4,6
/proc/22861/task/22863/stat : 22863 (java) R 22859 22861 21352 0 -1 4202560 2557 0 1 0 143 3 0 0 20 0 19 0 254756997 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882724762200 139882597472511 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22864] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22864/stat : 22864 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882568870312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22865] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22865/stat : 22865 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882567817768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22866] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22866/stat : 22866 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882566764712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22867] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22867/stat : 22867 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882565712168 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22868] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22868/stat : 22868 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882564660136 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.8 cores=0,2,4,6
/proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7908 0 0 0 78 2 0 0 20 0 19 0 254757002 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.75 cores=0,2,4,6
/proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5493 0 0 0 74 1 0 0 20 0 19 0 254757002 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 28557 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 9624976
[startup+3.10069 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 22936
/proc/meminfo: memFree=27439200/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9624976 CPUtime=4.8 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 17315 0 1 0 470 10 0 0 20 0 19 0 254756996 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22861/statm: 2406244 48074 2286 9 0 2396937 0
[pid=22861/tid=22863] ppid=22859 vsize=9624976 CPUtime=2.93 cores=0,2,4,6
/proc/22861/task/22863/stat : 22863 (java) R 22859 22861 21352 0 -1 4202560 2563 0 1 0 290 3 0 0 20 0 19 0 254756997 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882724761888 139882597421213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22864] ppid=22859 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22861/task/22864/stat : 22864 (java) S 22859 22861 21352 0 -1 4202560 25 0 0 0 0 1 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882568870312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22865] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22865/stat : 22865 (java) S 22859 22861 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882567817768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22866] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22866/stat : 22866 (java) S 22859 22861 21352 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882566764712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22867] ppid=22859 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/22861/task/22867/stat : 22867 (java) S 22859 22861 21352 0 -1 4202560 30 0 0 0 1 1 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882565712168 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22868] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22868/stat : 22868 (java) S 22859 22861 21352 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882564660136 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=0.08 cores=0,2,4,6
/proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 43 0 0 0 8 0 0 0 20 0 19 0 254756999 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.83 cores=0,2,4,6
/proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7915 0 0 0 81 2 0 0 20 0 19 0 254757002 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5499 0 0 0 76 2 0 0 20 0 19 0 254757002 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 48074 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 9624976
[startup+6.3007 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 22936
/proc/meminfo: memFree=27365660/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9624976 CPUtime=8.09 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 17824 0 1 0 797 12 0 0 20 0 19 0 254756996 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22861/statm: 2406244 52561 2286 9 0 2396937 0
[pid=22861/tid=22863] ppid=22859 vsize=9624976 CPUtime=5.94 cores=0,2,4,6
/proc/22861/task/22863/stat : 22863 (java) R 22859 22861 21352 0 -1 4202560 2565 0 1 0 591 3 0 0 20 0 19 0 254756997 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882724761888 139882597605012 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22864] ppid=22859 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/22861/task/22864/stat : 22864 (java) S 22859 22861 21352 0 -1 4202560 26 0 0 0 1 1 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882568870312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22865] ppid=22859 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/22861/task/22865/stat : 22865 (java) S 22859 22861 21352 0 -1 4202560 110 0 0 0 2 0 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882567817768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22866] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22866/stat : 22866 (java) S 22859 22861 21352 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882566764712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22867] ppid=22859 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/22861/task/22867/stat : 22867 (java) S 22859 22861 21352 0 -1 4202560 145 0 0 0 1 2 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882565712168 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22868] ppid=22859 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22861/task/22868/stat : 22868 (java) S 22859 22861 21352 0 -1 4202560 127 0 0 0 1 0 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882564660136 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 166 0 0 0 1 1 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 254756998 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 48 0 0 0 24 0 0 0 20 0 19 0 254756999 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.83 cores=0,2,4,6
/proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7916 0 0 0 81 2 0 0 20 0 19 0 254757002 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.82 cores=0,2,4,6
/proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5509 0 0 0 80 2 0 0 20 0 19 0 254757002 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 52561 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.09
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=2.32 cores=0,2,4,6
/proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 818 0 0 0 204 28 0 0 20 0 19 0 254756998 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=2.35 cores=0,2,4,6
/proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 1039 0 0 0 208 27 0 0 20 0 19 0 254756998 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=2.24 cores=0,2,4,6
/proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 866 0 0 0 203 21 0 0 20 0 19 0 254756998 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=13.52 cores=0,2,4,6
/proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 3500 0 0 0 1347 5 0 0 20 0 19 0 254756999 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.83 cores=0,2,4,6
/proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7916 0 0 0 81 2 0 0 20 0 19 0 254757002 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5517 0 0 0 84 2 0 0 20 0 19 0 254757002 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0.63 cores=0,2,4,6
/proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 99 0 0 0 31 32 0 0 20 0 19 0 254757002 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 457203 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1737.67
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 22951
/proc/meminfo: memFree=25060552/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9624976 CPUtime=1797.86 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 28719 0 1 0 179558 228 0 0 20 0 19 0 254756996 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22861/statm: 2406244 457196 2287 9 0 2396937 0
[pid=22861/tid=22863] ppid=22859 vsize=9624976 CPUtime=1763.27 cores=0,2,4,6
/proc/22861/task/22863/stat : 22863 (java) R 22859 22861 21352 0 -1 4202560 3309 0 1 0 176294 33 0 0 20 0 19 0 254756997 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882724761888 139882597432521 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22864] ppid=22859 vsize=9624976 CPUtime=2.47 cores=0,2,4,6
/proc/22861/task/22864/stat : 22864 (java) S 22859 22861 21352 0 -1 4202560 1014 0 0 0 219 28 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882568870312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22865] ppid=22859 vsize=9624976 CPUtime=2.43 cores=0,2,4,6
/proc/22861/task/22865/stat : 22865 (java) S 22859 22861 21352 0 -1 4202560 869 0 0 0 223 20 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882567817768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22866] ppid=22859 vsize=9624976 CPUtime=2.46 cores=0,2,4,6
/proc/22861/task/22866/stat : 22866 (java) S 22859 22861 21352 0 -1 4202560 658 0 0 0 224 22 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882566764712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22867] ppid=22859 vsize=9624976 CPUtime=2.15 cores=0,2,4,6
/proc/22861/task/22867/stat : 22867 (java) S 22859 22861 21352 0 -1 4202560 852 0 0 0 193 22 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882565712168 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22868] ppid=22859 vsize=9624976 CPUtime=2.47 cores=0,2,4,6
/proc/22861/task/22868/stat : 22868 (java) S 22859 22861 21352 0 -1 4202560 1069 0 0 0 217 30 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882564660136 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=2.33 cores=0,2,4,6
/proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 818 0 0 0 205 28 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=2.4 cores=0,2,4,6
/proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 1039 0 0 0 213 27 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=2.26 cores=0,2,4,6
/proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 866 0 0 0 205 21 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=13.76 cores=0,2,4,6
/proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 3504 0 0 0 1371 5 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.83 cores=0,2,4,6
/proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7916 0 0 0 81 2 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5517 0 0 0 84 2 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 103 0 0 0 32 34 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1784.5 s]
/proc/loadavg: 2.02 2.02 2.00 2/193 22954
/proc/meminfo: memFree=25873268/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9624976 CPUtime=1800.07 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 28719 0 1 0 179779 228 0 0 20 0 19 0 254756996 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22861/statm: 2406244 457196 2287 9 0 2396937 0
[pid=22861/tid=22863] ppid=22859 vsize=9624976 CPUtime=1765.48 cores=0,2,4,6
/proc/22861/task/22863/stat : 22863 (java) R 22859 22861 21352 0 -1 4202560 3309 0 1 0 176515 33 0 0 20 0 19 0 254756997 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882724761888 139882596714434 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22864] ppid=22859 vsize=9624976 CPUtime=2.47 cores=0,2,4,6
/proc/22861/task/22864/stat : 22864 (java) S 22859 22861 21352 0 -1 4202560 1014 0 0 0 219 28 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882568870312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22865] ppid=22859 vsize=9624976 CPUtime=2.43 cores=0,2,4,6
/proc/22861/task/22865/stat : 22865 (java) S 22859 22861 21352 0 -1 4202560 869 0 0 0 223 20 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882567817768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22866] ppid=22859 vsize=9624976 CPUtime=2.46 cores=0,2,4,6
/proc/22861/task/22866/stat : 22866 (java) S 22859 22861 21352 0 -1 4202560 658 0 0 0 224 22 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882566764712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22867] ppid=22859 vsize=9624976 CPUtime=2.15 cores=0,2,4,6
/proc/22861/task/22867/stat : 22867 (java) S 22859 22861 21352 0 -1 4202560 852 0 0 0 193 22 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882565712168 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22868] ppid=22859 vsize=9624976 CPUtime=2.47 cores=0,2,4,6
/proc/22861/task/22868/stat : 22868 (java) S 22859 22861 21352 0 -1 4202560 1069 0 0 0 217 30 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882564660136 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=2.33 cores=0,2,4,6
/proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 818 0 0 0 205 28 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=2.4 cores=0,2,4,6
/proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 1039 0 0 0 213 27 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=2.26 cores=0,2,4,6
/proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 866 0 0 0 205 21 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=13.76 cores=0,2,4,6
/proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 3504 0 0 0 1371 5 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.83 cores=0,2,4,6
/proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7916 0 0 0 81 2 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5517 0 0 0 84 2 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 103 0 0 0 32 34 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1784.5 s]
/proc/loadavg: 2.02 2.02 2.00 2/193 22954
/proc/meminfo: memFree=25873268/32873844 swapFree=6080/6080
[pid=22861] ppid=22859 vsize=9624976 CPUtime=1800.07 cores=0,2,4,6
/proc/22861/stat : 22861 (java) S 22859 22861 21352 0 -1 4202496 28719 0 1 0 179779 228 0 0 20 0 19 0 254756996 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 140734461416768 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22861/statm: 2406244 457196 2287 9 0 2396937 0
[pid=22861/tid=22863] ppid=22859 vsize=9624976 CPUtime=1765.48 cores=0,2,4,6
/proc/22861/task/22863/stat : 22863 (java) R 22859 22861 21352 0 -1 4202560 3309 0 1 0 176515 33 0 0 20 0 19 0 254756997 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882724761888 139882596714434 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22864] ppid=22859 vsize=9624976 CPUtime=2.47 cores=0,2,4,6
/proc/22861/task/22864/stat : 22864 (java) S 22859 22861 21352 0 -1 4202560 1014 0 0 0 219 28 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882568870312 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22865] ppid=22859 vsize=9624976 CPUtime=2.43 cores=0,2,4,6
/proc/22861/task/22865/stat : 22865 (java) S 22859 22861 21352 0 -1 4202560 869 0 0 0 223 20 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882567817768 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22866] ppid=22859 vsize=9624976 CPUtime=2.46 cores=0,2,4,6
/proc/22861/task/22866/stat : 22866 (java) S 22859 22861 21352 0 -1 4202560 658 0 0 0 224 22 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882566764712 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22867] ppid=22859 vsize=9624976 CPUtime=2.15 cores=0,2,4,6
/proc/22861/task/22867/stat : 22867 (java) S 22859 22861 21352 0 -1 4202560 852 0 0 0 193 22 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882565712168 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22868] ppid=22859 vsize=9624976 CPUtime=2.47 cores=0,2,4,6
/proc/22861/task/22868/stat : 22868 (java) S 22859 22861 21352 0 -1 4202560 1069 0 0 0 217 30 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882564660136 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22861/tid=22869] ppid=22859 vsize=9624976 CPUtime=2.33 cores=0,2,4,6
/proc/22861/task/22869/stat : 22869 (java) S 22859 22861 21352 0 -1 4202560 818 0 0 0 205 28 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882563607592 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22870] ppid=22859 vsize=9624976 CPUtime=2.4 cores=0,2,4,6
/proc/22861/task/22870/stat : 22870 (java) S 22859 22861 21352 0 -1 4202560 1039 0 0 0 213 27 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882562554536 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22871] ppid=22859 vsize=9624976 CPUtime=2.26 cores=0,2,4,6
/proc/22861/task/22871/stat : 22871 (java) S 22859 22861 21352 0 -1 4202560 866 0 0 0 205 21 0 0 20 0 19 0 254756998 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882561501992 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22872] ppid=22859 vsize=9624976 CPUtime=13.76 cores=0,2,4,6
/proc/22861/task/22872/stat : 22872 (java) S 22859 22861 21352 0 -1 4202560 3504 0 0 0 1371 5 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882549090664 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22873] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22873/stat : 22873 (java) S 22859 22861 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882548036984 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22874] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22874/stat : 22874 (java) S 22859 22861 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254756999 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882546983816 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22875] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22875/stat : 22875 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882545932560 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22876] ppid=22859 vsize=9624976 CPUtime=0.83 cores=0,2,4,6
/proc/22861/task/22876/stat : 22876 (java) S 22859 22861 21352 0 -1 4202560 7916 0 0 0 81 2 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882544880440 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22861/tid=22877] ppid=22859 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/22861/task/22877/stat : 22877 (java) S 22859 22861 21352 0 -1 4202560 5517 0 0 0 84 2 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882543827896 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22878] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22878/stat : 22878 (java) S 22859 22861 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882542775032 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22861/tid=22879] ppid=22859 vsize=9624976 CPUtime=0.66 cores=0,2,4,6
/proc/22861/task/22879/stat : 22879 (java) S 22859 22861 21352 0 -1 4202560 103 0 0 0 32 34 0 0 20 0 19 0 254757002 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882541722696 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22861/tid=22935] ppid=22859 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22861/task/22935/stat : 22935 (java) S 22859 22861 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254757069 9855975424 457196 33554432000 1073741824 1073778376 140734461425632 139882540635176 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976
Child status: 143
Real time (s): 1784.55
CPU time (s): 1800.91
CPU user time (s): 1798.03
CPU system time (s): 2.88256
CPU usage (%): 100.916
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.03
system time used= 2.88256
maximum resident set size= 1896268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28752
page faults= 1
swaps= 0
block input operations= 240
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41787
involuntary context switches= 27892
runsolver used 6.22905 second user time and 14.4948 second system time
The end