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-3732785-1338740590/watcher-3732785-1338740590 -o /tmp/evaluation-result-3732785-1338740590/solver-3732785-1338740590 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3732785-1338740590.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.16 3.42 3.52 4/199 19974
/proc/meminfo: memFree=27947548/32873844 swapFree=7380/7380
[pid=19974] ppid=19972 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/19974/stat : 19974 (java6) D 19972 19974 11290 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 340183791 9515008 183 33554432000 1073741824 1073778376 140733587747456 140733587738488 215143497397 0 0 4096 0 18446744072100748580 0 0 17 4 0 0 0 0 0
/proc/19974/statm: 2323 183 140 9 0 71 0
[startup+0.0225731 s]
/proc/loadavg: 3.16 3.42 3.52 4/199 19974
/proc/meminfo: memFree=27947548/32873844 swapFree=7380/7380
[pid=19974] ppid=19972 vsize=1621820 CPUtime=0 cores=0,2,4,6
/proc/19974/stat : 19974 (java) S 19972 19974 11290 0 -1 4202496 1734 0 1 0 0 0 0 0 20 0 2 0 340183791 1660743680 1415 33554432000 1073741824 1073778376 140735776461200 140735776452336 215146856509 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19974/statm: 405455 1431 938 9 0 396564 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1621820
[startup+0.100177 s]
/proc/loadavg: 3.16 3.42 3.52 4/199 19974
/proc/meminfo: memFree=27947548/32873844 swapFree=7380/7380
[pid=19974] ppid=19972 vsize=2699928 CPUtime=0.07 cores=0,2,4,6
/proc/19974/stat : 19974 (java) S 19972 19974 11290 0 -1 4202496 4194 0 1 0 6 1 0 0 20 0 18 0 340183791 2764726272 5402 33554432000 1073741824 1073778376 140735776461200 140735776452336 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19974/statm: 674982 5402 1933 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928
[startup+0.300228 s]
/proc/loadavg: 3.16 3.42 3.52 4/199 19974
/proc/meminfo: memFree=27947548/32873844 swapFree=7380/7380
[pid=19974] ppid=19972 vsize=2966184 CPUtime=0.13 cores=0,2,4,6
/proc/19974/stat : 19974 (java) S 19972 19974 11290 0 -1 4202496 4997 0 1 0 12 1 0 0 20 0 20 0 340183791 3037372416 7171 33554432000 1073741824 1073778376 140735776461200 140735776452336 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19974/statm: 741546 7171 2157 9 0 732240 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2966184
[startup+0.70021 s]
/proc/loadavg: 3.16 3.42 3.52 4/199 19974
/proc/meminfo: memFree=27947548/32873844 swapFree=7380/7380
[pid=19974] ppid=19972 vsize=2966184 CPUtime=0.13 cores=0,2,4,6
/proc/19974/stat : 19974 (java) S 19972 19974 11290 0 -1 4202496 4997 0 1 0 12 1 0 0 20 0 20 0 340183791 3037372416 7171 33554432000 1073741824 1073778376 140735776461200 140735776452336 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19974/statm: 741546 7171 2157 9 0 732240 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2966184
[startup+1.5007 s]
/proc/loadavg: 3.16 3.42 3.52 3/219 19996
/proc/meminfo: memFree=27929980/32873844 swapFree=7380/7380
[pid=19974] ppid=19972 vsize=2966184 CPUtime=0.13 cores=0,2,4,6
/proc/19974/stat : 19974 (java) S 19972 19974 11290 0 -1 4202496 5056 0 1 0 12 1 0 0 20 0 20 0 340183791 3037372416 8231 33554432000 1073741824 1073778376 140735776461200 140735776452336 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19974/statm: 741546 8231 2157 9 0 732240 0
[pid=19974/tid=19976] ppid=19972 vsize=2966184 CPUtime=0.11 cores=0,2,4,6
/proc/19974/task/19976/stat : 19976 (java) S 19972 19974 11290 0 -1 4202560 2834 0 1 0 9 2 0 0 20 0 20 0 340183792 3037372416 8231 33554432000 1073741824 1073778376 140735776461200 139775212672152 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19974/tid=19977] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19977/stat : 19977 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 8231 33554432000 1073741824 1073778376 140735776461200 139775148464424 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19978] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19978/stat : 19978 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 8231 33554432000 1073741824 1073778376 140735776461200 139775078287528 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19974/tid=19979] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19979/stat : 19979 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 8231 33554432000 1073741824 1073778376 140735776461200 139775077235240 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19974/tid=19980] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19980/stat : 19980 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 8231 33554432000 1073741824 1073778376 140735776461200 139775076182440 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19974/tid=19981] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19981/stat : 19981 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 8231 33554432000 1073741824 1073778376 140735776461200 139775075130152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19982] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19982/stat : 19982 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 8231 33554432000 1073741824 1073778376 140735776461200 139775074077352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19974/tid=19983] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19983/stat : 19983 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 8231 33554432000 1073741824 1073778376 140735776461200 139775073025064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19984] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19984/stat : 19984 (java) S 19972 19974 11290 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 8231 33554432000 1073741824 1073778376 140735776461200 139775071972264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19985] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19985/stat : 19985 (java) S 19972 19974 11290 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340183794 3037372416 8231 33554432000 1073741824 1073778376 140735776461200 139775059560680 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19974/tid=19986] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19986/stat : 19986 (java) S 19972 19974 11290 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340183795 3037372416 8231 33554432000 1073741824 1073778376 140735776461200 139775058506744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19987] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19987/stat : 19987 (java) S 19972 19974 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340183795 3037372416 8231 33554432000 1073741824 1073778376 140735776461200 139775057454344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19988] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19988/stat : 19988 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183798 3037372416 8231 33554432000 1073741824 1073778376 140735776461200 139775056402832 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19989] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19989/stat : 19989 (java) S 19972 19974 11290 0 -1 4202560 370 0 0 0 0 0 0 0 20 0 20 0 340183798 3037372416 8231 33554432000 1073741824 1073778376 140735776461200 139775055350456 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19990] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19990/stat : 19990 (java) S 19972 19974 11290 0 -1 4202560 550 0 0 0 0 0 0 0 20 0 20 0 340183798 3037372416 8231 33554432000 1073741824 1073778376 140735776461200 139775054297656 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19974/tid=19991] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19991/stat : 19991 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183798 3037372416 8231 33554432000 1073741824 1073778376 140735776461200 139775053245560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19974/tid=19992] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19992/stat : 19992 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183798 3037372416 8231 33554432000 1073741824 1073778376 140735776461200 139775052192968 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19974/tid=19995] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19995/stat : 19995 (java) S 19972 19974 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340183805 3037372416 8231 33554432000 1073741824 1073778376 140735776461200 139775049032872 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19974/tid=19996] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19996/stat : 19996 (java) S 19972 19974 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340183805 3037372416 8231 33554432000 1073741824 1073778376 140735776461200 139775047980072 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2966184
[startup+3.10073 s]
/proc/loadavg: 3.16 3.42 3.52 3/219 19998
/proc/meminfo: memFree=27925380/32873844 swapFree=7380/7380
[pid=19974] ppid=19972 vsize=2966184 CPUtime=0.13 cores=0,2,4,6
/proc/19974/stat : 19974 (java) S 19972 19974 11290 0 -1 4202496 5062 0 1 0 12 1 0 0 20 0 20 0 340183791 3037372416 9255 33554432000 1073741824 1073778376 140735776461200 140735776452336 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19974/statm: 741546 9255 2157 9 0 732240 0
[pid=19974/tid=19976] ppid=19972 vsize=2966184 CPUtime=0.11 cores=0,2,4,6
/proc/19974/task/19976/stat : 19976 (java) S 19972 19974 11290 0 -1 4202560 2834 0 1 0 9 2 0 0 20 0 20 0 340183792 3037372416 9255 33554432000 1073741824 1073778376 140735776461200 139775212672152 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19974/tid=19977] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19977/stat : 19977 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 9255 33554432000 1073741824 1073778376 140735776461200 139775148464424 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19978] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19978/stat : 19978 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 9255 33554432000 1073741824 1073778376 140735776461200 139775078287528 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19974/tid=19979] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19979/stat : 19979 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 9255 33554432000 1073741824 1073778376 140735776461200 139775077235240 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19974/tid=19980] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19980/stat : 19980 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 9255 33554432000 1073741824 1073778376 140735776461200 139775076182440 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19974/tid=19981] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19981/stat : 19981 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 9255 33554432000 1073741824 1073778376 140735776461200 139775075130152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19982] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19982/stat : 19982 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 9255 33554432000 1073741824 1073778376 140735776461200 139775074077352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19974/tid=19983] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19983/stat : 19983 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 9255 33554432000 1073741824 1073778376 140735776461200 139775073025064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19984] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19984/stat : 19984 (java) S 19972 19974 11290 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 9255 33554432000 1073741824 1073778376 140735776461200 139775071972264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19985] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19985/stat : 19985 (java) S 19972 19974 11290 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340183794 3037372416 9255 33554432000 1073741824 1073778376 140735776461200 139775059560680 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19974/tid=19986] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19986/stat : 19986 (java) S 19972 19974 11290 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340183795 3037372416 9255 33554432000 1073741824 1073778376 140735776461200 139775058506744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19987] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19987/stat : 19987 (java) S 19972 19974 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340183795 3037372416 9255 33554432000 1073741824 1073778376 140735776461200 139775057454344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19988] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19988/stat : 19988 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183798 3037372416 9255 33554432000 1073741824 1073778376 140735776461200 139775056402832 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19989] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19989/stat : 19989 (java) S 19972 19974 11290 0 -1 4202560 370 0 0 0 0 0 0 0 20 0 20 0 340183798 3037372416 9255 33554432000 1073741824 1073778376 140735776461200 139775055350456 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19990] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19990/stat : 19990 (java) S 19972 19974 11290 0 -1 4202560 550 0 0 0 0 0 0 0 20 0 20 0 340183798 3037372416 9255 33554432000 1073741824 1073778376 140735776461200 139775054297656 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19974/tid=19991] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19991/stat : 19991 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183798 3037372416 9255 33554432000 1073741824 1073778376 140735776461200 139775053245560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19974/tid=19992] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19992/stat : 19992 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183798 3037372416 9255 33554432000 1073741824 1073778376 140735776461200 139775052192968 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19974/tid=19995] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19995/stat : 19995 (java) S 19972 19974 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340183805 3037372416 9255 33554432000 1073741824 1073778376 140735776461200 139775049032872 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19974/tid=19996] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19996/stat : 19996 (java) S 19972 19974 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340183805 3037372416 9255 33554432000 1073741824 1073778376 140735776461200 139775047980072 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2966184
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+3.90071 s]
/proc/loadavg: 2.99 3.38 3.51 3/219 20002
/proc/meminfo: memFree=27916700/32873844 swapFree=7380/7380
[pid=19974] ppid=19972 vsize=2966184 CPUtime=0.14 cores=0,2,4,6
/proc/19974/stat : 19974 (java) S 19972 19974 11290 0 -1 4202496 5077 0 1 0 13 1 0 0 20 0 20 0 340183791 3037372416 10284 33554432000 1073741824 1073778376 140735776461200 140735776452336 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19974/statm: 741546 10284 2157 9 0 732240 0
[pid=19974/tid=19976] ppid=19972 vsize=2966184 CPUtime=0.11 cores=0,2,4,6
/proc/19974/task/19976/stat : 19976 (java) S 19972 19974 11290 0 -1 4202560 2834 0 1 0 9 2 0 0 20 0 20 0 340183792 3037372416 10284 33554432000 1073741824 1073778376 140735776461200 139775212672152 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19974/tid=19977] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19977/stat : 19977 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 10284 33554432000 1073741824 1073778376 140735776461200 139775148464424 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19978] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19978/stat : 19978 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 10284 33554432000 1073741824 1073778376 140735776461200 139775078287528 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19974/tid=19979] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19979/stat : 19979 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 10284 33554432000 1073741824 1073778376 140735776461200 139775077235240 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19974/tid=19980] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19980/stat : 19980 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 10284 33554432000 1073741824 1073778376 140735776461200 139775076182440 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19974/tid=19981] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19981/stat : 19981 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 10284 33554432000 1073741824 1073778376 140735776461200 139775075130152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19982] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19982/stat : 19982 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 10284 33554432000 1073741824 1073778376 140735776461200 139775074077352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19974/tid=19983] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19983/stat : 19983 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 10284 33554432000 1073741824 1073778376 140735776461200 139775073025064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19984] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19984/stat : 19984 (java) S 19972 19974 11290 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 10284 33554432000 1073741824 1073778376 140735776461200 139775071972264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19985] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19985/stat : 19985 (java) S 19972 19974 11290 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340183794 3037372416 10284 33554432000 1073741824 1073778376 140735776461200 139775059560680 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19974/tid=19986] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19986/stat : 19986 (java) S 19972 19974 11290 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340183795 3037372416 10284 33554432000 1073741824 1073778376 140735776461200 139775058506744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19987] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19987/stat : 19987 (java) S 19972 19974 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340183795 3037372416 10284 33554432000 1073741824 1073778376 140735776461200 139775057454344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19988] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19988/stat : 19988 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183798 3037372416 10284 33554432000 1073741824 1073778376 140735776461200 139775056402832 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19989] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19989/stat : 19989 (java) S 19972 19974 11290 0 -1 4202560 370 0 0 0 0 0 0 0 20 0 20 0 340183798 3037372416 10284 33554432000 1073741824 1073778376 140735776461200 139775055350456 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19990] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19990/stat : 19990 (java) S 19972 19974 11290 0 -1 4202560 550 0 0 0 0 0 0 0 20 0 20 0 340183798 3037372416 10284 33554432000 1073741824 1073778376 140735776461200 139775054297656 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19974/tid=19991] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19991/stat : 19991 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183798 3037372416 10284 33554432000 1073741824 1073778376 140735776461200 139775053245560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19974/tid=19992] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19992/stat : 19992 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183798 3037372416 10284 33554432000 1073741824 1073778376 140735776461200 139775052192968 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19974/tid=19995] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19995/stat : 19995 (java) S 19972 19974 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340183805 3037372416 10284 33554432000 1073741824 1073778376 140735776461200 139775049032872 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19974/tid=19996] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19996/stat : 19996 (java) S 19972 19974 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340183805 3037372416 10284 33554432000 1073741824 1073778376 140735776461200 139775047980072 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 2966184
[startup+4.10073 s]
/proc/loadavg: 2.99 3.38 3.51 3/219 20002
/proc/meminfo: memFree=27916700/32873844 swapFree=7380/7380
[pid=19974] ppid=19972 vsize=2966184 CPUtime=0.14 cores=0,2,4,6
/proc/19974/stat : 19974 (java) S 19972 19974 11290 0 -1 4202496 5078 0 1 0 13 1 0 0 20 0 20 0 340183791 3037372416 10285 33554432000 1073741824 1073778376 140735776461200 140735776452336 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19974/statm: 741546 10285 2158 9 0 732240 0
[pid=19974/tid=19976] ppid=19972 vsize=2966184 CPUtime=0.11 cores=0,2,4,6
/proc/19974/task/19976/stat : 19976 (java) S 19972 19974 11290 0 -1 4202560 2834 0 1 0 9 2 0 0 20 0 20 0 340183792 3037372416 10285 33554432000 1073741824 1073778376 140735776461200 139775212672152 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19974/tid=19977] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19977/stat : 19977 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 10285 33554432000 1073741824 1073778376 140735776461200 139775148464424 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19978] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19978/stat : 19978 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 10285 33554432000 1073741824 1073778376 140735776461200 139775078287528 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19974/tid=19979] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19979/stat : 19979 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 10285 33554432000 1073741824 1073778376 140735776461200 139775077235240 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19974/tid=19980] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19980/stat : 19980 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 10285 33554432000 1073741824 1073778376 140735776461200 139775076182440 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19974/tid=19981] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19981/stat : 19981 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 10285 33554432000 1073741824 1073778376 140735776461200 139775075130152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19982] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19982/stat : 19982 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 10285 33554432000 1073741824 1073778376 140735776461200 139775074077352 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19974/tid=19983] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19983/stat : 19983 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 10285 33554432000 1073741824 1073778376 140735776461200 139775073025064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19984] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19984/stat : 19984 (java) S 19972 19974 11290 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340183793 3037372416 10285 33554432000 1073741824 1073778376 140735776461200 139775071972264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19985] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19985/stat : 19985 (java) S 19972 19974 11290 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340183794 3037372416 10285 33554432000 1073741824 1073778376 140735776461200 139775059560680 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19974/tid=19986] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19986/stat : 19986 (java) S 19972 19974 11290 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340183795 3037372416 10285 33554432000 1073741824 1073778376 140735776461200 139775058506744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19987] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19987/stat : 19987 (java) S 19972 19974 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340183795 3037372416 10285 33554432000 1073741824 1073778376 140735776461200 139775057454344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19988] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19988/stat : 19988 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183798 3037372416 10285 33554432000 1073741824 1073778376 140735776461200 139775056402832 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19989] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19989/stat : 19989 (java) S 19972 19974 11290 0 -1 4202560 370 0 0 0 0 0 0 0 20 0 20 0 340183798 3037372416 10285 33554432000 1073741824 1073778376 140735776461200 139775055350456 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19974/tid=19990] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19990/stat : 19990 (java) S 19972 19974 11290 0 -1 4202560 550 0 0 0 0 0 0 0 20 0 20 0 340183798 3037372416 10285 33554432000 1073741824 1073778376 140735776461200 139775054297656 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19974/tid=19991] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19991/stat : 19991 (java) S 19972 19974 11290 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340183798 3037372416 10285 33554432000 1073741824 1073778376 140735776461200 139775053245560 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19974/tid=19992] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19992/stat : 19992 (java) S 19972 19974 11290 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340183798 3037372416 10285 33554432000 1073741824 1073778376 140735776461200 139775052192968 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19974/tid=19995] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19995/stat : 19995 (java) S 19972 19974 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340183805 3037372416 10285 33554432000 1073741824 1073778376 140735776461200 139775049032872 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19974/tid=19996] ppid=19972 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19974/task/19996/stat : 19996 (java) S 19972 19974 11290 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340183805 3037372416 10285 33554432000 1073741824 1073778376 140735776461200 139775047980072 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 2966184
Child status: 30
Real time (s): 4.14864
CPU time (s): 0.171973
CPU user time (s): 0.121981
CPU system time (s): 0.049992
CPU usage (%): 4.14528
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.121981
system time used= 0.049992
maximum resident set size= 43200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5086
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 325
involuntary context switches= 22
runsolver used 0.001999 second user time and 0.046992 second system time
The end