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-3459827-1307169298/watcher-3459827-1307169298 -o /tmp/evaluation-result-3459827-1307169298/solver-3459827-1307169298 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459827-1307169298.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.01 2.01 2.00 3/391 19621
/proc/meminfo: memFree=19217820/32951124 swapFree=37148216/67111528
[pid=19621] ppid=19619 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/19621/stat : 19621 (java) S 19619 19621 19222 0 -1 4202496 3414 0 1 0 0 0 0 0 25 0 2 0 828530252 13833195520 3115 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/19621/statm: 3377245 3127 906 9 0 3368401 0
[pid=19621/tid=19622] ppid=19619 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19622/stat : 19622 (java) R 19619 19621 19222 0 -1 4202560 4018 0 1 0 0 0 0 0 25 0 2 0 828530252 13850947584 4833 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0904439 s]
/proc/loadavg: 2.01 2.01 2.00 3/391 19621
/proc/meminfo: memFree=19217820/32951124 swapFree=37148216/67111528
[pid=19621] ppid=19619 vsize=13622352 CPUtime=0.09 cores=0,2,4,6
/proc/19621/stat : 19621 (java) S 19619 19621 19222 0 -1 4202496 15366 0 1 0 8 1 0 0 25 0 18 0 828530252 13949288448 15043 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19621/statm: 3405588 15044 2062 9 0 3396322 0
[pid=19621/tid=19622] ppid=19619 vsize=13622352 CPUtime=0.07 cores=0,2,4,6
/proc/19621/task/19622/stat : 19622 (java) R 19619 19621 19222 0 -1 4202560 13495 0 1 0 6 1 0 0 18 0 18 0 828530252 13949288448 15045 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 47923085300483 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13622352
[startup+0.100424 s]
/proc/loadavg: 2.01 2.01 2.00 3/391 19621
/proc/meminfo: memFree=19217820/32951124 swapFree=37148216/67111528
[pid=19621] ppid=19619 vsize=13622352 CPUtime=0.1 cores=0,2,4,6
/proc/19621/stat : 19621 (java) S 19619 19621 19222 0 -1 4202496 15578 0 1 0 9 1 0 0 25 0 18 0 828530252 13949288448 15255 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19621/statm: 3405588 15256 2092 9 0 3396322 0
[pid=19621/tid=19622] ppid=19619 vsize=13622352 CPUtime=0.08 cores=0,2,4,6
/proc/19621/task/19622/stat : 19622 (java) R 19619 19621 19222 0 -1 4202560 13663 0 1 0 7 1 0 0 18 0 18 0 828530252 13949288448 15257 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230808826913 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622352
[startup+0.300397 s]
/proc/loadavg: 2.01 2.01 2.00 3/391 19621
/proc/meminfo: memFree=19217820/32951124 swapFree=37148216/67111528
[pid=19621] ppid=19619 vsize=13626868 CPUtime=0.5 cores=0,2,4,6
/proc/19621/stat : 19621 (java) S 19619 19621 19222 0 -1 4202496 19150 0 1 0 48 2 0 0 25 0 18 0 828530252 13953912832 18516 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19621/statm: 3406717 18517 2201 9 0 3397451 0
[pid=19621/tid=19622] ppid=19619 vsize=13626868 CPUtime=0.28 cores=0,2,4,6
/proc/19621/task/19622/stat : 19622 (java) R 19619 19621 19222 0 -1 4202560 15672 0 1 0 27 1 0 0 18 0 18 0 828530252 13953912832 18517 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13626868
[startup+0.700342 s]
/proc/loadavg: 2.01 2.01 2.00 3/391 19621
/proc/meminfo: memFree=19217820/32951124 swapFree=37148216/67111528
[pid=19621] ppid=19619 vsize=13628068 CPUtime=1.22 cores=0,2,4,6
/proc/19621/stat : 19621 (java) S 19619 19621 19222 0 -1 4202496 50349 0 1 0 117 5 0 0 25 0 18 0 828530252 13955141632 48211 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19621/statm: 3407017 48215 2221 9 0 3397751 0
[pid=19621/tid=19622] ppid=19619 vsize=13628068 CPUtime=0.68 cores=0,2,4,6
/proc/19621/task/19622/stat : 19622 (java) R 19619 19621 19222 0 -1 4202560 44435 0 1 0 64 4 0 0 18 0 18 0 828530252 13955141632 48217 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 46912505602161 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 13628068
[startup+1.50118 s]
/proc/loadavg: 2.09 2.03 2.01 5/410 19640
/proc/meminfo: memFree=18980396/32951124 swapFree=37148216/67111528
[pid=19621] ppid=19619 vsize=13629604 CPUtime=2.51 cores=0,2,4,6
/proc/19621/stat : 19621 (java) S 19619 19621 19222 0 -1 4202496 65015 0 1 0 244 7 0 0 25 0 19 0 828530252 13956714496 61348 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19621/statm: 3407401 61348 2234 9 0 3398135 0
[pid=19621/tid=19622] ppid=19619 vsize=13629604 CPUtime=1.49 cores=0,2,4,6
/proc/19621/task/19622/stat : 19622 (java) R 19619 19621 19222 0 -1 4202560 57217 0 1 0 143 6 0 0 19 0 19 0 828530252 13956714496 61348 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 46912505902103 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19621/tid=19624] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19624/stat : 19624 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61348 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19625] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19625/stat : 19625 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61348 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 6 0 0 0
[pid=19621/tid=19626] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19626/stat : 19626 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61348 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19627] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19627/stat : 19627 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61348 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19628] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19628/stat : 19628 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61348 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19629] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19629/stat : 19629 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61348 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19630] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19630/stat : 19630 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61348 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19631] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19631/stat : 19631 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61348 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19632] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19632/stat : 19632 (java) S 19619 19621 19222 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 828530255 13956714496 61348 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820982272 0 0 0 16800975 18446604441095930304 0 0 -1 2 0 0 0
[pid=19621/tid=19633] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19633/stat : 19633 (java) S 19619 19621 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828530256 13956714496 61348 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 2 0 0 0
[pid=19621/tid=19634] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19634/stat : 19634 (java) S 19619 19621 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828530256 13956714496 61348 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 2 0 0 0
[pid=19621/tid=19635] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19635/stat : 19635 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530258 13956714496 61348 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820989361 0 4 0 16800975 18446604441095930304 0 0 -1 2 0 0 0
[pid=19621/tid=19636] ppid=19619 vsize=13629604 CPUtime=0.47 cores=0,2,4,6
/proc/19621/task/19636/stat : 19636 (java) S 19619 19621 19222 0 -1 4202560 2826 0 0 0 47 0 0 0 22 0 19 0 828530258 13956714496 61348 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 0 0 0 0
[pid=19621/tid=19637] ppid=19619 vsize=13629604 CPUtime=0.53 cores=0,2,4,6
/proc/19621/task/19637/stat : 19637 (java) S 19619 19621 19222 0 -1 4202560 3811 0 0 0 53 0 0 0 15 0 19 0 828530258 13956714496 61348 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19638] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19638/stat : 19638 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530258 13956714496 61348 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 2 0 0 0
[pid=19621/tid=19639] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19639/stat : 19639 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828530258 13956714496 61348 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820982272 0 4 0 16800975 18446604441095930304 0 0 -1 6 0 0 0
[pid=19621/tid=19640] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19640/stat : 19640 (java) S 19619 19621 19222 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828530344 13956714496 61348 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820982272 0 4 0 16800975 18446604441095930304 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 13629604
Solver just ended. Dumping a history of the last processes samples
[startup+2.30101 s]
/proc/loadavg: 2.09 2.03 2.01 3/410 19640
/proc/meminfo: memFree=18978908/32951124 swapFree=37148216/67111528
[pid=19621] ppid=19619 vsize=13629604 CPUtime=3.32 cores=0,2,4,6
/proc/19621/stat : 19621 (java) S 19619 19621 19222 0 -1 4202496 65146 0 1 0 325 7 0 0 25 0 19 0 828530252 13956714496 61478 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19621/statm: 3407401 61478 2234 9 0 3398135 0
[pid=19621/tid=19622] ppid=19619 vsize=13629604 CPUtime=2.29 cores=0,2,4,6
/proc/19621/task/19622/stat : 19622 (java) R 19619 19621 19222 0 -1 4202560 57348 0 1 0 223 6 0 0 18 0 19 0 828530252 13956714496 61478 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 46912505984762 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19621/tid=19624] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19624/stat : 19624 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61478 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19625] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19625/stat : 19625 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61478 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 6 0 0 0
[pid=19621/tid=19626] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19626/stat : 19626 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61478 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19627] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19627/stat : 19627 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61478 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19628] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19628/stat : 19628 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61478 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19629] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19629/stat : 19629 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61478 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19630] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19630/stat : 19630 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61478 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19631] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19631/stat : 19631 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61478 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19632] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19632/stat : 19632 (java) S 19619 19621 19222 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 828530255 13956714496 61478 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820982272 0 0 0 16800975 18446604441095930304 0 0 -1 2 0 0 0
[pid=19621/tid=19633] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19633/stat : 19633 (java) S 19619 19621 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828530256 13956714496 61478 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 2 0 0 0
[pid=19621/tid=19634] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19634/stat : 19634 (java) S 19619 19621 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828530256 13956714496 61478 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 2 0 0 0
[pid=19621/tid=19635] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19635/stat : 19635 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530258 13956714496 61478 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820989361 0 4 0 16800975 18446604441095930304 0 0 -1 2 0 0 0
[pid=19621/tid=19636] ppid=19619 vsize=13629604 CPUtime=0.48 cores=0,2,4,6
/proc/19621/task/19636/stat : 19636 (java) S 19619 19621 19222 0 -1 4202560 2826 0 0 0 48 0 0 0 15 0 19 0 828530258 13956714496 61478 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 0 0 0 0
[pid=19621/tid=19637] ppid=19619 vsize=13629604 CPUtime=0.53 cores=0,2,4,6
/proc/19621/task/19637/stat : 19637 (java) S 19619 19621 19222 0 -1 4202560 3811 0 0 0 53 0 0 0 15 0 19 0 828530258 13956714496 61478 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19638] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19638/stat : 19638 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530258 13956714496 61478 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 2 0 0 0
[pid=19621/tid=19639] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19639/stat : 19639 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828530258 13956714496 61478 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820982272 0 4 0 16800975 18446604441095930304 0 0 -1 6 0 0 0
[pid=19621/tid=19640] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19640/stat : 19640 (java) S 19619 19621 19222 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828530344 13956714496 61478 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820982272 0 4 0 16800975 18446604441095930304 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 13629604
[startup+2.70097 s]
/proc/loadavg: 2.09 2.03 2.01 3/410 19640
/proc/meminfo: memFree=18978908/32951124 swapFree=37148216/67111528
[pid=19621] ppid=19619 vsize=13629604 CPUtime=3.75 cores=0,2,4,6
/proc/19621/stat : 19621 (java) S 19619 19621 19222 0 -1 4202496 65206 0 1 0 368 7 0 0 25 0 19 0 828530252 13956714496 61538 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19621/statm: 3407401 61538 2237 9 0 3398135 0
[pid=19621/tid=19622] ppid=19619 vsize=13629604 CPUtime=2.69 cores=0,2,4,6
/proc/19621/task/19622/stat : 19622 (java) R 19619 19621 19222 0 -1 4202560 57404 0 1 0 263 6 0 0 18 0 19 0 828530252 13956714496 61538 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 46912505929056 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19621/tid=19624] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19624/stat : 19624 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61538 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19625] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19625/stat : 19625 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61538 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 6 0 0 0
[pid=19621/tid=19626] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19626/stat : 19626 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61538 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19627] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19627/stat : 19627 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61538 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19628] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19628/stat : 19628 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61538 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19629] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19629/stat : 19629 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61538 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19630] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19630/stat : 19630 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61538 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19631] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19631/stat : 19631 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530254 13956714496 61538 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19632] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19632/stat : 19632 (java) S 19619 19621 19222 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 828530255 13956714496 61538 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820982272 0 0 0 16800975 18446604441095930304 0 0 -1 2 0 0 0
[pid=19621/tid=19633] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19633/stat : 19633 (java) S 19619 19621 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828530256 13956714496 61538 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 2 0 0 0
[pid=19621/tid=19634] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19634/stat : 19634 (java) S 19619 19621 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828530256 13956714496 61538 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 2 0 0 0
[pid=19621/tid=19635] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19635/stat : 19635 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530258 13956714496 61538 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820989361 0 4 0 16800975 18446604441095930304 0 0 -1 2 0 0 0
[pid=19621/tid=19636] ppid=19619 vsize=13629604 CPUtime=0.48 cores=0,2,4,6
/proc/19621/task/19636/stat : 19636 (java) S 19619 19621 19222 0 -1 4202560 2826 0 0 0 48 0 0 0 15 0 19 0 828530258 13956714496 61538 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 0 0 0 0
[pid=19621/tid=19637] ppid=19619 vsize=13629604 CPUtime=0.56 cores=0,2,4,6
/proc/19621/task/19637/stat : 19637 (java) S 19619 19621 19222 0 -1 4202560 3815 0 0 0 56 0 0 0 15 0 19 0 828530258 13956714496 61538 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19638] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19638/stat : 19638 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530258 13956714496 61538 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 2 0 0 0
[pid=19621/tid=19639] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19639/stat : 19639 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828530258 13956714496 61538 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820982272 0 4 0 16800975 18446604441095930304 0 0 -1 6 0 0 0
[pid=19621/tid=19640] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19640/stat : 19640 (java) S 19619 19621 19222 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828530344 13956714496 61538 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820982272 0 4 0 16800975 18446604441095930304 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 13629604
[startup+2.90094 s]
/proc/loadavg: 2.09 2.03 2.01 3/410 19640
/proc/meminfo: memFree=18978908/32951124 swapFree=37148216/67111528
[pid=19621] ppid=19619 vsize=13629604 CPUtime=4.03 cores=0,2,4,6
/proc/19621/stat : 19621 (java) S 19619 19621 19222 0 -1 4202496 68998 0 1 0 395 8 0 0 25 0 19 0 828530252 13956714496 65320 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19621/statm: 3407401 65330 2259 9 0 3398135 0
[pid=19621/tid=19622] ppid=19619 vsize=13629604 CPUtime=2.83 cores=0,2,4,6
/proc/19621/task/19622/stat : 19622 (java) S 19619 19621 19222 0 -1 4202560 57421 0 1 0 277 6 0 0 19 0 19 0 828530252 13956714496 65336 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 2 0 0 0
[pid=19621/tid=19624] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19624/stat : 19624 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828530254 13956714496 65343 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19625] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19625/stat : 19625 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828530254 13956714496 65350 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 6 0 0 0
[pid=19621/tid=19626] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19626/stat : 19626 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828530254 13956714496 65356 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19627] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19627/stat : 19627 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828530254 13956714496 65362 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19628] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19628/stat : 19628 (java) S 19619 19621 19222 0 -1 4202560 92 0 0 0 0 0 0 0 18 0 19 0 828530254 13956714496 65368 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19629] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19629/stat : 19629 (java) S 19619 19621 19222 0 -1 4202560 606 0 0 0 0 0 0 0 18 0 19 0 828530254 13956714496 65375 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 6 0 0 0
[pid=19621/tid=19630] ppid=19619 vsize=13629604 CPUtime=0.01 cores=0,2,4,6
/proc/19621/task/19630/stat : 19630 (java) S 19619 19621 19222 0 -1 4202560 1101 0 0 0 1 0 0 0 18 0 19 0 828530254 13956714496 65381 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 0 0 0 0
[pid=19621/tid=19631] ppid=19619 vsize=13629604 CPUtime=0.01 cores=0,2,4,6
/proc/19621/task/19631/stat : 19631 (java) S 19619 19621 19222 0 -1 4202560 1010 0 0 0 1 0 0 0 18 0 19 0 828530254 13956714496 65390 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 0 0 0 0
[pid=19621/tid=19632] ppid=19619 vsize=13629604 CPUtime=0.03 cores=0,2,4,6
/proc/19621/task/19632/stat : 19632 (java) R 19619 19621 19222 0 -1 4202560 1056 0 0 0 3 0 0 0 15 0 19 0 828530255 13956714496 65405 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230808863362 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=19621/tid=19633] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19633/stat : 19633 (java) S 19619 19621 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828530256 13956714496 65419 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 2 0 0 0
[pid=19621/tid=19634] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19634/stat : 19634 (java) S 19619 19621 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828530256 13956714496 65429 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 2 0 0 0
[pid=19621/tid=19635] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19635/stat : 19635 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530258 13956714496 65436 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820989361 0 4 0 16800975 18446604441095930304 0 0 -1 2 0 0 0
[pid=19621/tid=19636] ppid=19619 vsize=13629604 CPUtime=0.49 cores=0,2,4,6
/proc/19621/task/19636/stat : 19636 (java) S 19619 19621 19222 0 -1 4202560 2827 0 0 0 49 0 0 0 16 0 19 0 828530258 13956714496 65443 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 0 0 0 0
[pid=19621/tid=19637] ppid=19619 vsize=13629604 CPUtime=0.59 cores=0,2,4,6
/proc/19621/task/19637/stat : 19637 (java) S 19619 19621 19222 0 -1 4202560 3819 0 0 0 59 0 0 0 15 0 19 0 828530258 13956714496 65449 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 4 0 0 0
[pid=19621/tid=19638] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19638/stat : 19638 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828530258 13956714496 65456 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820981657 0 4 0 16800975 18446604441095930304 0 0 -1 2 0 0 0
[pid=19621/tid=19639] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19639/stat : 19639 (java) S 19619 19621 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828530258 13956714496 65462 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820982272 0 4 0 16800975 18446604441095930304 0 0 -1 6 0 0 0
[pid=19621/tid=19640] ppid=19619 vsize=13629604 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19640/stat : 19640 (java) S 19619 19621 19222 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828530344 13956714496 65469 33554432000 1073741824 1073778376 140735713940160 18446744073709551615 230820982272 0 4 0 16800975 18446604441095930304 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 13629604
[startup+3.00088 s]
/proc/loadavg: 2.09 2.03 2.01 3/410 19640
/proc/meminfo: memFree=18978908/32951124 swapFree=37148216/67111528
[pid=19621] ppid=19619 vsize=0 CPUtime=4.13 cores=0,2,4,6
/proc/19621/stat : 19621 (java) Z 19619 19621 19222 0 -1 4203548 70862 0 1 0 404 9 0 0 18 0 2 0 828530252 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19621/statm: 0 0 0 0 0 0 0
[pid=19621/tid=19640] ppid=19619 vsize=0 CPUtime=0 cores=0,2,4,6
/proc/19621/task/19640/stat : 19640 (java) R 19619 19621 19222 0 -1 4203588 7 0 0 0 0 0 0 0 18 0 2 0 828530344 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 3.00379
CPU time (s): 4.14037
CPU user time (s): 4.04439
CPU system time (s): 0.095985
CPU usage (%): 137.838
Max. virtual memory (cumulated for all children) (KiB): 13629604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.04439
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70862
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= 344
involuntary context switches= 52
runsolver used 0.008998 second user time and 0.032994 second system time
The end