runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4261907-1502476973/watcher-4261907-1502476973 -o /tmp/evaluation-result-4261907-1502476973/solver-4261907-1502476973 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1395 --watchdog 2580 bin/concrete HOME/instance-4261907-1502476973.xml
pid=17105
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.65 1.54 1.57 3/195 17108
/proc/meminfo: memFree=26150948/32770624 swapFree=0/511056
[pid=17108] ppid=17105 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/17108/stat : 17108 (runsolver) D 17105 17108 1330 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 49918085 24240128 107 18446744073709551615 4194304 4338465 140730129134832 140730129132472 140342751679191 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 8478720 140730129141969 140730129142345 140730129142345 140730129145802 0
/proc/17108/statm: 5918 107 54 36 0 2156 0
[startup+0.100056 s]
/proc/loadavg: 1.65 1.54 1.57 3/195 17108
/proc/meminfo: memFree=26150948/32770624 swapFree=0/511056
[pid=17108] ppid=17105 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/17108/stat : 17108 (bash) S 17105 17108 1330 0 -1 4202496 685 1547 0 0 0 0 0 0 20 0 1 0 49918085 9736192 352 18446744073709551615 4194304 5098028 140724737858176 140724737855816 139903544945664 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 8 0 0 7196144 7232144 16265216 140724737860116 140724737860201 140724737860201 140724737863658 0
/proc/17108/statm: 2377 352 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200245 s]
/proc/loadavg: 1.65 1.54 1.57 3/195 17108
/proc/meminfo: memFree=26150948/32770624 swapFree=0/511056
[pid=17108] ppid=17105 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/17108/stat : 17108 (bash) S 17105 17108 1330 0 -1 4202496 892 6493 0 0 0 0 0 1 20 0 1 0 49918085 9867264 377 18446744073709551615 4194304 5098028 140724737858176 140724737852184 139903544945664 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 8 0 0 7196144 7232144 16265216 140724737860116 140724737860201 140724737860201 140724737863658 0
/proc/17108/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300333 s]
/proc/loadavg: 1.65 1.54 1.57 3/195 17108
/proc/meminfo: memFree=26150948/32770624 swapFree=0/511056
[pid=17108] ppid=17105 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/17108/stat : 17108 (java) S 17105 17108 1330 0 -1 1077944320 5562 12358 0 0 5 1 5 2 20 0 14 0 49918085 14241083392 5248 18446744073709551615 4194304 4196468 140721578178432 140721578160976 140180027850487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
/proc/17108/statm: 3476827 5248 2566 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.703797 s]
/proc/loadavg: 1.65 1.54 1.57 3/195 17108
/proc/meminfo: memFree=26150948/32770624 swapFree=0/511056
[pid=17108] ppid=17105 vsize=13974784 CPUtime=0.68 cores=1,3,5,7
/proc/17108/stat : 17108 (java) S 17105 17108 1330 0 -1 1077944320 13933 12358 0 0 56 5 5 2 20 0 15 0 49918085 14310178816 14379 18446744073709551615 4194304 4196468 140721578178432 140721578160976 140180027850487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
/proc/17108/statm: 3493696 14379 3110 1 0 3482965 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13974784
[startup+1.50081 s]
/proc/loadavg: 1.65 1.54 1.57 3/210 17171
/proc/meminfo: memFree=26057096/32770624 swapFree=0/511140
[pid=17108] ppid=17105 vsize=13985408 CPUtime=1.87 cores=1,3,5,7
/proc/17108/stat : 17108 (java) S 17105 17108 1330 0 -1 1077944320 30511 12358 0 0 171 9 5 2 20 0 15 0 49918085 14321057792 39653 18446744073709551615 4194304 4196468 140721578178432 140721578160976 140180027850487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
/proc/17108/statm: 3496352 39653 3343 1 0 3485525 0
[pid=17108/tid=17158] ppid=17105 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/17108/task/17158/stat : 17158 (java) S 17105 17108 1330 0 -1 1077944384 24829 12358 0 0 116 5 5 2 20 0 15 0 49918107 14321057792 39653 18446744073709551615 4194304 4196468 140721578178432 140180032067792 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17159] ppid=17105 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17159/stat : 17159 (java) S 17105 17108 1330 0 -1 1077944384 52 12358 0 0 0 0 5 2 20 0 15 0 49918108 14321057792 39653 18446744073709551615 4194304 4196468 140721578178432 140179962284688 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17160] ppid=17105 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17160/stat : 17160 (java) S 17105 17108 1330 0 -1 1077944384 44 12358 0 0 0 0 5 2 20 0 15 0 49918108 14321057792 39679 18446744073709551615 4194304 4196468 140721578178432 140179961231888 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17161] ppid=17105 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17161/stat : 17161 (java) R 17105 17108 1330 0 -1 1077944384 201 12358 0 0 0 0 5 2 20 0 15 0 49918108 14321057792 39679 18446744073709551615 4194304 4196468 140721578178432 140179960179088 140180027860693 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17162] ppid=17105 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17162/stat : 17162 (java) S 17105 17108 1330 0 -1 1077944384 63 12358 0 0 0 0 5 2 20 0 15 0 49918108 14321057792 39679 18446744073709551615 4194304 4196468 140721578178432 140179959126288 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17163] ppid=17105 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17163/stat : 17163 (java) R 17105 17108 1330 0 -1 4202560 89 12358 0 0 0 0 5 2 20 0 15 0 49918109 14321057792 39679 18446744073709551615 4194304 4196468 140721578178432 140179506050240 140180013531137 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17164] ppid=17105 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17164/stat : 17164 (java) S 17105 17108 1330 0 -1 1077944384 33 12358 0 0 0 0 5 2 20 0 15 0 49918109 14321057792 39679 18446744073709551615 4194304 4196468 140721578178432 140179504997920 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17165] ppid=17105 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17165/stat : 17165 (java) S 17105 17108 1330 0 -1 1077944384 21 12358 0 0 0 0 5 2 20 0 15 0 49918110 14321057792 39679 18446744073709551615 4194304 4196468 140721578178432 140179503945072 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17166] ppid=17105 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17166/stat : 17166 (java) S 17105 17108 1330 0 -1 1077944384 3 12358 0 0 0 0 5 2 20 0 15 0 49918112 14321057792 39679 18446744073709551615 4194304 4196468 140721578178432 140179502893392 140180027869083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17167] ppid=17105 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/17108/task/17167/stat : 17167 (java) S 17105 17108 1330 0 -1 1077944384 1109 12358 0 0 16 0 5 2 20 0 15 0 49918112 14321057792 39679 18446744073709551615 4194304 4196468 140721578178432 140179501840752 140180027861634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17168] ppid=17105 vsize=13985408 CPUtime=0.2 cores=1,3,5,7
/proc/17108/task/17168/stat : 17168 (java) S 17105 17108 1330 0 -1 1077944384 544 12358 0 0 13 0 5 2 20 0 15 0 49918112 14321057792 39679 18446744073709551615 4194304 4196468 140721578178432 140179500787952 140180027861634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17169] ppid=17105 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/17108/task/17169/stat : 17169 (java) S 17105 17108 1330 0 -1 1077944384 1392 12358 0 0 22 0 5 2 20 0 15 0 49918112 14321057792 39679 18446744073709551615 4194304 4196468 140721578178432 140179499730528 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17170] ppid=17105 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17170/stat : 17170 (java) S 17105 17108 1330 0 -1 1077944384 3 12358 0 0 0 0 5 2 20 0 15 0 49918112 14321057792 39679 18446744073709551615 4194304 4196468 140721578178432 140179498682592 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17171] ppid=17105 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17171/stat : 17171 (java) S 17105 17108 1330 0 -1 1077944384 5 12358 0 0 0 0 5 2 20 0 15 0 49918116 14321057792 39679 18446744073709551615 4194304 4196468 140721578178432 140179497630896 140180027861634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 13985408
[startup+3.10063 s]
/proc/loadavg: 1.65 1.54 1.57 4/210 17171
/proc/meminfo: memFree=25979232/32770624 swapFree=0/511140
[pid=17108] ppid=17105 vsize=13997884 CPUtime=5.88 cores=1,3,5,7
/proc/17108/stat : 17108 (java) S 17105 17108 1330 0 -1 1077944320 49454 12358 0 0 566 15 5 2 20 0 15 0 49918085 14333833216 56542 18446744073709551615 4194304 4196468 140721578178432 140721578160976 140180027850487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
/proc/17108/statm: 3499471 56542 3450 1 0 3488085 0
[pid=17108/tid=17158] ppid=17105 vsize=13997884 CPUtime=2.86 cores=1,3,5,7
/proc/17108/task/17158/stat : 17158 (java) R 17105 17108 1330 0 -1 4202560 36485 12358 0 0 271 8 5 2 20 0 15 0 49918107 14333833216 56542 18446744073709551615 4194304 4196468 140721578178432 140180032079952 140179638748493 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17159] ppid=17105 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17159/stat : 17159 (java) S 17105 17108 1330 0 -1 1077944384 57 12358 0 0 0 0 5 2 20 0 15 0 49918108 14333833216 56542 18446744073709551615 4194304 4196468 140721578178432 140179962284688 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17160] ppid=17105 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/17108/task/17160/stat : 17160 (java) S 17105 17108 1330 0 -1 1077944384 44 12358 0 0 1 0 5 2 20 0 15 0 49918108 14333833216 56542 18446744073709551615 4194304 4196468 140721578178432 140179961231888 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17161] ppid=17105 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/17108/task/17161/stat : 17161 (java) S 17105 17108 1330 0 -1 1077944384 201 12358 0 0 1 0 5 2 20 0 15 0 49918108 14333833216 56542 18446744073709551615 4194304 4196468 140721578178432 140179960179088 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17162] ppid=17105 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/17108/task/17162/stat : 17162 (java) S 17105 17108 1330 0 -1 1077944384 68 12358 0 0 1 0 5 2 20 0 15 0 49918108 14333833216 56542 18446744073709551615 4194304 4196468 140721578178432 140179959126288 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17163] ppid=17105 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/17108/task/17163/stat : 17163 (java) S 17105 17108 1330 0 -1 1077944384 1762 12358 0 0 1 0 5 2 20 0 15 0 49918109 14333833216 56542 18446744073709551615 4194304 4196468 140721578178432 140179506051952 140180027861634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17164] ppid=17105 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17164/stat : 17164 (java) S 17105 17108 1330 0 -1 1077944384 55 12358 0 0 0 0 5 2 20 0 15 0 49918109 14333833216 56542 18446744073709551615 4194304 4196468 140721578178432 140179504997984 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17165] ppid=17105 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17165/stat : 17165 (java) S 17105 17108 1330 0 -1 1077944384 44 12358 0 0 0 0 5 2 20 0 15 0 49918110 14333833216 56542 18446744073709551615 4194304 4196468 140721578178432 140179503945072 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17166] ppid=17105 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17166/stat : 17166 (java) S 17105 17108 1330 0 -1 1077944384 3 12358 0 0 0 0 5 2 20 0 15 0 49918112 14333833216 56542 18446744073709551615 4194304 4196468 140721578178432 140179502893392 140180027869083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17167] ppid=17105 vsize=13997884 CPUtime=1.12 cores=1,3,5,7
/proc/17108/task/17167/stat : 17167 (java) R 17105 17108 1330 0 -1 4202560 3534 12358 0 0 104 1 5 2 20 0 15 0 49918112 14333833216 56542 18446744073709551615 4194304 4196468 140721578178432 140179501840752 140180012778826 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17168] ppid=17105 vsize=13997884 CPUtime=0.95 cores=1,3,5,7
/proc/17108/task/17168/stat : 17168 (java) S 17105 17108 1330 0 -1 1077944384 1706 12358 0 0 87 1 5 2 20 0 15 0 49918112 14333833216 56542 18446744073709551615 4194304 4196468 140721578178432 140179500787952 140180027861634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17169] ppid=17105 vsize=13997884 CPUtime=1.04 cores=1,3,5,7
/proc/17108/task/17169/stat : 17169 (java) R 17105 17108 1330 0 -1 4202560 3333 12358 0 0 95 2 5 2 20 0 15 0 49918112 14333833216 56542 18446744073709551615 4194304 4196468 140721578178432 140179499728128 140180027871834 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17170] ppid=17105 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17170/stat : 17170 (java) S 17105 17108 1330 0 -1 1077944384 3 12358 0 0 0 0 5 2 20 0 15 0 49918112 14333833216 56542 18446744073709551615 4194304 4196468 140721578178432 140179498682592 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17171] ppid=17105 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17171/stat : 17171 (java) S 17105 17108 1330 0 -1 1077944384 8 12358 0 0 0 0 5 2 20 0 15 0 49918116 14333833216 56542 18446744073709551615 4194304 4196468 140721578178432 140179497630896 140180027861634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 13997884
[startup+6.30071 s]
/proc/loadavg: 1.84 1.58 1.58 6/210 17171
/proc/meminfo: memFree=25771504/32770624 swapFree=0/511140
[pid=17108] ppid=17105 vsize=14069564 CPUtime=15.87 cores=1,3,5,7
/proc/17108/stat : 17108 (java) S 17105 17108 1330 0 -1 1077944320 80667 12358 0 0 1555 25 5 2 20 0 15 0 49918085 14407233536 99941 18446744073709551615 4194304 4196468 140721578178432 140721578160976 140180027850487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
/proc/17108/statm: 3517391 99941 3480 1 0 3506005 0
[pid=17108/tid=17158] ppid=17105 vsize=14069564 CPUtime=5.71 cores=1,3,5,7
/proc/17108/task/17158/stat : 17158 (java) R 17105 17108 1330 0 -1 4202560 46833 12358 0 0 553 11 5 2 20 0 15 0 49918107 14407233536 99941 18446744073709551615 4194304 4196468 140721578178432 140180032081232 140179645890264 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17159] ppid=17105 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/17108/task/17159/stat : 17159 (java) S 17105 17108 1330 0 -1 1077944384 152 12358 0 0 20 1 5 2 20 0 15 0 49918108 14407233536 99941 18446744073709551615 4194304 4196468 140721578178432 140179962284688 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17160] ppid=17105 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/17108/task/17160/stat : 17160 (java) S 17105 17108 1330 0 -1 1077944384 95 12358 0 0 20 0 5 2 20 0 15 0 49918108 14407233536 99941 18446744073709551615 4194304 4196468 140721578178432 140179961231888 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17161] ppid=17105 vsize=14069564 CPUtime=0.26 cores=1,3,5,7
/proc/17108/task/17161/stat : 17161 (java) S 17105 17108 1330 0 -1 1077944384 268 12358 0 0 19 0 5 2 20 0 15 0 49918108 14407233536 99941 18446744073709551615 4194304 4196468 140721578178432 140179960179088 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17162] ppid=17105 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/17108/task/17162/stat : 17162 (java) S 17105 17108 1330 0 -1 1077944384 609 12358 0 0 20 1 5 2 20 0 15 0 49918108 14407233536 99941 18446744073709551615 4194304 4196468 140721578178432 140179959126288 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17163] ppid=17105 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/17108/task/17163/stat : 17163 (java) S 17105 17108 1330 0 -1 1077944384 2457 12358 0 0 13 0 5 2 20 0 15 0 49918109 14407233536 99941 18446744073709551615 4194304 4196468 140721578178432 140179506051952 140180027861634 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17164] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17164/stat : 17164 (java) S 17105 17108 1330 0 -1 1077944384 55 12358 0 0 0 0 5 2 20 0 15 0 49918109 14407233536 99941 18446744073709551615 4194304 4196468 140721578178432 140179504997984 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17165] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17165/stat : 17165 (java) S 17105 17108 1330 0 -1 1077944384 44 12358 0 0 0 0 5 2 20 0 15 0 49918110 14407233536 99941 18446744073709551615 4194304 4196468 140721578178432 140179503945088 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17166] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17166/stat : 17166 (java) S 17105 17108 1330 0 -1 1077944384 3 12358 0 0 0 0 5 2 20 0 15 0 49918112 14407233536 99941 18446744073709551615 4194304 4196468 140721578178432 140179502893392 140180027869083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17167] ppid=17105 vsize=14069564 CPUtime=3.74 cores=1,3,5,7
/proc/17108/task/17167/stat : 17167 (java) R 17105 17108 1330 0 -1 4202560 9110 12358 0 0 366 1 5 2 20 0 15 0 49918112 14407233536 99941 18446744073709551615 4194304 4196468 140721578178432 140179501829552 140180011347216 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17168] ppid=17105 vsize=14069564 CPUtime=3.59 cores=1,3,5,7
/proc/17108/task/17168/stat : 17168 (java) R 17105 17108 1330 0 -1 4202560 9713 12358 0 0 350 2 5 2 20 0 15 0 49918112 14407233536 99941 18446744073709551615 4194304 4196468 140721578178432 140179500779904 140180011235276 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17169] ppid=17105 vsize=14069564 CPUtime=1.99 cores=1,3,5,7
/proc/17108/task/17169/stat : 17169 (java) S 17105 17108 1330 0 -1 1077944384 9156 12358 0 0 189 3 5 2 20 0 15 0 49918112 14407233536 99941 18446744073709551615 4194304 4196468 140721578178432 140179499735152 140180027861634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17170] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17170/stat : 17170 (java) S 17105 17108 1330 0 -1 1077944384 3 12358 0 0 0 0 5 2 20 0 15 0 49918112 14407233536 99941 18446744073709551615 4194304 4196468 140721578178432 140179498682592 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17171] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17171/stat : 17171 (java) S 17105 17108 1330 0 -1 1077944384 18 12358 0 0 0 0 5 2 20 0 15 0 49918116 14407233536 99941 18446744073709551615 4194304 4196468 140721578178432 140179497630896 140180027861634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
Current children cumulated CPU time (s) 15.87
Current children cumulated vsize (KiB) 14069564
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17108 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40092 s]
/proc/loadavg: 1.84 1.58 1.58 6/210 17171
/proc/meminfo: memFree=25771504/32770624 swapFree=0/511140
[pid=17108] ppid=17105 vsize=14069564 CPUtime=16.18 cores=1,3,5,7
/proc/17108/stat : 17108 (java) S 17105 17108 1330 0 -1 1077944320 81186 12358 0 0 1586 25 5 2 20 0 15 0 49918085 14407233536 101436 18446744073709551615 4194304 4196468 140721578178432 140721578160976 140180027850487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
/proc/17108/statm: 3517391 101436 3480 1 0 3506005 0
[pid=17108/tid=17158] ppid=17105 vsize=14069564 CPUtime=5.81 cores=1,3,5,7
/proc/17108/task/17158/stat : 17158 (java) R 17105 17108 1330 0 -1 4202560 46854 12358 0 0 563 11 5 2 20 0 15 0 49918107 14407233536 101436 18446744073709551615 4194304 4196468 140721578178432 140180032081232 140179646689767 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17159] ppid=17105 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/17108/task/17159/stat : 17159 (java) S 17105 17108 1330 0 -1 1077944384 152 12358 0 0 20 1 5 2 20 0 15 0 49918108 14407233536 101436 18446744073709551615 4194304 4196468 140721578178432 140179962284688 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17160] ppid=17105 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/17108/task/17160/stat : 17160 (java) S 17105 17108 1330 0 -1 1077944384 95 12358 0 0 20 0 5 2 20 0 15 0 49918108 14407233536 101436 18446744073709551615 4194304 4196468 140721578178432 140179961231888 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17161] ppid=17105 vsize=14069564 CPUtime=0.26 cores=1,3,5,7
/proc/17108/task/17161/stat : 17161 (java) S 17105 17108 1330 0 -1 1077944384 268 12358 0 0 19 0 5 2 20 0 15 0 49918108 14407233536 101436 18446744073709551615 4194304 4196468 140721578178432 140179960179088 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17162] ppid=17105 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/17108/task/17162/stat : 17162 (java) S 17105 17108 1330 0 -1 1077944384 609 12358 0 0 20 1 5 2 20 0 15 0 49918108 14407233536 101436 18446744073709551615 4194304 4196468 140721578178432 140179959126288 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17163] ppid=17105 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/17108/task/17163/stat : 17163 (java) S 17105 17108 1330 0 -1 1077944384 2457 12358 0 0 13 0 5 2 20 0 15 0 49918109 14407233536 101436 18446744073709551615 4194304 4196468 140721578178432 140179506051952 140180027861634 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17164] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17164/stat : 17164 (java) S 17105 17108 1330 0 -1 1077944384 55 12358 0 0 0 0 5 2 20 0 15 0 49918109 14407233536 101436 18446744073709551615 4194304 4196468 140721578178432 140179504997984 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17165] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17165/stat : 17165 (java) S 17105 17108 1330 0 -1 1077944384 44 12358 0 0 0 0 5 2 20 0 15 0 49918110 14407233536 101436 18446744073709551615 4194304 4196468 140721578178432 140179503945088 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17166] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17166/stat : 17166 (java) S 17105 17108 1330 0 -1 1077944384 3 12358 0 0 0 0 5 2 20 0 15 0 49918112 14407233536 101436 18446744073709551615 4194304 4196468 140721578178432 140179502893392 140180027869083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17167] ppid=17105 vsize=14069564 CPUtime=3.84 cores=1,3,5,7
/proc/17108/task/17167/stat : 17167 (java) R 17105 17108 1330 0 -1 4202560 9291 12358 0 0 376 1 5 2 20 0 15 0 49918112 14407233536 101436 18446744073709551615 4194304 4196468 140721578178432 140179501829552 140180011347275 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17168] ppid=17105 vsize=14069564 CPUtime=3.69 cores=1,3,5,7
/proc/17108/task/17168/stat : 17168 (java) R 17105 17108 1330 0 -1 4202560 9997 12358 0 0 360 2 5 2 20 0 15 0 49918112 14407233536 101436 18446744073709551615 4194304 4196468 140721578178432 140179500779904 140180013865078 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17169] ppid=17105 vsize=14069564 CPUtime=2 cores=1,3,5,7
/proc/17108/task/17169/stat : 17169 (java) S 17105 17108 1330 0 -1 1077944384 9189 12358 0 0 190 3 5 2 20 0 15 0 49918112 14407233536 101436 18446744073709551615 4194304 4196468 140721578178432 140179499735152 140180027861634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17170] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17170/stat : 17170 (java) S 17105 17108 1330 0 -1 1077944384 3 12358 0 0 0 0 5 2 20 0 15 0 49918112 14407233536 101436 18446744073709551615 4194304 4196468 140721578178432 140179498682592 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17171] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17171/stat : 17171 (java) S 17105 17108 1330 0 -1 1077944384 18 12358 0 0 0 0 5 2 20 0 15 0 49918116 14407233536 101436 18446744073709551615 4194304 4196468 140721578178432 140179497630896 140180027861634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
Current children cumulated CPU time (s) 16.18
Current children cumulated vsize (KiB) 14069564
[startup+8.00065 s]
/proc/loadavg: 1.84 1.58 1.58 3/210 17171
/proc/meminfo: memFree=25713228/32770624 swapFree=0/511136
[pid=17108] ppid=17105 vsize=14069564 CPUtime=19.22 cores=1,3,5,7
/proc/17108/stat : 17108 (java) S 17105 17108 1330 0 -1 1077944320 83816 12358 0 0 1888 27 5 2 20 0 15 0 49918085 14407233536 117880 18446744073709551615 4194304 4196468 140721578178432 140721578160976 140180027850487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
/proc/17108/statm: 3517391 117880 3480 1 0 3506005 0
[pid=17108/tid=17158] ppid=17105 vsize=14069564 CPUtime=7.41 cores=1,3,5,7
/proc/17108/task/17158/stat : 17158 (java) R 17105 17108 1330 0 -1 4202560 46968 12358 0 0 722 12 5 2 20 0 15 0 49918107 14407233536 117880 18446744073709551615 4194304 4196468 140721578178432 140180032080568 140179633425813 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17159] ppid=17105 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/17108/task/17159/stat : 17159 (java) S 17105 17108 1330 0 -1 1077944384 490 12358 0 0 20 1 5 2 20 0 15 0 49918108 14407233536 117880 18446744073709551615 4194304 4196468 140721578178432 140179962284688 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17160] ppid=17105 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/17108/task/17160/stat : 17160 (java) S 17105 17108 1330 0 -1 1077944384 113 12358 0 0 20 0 5 2 20 0 15 0 49918108 14407233536 117880 18446744073709551615 4194304 4196468 140721578178432 140179961231888 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17161] ppid=17105 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/17108/task/17161/stat : 17161 (java) S 17105 17108 1330 0 -1 1077944384 308 12358 0 0 19 1 5 2 20 0 15 0 49918108 14407233536 117880 18446744073709551615 4194304 4196468 140721578178432 140179960179088 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17162] ppid=17105 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/17108/task/17162/stat : 17162 (java) S 17105 17108 1330 0 -1 1077944384 614 12358 0 0 20 1 5 2 20 0 15 0 49918108 14407233536 117880 18446744073709551615 4194304 4196468 140721578178432 140179959126288 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17163] ppid=17105 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/17108/task/17163/stat : 17163 (java) S 17105 17108 1330 0 -1 1077944384 2674 12358 0 0 13 0 5 2 20 0 15 0 49918109 14407233536 117880 18446744073709551615 4194304 4196468 140721578178432 140179506051952 140180027861634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17164] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17164/stat : 17164 (java) S 17105 17108 1330 0 -1 1077944384 59 12358 0 0 0 0 5 2 20 0 15 0 49918109 14407233536 117880 18446744073709551615 4194304 4196468 140721578178432 140179504997984 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17165] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17165/stat : 17165 (java) S 17105 17108 1330 0 -1 1077944384 50 12358 0 0 0 0 5 2 20 0 15 0 49918110 14407233536 117880 18446744073709551615 4194304 4196468 140721578178432 140179503945088 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17166] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17166/stat : 17166 (java) S 17105 17108 1330 0 -1 1077944384 3 12358 0 0 0 0 5 2 20 0 15 0 49918112 14407233536 117880 18446744073709551615 4194304 4196468 140721578178432 140179502893392 140180027869083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17167] ppid=17105 vsize=14069564 CPUtime=4.54 cores=1,3,5,7
/proc/17108/task/17167/stat : 17167 (java) S 17105 17108 1330 0 -1 1077944384 10699 12358 0 0 446 1 5 2 20 0 15 0 49918112 14407233536 117880 18446744073709551615 4194304 4196468 140721578178432 140179501840752 140180027861634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17168] ppid=17105 vsize=14069564 CPUtime=4.34 cores=1,3,5,7
/proc/17108/task/17168/stat : 17168 (java) S 17105 17108 1330 0 -1 1077944384 10282 12358 0 0 425 2 5 2 20 0 15 0 49918112 14407233536 117880 18446744073709551615 4194304 4196468 140721578178432 140179500787952 140180027861634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17169] ppid=17105 vsize=14069564 CPUtime=2.09 cores=1,3,5,7
/proc/17108/task/17169/stat : 17169 (java) S 17105 17108 1330 0 -1 1077944384 9384 12358 0 0 198 4 5 2 20 0 15 0 49918112 14407233536 117880 18446744073709551615 4194304 4196468 140721578178432 140179499735152 140180027861634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17170] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17170/stat : 17170 (java) S 17105 17108 1330 0 -1 1077944384 3 12358 0 0 0 0 5 2 20 0 15 0 49918112 14407233536 117880 18446744073709551615 4194304 4196468 140721578178432 140179498682592 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17171] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17171/stat : 17171 (java) S 17105 17108 1330 0 -1 1077944384 18 12358 0 0 0 0 5 2 20 0 15 0 49918116 14407233536 117880 18446744073709551615 4194304 4196468 140721578178432 140179497630896 140180027861634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
Current children cumulated CPU time (s) 19.22
Current children cumulated vsize (KiB) 14069564
[startup+8.80089 s]
/proc/loadavg: 1.84 1.58 1.58 4/210 17171
/proc/meminfo: memFree=25688460/32770624 swapFree=0/511136
[pid=17108] ppid=17105 vsize=14069564 CPUtime=20.15 cores=1,3,5,7
/proc/17108/stat : 17108 (java) S 17105 17108 1330 0 -1 1077944320 83834 12358 0 0 1981 27 5 2 20 0 15 0 49918085 14407233536 118421 18446744073709551615 4194304 4196468 140721578178432 140721578160976 140180027850487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
/proc/17108/statm: 3517391 118421 3480 1 0 3506005 0
[pid=17108/tid=17158] ppid=17105 vsize=14069564 CPUtime=8.21 cores=1,3,5,7
/proc/17108/task/17158/stat : 17158 (java) R 17105 17108 1330 0 -1 4202560 46969 12358 0 0 802 12 5 2 20 0 15 0 49918107 14407233536 118421 18446744073709551615 4194304 4196468 140721578178432 140180032084480 140179638548927 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17159] ppid=17105 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/17108/task/17159/stat : 17159 (java) S 17105 17108 1330 0 -1 1077944384 491 12358 0 0 20 1 5 2 20 0 15 0 49918108 14407233536 118421 18446744073709551615 4194304 4196468 140721578178432 140179962284688 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17160] ppid=17105 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/17108/task/17160/stat : 17160 (java) S 17105 17108 1330 0 -1 1077944384 114 12358 0 0 20 0 5 2 20 0 15 0 49918108 14407233536 118421 18446744073709551615 4194304 4196468 140721578178432 140179961231888 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17161] ppid=17105 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/17108/task/17161/stat : 17161 (java) S 17105 17108 1330 0 -1 1077944384 309 12358 0 0 19 1 5 2 20 0 15 0 49918108 14407233536 118421 18446744073709551615 4194304 4196468 140721578178432 140179960179088 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17162] ppid=17105 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/17108/task/17162/stat : 17162 (java) S 17105 17108 1330 0 -1 1077944384 615 12358 0 0 20 1 5 2 20 0 15 0 49918108 14407233536 118421 18446744073709551615 4194304 4196468 140721578178432 140179959126288 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17163] ppid=17105 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/17108/task/17163/stat : 17163 (java) S 17105 17108 1330 0 -1 1077944384 2674 12358 0 0 14 0 5 2 20 0 15 0 49918109 14407233536 118421 18446744073709551615 4194304 4196468 140721578178432 140179506051952 140180027861634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17164] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17164/stat : 17164 (java) S 17105 17108 1330 0 -1 1077944384 59 12358 0 0 0 0 5 2 20 0 15 0 49918109 14407233536 118421 18446744073709551615 4194304 4196468 140721578178432 140179504997984 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17165] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17165/stat : 17165 (java) S 17105 17108 1330 0 -1 1077944384 50 12358 0 0 0 0 5 2 20 0 15 0 49918110 14407233536 118421 18446744073709551615 4194304 4196468 140721578178432 140179503945088 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17166] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17166/stat : 17166 (java) S 17105 17108 1330 0 -1 1077944384 3 12358 0 0 0 0 5 2 20 0 15 0 49918112 14407233536 118421 18446744073709551615 4194304 4196468 140721578178432 140179502893392 140180027869083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17167] ppid=17105 vsize=14069564 CPUtime=4.6 cores=1,3,5,7
/proc/17108/task/17167/stat : 17167 (java) R 17105 17108 1330 0 -1 4202560 10699 12358 0 0 452 1 5 2 20 0 15 0 49918112 14407233536 118421 18446744073709551615 4194304 4196468 140721578178432 140179501841048 140180011347227 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17168] ppid=17105 vsize=14069564 CPUtime=4.38 cores=1,3,5,7
/proc/17108/task/17168/stat : 17168 (java) S 17105 17108 1330 0 -1 1077944384 10285 12358 0 0 428 3 5 2 20 0 15 0 49918112 14407233536 118421 18446744073709551615 4194304 4196468 140721578178432 140179500787952 140180027861634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17169] ppid=17105 vsize=14069564 CPUtime=2.11 cores=1,3,5,7
/proc/17108/task/17169/stat : 17169 (java) S 17105 17108 1330 0 -1 1077944384 9394 12358 0 0 200 4 5 2 20 0 15 0 49918112 14407233536 118421 18446744073709551615 4194304 4196468 140721578178432 140179499735152 140180027861634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17170] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17170/stat : 17170 (java) S 17105 17108 1330 0 -1 1077944384 3 12358 0 0 0 0 5 2 20 0 15 0 49918112 14407233536 118421 18446744073709551615 4194304 4196468 140721578178432 140179498682592 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17171] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17171/stat : 17171 (java) S 17105 17108 1330 0 -1 1077944384 18 12358 0 0 0 0 5 2 20 0 15 0 49918116 14407233536 118421 18446744073709551615 4194304 4196468 140721578178432 140179497630896 140180027861634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
Current children cumulated CPU time (s) 20.15
Current children cumulated vsize (KiB) 14069564
[startup+9.2006 s]
/proc/loadavg: 1.84 1.58 1.58 4/210 17171
/proc/meminfo: memFree=25688460/32770624 swapFree=0/511136
[pid=17108] ppid=17105 vsize=14069564 CPUtime=20.61 cores=1,3,5,7
/proc/17108/stat : 17108 (java) S 17105 17108 1330 0 -1 1077944320 83899 12358 0 0 2025 29 5 2 20 0 15 0 49918085 14407233536 133781 18446744073709551615 4194304 4196468 140721578178432 140721578160976 140180027850487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
/proc/17108/statm: 3517391 133781 3480 1 0 3506005 0
[pid=17108/tid=17158] ppid=17105 vsize=14069564 CPUtime=8.6 cores=1,3,5,7
/proc/17108/task/17158/stat : 17158 (java) R 17105 17108 1330 0 -1 4202560 47000 12358 0 0 840 13 5 2 20 0 15 0 49918107 14407233536 133781 18446744073709551615 4194304 4196468 140721578178432 140180032084448 140179646204409 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17159] ppid=17105 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/17108/task/17159/stat : 17159 (java) S 17105 17108 1330 0 -1 1077944384 491 12358 0 0 20 1 5 2 20 0 15 0 49918108 14407233536 133781 18446744073709551615 4194304 4196468 140721578178432 140179962284688 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17160] ppid=17105 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/17108/task/17160/stat : 17160 (java) S 17105 17108 1330 0 -1 1077944384 115 12358 0 0 20 0 5 2 20 0 15 0 49918108 14407233536 133781 18446744073709551615 4194304 4196468 140721578178432 140179961231888 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17161] ppid=17105 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/17108/task/17161/stat : 17161 (java) S 17105 17108 1330 0 -1 1077944384 309 12358 0 0 20 1 5 2 20 0 15 0 49918108 14407233536 133781 18446744073709551615 4194304 4196468 140721578178432 140179960179088 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17162] ppid=17105 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/17108/task/17162/stat : 17162 (java) S 17105 17108 1330 0 -1 1077944384 615 12358 0 0 20 1 5 2 20 0 15 0 49918108 14407233536 133781 18446744073709551615 4194304 4196468 140721578178432 140179959126288 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17163] ppid=17105 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/17108/task/17163/stat : 17163 (java) S 17105 17108 1330 0 -1 1077944384 2707 12358 0 0 14 0 5 2 20 0 15 0 49918109 14407233536 133781 18446744073709551615 4194304 4196468 140721578178432 140179506051952 140180027861634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17164] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17164/stat : 17164 (java) S 17105 17108 1330 0 -1 1077944384 59 12358 0 0 0 0 5 2 20 0 15 0 49918109 14407233536 133781 18446744073709551615 4194304 4196468 140721578178432 140179504997984 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17165] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17165/stat : 17165 (java) S 17105 17108 1330 0 -1 1077944384 50 12358 0 0 0 0 5 2 20 0 15 0 49918110 14407233536 133781 18446744073709551615 4194304 4196468 140721578178432 140179503945088 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17166] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17166/stat : 17166 (java) S 17105 17108 1330 0 -1 1077944384 3 12358 0 0 0 0 5 2 20 0 15 0 49918112 14407233536 133781 18446744073709551615 4194304 4196468 140721578178432 140179502893392 140180027869083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17167] ppid=17105 vsize=14069564 CPUtime=4.65 cores=1,3,5,7
/proc/17108/task/17167/stat : 17167 (java) S 17105 17108 1330 0 -1 1077944384 10699 12358 0 0 457 1 5 2 20 0 15 0 49918112 14407233536 133781 18446744073709551615 4194304 4196468 140721578178432 140179501840752 140180027861634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17168] ppid=17105 vsize=14069564 CPUtime=4.38 cores=1,3,5,7
/proc/17108/task/17168/stat : 17168 (java) S 17105 17108 1330 0 -1 1077944384 10285 12358 0 0 428 3 5 2 20 0 15 0 49918112 14407233536 133781 18446744073709551615 4194304 4196468 140721578178432 140179500787952 140180027861634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17169] ppid=17105 vsize=14069564 CPUtime=2.11 cores=1,3,5,7
/proc/17108/task/17169/stat : 17169 (java) S 17105 17108 1330 0 -1 1077944384 9394 12358 0 0 200 4 5 2 20 0 15 0 49918112 14407233536 133781 18446744073709551615 4194304 4196468 140721578178432 140179499735152 140180027861634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17170] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17170/stat : 17170 (java) S 17105 17108 1330 0 -1 1077944384 3 12358 0 0 0 0 5 2 20 0 15 0 49918112 14407233536 133781 18446744073709551615 4194304 4196468 140721578178432 140179498682592 140180027860693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
[pid=17108/tid=17171] ppid=17105 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17108/task/17171/stat : 17171 (java) S 17105 17108 1330 0 -1 1077944384 18 12358 0 0 0 0 5 2 20 0 15 0 49918116 14407233536 133781 18446744073709551615 4194304 4196468 140721578178432 140179497630896 140180027861634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38969344 140721578186704 140721578189489 140721578189489 140721578192847 0
Current children cumulated CPU time (s) 20.61
Current children cumulated vsize (KiB) 14069564
Child status: 0
Real time (s): 9.25052
CPU time (s): 20.6794
CPU user time (s): 20.3438
CPU system time (s): 0.335608
CPU usage (%): 223.549
Max. virtual memory (cumulated for all children) (KiB): 14071660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.3438
system time used= 0.335608
maximum resident set size= 535936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96841
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7449
involuntary context switches= 88
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046562 second user time and 0.056906 second system time
The end