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-3459413-1307139648/watcher-3459413-1307139648 -o /tmp/evaluation-result-3459413-1307139648/solver-3459413-1307139648 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459413-1307139648.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.93 1.99 1.99 2/404 3367
/proc/meminfo: memFree=23655448/32951124 swapFree=49244120/67111528
[pid=3367] ppid=3365 vsize=27172 CPUtime=0 cores=0,2,4,6
/proc/3367/stat : 3367 (java) S 3365 3367 31984 0 -1 4202496 1179 0 0 0 0 0 0 0 25 0 2 0 825567548 27824128 906 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/3367/statm: 6793 906 688 9 0 381 0
[pid=3367/tid=3368] ppid=3365 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3368/stat : 3368 (java) R 3365 3367 31984 0 -1 4202560 4064 0 1 0 0 0 0 0 25 0 2 0 825567548 13850947584 4880 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.0851441 s]
/proc/loadavg: 1.93 1.99 1.99 2/404 3367
/proc/meminfo: memFree=23655448/32951124 swapFree=49244120/67111528
[pid=3367] ppid=3365 vsize=13620784 CPUtime=0.07 cores=0,2,4,6
/proc/3367/stat : 3367 (java) S 3365 3367 31984 0 -1 4202496 14815 0 1 0 6 1 0 0 25 0 18 0 825567548 13947682816 14510 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3367/statm: 3405276 14917 2062 9 0 3396010 0
[pid=3367/tid=3368] ppid=3365 vsize=13621104 CPUtime=0.07 cores=0,2,4,6
/proc/3367/task/3368/stat : 3368 (java) D 3365 3367 31984 0 -1 4202560 13485 0 1 0 6 1 0 0 18 0 18 0 825567548 13948010496 14917 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218370618401 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13620784
[startup+0.119695 s]
/proc/loadavg: 1.93 1.99 1.99 2/404 3367
/proc/meminfo: memFree=23655448/32951124 swapFree=49244120/67111528
[pid=3367] ppid=3365 vsize=13621376 CPUtime=0.13 cores=0,2,4,6
/proc/3367/stat : 3367 (java) S 3365 3367 31984 0 -1 4202496 15792 0 1 0 11 2 0 0 25 0 18 0 825567548 13948289024 15469 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3367/statm: 3405344 15470 2134 9 0 3396078 0
[pid=3367/tid=3368] ppid=3365 vsize=13621376 CPUtime=0.11 cores=0,2,4,6
/proc/3367/task/3368/stat : 3368 (java) R 3365 3367 31984 0 -1 4202560 13807 0 1 0 9 2 0 0 18 0 18 0 825567548 13948289024 15470 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13621376
[startup+0.301105 s]
/proc/loadavg: 1.93 1.99 1.99 2/404 3367
/proc/meminfo: memFree=23655448/32951124 swapFree=49244120/67111528
[pid=3367] ppid=3365 vsize=13690112 CPUtime=0.55 cores=0,2,4,6
/proc/3367/stat : 3367 (java) S 3365 3367 31984 0 -1 4202496 18181 0 1 0 52 3 0 0 25 0 19 0 825567548 14018674688 16963 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3367/statm: 3422528 16963 2194 9 0 3413262 0
[pid=3367/tid=3368] ppid=3365 vsize=13690112 CPUtime=0.29 cores=0,2,4,6
/proc/3367/task/3368/stat : 3368 (java) R 3365 3367 31984 0 -1 4202560 14103 0 1 0 27 2 0 0 19 0 19 0 825567548 14018674688 16963 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 46912505518867 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13690112
[startup+0.70103 s]
/proc/loadavg: 1.93 1.99 1.99 2/404 3367
/proc/meminfo: memFree=23655448/32951124 swapFree=49244120/67111528
[pid=3367] ppid=3365 vsize=13689660 CPUtime=1.05 cores=0,2,4,6
/proc/3367/stat : 3367 (java) S 3365 3367 31984 0 -1 4202496 19302 0 1 0 102 3 0 0 25 0 19 0 825567548 14018211840 17695 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3367/statm: 3422415 17695 2233 9 0 3413149 0
[pid=3367/tid=3368] ppid=3365 vsize=13689660 CPUtime=0.67 cores=0,2,4,6
/proc/3367/task/3368/stat : 3368 (java) R 3365 3367 31984 0 -1 4202560 14379 0 1 0 65 2 0 0 19 0 19 0 825567548 14018211840 17695 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 46912505564925 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 13689660
[startup+1.50091 s]
/proc/loadavg: 1.93 1.99 1.99 5/423 3388
/proc/meminfo: memFree=23590576/32951124 swapFree=49244120/67111528
[pid=3367] ppid=3365 vsize=13689936 CPUtime=1.88 cores=0,2,4,6
/proc/3367/stat : 3367 (java) S 3365 3367 31984 0 -1 4202496 19712 0 1 0 185 3 0 0 25 0 19 0 825567548 14018494464 18102 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3367/statm: 3422484 18102 2243 9 0 3413218 0
[pid=3367/tid=3368] ppid=3365 vsize=13689936 CPUtime=1.42 cores=0,2,4,6
/proc/3367/task/3368/stat : 3368 (java) R 3365 3367 31984 0 -1 4202560 14382 0 1 0 140 2 0 0 20 0 19 0 825567548 14018494464 18102 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 46912505550037 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3367/tid=3371] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3371/stat : 3371 (java) S 3365 3367 31984 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18102 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3372] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3372/stat : 3372 (java) S 3365 3367 31984 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 825567550 14018494464 18102 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 0 0 0 0
[pid=3367/tid=3373] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3373/stat : 3373 (java) S 3365 3367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18102 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3374] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3374/stat : 3374 (java) S 3365 3367 31984 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18102 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 2 0 0 0
[pid=3367/tid=3375] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3375/stat : 3375 (java) S 3365 3367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18102 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 0 0 0 0
[pid=3367/tid=3376] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3376/stat : 3376 (java) S 3365 3367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18102 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 0 0 0 0
[pid=3367/tid=3377] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3377/stat : 3377 (java) S 3365 3367 31984 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18102 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3378] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3378/stat : 3378 (java) S 3365 3367 31984 0 -1 4202560 247 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18102 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3379] ppid=3365 vsize=13689936 CPUtime=0.05 cores=0,2,4,6
/proc/3367/task/3379/stat : 3379 (java) S 3365 3367 31984 0 -1 4202560 412 0 0 0 5 0 0 0 16 0 19 0 825567551 14018494464 18102 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773760 0 0 0 16800975 18446604453555852416 0 0 -1 0 0 0 0
[pid=3367/tid=3380] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3380/stat : 3380 (java) S 3365 3367 31984 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 825567552 14018494464 18102 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3381] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3381/stat : 3381 (java) S 3365 3367 31984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 825567552 14018494464 18102 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3382] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3382/stat : 3382 (java) S 3365 3367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825567554 14018494464 18102 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382780849 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3383] ppid=3365 vsize=13689936 CPUtime=0.19 cores=0,2,4,6
/proc/3367/task/3383/stat : 3383 (java) S 3365 3367 31984 0 -1 4202560 2057 0 0 0 19 0 0 0 15 0 19 0 825567554 14018494464 18102 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3384] ppid=3365 vsize=13689936 CPUtime=0.18 cores=0,2,4,6
/proc/3367/task/3384/stat : 3384 (java) S 3365 3367 31984 0 -1 4202560 1265 0 0 0 18 0 0 0 15 0 19 0 825567554 14018494464 18102 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 2 0 0 0
[pid=3367/tid=3385] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3385/stat : 3385 (java) S 3365 3367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825567554 14018494464 18102 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3386] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3386/stat : 3386 (java) S 3365 3367 31984 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 825567554 14018494464 18102 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773760 0 4 0 16800975 18446604453555852416 0 0 -1 2 0 0 0
[pid=3367/tid=3388] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3388/stat : 3388 (java) S 3365 3367 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825567562 14018494464 18102 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773760 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13689936
[startup+3.10157 s]
/proc/loadavg: 2.01 2.00 2.00 3/423 3388
/proc/meminfo: memFree=23588544/32951124 swapFree=49244120/67111528
[pid=3367] ppid=3365 vsize=13689936 CPUtime=3.48 cores=0,2,4,6
/proc/3367/stat : 3367 (java) S 3365 3367 31984 0 -1 4202496 19968 0 1 0 345 3 0 0 25 0 19 0 825567548 14018494464 18353 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3367/statm: 3422484 18353 2243 9 0 3413218 0
[pid=3367/tid=3368] ppid=3365 vsize=13689936 CPUtime=2.96 cores=0,2,4,6
/proc/3367/task/3368/stat : 3368 (java) R 3365 3367 31984 0 -1 4202560 14386 0 1 0 294 2 0 0 25 0 19 0 825567548 14018494464 18353 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 46912505583607 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3367/tid=3371] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3371/stat : 3371 (java) S 3365 3367 31984 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18353 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3372] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3372/stat : 3372 (java) S 3365 3367 31984 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18353 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3373] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3373/stat : 3373 (java) S 3365 3367 31984 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18353 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3374] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3374/stat : 3374 (java) S 3365 3367 31984 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18353 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 2 0 0 0
[pid=3367/tid=3375] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3375/stat : 3375 (java) S 3365 3367 31984 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18353 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3376] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3376/stat : 3376 (java) S 3365 3367 31984 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18353 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 2 0 0 0
[pid=3367/tid=3377] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3377/stat : 3377 (java) S 3365 3367 31984 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18353 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3378] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3378/stat : 3378 (java) S 3365 3367 31984 0 -1 4202560 248 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18353 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 2 0 0 0
[pid=3367/tid=3379] ppid=3365 vsize=13689936 CPUtime=0.1 cores=0,2,4,6
/proc/3367/task/3379/stat : 3379 (java) S 3365 3367 31984 0 -1 4202560 582 0 0 0 10 0 0 0 16 0 19 0 825567551 14018494464 18353 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773760 0 0 0 16800975 18446604453555852416 0 0 -1 0 0 0 0
[pid=3367/tid=3380] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3380/stat : 3380 (java) S 3365 3367 31984 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 825567552 14018494464 18353 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3381] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3381/stat : 3381 (java) S 3365 3367 31984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 825567552 14018494464 18353 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3382] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3382/stat : 3382 (java) S 3365 3367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825567554 14018494464 18353 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382780849 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3383] ppid=3365 vsize=13689936 CPUtime=0.19 cores=0,2,4,6
/proc/3367/task/3383/stat : 3383 (java) S 3365 3367 31984 0 -1 4202560 2057 0 0 0 19 0 0 0 15 0 19 0 825567554 14018494464 18353 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3384] ppid=3365 vsize=13689936 CPUtime=0.18 cores=0,2,4,6
/proc/3367/task/3384/stat : 3384 (java) S 3365 3367 31984 0 -1 4202560 1265 0 0 0 18 0 0 0 15 0 19 0 825567554 14018494464 18353 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 2 0 0 0
[pid=3367/tid=3385] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3385/stat : 3385 (java) S 3365 3367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825567554 14018494464 18353 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3386] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3386/stat : 3386 (java) S 3365 3367 31984 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 825567554 14018494464 18353 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773760 0 4 0 16800975 18446604453555852416 0 0 -1 2 0 0 0
[pid=3367/tid=3388] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3388/stat : 3388 (java) S 3365 3367 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825567562 14018494464 18353 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773760 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 13689936
[startup+6.30105 s]
/proc/loadavg: 2.01 2.00 2.00 3/423 3388
/proc/meminfo: memFree=23578864/32951124 swapFree=49244120/67111528
[pid=3367] ppid=3365 vsize=13689936 CPUtime=6.7 cores=0,2,4,6
/proc/3367/stat : 3367 (java) S 3365 3367 31984 0 -1 4202496 20144 0 1 0 667 3 0 0 25 0 19 0 825567548 14018494464 18505 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3367/statm: 3422484 18505 2243 9 0 3413218 0
[pid=3367/tid=3368] ppid=3365 vsize=13689936 CPUtime=6.05 cores=0,2,4,6
/proc/3367/task/3368/stat : 3368 (java) R 3365 3367 31984 0 -1 4202560 14394 0 1 0 603 2 0 0 25 0 19 0 825567548 14018494464 18505 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 46912505526751 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3367/tid=3371] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3371/stat : 3371 (java) S 3365 3367 31984 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18505 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 2 0 0 0
[pid=3367/tid=3372] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3372/stat : 3372 (java) S 3365 3367 31984 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18505 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 2 0 0 0
[pid=3367/tid=3373] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3373/stat : 3373 (java) S 3365 3367 31984 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18505 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3374] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3374/stat : 3374 (java) S 3365 3367 31984 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18505 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 2 0 0 0
[pid=3367/tid=3375] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3375/stat : 3375 (java) S 3365 3367 31984 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18505 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3376] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3376/stat : 3376 (java) S 3365 3367 31984 0 -1 4202560 29 0 0 0 0 0 0 0 16 0 19 0 825567550 14018494464 18505 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 2 0 0 0
[pid=3367/tid=3377] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3377/stat : 3377 (java) S 3365 3367 31984 0 -1 4202560 130 0 0 0 0 0 0 0 15 0 19 0 825567550 14018494464 18505 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3378] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3378/stat : 3378 (java) S 3365 3367 31984 0 -1 4202560 248 0 0 0 0 0 0 0 16 0 19 0 825567550 14018494464 18505 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3379] ppid=3365 vsize=13689936 CPUtime=0.2 cores=0,2,4,6
/proc/3367/task/3379/stat : 3379 (java) S 3365 3367 31984 0 -1 4202560 707 0 0 0 20 0 0 0 16 0 19 0 825567551 14018494464 18505 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773760 0 0 0 16800975 18446604453555852416 0 0 -1 0 0 0 0
[pid=3367/tid=3380] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3380/stat : 3380 (java) S 3365 3367 31984 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 825567552 14018494464 18505 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3381] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3381/stat : 3381 (java) S 3365 3367 31984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 825567552 14018494464 18505 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3382] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3382/stat : 3382 (java) S 3365 3367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825567554 14018494464 18505 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382780849 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3383] ppid=3365 vsize=13689936 CPUtime=0.19 cores=0,2,4,6
/proc/3367/task/3383/stat : 3383 (java) S 3365 3367 31984 0 -1 4202560 2057 0 0 0 19 0 0 0 15 0 19 0 825567554 14018494464 18505 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3384] ppid=3365 vsize=13689936 CPUtime=0.19 cores=0,2,4,6
/proc/3367/task/3384/stat : 3384 (java) S 3365 3367 31984 0 -1 4202560 1266 0 0 0 19 0 0 0 15 0 19 0 825567554 14018494464 18505 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 2 0 0 0
[pid=3367/tid=3385] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3385/stat : 3385 (java) S 3365 3367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825567554 14018494464 18505 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3386] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3386/stat : 3386 (java) S 3365 3367 31984 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 825567554 14018494464 18505 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773760 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3388] ppid=3365 vsize=13689936 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3388/stat : 3388 (java) S 3365 3367 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825567562 14018494464 18505 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773760 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 13689936
[startup+12.7009 s]
/proc/loadavg: 2.01 2.00 2.00 3/423 3388
/proc/meminfo: memFree=23577296/32951124 swapFree=49244120/67111528
[pid=3367] ppid=3365 vsize=13688812 CPUtime=13.13 cores=0,2,4,6
/proc/3367/stat : 3367 (java) S 3365 3367 31984 0 -1 4202496 20366 0 1 0 1310 3 0 0 25 0 19 0 825567548 14017343488 18457 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3367/statm: 3422203 18457 2247 9 0 3412937 0
[pid=3367/tid=3368] ppid=3365 vsize=13688812 CPUtime=12.25 cores=0,2,4,6
/proc/3367/task/3368/stat : 3368 (java) R 3365 3367 31984 0 -1 4202560 14412 0 1 0 1223 2 0 0 25 0 19 0 825567548 14017343488 18457 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 46912505564756 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3367/tid=3371] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3371/stat : 3371 (java) S 3365 3367 31984 0 -1 4202560 113 0 0 0 0 0 0 0 16 0 19 0 825567550 14017343488 18457 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 0 0 0 0
[pid=3367/tid=3372] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3372/stat : 3372 (java) S 3365 3367 31984 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 825567550 14017343488 18457 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 0 0 0 0
[pid=3367/tid=3373] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3373/stat : 3373 (java) S 3365 3367 31984 0 -1 4202560 25 0 0 0 0 0 0 0 16 0 19 0 825567550 14017343488 18457 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3374] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3374/stat : 3374 (java) S 3365 3367 31984 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 825567550 14017343488 18457 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 0 0 0 0
[pid=3367/tid=3375] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3375/stat : 3375 (java) S 3365 3367 31984 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 825567550 14017343488 18457 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 0 0 0 0
[pid=3367/tid=3376] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3376/stat : 3376 (java) S 3365 3367 31984 0 -1 4202560 114 0 0 0 0 0 0 0 16 0 19 0 825567550 14017343488 18457 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 0 0 0 0
[pid=3367/tid=3377] ppid=3365 vsize=13688812 CPUtime=0.01 cores=0,2,4,6
/proc/3367/task/3377/stat : 3377 (java) S 3365 3367 31984 0 -1 4202560 130 0 0 0 1 0 0 0 16 0 19 0 825567550 14017343488 18457 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3378] ppid=3365 vsize=13688812 CPUtime=0.01 cores=0,2,4,6
/proc/3367/task/3378/stat : 3378 (java) S 3365 3367 31984 0 -1 4202560 252 0 0 0 1 0 0 0 16 0 19 0 825567550 14017343488 18457 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3379] ppid=3365 vsize=13688812 CPUtime=0.38 cores=0,2,4,6
/proc/3367/task/3379/stat : 3379 (java) S 3365 3367 31984 0 -1 4202560 743 0 0 0 38 0 0 0 15 0 19 0 825567551 14017343488 18457 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773760 0 0 0 16800975 18446604453555852416 0 0 -1 2 0 0 0
[pid=3367/tid=3380] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3380/stat : 3380 (java) S 3365 3367 31984 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 825567552 14017343488 18457 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3381] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3381/stat : 3381 (java) S 3365 3367 31984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 825567552 14017343488 18457 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3382] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3382/stat : 3382 (java) S 3365 3367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825567554 14017343488 18457 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382780849 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3383] ppid=3365 vsize=13688812 CPUtime=0.2 cores=0,2,4,6
/proc/3367/task/3383/stat : 3383 (java) S 3365 3367 31984 0 -1 4202560 2057 0 0 0 20 0 0 0 15 0 19 0 825567554 14017343488 18457 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3384] ppid=3365 vsize=13688812 CPUtime=0.2 cores=0,2,4,6
/proc/3367/task/3384/stat : 3384 (java) S 3365 3367 31984 0 -1 4202560 1272 0 0 0 20 0 0 0 15 0 19 0 825567554 14017343488 18457 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 2 0 0 0
[pid=3367/tid=3385] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3385/stat : 3385 (java) S 3365 3367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825567554 14017343488 18457 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3386] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3386/stat : 3386 (java) S 3365 3367 31984 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 825567554 14017343488 18457 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773760 0 4 0 16800975 18446604453555852416 0 0 -1 0 0 0 0
[pid=3367/tid=3388] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3388/stat : 3388 (java) S 3365 3367 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825567562 14017343488 18457 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773760 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 13.13
Current children cumulated vsize (KiB) 13688812
Solver just ended. Dumping a history of the last processes samples
[startup+12.9009 s]
/proc/loadavg: 2.01 2.00 2.00 3/423 3388
/proc/meminfo: memFree=23577296/32951124 swapFree=49244120/67111528
[pid=3367] ppid=3365 vsize=13688812 CPUtime=13.35 cores=0,2,4,6
/proc/3367/stat : 3367 (java) S 3365 3367 31984 0 -1 4202496 20369 0 1 0 1332 3 0 0 25 0 19 0 825567548 14017343488 18460 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3367/statm: 3422203 18460 2248 9 0 3412937 0
[pid=3367/tid=3368] ppid=3365 vsize=13688812 CPUtime=12.45 cores=0,2,4,6
/proc/3367/task/3368/stat : 3368 (java) R 3365 3367 31984 0 -1 4202560 14412 0 1 0 1243 2 0 0 25 0 19 0 825567548 14017343488 18460 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 46912505720412 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3367/tid=3371] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3371/stat : 3371 (java) S 3365 3367 31984 0 -1 4202560 113 0 0 0 0 0 0 0 16 0 19 0 825567550 14017343488 18460 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 0 0 0 0
[pid=3367/tid=3372] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3372/stat : 3372 (java) S 3365 3367 31984 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 825567550 14017343488 18460 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 0 0 0 0
[pid=3367/tid=3373] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3373/stat : 3373 (java) S 3365 3367 31984 0 -1 4202560 25 0 0 0 0 0 0 0 16 0 19 0 825567550 14017343488 18460 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3374] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3374/stat : 3374 (java) S 3365 3367 31984 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 825567550 14017343488 18460 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 0 0 0 0
[pid=3367/tid=3375] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3375/stat : 3375 (java) S 3365 3367 31984 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 825567550 14017343488 18460 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 0 0 0 0
[pid=3367/tid=3376] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3376/stat : 3376 (java) S 3365 3367 31984 0 -1 4202560 114 0 0 0 0 0 0 0 16 0 19 0 825567550 14017343488 18460 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 0 0 0 0
[pid=3367/tid=3377] ppid=3365 vsize=13688812 CPUtime=0.01 cores=0,2,4,6
/proc/3367/task/3377/stat : 3377 (java) S 3365 3367 31984 0 -1 4202560 130 0 0 0 1 0 0 0 16 0 19 0 825567550 14017343488 18460 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3378] ppid=3365 vsize=13688812 CPUtime=0.01 cores=0,2,4,6
/proc/3367/task/3378/stat : 3378 (java) S 3365 3367 31984 0 -1 4202560 252 0 0 0 1 0 0 0 16 0 19 0 825567550 14017343488 18460 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3379] ppid=3365 vsize=13688812 CPUtime=0.38 cores=0,2,4,6
/proc/3367/task/3379/stat : 3379 (java) S 3365 3367 31984 0 -1 4202560 743 0 0 0 38 0 0 0 15 0 19 0 825567551 14017343488 18460 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773760 0 0 0 16800975 18446604453555852416 0 0 -1 2 0 0 0
[pid=3367/tid=3380] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3380/stat : 3380 (java) S 3365 3367 31984 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 825567552 14017343488 18460 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3381] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3381/stat : 3381 (java) S 3365 3367 31984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 825567552 14017343488 18460 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3382] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3382/stat : 3382 (java) S 3365 3367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825567554 14017343488 18460 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382780849 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3383] ppid=3365 vsize=13688812 CPUtime=0.23 cores=0,2,4,6
/proc/3367/task/3383/stat : 3383 (java) S 3365 3367 31984 0 -1 4202560 2060 0 0 0 23 0 0 0 15 0 19 0 825567554 14017343488 18460 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3384] ppid=3365 vsize=13688812 CPUtime=0.2 cores=0,2,4,6
/proc/3367/task/3384/stat : 3384 (java) S 3365 3367 31984 0 -1 4202560 1272 0 0 0 20 0 0 0 15 0 19 0 825567554 14017343488 18460 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 2 0 0 0
[pid=3367/tid=3385] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3385/stat : 3385 (java) S 3365 3367 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825567554 14017343488 18460 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773145 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
[pid=3367/tid=3386] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3386/stat : 3386 (java) S 3365 3367 31984 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 825567554 14017343488 18460 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773760 0 4 0 16800975 18446604453555852416 0 0 -1 0 0 0 0
[pid=3367/tid=3388] ppid=3365 vsize=13688812 CPUtime=0 cores=0,2,4,6
/proc/3367/task/3388/stat : 3388 (java) S 3365 3367 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825567562 14017343488 18460 33554432000 1073741824 1073778376 140733966223200 18446744073709551615 218382773760 0 4 0 16800975 18446604453555852416 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 13.35
Current children cumulated vsize (KiB) 13688812
Child status: 30
Real time (s): 12.9287
CPU time (s): 13.395
CPU user time (s): 13.354
CPU system time (s): 0.040993
CPU usage (%): 103.606
Max. virtual memory (cumulated for all children) (KiB): 13690112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.354
system time used= 0.040993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20394
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= 1236
involuntary context switches= 635
runsolver used 0.066989 second user time and 0.102984 second system time
The end