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-3734160-1338744408/watcher-3734160-1338744408 -o /tmp/evaluation-result-3734160-1338744408/solver-3734160-1338744408 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3734160-1338744408.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.74 2.46 2.72 2/171 18986
/proc/meminfo: memFree=31568160/32873648 swapFree=7628/7628
[pid=18986] ppid=18984 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/18986/stat : 18986 (java) R 18984 18986 3958 0 -1 4202496 981 0 0 0 0 0 0 0 20 0 1 0 340566796 23793664 708 33554432000 1073741824 1073778376 140735565911936 140735565901000 217401308520 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18986/statm: 5809 708 523 9 0 128 0
[startup+0.104327 s]
/proc/loadavg: 1.74 2.46 2.72 2/171 18986
/proc/meminfo: memFree=31568160/32873648 swapFree=7628/7628
[pid=18986] ppid=18984 vsize=2699928 CPUtime=0.12 cores=0,2,4,6
/proc/18986/stat : 18986 (java) S 18984 18986 3958 0 -1 4202496 4918 0 1 0 11 1 0 0 20 0 18 0 340566796 2764726272 6079 33554432000 1073741824 1073778376 140735565911936 140735565903072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18986/statm: 674982 6079 2153 9 0 665676 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 2699928
[startup+0.200172 s]
/proc/loadavg: 1.74 2.46 2.72 2/171 18986
/proc/meminfo: memFree=31568160/32873648 swapFree=7628/7628
[pid=18986] ppid=18984 vsize=2966184 CPUtime=0.35 cores=0,2,4,6
/proc/18986/stat : 18986 (java) S 18984 18986 3958 0 -1 4202496 6833 0 1 0 34 1 0 0 20 0 22 0 340566796 3037372416 9494 33554432000 1073741824 1073778376 140735565911936 140735565903072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18986/statm: 741546 9494 2222 9 0 732240 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 2966184
[startup+0.300174 s]
/proc/loadavg: 1.74 2.46 2.72 2/171 18986
/proc/meminfo: memFree=31568160/32873648 swapFree=7628/7628
[pid=18986] ppid=18984 vsize=2966184 CPUtime=0.75 cores=0,2,4,6
/proc/18986/stat : 18986 (java) S 18984 18986 3958 0 -1 4202496 11920 0 1 0 73 2 0 0 20 0 22 0 340566796 3037372416 13297 33554432000 1073741824 1073778376 140735565911936 140735565903072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18986/statm: 741546 13297 2229 9 0 732240 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 2966184
[startup+0.700201 s]
/proc/loadavg: 1.74 2.46 2.72 2/171 18986
/proc/meminfo: memFree=31568160/32873648 swapFree=7628/7628
[pid=18986] ppid=18984 vsize=2966184 CPUtime=1.04 cores=0,2,4,6
/proc/18986/stat : 18986 (java) S 18984 18986 3958 0 -1 4202496 12244 0 1 0 100 4 0 0 20 0 20 0 340566796 3037372416 13496 33554432000 1073741824 1073778376 140735565911936 140735565903072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18986/statm: 741546 13496 2236 9 0 732240 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 2966184
[startup+1.50066 s]
/proc/loadavg: 1.74 2.46 2.72 1/191 19008
/proc/meminfo: memFree=31523272/32873648 swapFree=7628/7628
[pid=18986] ppid=18984 vsize=2966184 CPUtime=1.11 cores=0,2,4,6
/proc/18986/stat : 18986 (java) S 18984 18986 3958 0 -1 4202496 12269 0 1 0 105 6 0 0 20 0 20 0 340566796 3037372416 15045 33554432000 1073741824 1073778376 140735565911936 140735565903072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18986/statm: 741546 15045 2241 9 0 732240 0
[pid=18986/tid=18988] ppid=18984 vsize=2966184 CPUtime=0.13 cores=0,2,4,6
/proc/18986/task/18988/stat : 18988 (java) S 18984 18986 3958 0 -1 4202560 2851 0 1 0 11 2 0 0 20 0 20 0 340566796 3037372416 15045 33554432000 1073741824 1073778376 140735565911936 139678174643352 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18989/stat : 18989 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 15045 33554432000 1073741824 1073778376 140735565911936 139678040714024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=18990] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18990/stat : 18990 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 15045 33554432000 1073741824 1073778376 140735565911936 139678039661224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18986/tid=18991] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18991/stat : 18991 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 15045 33554432000 1073741824 1073778376 140735565911936 139678038608936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18986/tid=18992] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18992/stat : 18992 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 15045 33554432000 1073741824 1073778376 140735565911936 139678037556136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18986/tid=18993] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18993/stat : 18993 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 15045 33554432000 1073741824 1073778376 140735565911936 139678036502824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=18994] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18994/stat : 18994 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 15045 33554432000 1073741824 1073778376 140735565911936 139678035450024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18986/tid=18995] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18995/stat : 18995 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 15045 33554432000 1073741824 1073778376 140735565911936 139678034397736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=18996] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18996/stat : 18996 (java) S 18984 18986 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 15045 33554432000 1073741824 1073778376 140735565911936 139678033344936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=18997] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18997/stat : 18997 (java) S 18984 18986 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 340566798 3037372416 15045 33554432000 1073741824 1073778376 140735565911936 139678021147368 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18986/tid=18998] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18998/stat : 18998 (java) S 18984 18986 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340566798 3037372416 15045 33554432000 1073741824 1073778376 140735565911936 139678020093432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=18999] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18999/stat : 18999 (java) S 18984 18986 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566799 3037372416 15045 33554432000 1073741824 1073778376 140735565911936 139678019041032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=19000] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/19000/stat : 19000 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566801 3037372416 15045 33554432000 1073741824 1073778376 140735565911936 139678017989520 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=19001] ppid=18984 vsize=2966184 CPUtime=0.26 cores=0,2,4,6
/proc/18986/task/19001/stat : 19001 (java) S 18984 18986 3958 0 -1 4202560 4309 0 0 0 26 0 0 0 20 0 20 0 340566801 3037372416 15045 33554432000 1073741824 1073778376 140735565911936 139678016936120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=19002] ppid=18984 vsize=2966184 CPUtime=0.28 cores=0,2,4,6
/proc/18986/task/19002/stat : 19002 (java) S 18984 18986 3958 0 -1 4202560 3778 0 0 0 28 0 0 0 20 0 20 0 340566801 3037372416 15045 33554432000 1073741824 1073778376 140735565911936 139678015883320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18986/tid=19003] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/19003/stat : 19003 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566801 3037372416 15045 33554432000 1073741824 1073778376 140735565911936 139678014831224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18986/tid=19004] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/19004/stat : 19004 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566801 3037372416 15045 33554432000 1073741824 1073778376 140735565911936 139678013778632 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18986/tid=19007] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/19007/stat : 19007 (java) S 18984 18986 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566811 3037372416 15045 33554432000 1073741824 1073778376 140735565911936 139678010619560 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18986/tid=19008] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/19008/stat : 19008 (java) S 18984 18986 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566811 3037372416 15045 33554432000 1073741824 1073778376 140735565911936 139678009566760 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 2966184
[startup+3.10071 s]
/proc/loadavg: 1.74 2.46 2.72 1/191 19012
/proc/meminfo: memFree=31512288/32873648 swapFree=7628/7628
[pid=18986] ppid=18984 vsize=2966184 CPUtime=1.12 cores=0,2,4,6
/proc/18986/stat : 18986 (java) S 18984 18986 3958 0 -1 4202496 12275 0 1 0 105 7 0 0 20 0 20 0 340566796 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 140735565903072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18986/statm: 741546 16069 2241 9 0 732240 0
[pid=18986/tid=18988] ppid=18984 vsize=2966184 CPUtime=0.13 cores=0,2,4,6
/proc/18986/task/18988/stat : 18988 (java) S 18984 18986 3958 0 -1 4202560 2851 0 1 0 11 2 0 0 20 0 20 0 340566796 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678174643352 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18989/stat : 18989 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678040714024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=18990] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18990/stat : 18990 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678039661224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18986/tid=18991] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18991/stat : 18991 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678038608936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18986/tid=18992] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18992/stat : 18992 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678037556136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18986/tid=18993] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18993/stat : 18993 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678036502824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=18994] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18994/stat : 18994 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678035450024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18986/tid=18995] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18995/stat : 18995 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678034397736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=18996] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18996/stat : 18996 (java) S 18984 18986 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678033344936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=18997] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18997/stat : 18997 (java) S 18984 18986 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 340566798 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678021147368 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18986/tid=18998] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18998/stat : 18998 (java) S 18984 18986 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340566798 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678020093432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=18999] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18999/stat : 18999 (java) S 18984 18986 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566799 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678019041032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=19000] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/19000/stat : 19000 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566801 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678017989520 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=19001] ppid=18984 vsize=2966184 CPUtime=0.26 cores=0,2,4,6
/proc/18986/task/19001/stat : 19001 (java) S 18984 18986 3958 0 -1 4202560 4309 0 0 0 26 0 0 0 20 0 20 0 340566801 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678016936120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=19002] ppid=18984 vsize=2966184 CPUtime=0.28 cores=0,2,4,6
/proc/18986/task/19002/stat : 19002 (java) S 18984 18986 3958 0 -1 4202560 3778 0 0 0 28 0 0 0 20 0 20 0 340566801 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678015883320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18986/tid=19003] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/19003/stat : 19003 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566801 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678014831224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18986/tid=19004] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/19004/stat : 19004 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566801 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678013778632 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18986/tid=19007] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/19007/stat : 19007 (java) S 18984 18986 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566811 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678010619560 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18986/tid=19008] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/19008/stat : 19008 (java) S 18984 18986 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566811 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678009566760 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2966184
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+3.10071 s]
/proc/loadavg: 1.60 2.42 2.71 1/191 19012
/proc/meminfo: memFree=31512156/32873648 swapFree=7628/7628
[pid=18986] ppid=18984 vsize=2966184 CPUtime=1.12 cores=0,2,4,6
/proc/18986/stat : 18986 (java) S 18984 18986 3958 0 -1 4202496 12275 0 1 0 105 7 0 0 20 0 20 0 340566796 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 140735565903072 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18986/statm: 741546 16069 2241 9 0 732240 0
[pid=18986/tid=18988] ppid=18984 vsize=2966184 CPUtime=0.13 cores=0,2,4,6
/proc/18986/task/18988/stat : 18988 (java) S 18984 18986 3958 0 -1 4202560 2851 0 1 0 11 2 0 0 20 0 20 0 340566796 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678174643352 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18986/tid=18989] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18989/stat : 18989 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678040714024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=18990] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18990/stat : 18990 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678039661224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18986/tid=18991] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18991/stat : 18991 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678038608936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18986/tid=18992] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18992/stat : 18992 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678037556136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18986/tid=18993] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18993/stat : 18993 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678036502824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=18994] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18994/stat : 18994 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678035450024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18986/tid=18995] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18995/stat : 18995 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678034397736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=18996] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18996/stat : 18996 (java) S 18984 18986 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340566797 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678033344936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=18997] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18997/stat : 18997 (java) S 18984 18986 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 340566798 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678021147368 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18986/tid=18998] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18998/stat : 18998 (java) S 18984 18986 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340566798 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678020093432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=18999] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/18999/stat : 18999 (java) S 18984 18986 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566799 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678019041032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=19000] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/19000/stat : 19000 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566801 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678017989520 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=19001] ppid=18984 vsize=2966184 CPUtime=0.26 cores=0,2,4,6
/proc/18986/task/19001/stat : 19001 (java) S 18984 18986 3958 0 -1 4202560 4309 0 0 0 26 0 0 0 20 0 20 0 340566801 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678016936120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18986/tid=19002] ppid=18984 vsize=2966184 CPUtime=0.28 cores=0,2,4,6
/proc/18986/task/19002/stat : 19002 (java) S 18984 18986 3958 0 -1 4202560 3778 0 0 0 28 0 0 0 20 0 20 0 340566801 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678015883320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18986/tid=19003] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/19003/stat : 19003 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566801 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678014831224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18986/tid=19004] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/19004/stat : 19004 (java) S 18984 18986 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340566801 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678013778632 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18986/tid=19007] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/19007/stat : 19007 (java) S 18984 18986 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566811 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678010619560 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18986/tid=19008] ppid=18984 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/18986/task/19008/stat : 19008 (java) S 18984 18986 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340566811 3037372416 16069 33554432000 1073741824 1073778376 140735565911936 139678009566760 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2966184
Child status: 30
Real time (s): 3.16133
CPU time (s): 1.16382
CPU user time (s): 1.07284
CPU system time (s): 0.090986
CPU usage (%): 36.8144
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.07284
system time used= 0.090986
maximum resident set size= 66348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12285
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= 393
involuntary context switches= 46
runsolver used 0.012998 second user time and 0.029995 second system time
The end