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-3455089-1307188841/watcher-3455089-1307188841 -o /tmp/evaluation-result-3455089-1307188841/solver-3455089-1307188841 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455089-1307188841.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.51 3.74 3.56 4/509 22269
/proc/meminfo: memFree=20627424/32951124 swapFree=46575304/67111528
[pid=22269] ppid=22267 vsize=9104 CPUtime=0 cores=1,3,5,7
/proc/22269/stat : 22269 (java) R 22267 22269 17058 0 -1 4202496 233 0 0 0 0 0 0 0 25 0 1 0 563075415 9322496 171 33554432000 1073741824 1073778376 140734202613568 18446744073709551615 268660662016 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22269/statm: 2275 171 130 9 0 67 0
[pid=22269/tid=22270] ppid=22267 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (java) R 22267 22269 17058 0 -1 4202560 2191 0 1 0 0 0 0 0 25 0 2 0 563075416 10694979584 3007 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0524521 s]
/proc/loadavg: 3.51 3.74 3.56 4/509 22269
/proc/meminfo: memFree=20627424/32951124 swapFree=46575304/67111528
[pid=22269] ppid=22267 vsize=10533016 CPUtime=0.03 cores=1,3,5,7
/proc/22269/stat : 22269 (java) S 22267 22269 17058 0 -1 4202496 11320 0 1 0 2 1 0 0 25 0 13 0 563075415 10785808384 11017 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/22269/statm: 2633254 11017 1676 9 0 2624002 0
[pid=22269/tid=22270] ppid=22267 vsize=10533016 CPUtime=0.03 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (java) R 22267 22269 17058 0 -1 4202560 10172 0 1 0 2 1 0 0 18 0 13 0 563075416 10785808384 11018 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 47472138980414 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10533016
[startup+0.104465 s]
/proc/loadavg: 3.51 3.74 3.56 4/509 22269
/proc/meminfo: memFree=20627424/32951124 swapFree=46575304/67111528
[pid=22269] ppid=22267 vsize=10539828 CPUtime=0.1 cores=1,3,5,7
/proc/22269/stat : 22269 (java) S 22267 22269 17058 0 -1 4202496 13047 0 1 0 8 2 0 0 25 0 18 0 563075415 10792783872 12708 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22269/statm: 2634957 12709 2092 9 0 2625691 0
[pid=22269/tid=22270] ppid=22267 vsize=10539828 CPUtime=0.08 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (java) R 22267 22269 17058 0 -1 4202560 11094 0 1 0 7 1 0 0 22 0 18 0 563075416 10792783872 12709 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 47472134824707 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539828
[startup+0.300424 s]
/proc/loadavg: 3.51 3.74 3.56 4/509 22269
/proc/meminfo: memFree=20627424/32951124 swapFree=46575304/67111528
[pid=22269] ppid=22267 vsize=10545696 CPUtime=0.42 cores=1,3,5,7
/proc/22269/stat : 22269 (java) S 22267 22269 17058 0 -1 4202496 15059 0 1 0 40 2 0 0 25 0 19 0 563075415 10798792704 14585 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22269/statm: 2636424 14585 2212 9 0 2627158 0
[pid=22269/tid=22270] ppid=22267 vsize=10545696 CPUtime=0.23 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (java) S 22267 22269 17058 0 -1 4202560 12240 0 1 0 21 2 0 0 23 0 19 0 563075416 10798792704 14585 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478720 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 10545696
[startup+0.700338 s]
/proc/loadavg: 3.51 3.74 3.56 4/509 22269
/proc/meminfo: memFree=20627424/32951124 swapFree=46575304/67111528
[pid=22269] ppid=22267 vsize=10545696 CPUtime=0.42 cores=1,3,5,7
/proc/22269/stat : 22269 (java) S 22267 22269 17058 0 -1 4202496 15059 0 1 0 40 2 0 0 25 0 19 0 563075415 10798792704 14585 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22269/statm: 2636424 14585 2212 9 0 2627158 0
[pid=22269/tid=22270] ppid=22267 vsize=10545696 CPUtime=0.23 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (java) S 22267 22269 17058 0 -1 4202560 12240 0 1 0 21 2 0 0 23 0 19 0 563075416 10798792704 14585 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478720 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 10545696
[startup+1.5012 s]
/proc/loadavg: 3.51 3.74 3.56 4/528 22297
/proc/meminfo: memFree=20568568/32951124 swapFree=46575304/67111528
[pid=22269] ppid=22267 vsize=10556876 CPUtime=1.05 cores=1,3,5,7
/proc/22269/stat : 22269 (java) S 22267 22269 17058 0 -1 4202496 22695 0 1 0 102 3 0 0 25 0 20 0 563075415 10810241024 19707 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22269/statm: 2639219 19707 2224 9 0 2629953 0
[pid=22269/tid=22270] ppid=22267 vsize=10556876 CPUtime=0.24 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (java) S 22267 22269 17058 0 -1 4202560 12305 0 1 0 22 2 0 0 16 0 20 0 563075416 10810241024 19707 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478720 0 4 0 16800975 18446604461373413312 0 0 -1 5 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563075418 10810241024 19707 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
[pid=22269/tid=22273] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22273/stat : 22273 (java) S 22267 22269 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 563075418 10810241024 19707 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
[pid=22269/tid=22274] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22274/stat : 22274 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563075418 10810241024 19707 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
[pid=22269/tid=22275] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22275/stat : 22275 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563075418 10810241024 19707 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
[pid=22269/tid=22276] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22276/stat : 22276 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563075418 10810241024 19707 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
[pid=22269/tid=22277] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22277/stat : 22277 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563075418 10810241024 19707 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
[pid=22269/tid=22278] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22278/stat : 22278 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563075418 10810241024 19707 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
[pid=22269/tid=22279] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22279/stat : 22279 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563075418 10810241024 19707 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
[pid=22269/tid=22280] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22280/stat : 22280 (java) S 22267 22269 17058 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 563075419 10810241024 19707 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478720 0 0 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22281] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22281/stat : 22281 (java) S 22267 22269 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 563075420 10810241024 19707 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22282] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22282/stat : 22282 (java) S 22267 22269 17058 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 20 0 563075420 10810241024 19707 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
[pid=22269/tid=22283] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22283/stat : 22283 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 563075422 10810241024 19707 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672485809 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22284] ppid=22267 vsize=10556876 CPUtime=0.37 cores=1,3,5,7
/proc/22269/task/22284/stat : 22284 (java) S 22267 22269 17058 0 -1 4202560 5066 0 0 0 37 0 0 0 16 0 20 0 563075422 10810241024 19707 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22285] ppid=22267 vsize=10556876 CPUtime=0.25 cores=1,3,5,7
/proc/22269/task/22285/stat : 22285 (java) S 22267 22269 17058 0 -1 4202560 3152 0 0 0 25 0 0 0 16 0 20 0 563075422 10810241024 19707 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 1 0 0 0
[pid=22269/tid=22286] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22286/stat : 22286 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 563075422 10810241024 19707 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 1 0 0 0
[pid=22269/tid=22287] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22287/stat : 22287 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 563075422 10810241024 19707 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478720 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
[pid=22269/tid=22291] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22291/stat : 22291 (java) S 22267 22269 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 563075441 10810241024 19707 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478720 0 4 0 16800975 18446604461373413312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 10556876
[startup+3.10088 s]
/proc/loadavg: 3.51 3.74 3.56 2/528 22302
/proc/meminfo: memFree=20543344/32951124 swapFree=46575304/67111528
[pid=22269] ppid=22267 vsize=10556876 CPUtime=2.43 cores=1,3,5,7
/proc/22269/stat : 22269 (java) S 22267 22269 17058 0 -1 4202496 47887 0 1 0 236 7 0 0 25 0 22 0 563075415 10810241024 44192 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22269/statm: 2639219 44192 2257 9 0 2629953 0
[pid=22269/tid=22270] ppid=22267 vsize=10556876 CPUtime=0.24 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (java) S 22267 22269 17058 0 -1 4202560 12367 0 1 0 22 2 0 0 16 0 22 0 563075416 10810241024 44192 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478720 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 563075418 10810241024 44192 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 5 0 0 0
[pid=22269/tid=22273] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22273/stat : 22273 (java) S 22267 22269 17058 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 563075418 10810241024 44192 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
[pid=22269/tid=22274] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22274/stat : 22274 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 563075418 10810241024 44192 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
[pid=22269/tid=22275] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22275/stat : 22275 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 563075418 10810241024 44192 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 1 0 0 0
[pid=22269/tid=22276] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22276/stat : 22276 (java) S 22267 22269 17058 0 -1 4202560 67 0 0 0 0 0 0 0 18 0 22 0 563075418 10810241024 44192 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 1 0 0 0
[pid=22269/tid=22277] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22277/stat : 22277 (java) S 22267 22269 17058 0 -1 4202560 165 0 0 0 0 0 0 0 18 0 22 0 563075418 10810241024 44192 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
[pid=22269/tid=22278] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22278/stat : 22278 (java) S 22267 22269 17058 0 -1 4202560 258 0 0 0 0 0 0 0 18 0 22 0 563075418 10810241024 44192 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 5 0 0 0
[pid=22269/tid=22279] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22279/stat : 22279 (java) S 22267 22269 17058 0 -1 4202560 219 0 0 0 0 0 0 0 18 0 22 0 563075418 10810241024 44192 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
[pid=22269/tid=22280] ppid=22267 vsize=10556876 CPUtime=0.01 cores=1,3,5,7
/proc/22269/task/22280/stat : 22280 (java) S 22267 22269 17058 0 -1 4202560 708 0 0 0 1 0 0 0 15 0 22 0 563075419 10810241024 44192 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478720 0 0 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22281] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22281/stat : 22281 (java) S 22267 22269 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 563075420 10810241024 44192 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22282] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22282/stat : 22282 (java) S 22267 22269 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 563075420 10810241024 44192 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22283] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22283/stat : 22283 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 563075422 10810241024 44192 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672485809 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22284] ppid=22267 vsize=10556876 CPUtime=0.64 cores=1,3,5,7
/proc/22269/task/22284/stat : 22284 (java) S 22267 22269 17058 0 -1 4202560 5142 0 0 0 64 0 0 0 15 0 22 0 563075422 10810241024 44192 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22285] ppid=22267 vsize=10556876 CPUtime=0.53 cores=1,3,5,7
/proc/22269/task/22285/stat : 22285 (java) R 22267 22269 17058 0 -1 4202560 3910 0 0 0 53 0 0 0 15 0 22 0 563075422 10810241024 44192 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 47472137516168 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22269/tid=22286] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22286/stat : 22286 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 563075422 10810241024 44192 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 1 0 0 0
[pid=22269/tid=22287] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22287/stat : 22287 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 563075422 10810241024 44192 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478720 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
[pid=22269/tid=22291] ppid=22267 vsize=10556876 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22291/stat : 22291 (java) S 22267 22269 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563075441 10810241024 44192 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478720 0 4 0 16800975 18446604461373413312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 10556876
heavy processes:
[startup+6.30135 s]
/proc/loadavg: 3.63 3.76 3.57 5/531 22308
/proc/meminfo: memFree=20200204/32951124 swapFree=46575304/67111528
[pid=22269] ppid=22267 vsize=10557280 CPUtime=9.38 cores=1,3,5,7
/proc/22269/stat : 22269 (java) S 22267 22269 17058 0 -1 4202496 130937 0 1 0 920 18 0 0 25 0 22 0 563075415 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22269/statm: 2639320 122436 2258 9 0 2630054 0
[pid=22269/tid=22270] ppid=22267 vsize=10557280 CPUtime=0.24 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (java) S 22267 22269 17058 0 -1 4202560 12367 0 1 0 22 2 0 0 15 0 22 0 563075416 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478720 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (java) S 22267 22269 17058 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 22 0 563075418 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22273] ppid=22267 vsize=10557280 CPUtime=0.01 cores=1,3,5,7
/proc/22269/task/22273/stat : 22273 (java) S 22267 22269 17058 0 -1 4202560 66 0 0 0 1 0 0 0 15 0 22 0 563075418 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22274] ppid=22267 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22274/stat : 22274 (java) S 22267 22269 17058 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 563075418 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
[pid=22269/tid=22275] ppid=22267 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22275/stat : 22275 (java) S 22267 22269 17058 0 -1 4202560 101 0 0 0 0 0 0 0 16 0 22 0 563075418 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22276] ppid=22267 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22276/stat : 22276 (java) S 22267 22269 17058 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 563075418 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22277] ppid=22267 vsize=10557280 CPUtime=0.01 cores=1,3,5,7
/proc/22269/task/22277/stat : 22277 (java) S 22267 22269 17058 0 -1 4202560 465 0 0 0 1 0 0 0 15 0 22 0 563075418 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
[pid=22269/tid=22278] ppid=22267 vsize=10557280 CPUtime=0.01 cores=1,3,5,7
/proc/22269/task/22278/stat : 22278 (java) S 22267 22269 17058 0 -1 4202560 370 0 0 0 1 0 0 0 16 0 22 0 563075418 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 5 0 0 0
[pid=22269/tid=22279] ppid=22267 vsize=10557280 CPUtime=0.01 cores=1,3,5,7
/proc/22269/task/22279/stat : 22279 (java) S 22267 22269 17058 0 -1 4202560 391 0 0 0 1 0 0 0 16 0 22 0 563075418 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22280] ppid=22267 vsize=10557280 CPUtime=0.18 cores=1,3,5,7
/proc/22269/task/22280/stat : 22280 (java) S 22267 22269 17058 0 -1 4202560 3249 0 0 0 18 0 0 0 16 0 22 0 563075419 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478720 0 0 0 16800975 18446604461373413312 0 0 -1 1 0 0 0
[pid=22269/tid=22281] ppid=22267 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22281/stat : 22281 (java) S 22267 22269 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 563075420 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22282] ppid=22267 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22282/stat : 22282 (java) S 22267 22269 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 563075420 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22283] ppid=22267 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22283/stat : 22283 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 563075422 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672485809 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22284] ppid=22267 vsize=10557280 CPUtime=0.9 cores=1,3,5,7
/proc/22269/task/22284/stat : 22284 (java) S 22267 22269 17058 0 -1 4202560 5235 0 0 0 90 0 0 0 15 0 22 0 563075422 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22285] ppid=22267 vsize=10557280 CPUtime=1 cores=1,3,5,7
/proc/22269/task/22285/stat : 22285 (java) S 22267 22269 17058 0 -1 4202560 8735 0 0 0 99 1 0 0 15 0 22 0 563075422 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 1 0 0 0
[pid=22269/tid=22286] ppid=22267 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22286/stat : 22286 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 563075422 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 1 0 0 0
[pid=22269/tid=22287] ppid=22267 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22287/stat : 22287 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 563075422 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478720 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
[pid=22269/tid=22291] ppid=22267 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22291/stat : 22291 (java) S 22267 22269 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563075441 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478720 0 4 0 16800975 18446604461373413312 0 0 -1 5 0 0 0
[pid=22269/tid=22306] ppid=22267 vsize=10557280 CPUtime=3.29 cores=1,3,5,7
/proc/22269/task/22306/stat : 22306 (java) R 22267 22269 17058 0 -1 4202560 572 0 0 0 329 0 0 0 19 0 22 0 563075694 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 46912505642070 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22269/tid=22307] ppid=22267 vsize=10557280 CPUtime=3.26 cores=1,3,5,7
/proc/22269/task/22307/stat : 22307 (java) R 22267 22269 17058 0 -1 4202560 93996 0 0 0 315 11 0 0 20 0 22 0 563075694 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 46912505714062 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22269/tid=22308] ppid=22267 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22308/stat : 22308 (java) S 22267 22269 17058 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 563075694 10810654720 122436 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478720 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.38
Current children cumulated vsize (KiB) 10557280
[startup+12.7013 s]
/proc/loadavg: 3.66 3.76 3.57 4/531 22319
/proc/meminfo: memFree=19998720/32951124 swapFree=46575304/67111528
[pid=22269] ppid=22267 vsize=10557280 CPUtime=20.22 cores=1,3,5,7
/proc/22269/stat : 22269 (java) S 22267 22269 17058 0 -1 4202496 164939 0 1 0 2001 21 0 0 25 0 19 0 563075415 10810654720 156421 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22269/statm: 2639320 156421 2258 9 0 2630054 0
[pid=22269/tid=22270] ppid=22267 vsize=10557280 CPUtime=0.24 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (java) S 22267 22269 17058 0 -1 4202560 12367 0 1 0 22 2 0 0 15 0 19 0 563075416 10810654720 156421 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478720 0 4 0 16800975 18446604461373413312 0 0 -1 5 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=10557280 CPUtime=0.01 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (java) S 22267 22269 17058 0 -1 4202560 173 0 0 0 1 0 0 0 15 0 19 0 563075418 10810654720 156421 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22273] ppid=22267 vsize=10557280 CPUtime=0.01 cores=1,3,5,7
/proc/22269/task/22273/stat : 22273 (java) S 22267 22269 17058 0 -1 4202560 78 0 0 0 1 0 0 0 15 0 19 0 563075418 10810654720 156421 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 5 0 0 0
[pid=22269/tid=22274] ppid=22267 vsize=10557280 CPUtime=0.01 cores=1,3,5,7
/proc/22269/task/22274/stat : 22274 (java) S 22267 22269 17058 0 -1 4202560 11 0 0 0 1 0 0 0 15 0 19 0 563075418 10810654720 156421 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
[pid=22269/tid=22275] ppid=22267 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22275/stat : 22275 (java) S 22267 22269 17058 0 -1 4202560 111 0 0 0 0 0 0 0 16 0 19 0 563075418 10810654720 156421 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22276] ppid=22267 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22276/stat : 22276 (java) S 22267 22269 17058 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 563075418 10810654720 156421 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 5 0 0 0
[pid=22269/tid=22277] ppid=22267 vsize=10557280 CPUtime=0.01 cores=1,3,5,7
/proc/22269/task/22277/stat : 22277 (java) S 22267 22269 17058 0 -1 4202560 468 0 0 0 1 0 0 0 15 0 19 0 563075418 10810654720 156421 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 7 0 0 0
[pid=22269/tid=22278] ppid=22267 vsize=10557280 CPUtime=0.02 cores=1,3,5,7
/proc/22269/task/22278/stat : 22278 (java) S 22267 22269 17058 0 -1 4202560 371 0 0 0 2 0 0 0 16 0 19 0 563075418 10810654720 156421 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 5 0 0 0
[pid=22269/tid=22279] ppid=22267 vsize=10557280 CPUtime=0.02 cores=1,3,5,7
/proc/22269/task/22279/stat : 22279 (java) S 22267 22269 17058 0 -1 4202560 391 0 0 0 2 0 0 0 15 0 19 0 563075418 10810654720 156421 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 5 0 0 0
[pid=22269/tid=22280] ppid=22267 vsize=10557280 CPUtime=0.61 cores=1,3,5,7
/proc/22269/task/22280/stat : 22280 (java) S 22267 22269 17058 0 -1 4202560 3879 0 0 0 61 0 0 0 16 0 19 0 563075419 10810654720 156421 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478720 0 0 0 16800975 18446604461373413312 0 0 -1 1 0 0 0
[pid=22269/tid=22281] ppid=22267 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22281/stat : 22281 (java) S 22267 22269 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 563075420 10810654720 156421 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 1 0 0 0
[pid=22269/tid=22282] ppid=22267 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22282/stat : 22282 (java) S 22267 22269 17058 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 563075420 10810654720 156421 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 5 0 0 0
[pid=22269/tid=22283] ppid=22267 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22283/stat : 22283 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 563075422 10810654720 156421 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672485809 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22284] ppid=22267 vsize=10557280 CPUtime=0.92 cores=1,3,5,7
/proc/22269/task/22284/stat : 22284 (java) S 22267 22269 17058 0 -1 4202560 5235 0 0 0 92 0 0 0 15 0 19 0 563075422 10810654720 156421 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22285] ppid=22267 vsize=10557280 CPUtime=1.02 cores=1,3,5,7
/proc/22269/task/22285/stat : 22285 (java) S 22267 22269 17058 0 -1 4202560 8735 0 0 0 101 1 0 0 15 0 19 0 563075422 10810654720 156421 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 1 0 0 0
[pid=22269/tid=22286] ppid=22267 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22286/stat : 22286 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 563075422 10810654720 156421 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478105 0 4 0 16800975 18446604461373413312 0 0 -1 1 0 0 0
[pid=22269/tid=22287] ppid=22267 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22287/stat : 22287 (java) S 22267 22269 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 563075422 10810654720 156421 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478720 0 4 0 16800975 18446604461373413312 0 0 -1 3 0 0 0
[pid=22269/tid=22291] ppid=22267 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22291/stat : 22291 (java) S 22267 22269 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 563075441 10810654720 156421 33554432000 1073741824 1073778376 140734422357072 18446744073709551615 268672478720 0 4 0 16800975 18446604461373413312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 20.22
Current children cumulated vsize (KiB) 10557280
Solver just ended. Dumping a history of the last processes samples
[startup+12.9012 s]
/proc/loadavg: 3.66 3.76 3.57 4/531 22319
/proc/meminfo: memFree=19998720/32951124 swapFree=46575304/67111528
[pid=22269] ppid=22267 vsize=0 CPUtime=20.29 cores=1,3,5,7
/proc/22269/stat : 22269 (java) Z 22267 22269 17058 0 -1 4203548 164950 0 1 0 2008 21 0 0 18 0 2 0 563075415 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22269/statm: 0 0 0 0 0 0 0
[pid=22269/tid=22291] ppid=22267 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22291/stat : 22291 (java) R 22267 22269 17058 0 -1 4203588 7 0 0 0 0 0 0 0 18 0 2 0 563075441 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 20.29
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 12.9198
CPU time (s): 20.3209
CPU user time (s): 20.0849
CPU system time (s): 0.235964
CPU usage (%): 157.285
Max. virtual memory (cumulated for all children) (KiB): 10557280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.0849
system time used= 0.235964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164950
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= 1267
involuntary context switches= 563
runsolver used 0.066989 second user time and 0.169974 second system time
The end