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-3458274-1307158515/watcher-3458274-1307158515 -o /tmp/evaluation-result-3458274-1307158515/solver-3458274-1307158515 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458274-1307158515.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: 2.16 2.07 1.96 2/532 12795
/proc/meminfo: memFree=19110572/32950940 swapFree=67111364/67111528
[pid=12795] ppid=12793 vsize=36924 CPUtime=0 cores=1,3,5,7
/proc/12795/stat : 12795 (java) S 12793 12795 8697 0 -1 4202496 1371 0 1 0 0 0 0 0 25 0 2 0 906082301 37810176 1073 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/12795/statm: 9231 1073 833 9 0 387 0
[pid=12795/tid=12796] ppid=12793 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12796/stat : 12796 (java) R 12793 12795 8697 0 -1 4202560 7984 0 1 0 0 0 0 0 25 0 2 0 906082302 13850947584 8800 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.022621 s]
/proc/loadavg: 2.16 2.07 1.96 2/532 12795
/proc/meminfo: memFree=19110572/32950940 swapFree=67111364/67111528
[pid=12795] ppid=12793 vsize=13526316 CPUtime=0.02 cores=1,3,5,7
/proc/12795/stat : 12795 (java) S 12793 12795 8697 0 -1 4202496 11221 0 1 0 1 1 0 0 25 0 2 0 906082301 13850947584 10922 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/12795/statm: 3381579 10940 917 9 0 3372735 0
[pid=12795/tid=12796] ppid=12793 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12796/stat : 12796 (java) R 12793 12795 8697 0 -1 4202560 10134 0 1 0 0 0 0 0 25 0 2 0 906082302 13850947584 10950 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13526316
[startup+0.100599 s]
/proc/loadavg: 2.16 2.07 1.96 2/532 12795
/proc/meminfo: memFree=19110572/32950940 swapFree=67111364/67111528
[pid=12795] ppid=12793 vsize=13621936 CPUtime=0.1 cores=1,3,5,7
/proc/12795/stat : 12795 (java) S 12793 12795 8697 0 -1 4202496 15515 0 1 0 9 1 0 0 25 0 18 0 906082301 13948862464 15211 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12795/statm: 3405484 15211 2093 9 0 3396218 0
[pid=12795/tid=12796] ppid=12793 vsize=13621936 CPUtime=0.08 cores=1,3,5,7
/proc/12795/task/12796/stat : 12796 (java) R 12793 12795 8697 0 -1 4202560 13589 0 1 0 7 1 0 0 22 0 18 0 906082302 13948862464 15211 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 47376131884166 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621936
[startup+0.300564 s]
/proc/loadavg: 2.16 2.07 1.96 2/532 12795
/proc/meminfo: memFree=19110572/32950940 swapFree=67111364/67111528
[pid=12795] ppid=12793 vsize=13625408 CPUtime=0.52 cores=1,3,5,7
/proc/12795/stat : 12795 (java) S 12793 12795 8697 0 -1 4202496 18415 0 1 0 50 2 0 0 25 0 19 0 906082301 13952417792 17181 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12795/statm: 3406352 17181 2193 9 0 3397086 0
[pid=12795/tid=12796] ppid=12793 vsize=13625408 CPUtime=0.28 cores=1,3,5,7
/proc/12795/task/12796/stat : 12796 (java) R 12793 12795 8697 0 -1 4202560 14204 0 1 0 27 1 0 0 23 0 19 0 906082302 13952417792 17181 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 46912505571425 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 13625408
[startup+0.700491 s]
/proc/loadavg: 2.16 2.07 1.96 2/532 12795
/proc/meminfo: memFree=19110572/32950940 swapFree=67111364/67111528
[pid=12795] ppid=12793 vsize=13625408 CPUtime=1 cores=1,3,5,7
/proc/12795/stat : 12795 (java) S 12793 12795 8697 0 -1 4202496 19385 0 1 0 98 2 0 0 25 0 19 0 906082301 13952417792 18066 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12795/statm: 3406352 18066 2237 9 0 3397086 0
[pid=12795/tid=12796] ppid=12793 vsize=13625408 CPUtime=0.66 cores=1,3,5,7
/proc/12795/task/12796/stat : 12796 (java) R 12793 12795 8697 0 -1 4202560 14461 0 1 0 65 1 0 0 25 0 19 0 906082302 13952417792 18066 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 46912505515668 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 13625408
Solver just ended. Dumping a history of the last processes samples
[startup+1.12043 s]
/proc/loadavg: 2.16 2.07 1.96 4/551 12814
/proc/meminfo: memFree=19031944/32950940 swapFree=67111364/67111528
[pid=12795] ppid=12793 vsize=13642300 CPUtime=1.75 cores=1,3,5,7
/proc/12795/stat : 12795 (java) S 12793 12795 8697 0 -1 4202496 25098 0 1 0 172 3 0 0 25 0 19 0 906082301 13969715200 22148 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12795/statm: 3410575 22148 2239 9 0 3401309 0
[pid=12795/tid=12796] ppid=12793 vsize=13642300 CPUtime=1.06 cores=1,3,5,7
/proc/12795/task/12796/stat : 12796 (java) R 12793 12795 8697 0 -1 4202560 14463 0 1 0 105 1 0 0 25 0 19 0 906082302 13969715200 22148 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 46912505531479 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12795/tid=12798] ppid=12793 vsize=13642300 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12798/stat : 12798 (java) S 12793 12795 8697 0 -1 4202560 118 0 0 0 0 0 0 0 17 0 19 0 906082304 13969715200 22148 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 7 0 0 0
[pid=12795/tid=12799] ppid=12793 vsize=13642300 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12799/stat : 12799 (java) S 12793 12795 8697 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 19 0 906082304 13969715200 22148 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 1 0 0 0
[pid=12795/tid=12800] ppid=12793 vsize=13642300 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12800/stat : 12800 (java) S 12793 12795 8697 0 -1 4202560 133 0 0 0 0 0 0 0 17 0 19 0 906082304 13969715200 22148 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 7 0 0 0
[pid=12795/tid=12801] ppid=12793 vsize=13642300 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12801/stat : 12801 (java) S 12793 12795 8697 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 906082304 13969715200 22148 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 5 0 0 0
[pid=12795/tid=12802] ppid=12793 vsize=13642300 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12802/stat : 12802 (java) S 12793 12795 8697 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 19 0 906082304 13969715200 22148 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 5 0 0 0
[pid=12795/tid=12803] ppid=12793 vsize=13642300 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12803/stat : 12803 (java) S 12793 12795 8697 0 -1 4202560 144 0 0 0 0 0 0 0 17 0 19 0 906082304 13969715200 22148 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 5 0 0 0
[pid=12795/tid=12804] ppid=12793 vsize=13642300 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12804/stat : 12804 (java) S 12793 12795 8697 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 906082304 13969715200 22148 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 7 0 0 0
[pid=12795/tid=12805] ppid=12793 vsize=13642300 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12805/stat : 12805 (java) S 12793 12795 8697 0 -1 4202560 113 0 0 0 0 0 0 0 17 0 19 0 906082304 13969715200 22148 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 5 0 0 0
[pid=12795/tid=12806] ppid=12793 vsize=13642300 CPUtime=0.02 cores=1,3,5,7
/proc/12795/task/12806/stat : 12806 (java) S 12793 12795 8697 0 -1 4202560 467 0 0 0 2 0 0 0 17 0 19 0 906082305 13969715200 22148 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000409088 0 0 0 16800975 18446604459893576960 0 0 -1 3 0 0 0
[pid=12795/tid=12807] ppid=12793 vsize=13642300 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12807/stat : 12807 (java) S 12793 12795 8697 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 906082305 13969715200 22148 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 3 0 0 0
[pid=12795/tid=12808] ppid=12793 vsize=13642300 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12808/stat : 12808 (java) S 12793 12795 8697 0 -1 4202560 11 0 0 0 0 0 0 0 21 0 19 0 906082305 13969715200 22148 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 5 0 0 0
[pid=12795/tid=12809] ppid=12793 vsize=13642300 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12809/stat : 12809 (java) S 12793 12795 8697 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906082307 13969715200 22148 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000416177 0 4 0 16800975 18446604459893576960 0 0 -1 3 0 0 0
[pid=12795/tid=12810] ppid=12793 vsize=13642300 CPUtime=0.44 cores=1,3,5,7
/proc/12795/task/12810/stat : 12810 (java) R 12793 12795 8697 0 -1 4202560 6748 0 0 0 44 0 0 0 16 0 19 0 906082307 13969715200 22148 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 47376135427194 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12795/tid=12811] ppid=12793 vsize=13642300 CPUtime=0.17 cores=1,3,5,7
/proc/12795/task/12811/stat : 12811 (java) S 12793 12795 8697 0 -1 4202560 1691 0 0 0 17 0 0 0 16 0 19 0 906082307 13969715200 22148 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 3 0 0 0
[pid=12795/tid=12812] ppid=12793 vsize=13642300 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12812/stat : 12812 (java) S 12793 12795 8697 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906082307 13969715200 22148 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 3 0 0 0
[pid=12795/tid=12813] ppid=12793 vsize=13642300 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12813/stat : 12813 (java) S 12793 12795 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906082307 13969715200 22148 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000409088 0 4 0 16800975 18446604459893576960 0 0 -1 7 0 0 0
[pid=12795/tid=12814] ppid=12793 vsize=13642300 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12814/stat : 12814 (java) S 12793 12795 8697 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 906082316 13969715200 22148 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000409088 0 4 0 16800975 18446604459893576960 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 13642300
[startup+1.30139 s]
/proc/loadavg: 2.16 2.07 1.96 4/551 12814
/proc/meminfo: memFree=19031944/32950940 swapFree=67111364/67111528
[pid=12795] ppid=12793 vsize=13645236 CPUtime=2.03 cores=1,3,5,7
/proc/12795/stat : 12795 (java) S 12793 12795 8697 0 -1 4202496 27480 0 1 0 200 3 0 0 25 0 19 0 906082301 13972721664 23601 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12795/statm: 3411309 23601 2239 9 0 3402043 0
[pid=12795/tid=12796] ppid=12793 vsize=13645236 CPUtime=1.23 cores=1,3,5,7
/proc/12795/task/12796/stat : 12796 (java) R 12793 12795 8697 0 -1 4202560 14463 0 1 0 122 1 0 0 25 0 19 0 906082302 13972721664 23601 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 46912505523874 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12795/tid=12798] ppid=12793 vsize=13645236 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12798/stat : 12798 (java) S 12793 12795 8697 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 906082304 13972721664 23601 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 7 0 0 0
[pid=12795/tid=12799] ppid=12793 vsize=13645236 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12799/stat : 12799 (java) S 12793 12795 8697 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 906082304 13972721664 23601 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 1 0 0 0
[pid=12795/tid=12800] ppid=12793 vsize=13645236 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12800/stat : 12800 (java) S 12793 12795 8697 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 19 0 906082304 13972721664 23601 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 7 0 0 0
[pid=12795/tid=12801] ppid=12793 vsize=13645236 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12801/stat : 12801 (java) S 12793 12795 8697 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 906082304 13972721664 23601 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 1 0 0 0
[pid=12795/tid=12802] ppid=12793 vsize=13645396 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12802/stat : 12802 (java) S 12793 12795 8697 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 906082304 13972885504 23609 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 5 0 0 0
[pid=12795/tid=12803] ppid=12793 vsize=13645396 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12803/stat : 12803 (java) S 12793 12795 8697 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 19 0 906082304 13972885504 23633 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 5 0 0 0
[pid=12795/tid=12804] ppid=12793 vsize=13645396 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12804/stat : 12804 (java) S 12793 12795 8697 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 906082304 13972885504 23658 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 1 0 0 0
[pid=12795/tid=12805] ppid=12793 vsize=13645396 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12805/stat : 12805 (java) S 12793 12795 8697 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 906082304 13972885504 23664 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 7 0 0 0
[pid=12795/tid=12806] ppid=12793 vsize=13645396 CPUtime=0.03 cores=1,3,5,7
/proc/12795/task/12806/stat : 12806 (java) S 12793 12795 8697 0 -1 4202560 628 0 0 0 3 0 0 0 15 0 19 0 906082305 13972885504 23664 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000409088 0 0 0 16800975 18446604459893576960 0 0 -1 5 0 0 0
[pid=12795/tid=12807] ppid=12793 vsize=13645396 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12807/stat : 12807 (java) S 12793 12795 8697 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 906082305 13972885504 23664 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 3 0 0 0
[pid=12795/tid=12808] ppid=12793 vsize=13645396 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12808/stat : 12808 (java) S 12793 12795 8697 0 -1 4202560 11 0 0 0 0 0 0 0 21 0 19 0 906082305 13972885504 23664 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 5 0 0 0
[pid=12795/tid=12809] ppid=12793 vsize=13645396 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12809/stat : 12809 (java) S 12793 12795 8697 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906082307 13972885504 23664 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000416177 0 4 0 16800975 18446604459893576960 0 0 -1 3 0 0 0
[pid=12795/tid=12810] ppid=12793 vsize=13645396 CPUtime=0.53 cores=1,3,5,7
/proc/12795/task/12810/stat : 12810 (java) R 12793 12795 8697 0 -1 4202560 9029 0 0 0 52 1 0 0 15 0 19 0 906082307 13972885504 23664 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 215988286411 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12795/tid=12811] ppid=12793 vsize=13645396 CPUtime=0.19 cores=1,3,5,7
/proc/12795/task/12811/stat : 12811 (java) S 12793 12795 8697 0 -1 4202560 1691 0 0 0 19 0 0 0 15 0 19 0 906082307 13972885504 23664 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 3 0 0 0
[pid=12795/tid=12812] ppid=12793 vsize=13645396 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12812/stat : 12812 (java) S 12793 12795 8697 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906082307 13972885504 23664 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 3 0 0 0
[pid=12795/tid=12813] ppid=12793 vsize=13645396 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12813/stat : 12813 (java) S 12793 12795 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906082307 13972885504 23664 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000409088 0 4 0 16800975 18446604459893576960 0 0 -1 7 0 0 0
[pid=12795/tid=12814] ppid=12793 vsize=13645396 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12814/stat : 12814 (java) S 12793 12795 8697 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 906082316 13972885504 23664 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000409088 0 4 0 16800975 18446604459893576960 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 13645236
[startup+1.40138 s]
/proc/loadavg: 2.16 2.07 1.96 4/551 12814
/proc/meminfo: memFree=19031944/32950940 swapFree=67111364/67111528
[pid=12795] ppid=12793 vsize=13646752 CPUtime=2.23 cores=1,3,5,7
/proc/12795/stat : 12795 (java) S 12793 12795 8697 0 -1 4202496 27686 0 1 0 220 3 0 0 25 0 18 0 906082301 13974274048 23782 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12795/statm: 3411688 23782 2241 9 0 3402422 0
[pid=12795/tid=12796] ppid=12793 vsize=13646752 CPUtime=1.32 cores=1,3,5,7
/proc/12795/task/12796/stat : 12796 (java) S 12793 12795 8697 0 -1 4202560 14468 0 1 0 131 1 0 0 25 0 18 0 906082302 13974274048 23782 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 5 0 0 0
[pid=12795/tid=12798] ppid=12793 vsize=13646752 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12798/stat : 12798 (java) S 12793 12795 8697 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 18 0 906082304 13974274048 23782 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 7 0 0 0
[pid=12795/tid=12799] ppid=12793 vsize=13646752 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12799/stat : 12799 (java) S 12793 12795 8697 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 906082304 13974274048 23782 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 1 0 0 0
[pid=12795/tid=12800] ppid=12793 vsize=13646752 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12800/stat : 12800 (java) S 12793 12795 8697 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 18 0 906082304 13974274048 23782 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 7 0 0 0
[pid=12795/tid=12801] ppid=12793 vsize=13646752 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12801/stat : 12801 (java) S 12793 12795 8697 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 906082304 13974274048 23782 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 1 0 0 0
[pid=12795/tid=12802] ppid=12793 vsize=13646752 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12802/stat : 12802 (java) S 12793 12795 8697 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 18 0 906082304 13974274048 23782 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 5 0 0 0
[pid=12795/tid=12803] ppid=12793 vsize=13646752 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12803/stat : 12803 (java) S 12793 12795 8697 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 18 0 906082304 13974274048 23782 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 5 0 0 0
[pid=12795/tid=12804] ppid=12793 vsize=13646752 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12804/stat : 12804 (java) S 12793 12795 8697 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 906082304 13974274048 23782 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 1 0 0 0
[pid=12795/tid=12805] ppid=12793 vsize=13646752 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12805/stat : 12805 (java) S 12793 12795 8697 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 18 0 906082304 13974274048 23782 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 7 0 0 0
[pid=12795/tid=12806] ppid=12793 vsize=13646752 CPUtime=0.03 cores=1,3,5,7
/proc/12795/task/12806/stat : 12806 (java) S 12793 12795 8697 0 -1 4202560 629 0 0 0 3 0 0 0 16 0 18 0 906082305 13974274048 23782 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000409088 0 0 0 16800975 18446604459893576960 0 0 -1 5 0 0 0
[pid=12795/tid=12807] ppid=12793 vsize=13646752 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12807/stat : 12807 (java) S 12793 12795 8697 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 906082305 13974274048 23782 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 3 0 0 0
[pid=12795/tid=12808] ppid=12793 vsize=13646752 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12808/stat : 12808 (java) S 12793 12795 8697 0 -1 4202560 11 0 0 0 0 0 0 0 21 0 18 0 906082305 13974274048 23782 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 5 0 0 0
[pid=12795/tid=12809] ppid=12793 vsize=13646752 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12809/stat : 12809 (java) S 12793 12795 8697 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 906082307 13974274048 23782 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 3 0 0 0
[pid=12795/tid=12810] ppid=12793 vsize=13646752 CPUtime=0.63 cores=1,3,5,7
/proc/12795/task/12810/stat : 12810 (java) R 12793 12795 8697 0 -1 4202560 9090 0 0 0 62 1 0 0 16 0 18 0 906082307 13974274048 23782 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 47376132706584 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12795/tid=12811] ppid=12793 vsize=13646752 CPUtime=0.2 cores=1,3,5,7
/proc/12795/task/12811/stat : 12811 (java) S 12793 12795 8697 0 -1 4202560 1746 0 0 0 20 0 0 0 15 0 18 0 906082307 13974274048 23782 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 3 0 0 0
[pid=12795/tid=12812] ppid=12793 vsize=13646752 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12812/stat : 12812 (java) S 12793 12795 8697 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 906082307 13974274048 23782 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000408473 0 4 0 16800975 18446604459893576960 0 0 -1 3 0 0 0
[pid=12795/tid=12814] ppid=12793 vsize=13646752 CPUtime=0 cores=1,3,5,7
/proc/12795/task/12814/stat : 12814 (java) S 12793 12795 8697 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 18 0 906082316 13974274048 23782 33554432000 1073741824 1073778376 140735428667088 18446744073709551615 216000409088 0 4 0 16800975 18446604459893576960 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 13646752
Child status: 30
Real time (s): 1.47514
CPU time (s): 2.31165
CPU user time (s): 2.27065
CPU system time (s): 0.040993
CPU usage (%): 156.707
Max. virtual memory (cumulated for all children) (KiB): 13646752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.27065
system time used= 0.040993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27694
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= 295
involuntary context switches= 344
runsolver used 0.004999 second user time and 0.033994 second system time
The end