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-3458199-1307158354/watcher-3458199-1307158354 -o /tmp/evaluation-result-3458199-1307158354/solver-3458199-1307158354 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458199-1307158354.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.98 2.00 1.91 2/491 32340
/proc/meminfo: memFree=20307668/32950928 swapFree=61858088/67111528
[pid=32340] ppid=32338 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/32340/stat : 32340 (java) S 32338 32340 27375 0 -1 4202496 7430 0 1 0 0 1 0 0 25 0 2 0 827435083 13850947584 7134 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485770213 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/32340/statm: 3381579 7146 917 9 0 3372735 0
[pid=32340/tid=32341] ppid=32338 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/32340/task/32341/stat : 32341 (java) R 32338 32340 27375 0 -1 4202560 6526 0 1 0 0 1 0 0 25 0 2 0 827435083 13850947584 7342 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274473661499 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.062624 s]
/proc/loadavg: 1.98 2.00 1.91 2/491 32340
/proc/meminfo: memFree=20307668/32950928 swapFree=61858088/67111528
[pid=32340] ppid=32338 vsize=13550644 CPUtime=0.05 cores=0,2,4,6
/proc/32340/stat : 32340 (java) S 32338 32340 27375 0 -1 4202496 14048 0 1 0 3 2 0 0 25 0 14 0 827435083 13875859456 13746 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485770213 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/32340/statm: 3387661 13746 1691 9 0 3378409 0
[pid=32340/tid=32341] ppid=32338 vsize=13550644 CPUtime=0.05 cores=0,2,4,6
/proc/32340/task/32341/stat : 32341 (java) S 32338 32340 27375 0 -1 4202560 12902 0 1 0 3 2 0 0 25 0 14 0 827435083 13875859456 13746 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800971 18446604444015719488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13550644
[startup+0.100987 s]
/proc/loadavg: 1.98 2.00 1.91 2/491 32340
/proc/meminfo: memFree=20307668/32950928 swapFree=61858088/67111528
[pid=32340] ppid=32338 vsize=13687340 CPUtime=0.1 cores=0,2,4,6
/proc/32340/stat : 32340 (java) S 32338 32340 27375 0 -1 4202496 15482 0 1 0 8 2 0 0 25 0 18 0 827435083 14015836160 15151 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32340/statm: 3421835 15151 2093 9 0 3412569 0
[pid=32340/tid=32341] ppid=32338 vsize=13687340 CPUtime=0.08 cores=0,2,4,6
/proc/32340/task/32341/stat : 32341 (java) R 32338 32340 27375 0 -1 4202560 13551 0 1 0 6 2 0 0 18 0 18 0 827435083 14015836160 15151 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 47550373575869 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13687340
[startup+0.300952 s]
/proc/loadavg: 1.98 2.00 1.91 2/491 32340
/proc/meminfo: memFree=20307668/32950928 swapFree=61858088/67111528
[pid=32340] ppid=32338 vsize=13691220 CPUtime=0.53 cores=0,2,4,6
/proc/32340/stat : 32340 (java) S 32338 32340 27375 0 -1 4202496 18785 0 1 0 50 3 0 0 25 0 19 0 827435083 14019809280 17282 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32340/statm: 3422805 17282 2216 9 0 3413539 0
[pid=32340/tid=32341] ppid=32338 vsize=13691220 CPUtime=0.28 cores=0,2,4,6
/proc/32340/task/32341/stat : 32341 (java) R 32338 32340 27375 0 -1 4202560 14268 0 1 0 26 2 0 0 19 0 19 0 827435083 14019809280 17282 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 46912505525037 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 13691220
[startup+0.700881 s]
/proc/loadavg: 1.98 2.00 1.91 2/491 32340
/proc/meminfo: memFree=20307668/32950928 swapFree=61858088/67111528
[pid=32340] ppid=32338 vsize=13691220 CPUtime=1.03 cores=0,2,4,6
/proc/32340/stat : 32340 (java) S 32338 32340 27375 0 -1 4202496 20494 0 1 0 100 3 0 0 25 0 19 0 827435083 14019809280 18398 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32340/statm: 3422805 18398 2248 9 0 3413539 0
[pid=32340/tid=32341] ppid=32338 vsize=13691220 CPUtime=0.66 cores=0,2,4,6
/proc/32340/task/32341/stat : 32341 (java) R 32338 32340 27375 0 -1 4202560 14724 0 1 0 64 2 0 0 19 0 19 0 827435083 14019809280 18398 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 46912505541574 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 13691220
[startup+1.50082 s]
/proc/loadavg: 1.98 2.00 1.91 3/510 32359
/proc/meminfo: memFree=20242168/32950928 swapFree=61858088/67111528
[pid=32340] ppid=32338 vsize=13691220 CPUtime=1.85 cores=0,2,4,6
/proc/32340/stat : 32340 (java) S 32338 32340 27375 0 -1 4202496 21182 0 1 0 182 3 0 0 25 0 19 0 827435083 14019809280 19085 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32340/statm: 3422805 19085 2248 9 0 3413539 0
[pid=32340/tid=32341] ppid=32338 vsize=13691220 CPUtime=1.45 cores=0,2,4,6
/proc/32340/task/32341/stat : 32341 (java) R 32338 32340 27375 0 -1 4202560 14726 0 1 0 143 2 0 0 20 0 19 0 827435083 14019809280 19085 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 46912505530160 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32340/tid=32343] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32343/stat : 32343 (java) S 32338 32340 27375 0 -1 4202560 193 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19085 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 0 0 0 0
[pid=32340/tid=32344] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32344/stat : 32344 (java) S 32338 32340 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19085 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32345] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32345/stat : 32345 (java) S 32338 32340 27375 0 -1 4202560 123 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19085 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 0 0 0 0
[pid=32340/tid=32346] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32346/stat : 32346 (java) S 32338 32340 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19085 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 0 0 0 0
[pid=32340/tid=32347] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32347/stat : 32347 (java) S 32338 32340 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19085 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 0 0 0 0
[pid=32340/tid=32348] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32348/stat : 32348 (java) S 32338 32340 27375 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19085 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 4 0 0 0
[pid=32340/tid=32349] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32349/stat : 32349 (java) S 32338 32340 27375 0 -1 4202560 303 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19085 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 4 0 0 0
[pid=32340/tid=32350] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32350/stat : 32350 (java) S 32338 32340 27375 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19085 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 4 0 0 0
[pid=32340/tid=32351] ppid=32338 vsize=13691220 CPUtime=0.02 cores=0,2,4,6
/proc/32340/task/32351/stat : 32351 (java) S 32338 32340 27375 0 -1 4202560 639 0 0 0 2 0 0 0 15 0 19 0 827435086 14019809280 19085 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485784064 0 0 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32352] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32352/stat : 32352 (java) S 32338 32340 27375 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827435087 14019809280 19085 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32353] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32353/stat : 32353 (java) S 32338 32340 27375 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 827435087 14019809280 19085 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32354] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32354/stat : 32354 (java) S 32338 32340 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827435089 14019809280 19085 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485791153 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32355] ppid=32338 vsize=13691220 CPUtime=0.14 cores=0,2,4,6
/proc/32340/task/32355/stat : 32355 (java) S 32338 32340 27375 0 -1 4202560 1641 0 0 0 14 0 0 0 15 0 19 0 827435089 14019809280 19085 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32356] ppid=32338 vsize=13691220 CPUtime=0.21 cores=0,2,4,6
/proc/32340/task/32356/stat : 32356 (java) S 32338 32340 27375 0 -1 4202560 2218 0 0 0 21 0 0 0 16 0 19 0 827435089 14019809280 19085 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 4 0 0 0
[pid=32340/tid=32357] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32357/stat : 32357 (java) S 32338 32340 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827435089 14019809280 19085 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 0 0 0 0
[pid=32340/tid=32358] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32358/stat : 32358 (java) S 32338 32340 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827435089 14019809280 19085 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485784064 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32359] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32359/stat : 32359 (java) S 32338 32340 27375 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827435101 14019809280 19085 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485784064 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 13691220
[startup+3.10141 s]
/proc/loadavg: 1.98 2.00 1.91 3/510 32359
/proc/meminfo: memFree=20237692/32950928 swapFree=61858088/67111528
[pid=32340] ppid=32338 vsize=13691220 CPUtime=3.49 cores=0,2,4,6
/proc/32340/stat : 32340 (java) S 32338 32340 27375 0 -1 4202496 21636 0 1 0 346 3 0 0 25 0 19 0 827435083 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32340/statm: 3422805 19536 2249 9 0 3413539 0
[pid=32340/tid=32341] ppid=32338 vsize=13691220 CPUtime=2.99 cores=0,2,4,6
/proc/32340/task/32341/stat : 32341 (java) R 32338 32340 27375 0 -1 4202560 14728 0 1 0 297 2 0 0 25 0 19 0 827435083 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 46912505562304 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32340/tid=32343] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32343/stat : 32343 (java) S 32338 32340 27375 0 -1 4202560 201 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 4 0 0 0
[pid=32340/tid=32344] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32344/stat : 32344 (java) S 32338 32340 27375 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 2 0 0 0
[pid=32340/tid=32345] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32345/stat : 32345 (java) S 32338 32340 27375 0 -1 4202560 137 0 0 0 0 0 0 0 16 0 19 0 827435085 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 2 0 0 0
[pid=32340/tid=32346] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32346/stat : 32346 (java) S 32338 32340 27375 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32347] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32347/stat : 32347 (java) S 32338 32340 27375 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32348] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32348/stat : 32348 (java) S 32338 32340 27375 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32349] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32349/stat : 32349 (java) S 32338 32340 27375 0 -1 4202560 311 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 2 0 0 0
[pid=32340/tid=32350] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32350/stat : 32350 (java) S 32338 32340 27375 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32351] ppid=32338 vsize=13691220 CPUtime=0.07 cores=0,2,4,6
/proc/32340/task/32351/stat : 32351 (java) S 32338 32340 27375 0 -1 4202560 1030 0 0 0 7 0 0 0 15 0 19 0 827435086 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485784064 0 0 0 16800975 18446604444015719488 0 0 -1 0 0 0 0
[pid=32340/tid=32352] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32352/stat : 32352 (java) S 32338 32340 27375 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827435087 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32353] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32353/stat : 32353 (java) S 32338 32340 27375 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 827435087 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32354] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32354/stat : 32354 (java) S 32338 32340 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827435089 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485791153 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32355] ppid=32338 vsize=13691220 CPUtime=0.17 cores=0,2,4,6
/proc/32340/task/32355/stat : 32355 (java) S 32338 32340 27375 0 -1 4202560 1653 0 0 0 17 0 0 0 15 0 19 0 827435089 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 4 0 0 0
[pid=32340/tid=32356] ppid=32338 vsize=13691220 CPUtime=0.21 cores=0,2,4,6
/proc/32340/task/32356/stat : 32356 (java) S 32338 32340 27375 0 -1 4202560 2218 0 0 0 21 0 0 0 15 0 19 0 827435089 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 0 0 0 0
[pid=32340/tid=32357] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32357/stat : 32357 (java) S 32338 32340 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827435089 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 0 0 0 0
[pid=32340/tid=32358] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32358/stat : 32358 (java) S 32338 32340 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827435089 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485784064 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32359] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32359/stat : 32359 (java) S 32338 32340 27375 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827435101 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485784064 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 13691220
Solver just ended. Dumping a history of the last processes samples
[startup+3.50139 s]
/proc/loadavg: 1.99 2.00 1.91 3/510 32359
/proc/meminfo: memFree=20235964/32950928 swapFree=61858088/67111528
[pid=32340] ppid=32338 vsize=13691220 CPUtime=3.89 cores=0,2,4,6
/proc/32340/stat : 32340 (java) S 32338 32340 27375 0 -1 4202496 21636 0 1 0 386 3 0 0 25 0 19 0 827435083 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32340/statm: 3422805 19536 2249 9 0 3413539 0
[pid=32340/tid=32341] ppid=32338 vsize=13691220 CPUtime=3.39 cores=0,2,4,6
/proc/32340/task/32341/stat : 32341 (java) R 32338 32340 27375 0 -1 4202560 14728 0 1 0 337 2 0 0 25 0 19 0 827435083 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 46912505541727 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32340/tid=32343] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32343/stat : 32343 (java) S 32338 32340 27375 0 -1 4202560 201 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 4 0 0 0
[pid=32340/tid=32344] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32344/stat : 32344 (java) S 32338 32340 27375 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 2 0 0 0
[pid=32340/tid=32345] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32345/stat : 32345 (java) S 32338 32340 27375 0 -1 4202560 137 0 0 0 0 0 0 0 16 0 19 0 827435085 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 2 0 0 0
[pid=32340/tid=32346] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32346/stat : 32346 (java) S 32338 32340 27375 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32347] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32347/stat : 32347 (java) S 32338 32340 27375 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32348] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32348/stat : 32348 (java) S 32338 32340 27375 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32349] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32349/stat : 32349 (java) S 32338 32340 27375 0 -1 4202560 311 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 2 0 0 0
[pid=32340/tid=32350] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32350/stat : 32350 (java) S 32338 32340 27375 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32351] ppid=32338 vsize=13691220 CPUtime=0.07 cores=0,2,4,6
/proc/32340/task/32351/stat : 32351 (java) S 32338 32340 27375 0 -1 4202560 1030 0 0 0 7 0 0 0 15 0 19 0 827435086 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485784064 0 0 0 16800975 18446604444015719488 0 0 -1 0 0 0 0
[pid=32340/tid=32352] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32352/stat : 32352 (java) S 32338 32340 27375 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827435087 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32353] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32353/stat : 32353 (java) S 32338 32340 27375 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 827435087 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32354] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32354/stat : 32354 (java) S 32338 32340 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827435089 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485791153 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32355] ppid=32338 vsize=13691220 CPUtime=0.17 cores=0,2,4,6
/proc/32340/task/32355/stat : 32355 (java) S 32338 32340 27375 0 -1 4202560 1653 0 0 0 17 0 0 0 15 0 19 0 827435089 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 4 0 0 0
[pid=32340/tid=32356] ppid=32338 vsize=13691220 CPUtime=0.21 cores=0,2,4,6
/proc/32340/task/32356/stat : 32356 (java) S 32338 32340 27375 0 -1 4202560 2218 0 0 0 21 0 0 0 15 0 19 0 827435089 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 0 0 0 0
[pid=32340/tid=32357] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32357/stat : 32357 (java) S 32338 32340 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827435089 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 0 0 0 0
[pid=32340/tid=32358] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32358/stat : 32358 (java) S 32338 32340 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827435089 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485784064 0 4 0 16800975 18446604444015719488 0 0 -1 4 0 0 0
[pid=32340/tid=32359] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32359/stat : 32359 (java) S 32338 32340 27375 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827435101 14019809280 19536 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485784064 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 13691220
[startup+3.90131 s]
/proc/loadavg: 1.99 2.00 1.91 3/510 32359
/proc/meminfo: memFree=20235964/32950928 swapFree=61858088/67111528
[pid=32340] ppid=32338 vsize=13691220 CPUtime=4.29 cores=0,2,4,6
/proc/32340/stat : 32340 (java) S 32338 32340 27375 0 -1 4202496 21951 0 1 0 426 3 0 0 25 0 19 0 827435083 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32340/statm: 3422805 19850 2249 9 0 3413539 0
[pid=32340/tid=32341] ppid=32338 vsize=13691220 CPUtime=3.77 cores=0,2,4,6
/proc/32340/task/32341/stat : 32341 (java) R 32338 32340 27375 0 -1 4202560 14729 0 1 0 375 2 0 0 25 0 19 0 827435083 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 46912505524898 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32340/tid=32343] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32343/stat : 32343 (java) S 32338 32340 27375 0 -1 4202560 236 0 0 0 0 0 0 0 16 0 19 0 827435085 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 4 0 0 0
[pid=32340/tid=32344] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32344/stat : 32344 (java) S 32338 32340 27375 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 19 0 827435085 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 2 0 0 0
[pid=32340/tid=32345] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32345/stat : 32345 (java) S 32338 32340 27375 0 -1 4202560 171 0 0 0 0 0 0 0 16 0 19 0 827435085 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 2 0 0 0
[pid=32340/tid=32346] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32346/stat : 32346 (java) S 32338 32340 27375 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32347] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32347/stat : 32347 (java) S 32338 32340 27375 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32348] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32348/stat : 32348 (java) S 32338 32340 27375 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32349] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32349/stat : 32349 (java) S 32338 32340 27375 0 -1 4202560 311 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 2 0 0 0
[pid=32340/tid=32350] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32350/stat : 32350 (java) S 32338 32340 27375 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32351] ppid=32338 vsize=13691220 CPUtime=0.09 cores=0,2,4,6
/proc/32340/task/32351/stat : 32351 (java) S 32338 32340 27375 0 -1 4202560 1234 0 0 0 9 0 0 0 15 0 19 0 827435086 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485784064 0 0 0 16800975 18446604444015719488 0 0 -1 0 0 0 0
[pid=32340/tid=32352] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32352/stat : 32352 (java) S 32338 32340 27375 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827435087 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32353] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32353/stat : 32353 (java) S 32338 32340 27375 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 827435087 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32354] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32354/stat : 32354 (java) S 32338 32340 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827435089 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485791153 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32355] ppid=32338 vsize=13691220 CPUtime=0.17 cores=0,2,4,6
/proc/32340/task/32355/stat : 32355 (java) S 32338 32340 27375 0 -1 4202560 1653 0 0 0 17 0 0 0 15 0 19 0 827435089 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 4 0 0 0
[pid=32340/tid=32356] ppid=32338 vsize=13691220 CPUtime=0.21 cores=0,2,4,6
/proc/32340/task/32356/stat : 32356 (java) S 32338 32340 27375 0 -1 4202560 2218 0 0 0 21 0 0 0 15 0 19 0 827435089 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 0 0 0 0
[pid=32340/tid=32357] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32357/stat : 32357 (java) S 32338 32340 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827435089 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 0 0 0 0
[pid=32340/tid=32358] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32358/stat : 32358 (java) S 32338 32340 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827435089 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485784064 0 4 0 16800975 18446604444015719488 0 0 -1 4 0 0 0
[pid=32340/tid=32359] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32359/stat : 32359 (java) S 32338 32340 27375 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827435101 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485784064 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 13691220
[startup+4.0013 s]
/proc/loadavg: 1.99 2.00 1.91 3/510 32359
/proc/meminfo: memFree=20235964/32950928 swapFree=61858088/67111528
[pid=32340] ppid=32338 vsize=13691220 CPUtime=4.39 cores=0,2,4,6
/proc/32340/stat : 32340 (java) S 32338 32340 27375 0 -1 4202496 21951 0 1 0 436 3 0 0 25 0 19 0 827435083 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32340/statm: 3422805 19850 2249 9 0 3413539 0
[pid=32340/tid=32341] ppid=32338 vsize=13691220 CPUtime=3.87 cores=0,2,4,6
/proc/32340/task/32341/stat : 32341 (java) R 32338 32340 27375 0 -1 4202560 14729 0 1 0 385 2 0 0 25 0 19 0 827435083 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 46912505519848 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32340/tid=32343] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32343/stat : 32343 (java) S 32338 32340 27375 0 -1 4202560 236 0 0 0 0 0 0 0 16 0 19 0 827435085 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 4 0 0 0
[pid=32340/tid=32344] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32344/stat : 32344 (java) S 32338 32340 27375 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 19 0 827435085 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 2 0 0 0
[pid=32340/tid=32345] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32345/stat : 32345 (java) S 32338 32340 27375 0 -1 4202560 171 0 0 0 0 0 0 0 16 0 19 0 827435085 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 2 0 0 0
[pid=32340/tid=32346] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32346/stat : 32346 (java) S 32338 32340 27375 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32347] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32347/stat : 32347 (java) S 32338 32340 27375 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32348] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32348/stat : 32348 (java) S 32338 32340 27375 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32349] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32349/stat : 32349 (java) S 32338 32340 27375 0 -1 4202560 311 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 2 0 0 0
[pid=32340/tid=32350] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32350/stat : 32350 (java) S 32338 32340 27375 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 827435085 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32351] ppid=32338 vsize=13691220 CPUtime=0.09 cores=0,2,4,6
/proc/32340/task/32351/stat : 32351 (java) S 32338 32340 27375 0 -1 4202560 1234 0 0 0 9 0 0 0 15 0 19 0 827435086 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485784064 0 0 0 16800975 18446604444015719488 0 0 -1 0 0 0 0
[pid=32340/tid=32352] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32352/stat : 32352 (java) S 32338 32340 27375 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827435087 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32353] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32353/stat : 32353 (java) S 32338 32340 27375 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 827435087 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32354] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32354/stat : 32354 (java) S 32338 32340 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827435089 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485791153 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
[pid=32340/tid=32355] ppid=32338 vsize=13691220 CPUtime=0.17 cores=0,2,4,6
/proc/32340/task/32355/stat : 32355 (java) S 32338 32340 27375 0 -1 4202560 1653 0 0 0 17 0 0 0 15 0 19 0 827435089 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 4 0 0 0
[pid=32340/tid=32356] ppid=32338 vsize=13691220 CPUtime=0.21 cores=0,2,4,6
/proc/32340/task/32356/stat : 32356 (java) S 32338 32340 27375 0 -1 4202560 2218 0 0 0 21 0 0 0 15 0 19 0 827435089 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 0 0 0 0
[pid=32340/tid=32357] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32357/stat : 32357 (java) S 32338 32340 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827435089 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485783449 0 4 0 16800975 18446604444015719488 0 0 -1 0 0 0 0
[pid=32340/tid=32358] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32358/stat : 32358 (java) S 32338 32340 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827435089 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485784064 0 4 0 16800975 18446604444015719488 0 0 -1 4 0 0 0
[pid=32340/tid=32359] ppid=32338 vsize=13691220 CPUtime=0 cores=0,2,4,6
/proc/32340/task/32359/stat : 32359 (java) S 32338 32340 27375 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827435101 14019809280 19850 33554432000 1073741824 1073778376 140733392753648 18446744073709551615 274485784064 0 4 0 16800975 18446604444015719488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 13691220
Child status: 30
Real time (s): 4.04601
CPU time (s): 4.44932
CPU user time (s): 4.40533
CPU system time (s): 0.043993
CPU usage (%): 109.968
Max. virtual memory (cumulated for all children) (KiB): 13691220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.40533
system time used= 0.043993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21977
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= 411
involuntary context switches= 91
runsolver used 0.022996 second user time and 0.046992 second system time
The end