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-3459131-1307134112/watcher-3459131-1307134112 -o /tmp/evaluation-result-3459131-1307134112/solver-3459131-1307134112 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459131-1307134112.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: 2.29 2.54 3.12 2/464 16359
/proc/meminfo: memFree=31330856/32950928 swapFree=34365992/67111528
[pid=16359] ppid=16357 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/16359/stat : 16359 (java) S 16357 16359 12983 0 -1 4202496 2875 0 1 0 0 0 0 0 25 0 2 0 825010016 13833195520 2578 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/16359/statm: 3377245 2593 906 9 0 3368401 0
[pid=16359/tid=16360] ppid=16357 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16360/stat : 16360 (java) R 16357 16359 12983 0 -1 4202560 6095 0 1 0 0 0 0 0 25 0 2 0 825010016 13850947584 6911 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.085839 s]
/proc/loadavg: 2.29 2.54 3.12 2/464 16359
/proc/meminfo: memFree=31330856/32950928 swapFree=34365992/67111528
[pid=16359] ppid=16357 vsize=13555248 CPUtime=0.08 cores=0,2,4,6
/proc/16359/stat : 16359 (java) S 16357 16359 12983 0 -1 4202496 14776 0 1 0 6 2 0 0 25 0 18 0 825010016 13880573952 14474 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16359/statm: 3388812 14474 1913 9 0 3379546 0
[pid=16359/tid=16360] ppid=16357 vsize=13555248 CPUtime=0.06 cores=0,2,4,6
/proc/16359/task/16360/stat : 16360 (java) R 16357 16359 12983 0 -1 4202560 13419 0 1 0 5 1 0 0 25 0 18 0 825010016 13880573952 14475 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606695903 0 2147483391 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13555248
[startup+0.107132 s]
/proc/loadavg: 2.29 2.54 3.12 2/464 16359
/proc/meminfo: memFree=31330856/32950928 swapFree=34365992/67111528
[pid=16359] ppid=16357 vsize=13621828 CPUtime=0.11 cores=0,2,4,6
/proc/16359/stat : 16359 (java) S 16357 16359 12983 0 -1 4202496 15652 0 1 0 9 2 0 0 25 0 18 0 825010016 13948751872 15304 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16359/statm: 3405457 15304 2093 9 0 3396191 0
[pid=16359/tid=16360] ppid=16357 vsize=13621828 CPUtime=0.09 cores=0,2,4,6
/proc/16359/task/16360/stat : 16360 (java) R 16357 16359 12983 0 -1 4202560 13696 0 1 0 7 2 0 0 25 0 18 0 825010016 13948751872 15304 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 47438158832663 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621828
[startup+0.301043 s]
/proc/loadavg: 2.29 2.54 3.12 2/464 16359
/proc/meminfo: memFree=31330856/32950928 swapFree=34365992/67111528
[pid=16359] ppid=16357 vsize=13623548 CPUtime=0.55 cores=0,2,4,6
/proc/16359/stat : 16359 (java) S 16357 16359 12983 0 -1 4202496 18669 0 1 0 53 2 0 0 25 0 19 0 825010016 13950513152 17537 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16359/statm: 3405887 17537 2215 9 0 3396621 0
[pid=16359/tid=16360] ppid=16357 vsize=13623548 CPUtime=0.29 cores=0,2,4,6
/proc/16359/task/16360/stat : 16360 (java) R 16357 16359 12983 0 -1 4202560 14197 0 1 0 27 2 0 0 19 0 19 0 825010016 13950513152 17537 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 46912505620828 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13623548
[startup+0.701079 s]
/proc/loadavg: 2.29 2.54 3.12 2/464 16359
/proc/meminfo: memFree=31330856/32950928 swapFree=34365992/67111528
[pid=16359] ppid=16357 vsize=13623712 CPUtime=1.06 cores=0,2,4,6
/proc/16359/stat : 16359 (java) S 16357 16359 12983 0 -1 4202496 19554 0 1 0 103 3 0 0 25 0 19 0 825010016 13950681088 18247 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16359/statm: 3405928 18247 2247 9 0 3396662 0
[pid=16359/tid=16360] ppid=16357 vsize=13623712 CPUtime=0.67 cores=0,2,4,6
/proc/16359/task/16360/stat : 16360 (java) R 16357 16359 12983 0 -1 4202560 14425 0 1 0 65 2 0 0 18 0 19 0 825010016 13950681088 18247 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 46912505527602 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 13623712
[startup+1.5009 s]
/proc/loadavg: 2.27 2.53 3.11 3/483 16378
/proc/meminfo: memFree=31264484/32950928 swapFree=34365992/67111528
[pid=16359] ppid=16357 vsize=13623712 CPUtime=1.89 cores=0,2,4,6
/proc/16359/stat : 16359 (java) S 16357 16359 12983 0 -1 4202496 20120 0 1 0 186 3 0 0 25 0 19 0 825010016 13950681088 18810 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16359/statm: 3405928 18810 2248 9 0 3396662 0
[pid=16359/tid=16360] ppid=16357 vsize=13623712 CPUtime=1.43 cores=0,2,4,6
/proc/16359/task/16360/stat : 16360 (java) R 16357 16359 12983 0 -1 4202560 14427 0 1 0 141 2 0 0 18 0 19 0 825010016 13950681088 18810 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 46912505620828 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16359/tid=16362] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16362/stat : 16362 (java) S 16357 16359 12983 0 -1 4202560 97 0 0 0 0 0 0 0 16 0 19 0 825010018 13950681088 18810 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 4 0 0 0
[pid=16359/tid=16363] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16363/stat : 16363 (java) S 16357 16359 12983 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 18810 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16364] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16364/stat : 16364 (java) S 16357 16359 12983 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 18810 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 4 0 0 0
[pid=16359/tid=16365] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16365/stat : 16365 (java) S 16357 16359 12983 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 18810 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 4 0 0 0
[pid=16359/tid=16366] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16366/stat : 16366 (java) S 16357 16359 12983 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 19 0 825010018 13950681088 18810 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16367] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16367/stat : 16367 (java) S 16357 16359 12983 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 18810 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16368] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16368/stat : 16368 (java) S 16357 16359 12983 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 18810 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 4 0 0 0
[pid=16359/tid=16369] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16369/stat : 16369 (java) S 16357 16359 12983 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 18810 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16370] ppid=16357 vsize=13623712 CPUtime=0.04 cores=0,2,4,6
/proc/16359/task/16370/stat : 16370 (java) S 16357 16359 12983 0 -1 4202560 410 0 0 0 4 0 0 0 15 0 19 0 825010019 13950681088 18810 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606683136 0 0 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16371] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16371/stat : 16371 (java) S 16357 16359 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825010020 13950681088 18810 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16372] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16372/stat : 16372 (java) S 16357 16359 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825010020 13950681088 18810 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16373] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16373/stat : 16373 (java) S 16357 16359 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825010022 13950681088 18810 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606690225 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16374] ppid=16357 vsize=13623712 CPUtime=0.22 cores=0,2,4,6
/proc/16359/task/16374/stat : 16374 (java) S 16357 16359 12983 0 -1 4202560 2240 0 0 0 22 0 0 0 15 0 19 0 825010022 13950681088 18810 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 2 0 0 0
[pid=16359/tid=16375] ppid=16357 vsize=13623712 CPUtime=0.16 cores=0,2,4,6
/proc/16359/task/16375/stat : 16375 (java) S 16357 16359 12983 0 -1 4202560 1330 0 0 0 16 0 0 0 16 0 19 0 825010022 13950681088 18810 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16376] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16376/stat : 16376 (java) S 16357 16359 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825010022 13950681088 18810 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16377] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16377/stat : 16377 (java) S 16357 16359 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825010022 13950681088 18810 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606683136 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16378] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16378/stat : 16378 (java) S 16357 16359 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825010033 13950681088 18810 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606683136 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13623712
[startup+3.10155 s]
/proc/loadavg: 2.27 2.53 3.11 4/483 16424
/proc/meminfo: memFree=31267624/32950928 swapFree=34365992/67111528
[pid=16359] ppid=16357 vsize=13623712 CPUtime=3.5 cores=0,2,4,6
/proc/16359/stat : 16359 (java) S 16357 16359 12983 0 -1 4202496 20438 0 1 0 347 3 0 0 25 0 19 0 825010016 13950681088 19124 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16359/statm: 3405928 19124 2248 9 0 3396662 0
[pid=16359/tid=16360] ppid=16357 vsize=13623712 CPUtime=2.97 cores=0,2,4,6
/proc/16359/task/16360/stat : 16360 (java) R 16357 16359 12983 0 -1 4202560 14431 0 1 0 295 2 0 0 20 0 19 0 825010016 13950681088 19124 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 46912505535256 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16359/tid=16362] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16362/stat : 16362 (java) S 16357 16359 12983 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19124 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16363] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16363/stat : 16363 (java) S 16357 16359 12983 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19124 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16364] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16364/stat : 16364 (java) S 16357 16359 12983 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19124 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16365] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16365/stat : 16365 (java) S 16357 16359 12983 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19124 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16366] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16366/stat : 16366 (java) S 16357 16359 12983 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 19 0 825010018 13950681088 19124 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16367] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16367/stat : 16367 (java) S 16357 16359 12983 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19124 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16368] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16368/stat : 16368 (java) S 16357 16359 12983 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19124 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16369] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16369/stat : 16369 (java) S 16357 16359 12983 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19124 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16370] ppid=16357 vsize=13623712 CPUtime=0.1 cores=0,2,4,6
/proc/16359/task/16370/stat : 16370 (java) S 16357 16359 12983 0 -1 4202560 633 0 0 0 10 0 0 0 16 0 19 0 825010019 13950681088 19124 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606683136 0 0 0 16800975 18446604445590397056 0 0 -1 4 0 0 0
[pid=16359/tid=16371] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16371/stat : 16371 (java) S 16357 16359 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825010020 13950681088 19124 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16372] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16372/stat : 16372 (java) S 16357 16359 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825010020 13950681088 19124 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16373] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16373/stat : 16373 (java) S 16357 16359 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825010022 13950681088 19124 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606690225 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16374] ppid=16357 vsize=13623712 CPUtime=0.22 cores=0,2,4,6
/proc/16359/task/16374/stat : 16374 (java) S 16357 16359 12983 0 -1 4202560 2240 0 0 0 22 0 0 0 15 0 19 0 825010022 13950681088 19124 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 2 0 0 0
[pid=16359/tid=16375] ppid=16357 vsize=13623712 CPUtime=0.16 cores=0,2,4,6
/proc/16359/task/16375/stat : 16375 (java) S 16357 16359 12983 0 -1 4202560 1330 0 0 0 16 0 0 0 16 0 19 0 825010022 13950681088 19124 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16376] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16376/stat : 16376 (java) S 16357 16359 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825010022 13950681088 19124 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16377] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16377/stat : 16377 (java) S 16357 16359 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825010022 13950681088 19124 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606683136 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16378] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16378/stat : 16378 (java) S 16357 16359 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825010033 13950681088 19124 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606683136 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 13623712
Solver just ended. Dumping a history of the last processes samples
[startup+4.70138 s]
/proc/loadavg: 2.27 2.53 3.11 3/483 16470
/proc/meminfo: memFree=31261704/32950928 swapFree=34365992/67111528
[pid=16359] ppid=16357 vsize=13623712 CPUtime=5.11 cores=0,2,4,6
/proc/16359/stat : 16359 (java) S 16357 16359 12983 0 -1 4202496 20519 0 1 0 508 3 0 0 25 0 19 0 825010016 13950681088 19200 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16359/statm: 3405928 19200 2248 9 0 3396662 0
[pid=16359/tid=16360] ppid=16357 vsize=13623712 CPUtime=4.51 cores=0,2,4,6
/proc/16359/task/16360/stat : 16360 (java) R 16357 16359 12983 0 -1 4202560 14436 0 1 0 449 2 0 0 25 0 19 0 825010016 13950681088 19200 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 46912505522816 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16359/tid=16362] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16362/stat : 16362 (java) S 16357 16359 12983 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19200 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16363] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16363/stat : 16363 (java) S 16357 16359 12983 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19200 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16364] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16364/stat : 16364 (java) S 16357 16359 12983 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19200 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 2 0 0 0
[pid=16359/tid=16365] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16365/stat : 16365 (java) S 16357 16359 12983 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19200 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16366] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16366/stat : 16366 (java) S 16357 16359 12983 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19200 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16367] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16367/stat : 16367 (java) S 16357 16359 12983 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19200 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16368] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16368/stat : 16368 (java) S 16357 16359 12983 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19200 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16369] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16369/stat : 16369 (java) S 16357 16359 12983 0 -1 4202560 123 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19200 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16370] ppid=16357 vsize=13623712 CPUtime=0.15 cores=0,2,4,6
/proc/16359/task/16370/stat : 16370 (java) S 16357 16359 12983 0 -1 4202560 693 0 0 0 15 0 0 0 16 0 19 0 825010019 13950681088 19200 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606683136 0 0 0 16800975 18446604445590397056 0 0 -1 4 0 0 0
[pid=16359/tid=16371] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16371/stat : 16371 (java) S 16357 16359 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825010020 13950681088 19200 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16372] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16372/stat : 16372 (java) S 16357 16359 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825010020 13950681088 19200 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16373] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16373/stat : 16373 (java) S 16357 16359 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825010022 13950681088 19200 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606690225 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16374] ppid=16357 vsize=13623712 CPUtime=0.22 cores=0,2,4,6
/proc/16359/task/16374/stat : 16374 (java) S 16357 16359 12983 0 -1 4202560 2240 0 0 0 22 0 0 0 15 0 19 0 825010022 13950681088 19200 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 2 0 0 0
[pid=16359/tid=16375] ppid=16357 vsize=13623712 CPUtime=0.17 cores=0,2,4,6
/proc/16359/task/16375/stat : 16375 (java) S 16357 16359 12983 0 -1 4202560 1330 0 0 0 17 0 0 0 15 0 19 0 825010022 13950681088 19200 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16376] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16376/stat : 16376 (java) S 16357 16359 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825010022 13950681088 19200 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16377] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16377/stat : 16377 (java) S 16357 16359 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825010022 13950681088 19200 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606683136 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16378] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16378/stat : 16378 (java) S 16357 16359 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825010033 13950681088 19200 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606683136 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.11
Current children cumulated vsize (KiB) 13623712
[startup+5.51724 s]
/proc/loadavg: 2.27 2.53 3.11 3/483 16470
/proc/meminfo: memFree=31260716/32950928 swapFree=34365992/67111528
[pid=16359] ppid=16357 vsize=13623712 CPUtime=5.93 cores=0,2,4,6
/proc/16359/stat : 16359 (java) S 16357 16359 12983 0 -1 4202496 20523 0 1 0 590 3 0 0 25 0 19 0 825010016 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16359/statm: 3405928 19194 2248 9 0 3396662 0
[pid=16359/tid=16360] ppid=16357 vsize=13623712 CPUtime=5.3 cores=0,2,4,6
/proc/16359/task/16360/stat : 16360 (java) R 16357 16359 12983 0 -1 4202560 14438 0 1 0 528 2 0 0 25 0 19 0 825010016 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 46912505522816 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16359/tid=16362] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16362/stat : 16362 (java) S 16357 16359 12983 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 2 0 0 0
[pid=16359/tid=16363] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16363/stat : 16363 (java) S 16357 16359 12983 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16364] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16364/stat : 16364 (java) S 16357 16359 12983 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 2 0 0 0
[pid=16359/tid=16365] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16365/stat : 16365 (java) S 16357 16359 12983 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16366] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16366/stat : 16366 (java) S 16357 16359 12983 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16367] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16367/stat : 16367 (java) S 16357 16359 12983 0 -1 4202560 13 0 0 0 0 0 0 0 16 0 19 0 825010018 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16368] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16368/stat : 16368 (java) S 16357 16359 12983 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16369] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16369/stat : 16369 (java) S 16357 16359 12983 0 -1 4202560 123 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16370] ppid=16357 vsize=13623712 CPUtime=0.18 cores=0,2,4,6
/proc/16359/task/16370/stat : 16370 (java) S 16357 16359 12983 0 -1 4202560 693 0 0 0 18 0 0 0 16 0 19 0 825010019 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606683136 0 0 0 16800975 18446604445590397056 0 0 -1 4 0 0 0
[pid=16359/tid=16371] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16371/stat : 16371 (java) S 16357 16359 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825010020 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16372] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16372/stat : 16372 (java) S 16357 16359 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825010020 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16373] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16373/stat : 16373 (java) S 16357 16359 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825010022 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606690225 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16374] ppid=16357 vsize=13623712 CPUtime=0.22 cores=0,2,4,6
/proc/16359/task/16374/stat : 16374 (java) S 16357 16359 12983 0 -1 4202560 2240 0 0 0 22 0 0 0 15 0 19 0 825010022 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 2 0 0 0
[pid=16359/tid=16375] ppid=16357 vsize=13623712 CPUtime=0.17 cores=0,2,4,6
/proc/16359/task/16375/stat : 16375 (java) S 16357 16359 12983 0 -1 4202560 1330 0 0 0 17 0 0 0 15 0 19 0 825010022 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16376] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16376/stat : 16376 (java) S 16357 16359 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825010022 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16377] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16377/stat : 16377 (java) S 16357 16359 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825010022 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606683136 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16378] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16378/stat : 16378 (java) S 16357 16359 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825010033 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606683136 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 13623712
[startup+5.7012 s]
/proc/loadavg: 2.27 2.53 3.11 3/483 16470
/proc/meminfo: memFree=31260716/32950928 swapFree=34365992/67111528
[pid=16359] ppid=16357 vsize=13623712 CPUtime=6.11 cores=0,2,4,6
/proc/16359/stat : 16359 (java) S 16357 16359 12983 0 -1 4202496 20523 0 1 0 608 3 0 0 25 0 19 0 825010016 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16359/statm: 3405928 19194 2248 9 0 3396662 0
[pid=16359/tid=16360] ppid=16357 vsize=13623712 CPUtime=5.48 cores=0,2,4,6
/proc/16359/task/16360/stat : 16360 (java) R 16357 16359 12983 0 -1 4202560 14438 0 1 0 546 2 0 0 25 0 19 0 825010016 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 46912505629504 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16359/tid=16362] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16362/stat : 16362 (java) S 16357 16359 12983 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 2 0 0 0
[pid=16359/tid=16363] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16363/stat : 16363 (java) S 16357 16359 12983 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16364] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16364/stat : 16364 (java) S 16357 16359 12983 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 2 0 0 0
[pid=16359/tid=16365] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16365/stat : 16365 (java) S 16357 16359 12983 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16366] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16366/stat : 16366 (java) S 16357 16359 12983 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16367] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16367/stat : 16367 (java) S 16357 16359 12983 0 -1 4202560 13 0 0 0 0 0 0 0 16 0 19 0 825010018 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16368] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16368/stat : 16368 (java) S 16357 16359 12983 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16369] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16369/stat : 16369 (java) S 16357 16359 12983 0 -1 4202560 123 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16370] ppid=16357 vsize=13623712 CPUtime=0.18 cores=0,2,4,6
/proc/16359/task/16370/stat : 16370 (java) S 16357 16359 12983 0 -1 4202560 693 0 0 0 18 0 0 0 16 0 19 0 825010019 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606683136 0 0 0 16800975 18446604445590397056 0 0 -1 4 0 0 0
[pid=16359/tid=16371] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16371/stat : 16371 (java) S 16357 16359 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825010020 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16372] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16372/stat : 16372 (java) S 16357 16359 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825010020 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16373] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16373/stat : 16373 (java) S 16357 16359 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825010022 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606690225 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16374] ppid=16357 vsize=13623712 CPUtime=0.22 cores=0,2,4,6
/proc/16359/task/16374/stat : 16374 (java) S 16357 16359 12983 0 -1 4202560 2240 0 0 0 22 0 0 0 15 0 19 0 825010022 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 2 0 0 0
[pid=16359/tid=16375] ppid=16357 vsize=13623712 CPUtime=0.17 cores=0,2,4,6
/proc/16359/task/16375/stat : 16375 (java) S 16357 16359 12983 0 -1 4202560 1330 0 0 0 17 0 0 0 15 0 19 0 825010022 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16376] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16376/stat : 16376 (java) S 16357 16359 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825010022 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16377] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16377/stat : 16377 (java) S 16357 16359 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825010022 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606683136 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16378] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16378/stat : 16378 (java) S 16357 16359 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825010033 13950681088 19194 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606683136 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 13623712
[startup+5.80119 s]
/proc/loadavg: 2.27 2.53 3.11 3/483 16470
/proc/meminfo: memFree=31260716/32950928 swapFree=34365992/67111528
[pid=16359] ppid=16357 vsize=13623712 CPUtime=6.21 cores=0,2,4,6
/proc/16359/stat : 16359 (java) S 16357 16359 12983 0 -1 4202496 20525 0 1 0 618 3 0 0 25 0 19 0 825010016 13950681088 19195 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16359/statm: 3405928 19195 2248 9 0 3396662 0
[pid=16359/tid=16360] ppid=16357 vsize=13623712 CPUtime=5.56 cores=0,2,4,6
/proc/16359/task/16360/stat : 16360 (java) R 16357 16359 12983 0 -1 4202560 14439 0 1 0 554 2 0 0 25 0 19 0 825010016 13950681088 19195 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 46912505596933 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16359/tid=16362] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16362/stat : 16362 (java) S 16357 16359 12983 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19195 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 2 0 0 0
[pid=16359/tid=16363] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16363/stat : 16363 (java) S 16357 16359 12983 0 -1 4202560 64 0 0 0 0 0 0 0 16 0 19 0 825010018 13950681088 19195 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16364] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16364/stat : 16364 (java) S 16357 16359 12983 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19195 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 2 0 0 0
[pid=16359/tid=16365] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16365/stat : 16365 (java) S 16357 16359 12983 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19195 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16366] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16366/stat : 16366 (java) S 16357 16359 12983 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 825010018 13950681088 19195 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16367] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16367/stat : 16367 (java) S 16357 16359 12983 0 -1 4202560 14 0 0 0 0 0 0 0 16 0 19 0 825010018 13950681088 19195 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16368] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16368/stat : 16368 (java) S 16357 16359 12983 0 -1 4202560 78 0 0 0 0 0 0 0 16 0 19 0 825010018 13950681088 19195 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16369] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16369/stat : 16369 (java) S 16357 16359 12983 0 -1 4202560 123 0 0 0 0 0 0 0 16 0 19 0 825010018 13950681088 19195 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16370] ppid=16357 vsize=13623712 CPUtime=0.19 cores=0,2,4,6
/proc/16359/task/16370/stat : 16370 (java) S 16357 16359 12983 0 -1 4202560 693 0 0 0 19 0 0 0 16 0 19 0 825010019 13950681088 19195 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606683136 0 0 0 16800975 18446604445590397056 0 0 -1 4 0 0 0
[pid=16359/tid=16371] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16371/stat : 16371 (java) S 16357 16359 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825010020 13950681088 19195 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16372] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16372/stat : 16372 (java) S 16357 16359 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825010020 13950681088 19195 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16373] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16373/stat : 16373 (java) S 16357 16359 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825010022 13950681088 19195 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606690225 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16374] ppid=16357 vsize=13623712 CPUtime=0.22 cores=0,2,4,6
/proc/16359/task/16374/stat : 16374 (java) S 16357 16359 12983 0 -1 4202560 2240 0 0 0 22 0 0 0 15 0 19 0 825010022 13950681088 19195 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 2 0 0 0
[pid=16359/tid=16375] ppid=16357 vsize=13623712 CPUtime=0.17 cores=0,2,4,6
/proc/16359/task/16375/stat : 16375 (java) S 16357 16359 12983 0 -1 4202560 1330 0 0 0 17 0 0 0 15 0 19 0 825010022 13950681088 19195 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16376] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16376/stat : 16376 (java) S 16357 16359 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825010022 13950681088 19195 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606682521 0 4 0 16800975 18446604445590397056 0 0 -1 6 0 0 0
[pid=16359/tid=16377] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16377/stat : 16377 (java) S 16357 16359 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825010022 13950681088 19195 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606683136 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
[pid=16359/tid=16378] ppid=16357 vsize=13623712 CPUtime=0 cores=0,2,4,6
/proc/16359/task/16378/stat : 16378 (java) S 16357 16359 12983 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825010033 13950681088 19195 33554432000 1073741824 1073778376 140735229520880 18446744073709551615 235606683136 0 4 0 16800975 18446604445590397056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 13623712
Child status: 10
Real time (s): 5.81601
CPU time (s): 6.23505
CPU user time (s): 6.19806
CPU system time (s): 0.036994
CPU usage (%): 107.205
Max. virtual memory (cumulated for all children) (KiB): 13623712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.19806
system time used= 0.036994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20556
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= 698
involuntary context switches= 220
runsolver used 0.031995 second user time and 0.06499 second system time
The end