runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454797-1307186824/watcher-3454797-1307186824 -o /tmp/evaluation-result-3454797-1307186824/solver-3454797-1307186824 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454797-1307186824.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.61 2.24 2.04 3/498 32154
/proc/meminfo: memFree=21147232/32951124 swapFree=67057928/67111528
[pid=32154] ppid=32152 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/32154/stat : 32154 (java) S 32152 32154 28116 0 -1 4202496 2857 0 1 0 0 0 0 0 25 0 2 0 811097747 10681323520 2560 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/32154/statm: 2607745 2574 906 9 0 2598901 0
[pid=32154/tid=32155] ppid=32152 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32155/stat : 32155 (java) R 32152 32154 28116 0 -1 4202560 1802 0 1 0 0 0 0 0 17 0 2 0 811097748 10681323520 2618 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0963141 s]
/proc/loadavg: 3.61 2.24 2.04 3/498 32154
/proc/meminfo: memFree=21147232/32951124 swapFree=67057928/67111528
[pid=32154] ppid=32152 vsize=10539672 CPUtime=0.09 cores=1,3,5,7
/proc/32154/stat : 32154 (java) S 32152 32154 28116 0 -1 4202496 12923 0 1 0 7 2 0 0 25 0 18 0 811097747 10792624128 12592 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32154/statm: 2634918 12592 2091 9 0 2625652 0
[pid=32154/tid=32155] ppid=32152 vsize=10539672 CPUtime=0.07 cores=1,3,5,7
/proc/32154/task/32155/stat : 32155 (java) R 32152 32154 28116 0 -1 4202560 11000 0 1 0 6 1 0 0 25 0 18 0 811097748 10792624128 12592 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539672
[startup+0.10435 s]
/proc/loadavg: 3.61 2.24 2.04 3/498 32154
/proc/meminfo: memFree=21147232/32951124 swapFree=67057928/67111528
[pid=32154] ppid=32152 vsize=10539672 CPUtime=0.1 cores=1,3,5,7
/proc/32154/stat : 32154 (java) S 32152 32154 28116 0 -1 4202496 13019 0 1 0 8 2 0 0 25 0 18 0 811097747 10792624128 12688 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32154/statm: 2634918 12688 2092 9 0 2625652 0
[pid=32154/tid=32155] ppid=32152 vsize=10539672 CPUtime=0.07 cores=1,3,5,7
/proc/32154/task/32155/stat : 32155 (java) R 32152 32154 28116 0 -1 4202560 11096 0 1 0 6 1 0 0 25 0 18 0 811097748 10792624128 12688 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 46912505173200 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539672
[startup+0.30024 s]
/proc/loadavg: 3.61 2.24 2.04 3/498 32154
/proc/meminfo: memFree=21147232/32951124 swapFree=67057928/67111528
[pid=32154] ppid=32152 vsize=10547080 CPUtime=0.64 cores=1,3,5,7
/proc/32154/stat : 32154 (java) S 32152 32154 28116 0 -1 4202496 16931 0 1 0 61 3 0 0 25 0 22 0 811097747 10800209920 15656 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32154/statm: 2636770 15656 2211 9 0 2627504 0
[pid=32154/tid=32155] ppid=32152 vsize=10547080 CPUtime=0.16 cores=1,3,5,7
/proc/32154/task/32155/stat : 32155 (java) S 32152 32154 28116 0 -1 4202560 11761 0 1 0 14 2 0 0 25 0 22 0 811097748 10800209920 15656 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 10547080
[startup+0.718066 s]
/proc/loadavg: 3.61 2.24 2.04 3/498 32154
/proc/meminfo: memFree=21147232/32951124 swapFree=67057928/67111528
[pid=32154] ppid=32152 vsize=10560412 CPUtime=2.26 cores=1,3,5,7
/proc/32154/stat : 32154 (java) S 32152 32154 28116 0 -1 4202496 42948 0 1 0 220 6 0 0 25 0 22 0 811097747 10813861888 37851 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32154/statm: 2640709 46963 2254 9 0 2631443 0
[pid=32154/tid=32155] ppid=32152 vsize=10562836 CPUtime=0.16 cores=1,3,5,7
/proc/32154/task/32155/stat : 32155 (java) S 32152 32154 28116 0 -1 4202560 11761 0 1 0 14 2 0 0 20 0 22 0 811097748 10816344064 46765 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 10560412
[startup+1.50324 s]
/proc/loadavg: 3.64 2.27 2.05 5/520 32176
/proc/meminfo: memFree=20914536/32951124 swapFree=67057928/67111528
[pid=32154] ppid=32152 vsize=10555620 CPUtime=4.35 cores=1,3,5,7
/proc/32154/stat : 32154 (java) S 32152 32154 28116 0 -1 4202496 85007 0 1 0 423 12 0 0 25 0 22 0 811097747 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32154/statm: 2638905 77326 2256 9 0 2629639 0
[pid=32154/tid=32155] ppid=32152 vsize=10555620 CPUtime=0.16 cores=1,3,5,7
/proc/32154/task/32155/stat : 32155 (java) S 32152 32154 28116 0 -1 4202560 11761 0 1 0 14 2 0 0 15 0 22 0 811097748 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=32154/tid=32157] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32157/stat : 32157 (java) R 32152 32154 28116 0 -1 4202560 156 0 0 0 0 0 0 0 15 0 22 0 811097750 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254261569847 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32154/tid=32158] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32158/stat : 32158 (java) R 32152 32154 28116 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 22 0 811097750 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254261569847 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32154/tid=32159] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32159/stat : 32159 (java) S 32152 32154 28116 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 22 0 811097750 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32160] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32160/stat : 32160 (java) R 32152 32154 28116 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 22 0 811097750 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254261569847 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32154/tid=32161] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32161/stat : 32161 (java) S 32152 32154 28116 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 811097750 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32162] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32162/stat : 32162 (java) S 32152 32154 28116 0 -1 4202560 260 0 0 0 0 0 0 0 15 0 22 0 811097750 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32163] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32163/stat : 32163 (java) S 32152 32154 28116 0 -1 4202560 233 0 0 0 0 0 0 0 16 0 22 0 811097750 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=32154/tid=32164] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32164/stat : 32164 (java) R 32152 32154 28116 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 22 0 811097750 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32154/tid=32165] ppid=32152 vsize=10555620 CPUtime=0.04 cores=1,3,5,7
/proc/32154/task/32165/stat : 32165 (java) S 32152 32154 28116 0 -1 4202560 1170 0 0 0 4 0 0 0 16 0 22 0 811097751 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 0 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=32154/tid=32166] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32166/stat : 32166 (java) S 32152 32154 28116 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 811097751 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=32154/tid=32167] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32167/stat : 32167 (java) S 32152 32154 28116 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 811097751 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=32154/tid=32168] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32168/stat : 32168 (java) S 32152 32154 28116 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 811097754 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273440177 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=32154/tid=32169] ppid=32152 vsize=10555620 CPUtime=0.81 cores=1,3,5,7
/proc/32154/task/32169/stat : 32169 (java) S 32152 32154 28116 0 -1 4202560 5770 0 0 0 81 0 0 0 15 0 22 0 811097754 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=32154/tid=32170] ppid=32152 vsize=10555620 CPUtime=0.8 cores=1,3,5,7
/proc/32154/task/32170/stat : 32170 (java) R 32152 32154 28116 0 -1 4202560 9064 0 0 0 79 1 0 0 20 0 22 0 811097754 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 47283852226801 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32154/tid=32171] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32171/stat : 32171 (java) S 32152 32154 28116 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811097754 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=32154/tid=32172] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32172/stat : 32172 (java) S 32152 32154 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811097754 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=32154/tid=32173] ppid=32152 vsize=10555620 CPUtime=1.25 cores=1,3,5,7
/proc/32154/task/32173/stat : 32173 (java) S 32152 32154 28116 0 -1 4202560 327 0 0 0 125 0 0 0 20 0 22 0 811097765 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=32154/tid=32174] ppid=32152 vsize=10555620 CPUtime=1.24 cores=1,3,5,7
/proc/32154/task/32174/stat : 32174 (java) S 32152 32154 28116 0 -1 4202560 54475 0 0 0 117 7 0 0 18 0 22 0 811097765 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=32154/tid=32175] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32175/stat : 32175 (java) S 32152 32154 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811097766 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32176] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32176/stat : 32176 (java) S 32152 32154 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811097766 10808954880 77326 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 10555620
Solver just ended. Dumping a history of the last processes samples
[startup+1.60101 s]
/proc/loadavg: 3.64 2.27 2.05 5/520 32176
/proc/meminfo: memFree=20914536/32951124 swapFree=67057928/67111528
[pid=32154] ppid=32152 vsize=10555620 CPUtime=4.54 cores=1,3,5,7
/proc/32154/stat : 32154 (java) S 32152 32154 28116 0 -1 4202496 85270 0 1 0 442 12 0 0 25 0 22 0 811097747 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32154/statm: 2638905 77589 2257 9 0 2629639 0
[pid=32154/tid=32155] ppid=32152 vsize=10555620 CPUtime=0.16 cores=1,3,5,7
/proc/32154/task/32155/stat : 32155 (java) S 32152 32154 28116 0 -1 4202560 11761 0 1 0 14 2 0 0 15 0 22 0 811097748 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=32154/tid=32157] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32157/stat : 32157 (java) S 32152 32154 28116 0 -1 4202560 156 0 0 0 0 0 0 0 15 0 22 0 811097750 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32158] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32158/stat : 32158 (java) S 32152 32154 28116 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 22 0 811097750 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32159] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32159/stat : 32159 (java) S 32152 32154 28116 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 22 0 811097750 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32160] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32160/stat : 32160 (java) S 32152 32154 28116 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 22 0 811097750 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32161] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32161/stat : 32161 (java) S 32152 32154 28116 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 811097750 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32162] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32162/stat : 32162 (java) S 32152 32154 28116 0 -1 4202560 260 0 0 0 0 0 0 0 15 0 22 0 811097750 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32163] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32163/stat : 32163 (java) S 32152 32154 28116 0 -1 4202560 233 0 0 0 0 0 0 0 15 0 22 0 811097750 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32164] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32164/stat : 32164 (java) S 32152 32154 28116 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 22 0 811097750 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32165] ppid=32152 vsize=10555620 CPUtime=0.06 cores=1,3,5,7
/proc/32154/task/32165/stat : 32165 (java) S 32152 32154 28116 0 -1 4202560 1427 0 0 0 6 0 0 0 15 0 22 0 811097751 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273433088 0 0 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=32154/tid=32166] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32166/stat : 32166 (java) S 32152 32154 28116 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 811097751 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=32154/tid=32167] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32167/stat : 32167 (java) S 32152 32154 28116 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 811097751 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=32154/tid=32168] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32168/stat : 32168 (java) S 32152 32154 28116 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 811097754 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273440177 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=32154/tid=32169] ppid=32152 vsize=10555620 CPUtime=0.82 cores=1,3,5,7
/proc/32154/task/32169/stat : 32169 (java) S 32152 32154 28116 0 -1 4202560 5771 0 0 0 82 0 0 0 15 0 22 0 811097754 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=32154/tid=32170] ppid=32152 vsize=10555620 CPUtime=0.8 cores=1,3,5,7
/proc/32154/task/32170/stat : 32170 (java) S 32152 32154 28116 0 -1 4202560 9069 0 0 0 79 1 0 0 20 0 22 0 811097754 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=32154/tid=32171] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32171/stat : 32171 (java) S 32152 32154 28116 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811097754 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=32154/tid=32172] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32172/stat : 32172 (java) S 32152 32154 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811097754 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=32154/tid=32173] ppid=32152 vsize=10555620 CPUtime=1.32 cores=1,3,5,7
/proc/32154/task/32173/stat : 32173 (java) R 32152 32154 28116 0 -1 4202560 327 0 0 0 132 0 0 0 20 0 22 0 811097765 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 46912505568065 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32154/tid=32174] ppid=32152 vsize=10555620 CPUtime=1.31 cores=1,3,5,7
/proc/32154/task/32174/stat : 32174 (java) R 32152 32154 28116 0 -1 4202560 54475 0 0 0 124 7 0 0 18 0 22 0 811097765 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 46912505688597 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32154/tid=32175] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32175/stat : 32175 (java) S 32152 32154 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811097766 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32176] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32176/stat : 32176 (java) S 32152 32154 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811097766 10808954880 77589 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 10555620
[startup+2.00099 s]
/proc/loadavg: 3.64 2.27 2.05 5/520 32176
/proc/meminfo: memFree=20914536/32951124 swapFree=67057928/67111528
[pid=32154] ppid=32152 vsize=10555620 CPUtime=5.33 cores=1,3,5,7
/proc/32154/stat : 32154 (java) S 32152 32154 28116 0 -1 4202496 86299 0 1 0 521 12 0 0 25 0 22 0 811097747 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32154/statm: 2638905 78617 2257 9 0 2629639 0
[pid=32154/tid=32155] ppid=32152 vsize=10555620 CPUtime=0.16 cores=1,3,5,7
/proc/32154/task/32155/stat : 32155 (java) S 32152 32154 28116 0 -1 4202560 11761 0 1 0 14 2 0 0 15 0 22 0 811097748 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=32154/tid=32157] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32157/stat : 32157 (java) S 32152 32154 28116 0 -1 4202560 156 0 0 0 0 0 0 0 16 0 22 0 811097750 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32158] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32158/stat : 32158 (java) S 32152 32154 28116 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 22 0 811097750 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32159] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32159/stat : 32159 (java) S 32152 32154 28116 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 22 0 811097750 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32160] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32160/stat : 32160 (java) S 32152 32154 28116 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 22 0 811097750 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32161] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32161/stat : 32161 (java) S 32152 32154 28116 0 -1 4202560 16 0 0 0 0 0 0 0 16 0 22 0 811097750 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32162] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32162/stat : 32162 (java) S 32152 32154 28116 0 -1 4202560 260 0 0 0 0 0 0 0 15 0 22 0 811097750 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32163] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32163/stat : 32163 (java) S 32152 32154 28116 0 -1 4202560 233 0 0 0 0 0 0 0 16 0 22 0 811097750 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=32154/tid=32164] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32164/stat : 32164 (java) S 32152 32154 28116 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 22 0 811097750 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32165] ppid=32152 vsize=10555620 CPUtime=0.08 cores=1,3,5,7
/proc/32154/task/32165/stat : 32165 (java) S 32152 32154 28116 0 -1 4202560 1781 0 0 0 8 0 0 0 15 0 22 0 811097751 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273433088 0 0 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=32154/tid=32166] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32166/stat : 32166 (java) S 32152 32154 28116 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 811097751 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=32154/tid=32167] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32167/stat : 32167 (java) S 32152 32154 28116 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 811097751 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=32154/tid=32168] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32168/stat : 32168 (java) S 32152 32154 28116 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 811097754 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273440177 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=32154/tid=32169] ppid=32152 vsize=10555620 CPUtime=0.83 cores=1,3,5,7
/proc/32154/task/32169/stat : 32169 (java) S 32152 32154 28116 0 -1 4202560 5771 0 0 0 83 0 0 0 15 0 22 0 811097754 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=32154/tid=32170] ppid=32152 vsize=10555620 CPUtime=0.8 cores=1,3,5,7
/proc/32154/task/32170/stat : 32170 (java) S 32152 32154 28116 0 -1 4202560 9069 0 0 0 79 1 0 0 20 0 22 0 811097754 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=32154/tid=32171] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32171/stat : 32171 (java) S 32152 32154 28116 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811097754 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=32154/tid=32172] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32172/stat : 32172 (java) S 32152 32154 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811097754 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=32154/tid=32173] ppid=32152 vsize=10555620 CPUtime=1.7 cores=1,3,5,7
/proc/32154/task/32173/stat : 32173 (java) R 32152 32154 28116 0 -1 4202560 328 0 0 0 170 0 0 0 20 0 22 0 811097765 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 46912505724237 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32154/tid=32174] ppid=32152 vsize=10555620 CPUtime=1.69 cores=1,3,5,7
/proc/32154/task/32174/stat : 32174 (java) R 32152 32154 28116 0 -1 4202560 55149 0 0 0 162 7 0 0 18 0 22 0 811097765 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 46912505715101 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32154/tid=32175] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32175/stat : 32175 (java) S 32152 32154 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811097766 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=32154/tid=32176] ppid=32152 vsize=10555620 CPUtime=0 cores=1,3,5,7
/proc/32154/task/32176/stat : 32176 (java) S 32152 32154 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811097766 10808954880 78617 33554432000 1073741824 1073778376 140733489219856 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 10555620
[startup+2.20097 s]
/proc/loadavg: 3.64 2.27 2.05 4/500 32177
/proc/meminfo: memFree=21041776/32951124 swapFree=67057928/67111528
[pid=32154] ppid=32152 vsize=0 CPUtime=5.37 cores=1,3,5,7
/proc/32154/stat : 32154 (java) Z 32152 32154 28116 0 -1 4203548 86306 0 1 0 523 14 0 0 18 0 1 0 811097747 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32154/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 2.2181
CPU time (s): 5.37818
CPU user time (s): 5.2342
CPU system time (s): 0.143978
CPU usage (%): 242.468
Max. virtual memory (cumulated for all children) (KiB): 10560412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.2342
system time used= 0.143978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86306
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 461
involuntary context switches= 176
runsolver used 0.018997 second user time and 0.035994 second system time
The end