runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3731547-1338697504/watcher-3731547-1338697504 -o /tmp/evaluation-result-3731547-1338697504/solver-3731547-1338697504 -C 1800 -W 1900 -M 15500 pbclasp instance-3731547-1338697504.opb HOME/temp
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: 1.77 1.95 2.68 2/176 28623
/proc/meminfo: memFree=27677236/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=3740 CPUtime=0 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) D 28621 28623 23082 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 335875362 3829760 33 33554432000 4194304 4198148 140736358344192 140736358341240 223642484256 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 0 0 0
/proc/28623/statm: 935 33 25 1 0 25 0
[startup+0.027162 s]
/proc/loadavg: 1.77 1.95 2.68 2/176 28623
/proc/meminfo: memFree=27677236/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=25328 CPUtime=0 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) D 28621 28623 23082 0 -1 4202496 233 0 0 0 0 0 0 0 20 0 1 0 335875362 25935872 164 33554432000 4194304 4198148 140736358344192 140736358343640 223676717856 0 0 4224 0 18446744071579943789 0 0 17 5 0 0 2 0 0
/proc/28623/statm: 6332 164 125 1 0 127 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25328
[startup+0.100244 s]
/proc/loadavg: 1.77 1.95 2.68 2/176 28623
/proc/meminfo: memFree=27677236/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) R 28621 28623 23082 0 -1 4202496 605 0 1 0 0 0 0 0 20 0 1 0 335875362 26492928 537 33554432000 4194304 4198148 140736358344192 140736358339976 223651270548 0 0 4224 16384 0 0 0 17 5 0 0 8 0 0
/proc/28623/statm: 6468 538 355 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.300185 s]
/proc/loadavg: 1.77 1.95 2.68 2/176 28623
/proc/meminfo: memFree=27677236/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=26880 CPUtime=0.2 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) R 28621 28623 23082 0 -1 4202496 870 0 1 0 20 0 0 0 20 0 1 0 335875362 27525120 802 33554432000 4194304 4198148 140736358344192 140736358339976 223651270548 0 0 4224 16384 0 0 0 17 5 0 0 8 0 0
/proc/28623/statm: 6720 802 362 1 0 515 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 26880
[startup+0.700174 s]
/proc/loadavg: 1.77 1.95 2.68 2/176 28623
/proc/meminfo: memFree=27677236/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=28344 CPUtime=0.57 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) S 28621 28623 23082 0 -1 4202496 1265 0 1 0 57 0 0 0 20 0 1 0 335875362 29024256 1180 33554432000 4194304 4198148 140736358344192 140736358343080 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 8 0 0
/proc/28623/statm: 7086 1180 369 1 0 881 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 28344
[startup+1.50025 s]
/proc/loadavg: 1.77 1.95 2.68 3/181 28628
/proc/meminfo: memFree=27667964/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=28344 CPUtime=0.57 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) S 28621 28623 23082 0 -1 4202496 1265 0 1 0 57 0 0 0 20 0 1 0 335875362 29024256 1180 33554432000 4194304 4198148 140736358344192 140736358343080 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 8 0 0
/proc/28623/statm: 7086 1180 369 1 0 881 0
[pid=28625] ppid=28623 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28625/stat : 28625 (sh) S 28623 28623 23082 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 335875429 9367552 266 33554432000 4194304 5064252 140737120764720 140737120763600 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28625/statm: 2287 266 226 213 0 72 0
[pid=28626] ppid=28625 vsize=25724 CPUtime=0.82 cores=1,3,5,7
/proc/28626/stat : 28626 (pb2clasp1) R 28625 28623 23082 0 -1 4202496 621 0 0 0 82 0 0 0 20 0 1 0 335875430 26341376 530 33554432000 4194304 4198148 140733333228912 140733333219448 223677004423 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/28626/statm: 6431 530 378 1 0 226 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 63216
[startup+3.10025 s]
/proc/loadavg: 1.77 1.95 2.68 3/181 28628
/proc/meminfo: memFree=27664964/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=28344 CPUtime=0.57 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) S 28621 28623 23082 0 -1 4202496 1265 0 1 0 57 0 0 0 20 0 1 0 335875362 29024256 1180 33554432000 4194304 4198148 140736358344192 140736358343080 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 8 0 0
/proc/28623/statm: 7086 1180 369 1 0 881 0
[pid=28625] ppid=28623 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28625/stat : 28625 (sh) S 28623 28623 23082 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 335875429 9367552 266 33554432000 4194304 5064252 140737120764720 140737120763600 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28625/statm: 2287 266 226 213 0 72 0
[pid=28626] ppid=28625 vsize=25724 CPUtime=2.42 cores=1,3,5,7
/proc/28626/stat : 28626 (pb2clasp1) R 28625 28623 23082 0 -1 4202496 621 0 0 0 242 0 0 0 20 0 1 0 335875430 26341376 530 33554432000 4194304 4198148 140733333228912 140733333219448 223655019636 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/28626/statm: 6431 530 378 1 0 226 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 63216
[startup+6.30025 s]
/proc/loadavg: 1.87 1.97 2.68 3/180 28628
/proc/meminfo: memFree=27659012/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=28344 CPUtime=0.57 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) S 28621 28623 23082 0 -1 4202496 1265 0 1 0 57 0 0 0 20 0 1 0 335875362 29024256 1180 33554432000 4194304 4198148 140736358344192 140736358343080 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 8 0 0
/proc/28623/statm: 7086 1180 369 1 0 881 0
[pid=28625] ppid=28623 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28625/stat : 28625 (sh) S 28623 28623 23082 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 335875429 9367552 266 33554432000 4194304 5064252 140737120764720 140737120763600 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28625/statm: 2287 266 226 213 0 72 0
[pid=28626] ppid=28625 vsize=25724 CPUtime=5.62 cores=1,3,5,7
/proc/28626/stat : 28626 (pb2clasp1) R 28625 28623 23082 0 -1 4202496 621 0 0 0 561 1 0 0 20 0 1 0 335875430 26341376 530 33554432000 4194304 4198148 140733333228912 140733333227896 223676818500 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/28626/statm: 6431 530 378 1 0 226 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 63216
[startup+12.7002 s]
/proc/loadavg: 1.96 1.98 2.69 3/181 28629
/proc/meminfo: memFree=27647956/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=28344 CPUtime=0.57 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) S 28621 28623 23082 0 -1 4202496 1265 0 1 0 57 0 0 0 20 0 1 0 335875362 29024256 1180 33554432000 4194304 4198148 140736358344192 140736358343080 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 8 0 0
/proc/28623/statm: 7086 1180 369 1 0 881 0
[pid=28625] ppid=28623 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28625/stat : 28625 (sh) S 28623 28623 23082 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 335875429 9367552 266 33554432000 4194304 5064252 140737120764720 140737120763600 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28625/statm: 2287 266 226 213 0 72 0
[pid=28626] ppid=28625 vsize=25724 CPUtime=12.01 cores=1,3,5,7
/proc/28626/stat : 28626 (pb2clasp1) R 28625 28623 23082 0 -1 4202496 621 0 0 0 1199 2 0 0 20 0 1 0 335875430 26341376 530 33554432000 4194304 4198148 140733333228912 140733333219448 223676640780 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/28626/statm: 6431 530 378 1 0 226 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 63216
[startup+25.5004 s]
/proc/loadavg: 2.19 2.03 2.69 3/181 28643
/proc/meminfo: memFree=27109340/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=29136 CPUtime=19.65 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) S 28621 28623 23082 0 -1 4202496 1766 2130 1 0 58 0 1900 7 20 0 1 0 335875362 29835264 1395 33554432000 4194304 4198148 140736358344192 140736358343120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 8 0 0
/proc/28623/statm: 7284 1395 387 1 0 1079 0
[pid=28634] ppid=28623 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/28634/stat : 28634 (sh) S 28623 28623 23082 0 -1 4202496 371 220 0 0 0 0 0 2 20 0 1 0 335877339 9367552 264 33554432000 4194304 5064252 140737324409440 140737324407696 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28634/statm: 2287 264 223 213 0 72 0
[pid=28636] ppid=28634 vsize=247872 CPUtime=5.71 cores=1,3,5,7
/proc/28636/stat : 28636 (clasp-1.0) R 28634 28623 23082 0 -1 4202496 52176 0 0 0 560 11 0 0 20 0 1 0 335877339 253820928 60827 33554432000 134512640 134847168 4287670288 4287669056 134617491 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28636/statm: 61968 60827 268 82 0 61209 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 286156
[startup+51.1003 s]
/proc/loadavg: 2.12 2.03 2.67 3/181 28643
/proc/meminfo: memFree=26438000/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=29136 CPUtime=19.65 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) S 28621 28623 23082 0 -1 4202496 1766 2130 1 0 58 0 1900 7 20 0 1 0 335875362 29835264 1395 33554432000 4194304 4198148 140736358344192 140736358343120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 8 0 0
/proc/28623/statm: 7284 1395 387 1 0 1079 0
[pid=28634] ppid=28623 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/28634/stat : 28634 (sh) S 28623 28623 23082 0 -1 4202496 371 220 0 0 0 0 0 2 20 0 1 0 335877339 9367552 264 33554432000 4194304 5064252 140737324409440 140737324407696 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28634/statm: 2287 264 223 213 0 72 0
[pid=28636] ppid=28634 vsize=601236 CPUtime=31.3 cores=1,3,5,7
/proc/28636/stat : 28636 (clasp-1.0) R 28634 28623 23082 0 -1 4202496 140271 0 0 0 3101 29 0 0 20 0 1 0 335877339 615665664 148920 33554432000 134512640 134847168 4287670288 4287668800 134780669 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28636/statm: 150309 148920 268 82 0 149550 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 639520
[startup+102.3 s]
/proc/loadavg: 2.05 2.02 2.63 3/181 28643
/proc/meminfo: memFree=25283852/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=29136 CPUtime=19.65 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) S 28621 28623 23082 0 -1 4202496 1766 2130 1 0 58 0 1900 7 20 0 1 0 335875362 29835264 1395 33554432000 4194304 4198148 140736358344192 140736358343120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 8 0 0
/proc/28623/statm: 7284 1395 387 1 0 1079 0
[pid=28634] ppid=28623 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/28634/stat : 28634 (sh) S 28623 28623 23082 0 -1 4202496 371 220 0 0 0 0 0 2 20 0 1 0 335877339 9367552 264 33554432000 4194304 5064252 140737324409440 140737324407696 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28634/statm: 2287 264 223 213 0 72 0
[pid=28636] ppid=28634 vsize=1177768 CPUtime=82.47 cores=1,3,5,7
/proc/28636/stat : 28636 (clasp-1.0) R 28634 28623 23082 0 -1 4202496 284486 0 0 0 8191 56 0 0 20 0 1 0 335877339 1206034432 292461 33554432000 134512640 134847168 4287670288 4287668800 134780669 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28636/statm: 294442 292461 268 82 0 293683 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 1216052
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.59 3/181 28643
/proc/meminfo: memFree=24106748/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=29136 CPUtime=19.65 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) S 28621 28623 23082 0 -1 4202496 1766 2130 1 0 58 0 1900 7 20 0 1 0 335875362 29835264 1395 33554432000 4194304 4198148 140736358344192 140736358343120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 8 0 0
/proc/28623/statm: 7284 1395 387 1 0 1079 0
[pid=28634] ppid=28623 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/28634/stat : 28634 (sh) S 28623 28623 23082 0 -1 4202496 371 220 0 0 0 0 0 2 20 0 1 0 335877339 9367552 264 33554432000 4194304 5064252 140737324409440 140737324407696 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28634/statm: 2287 264 223 213 0 72 0
[pid=28636] ppid=28634 vsize=1763388 CPUtime=142.42 cores=1,3,5,7
/proc/28636/stat : 28636 (clasp-1.0) R 28634 28623 23082 0 -1 4202496 437782 0 0 0 14152 90 0 0 20 0 1 0 335877339 1805709312 438052 33554432000 134512640 134847168 4287670288 4287668544 1582375 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28636/statm: 440847 438052 268 82 0 440088 0
Current children cumulated CPU time (s) 162.09
Current children cumulated vsize (KiB) 1801672
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.55 3/181 28643
/proc/meminfo: memFree=23087372/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=29136 CPUtime=19.65 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) S 28621 28623 23082 0 -1 4202496 1766 2130 1 0 58 0 1900 7 20 0 1 0 335875362 29835264 1395 33554432000 4194304 4198148 140736358344192 140736358343120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 8 0 0
/proc/28623/statm: 7284 1395 387 1 0 1079 0
[pid=28634] ppid=28623 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/28634/stat : 28634 (sh) S 28623 28623 23082 0 -1 4202496 371 220 0 0 0 0 0 2 20 0 1 0 335877339 9367552 264 33554432000 4194304 5064252 140737324409440 140737324407696 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28634/statm: 2287 264 223 213 0 72 0
[pid=28636] ppid=28634 vsize=2264988 CPUtime=202.39 cores=1,3,5,7
/proc/28636/stat : 28636 (clasp-1.0) R 28634 28623 23082 0 -1 4202496 562573 0 0 0 20120 119 0 0 20 0 1 0 335877339 2319347712 562918 33554432000 134512640 134847168 4287670288 4287669028 134737633 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28636/statm: 566247 562918 268 82 0 565488 0
Current children cumulated CPU time (s) 222.06
Current children cumulated vsize (KiB) 2303272
[startup+282.3 s]
################
# More data... #
################
Current children cumulated vsize (KiB) 4129612
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/181 28706
/proc/meminfo: memFree=24420296/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=29136 CPUtime=1679.28 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) S 28621 28623 23082 0 -1 4202496 2060 3360221 1 0 60 0 167020 848 20 0 1 0 335875362 29835264 1395 33554432000 4194304 4198148 140736358344192 140736358343120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/28623/statm: 7284 1395 387 1 0 1079 0
[pid=28704] ppid=28623 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/28704/stat : 28704 (sh) S 28623 28623 23082 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 336043348 9367552 263 33554432000 4194304 5064252 140734038113024 140734038111280 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28704/statm: 2287 263 223 213 0 72 0
[pid=28706] ppid=28704 vsize=776964 CPUtime=42.41 cores=1,3,5,7
/proc/28706/stat : 28706 (clasp-1.0) R 28704 28623 23082 0 -1 4202496 184078 0 0 0 4203 38 0 0 20 0 1 0 336043349 795611136 192730 33554432000 134512640 134847168 4288443232 4288441872 134777424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28706/statm: 194241 192732 266 82 0 193482 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 815248
[startup+1782.31 s]
/proc/loadavg: 2.00 2.00 2.09 3/181 28706
/proc/meminfo: memFree=23243376/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=29136 CPUtime=1679.28 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) S 28621 28623 23082 0 -1 4202496 2060 3360221 1 0 60 0 167020 848 20 0 1 0 335875362 29835264 1395 33554432000 4194304 4198148 140736358344192 140736358343120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/28623/statm: 7284 1395 387 1 0 1079 0
[pid=28704] ppid=28623 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/28704/stat : 28704 (sh) S 28623 28623 23082 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 336043348 9367552 263 33554432000 4194304 5064252 140734038113024 140734038111280 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28704/statm: 2287 263 223 213 0 72 0
[pid=28706] ppid=28704 vsize=1421168 CPUtime=102.4 cores=1,3,5,7
/proc/28706/stat : 28706 (clasp-1.0) R 28704 28623 23082 0 -1 4202496 345187 0 0 0 10170 70 0 0 20 0 1 0 336043349 1455276032 352967 33554432000 134512640 134847168 4288443232 4288441972 134737633 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28706/statm: 355292 352967 266 82 0 354533 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 1459452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.09 3/181 28706
/proc/meminfo: memFree=23203128/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=29136 CPUtime=1679.28 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) S 28621 28623 23082 0 -1 4202496 2060 3360221 1 0 60 0 167020 848 20 0 1 0 335875362 29835264 1395 33554432000 4194304 4198148 140736358344192 140736358343120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/28623/statm: 7284 1395 387 1 0 1079 0
[pid=28704] ppid=28623 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/28704/stat : 28704 (sh) S 28623 28623 23082 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 336043348 9367552 263 33554432000 4194304 5064252 140734038113024 140734038111280 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28704/statm: 2287 263 223 213 0 72 0
[pid=28706] ppid=28704 vsize=1577736 CPUtime=120.81 cores=1,3,5,7
/proc/28706/stat : 28706 (clasp-1.0) R 28704 28623 23082 0 -1 4202496 384173 0 0 0 12001 80 0 0 20 0 1 0 336043349 1615601664 391953 33554432000 134512640 134847168 4288443232 4288441872 134782313 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28706/statm: 394434 391953 266 82 0 393675 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1616020
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
############
# WARNING:
# current cumulated CPU time (1679.35 s) is less than in the last sample (1800.1 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (120.75 s) to the 'lost time'.
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.09 3/181 28706
/proc/meminfo: memFree=23203128/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=29136 CPUtime=1679.28 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) S 28621 28623 23082 0 -1 4202496 2060 3360221 1 0 60 0 167020 848 20 0 1 0 335875362 29835264 1395 33554432000 4194304 4198148 140736358344192 140736358343120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/28623/statm: 7284 1395 387 1 0 1079 0
[pid=28704] ppid=28623 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/28704/stat : 28704 (sh) S 28623 28623 23082 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 336043348 9367552 263 33554432000 4194304 5064252 140734038113024 140734038111280 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28704/statm: 2287 263 223 213 0 72 0
[pid=28706] ppid=28704 vsize=1577736 CPUtime=120.81 cores=1,3,5,7
/proc/28706/stat : 28706 (clasp-1.0) R 28704 28623 23082 0 -1 4202496 384173 0 0 0 12001 80 0 0 20 0 1 0 336043349 1615601664 391953 33554432000 134512640 134847168 4288443232 4288441872 134782313 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28706/statm: 394434 391953 266 82 0 393675 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1616020
[startup+1800.82 s]
/proc/loadavg: 2.00 2.00 2.09 3/181 28706
/proc/meminfo: memFree=23203128/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=29136 CPUtime=1679.35 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) S 28621 28623 23082 0 -1 4202496 2222 3362981 1 0 60 0 167020 855 20 0 1 0 335875362 29835264 1397 33554432000 4194304 4198148 140736358344192 140736358343120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 8 0 0
/proc/28623/statm: 7284 1397 387 1 0 1079 0
Current children cumulated CPU time (s) 1679.35
Current children cumulated vsize (KiB) 29136
#
############
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -28623
Solver just ended. Dumping a history of the last processes samples
[startup+1801.7 s]
/proc/loadavg: 2.00 2.00 2.09 4/186 28728
/proc/meminfo: memFree=27202800/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=29136 CPUtime=1679.35 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) S 28621 28623 23082 0 -1 4202496 2222 3362981 1 0 60 0 167020 855 20 0 1 0 335875362 29835264 1397 33554432000 4194304 4198148 140736358344192 140736358343120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 8 0 0
/proc/28623/statm: 7284 1397 387 1 0 1079 0
[pid=28723] ppid=28623 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28723/stat : 28723 (sh) S 28623 28623 23082 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 336055440 9367552 264 33554432000 4194304 5064252 140733309570864 140733309569120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28723/statm: 2287 264 223 213 0 72 0
[pid=28725] ppid=28723 vsize=4004 CPUtime=0.01 cores=1,3,5,7
/proc/28725/stat : 28725 (cat) S 28723 28623 23082 0 -1 4202496 211 0 0 0 0 1 0 0 20 0 1 0 336055440 4100096 123 33554432000 4194304 4236627 140735544294160 140735544293256 223651644896 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28725/statm: 1001 123 97 11 0 67 0
[pid=28726] ppid=28723 vsize=49616 CPUtime=0.9 cores=1,3,5,7
/proc/28726/stat : 28726 (clasp-1.0) R 28723 28623 23082 0 -1 4202496 11745 0 0 0 87 3 0 0 20 0 1 0 336055440 50806784 11643 33554432000 134512640 134847168 4293689344 4293685120 9495847 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28726/statm: 12404 11643 249 82 0 11645 0
Current children cumulated CPU time (s) 1680.26
Current children cumulated vsize (KiB) 91904
[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 2.09 3/185 28728
/proc/meminfo: memFree=27481696/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=29136 CPUtime=1679.35 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) S 28621 28623 23082 0 -1 4202496 2222 3362981 1 0 60 0 167020 855 20 0 1 0 335875362 29835264 1397 33554432000 4194304 4198148 140736358344192 140736358343120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 8 0 0
/proc/28623/statm: 7284 1397 387 1 0 1079 0
[pid=28723] ppid=28623 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28723/stat : 28723 (sh) S 28623 28623 23082 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 336055440 9367552 264 33554432000 4194304 5064252 140733309570864 140733309569120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28723/statm: 2287 264 223 213 0 72 0
[pid=28725] ppid=28723 vsize=4004 CPUtime=0.01 cores=1,3,5,7
/proc/28725/stat : 28725 (cat) S 28723 28623 23082 0 -1 4202496 211 0 0 0 0 1 0 0 20 0 1 0 336055440 4100096 123 33554432000 4194304 4236627 140735544294160 140735544293256 223651644896 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28725/statm: 1001 123 97 11 0 67 0
[pid=28726] ppid=28723 vsize=84992 CPUtime=1.71 cores=1,3,5,7
/proc/28726/stat : 28726 (clasp-1.0) R 28723 28623 23082 0 -1 4202496 20318 0 0 0 166 5 0 0 20 0 1 0 336055440 87031808 20216 33554432000 134512640 134847168 4293689344 4293685064 5002288 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28726/statm: 21248 20216 249 82 0 20489 0
Current children cumulated CPU time (s) 1681.07
Current children cumulated vsize (KiB) 127280
[startup+1802.7 s]
/proc/loadavg: 2.00 2.00 2.09 3/185 28728
/proc/meminfo: memFree=27481696/32873844 swapFree=7628/7628
[pid=28623] ppid=28621 vsize=29136 CPUtime=1679.35 cores=1,3,5,7
/proc/28623/stat : 28623 (pbclasp) S 28621 28623 23082 0 -1 4202496 2222 3362981 1 0 60 0 167020 855 20 0 1 0 335875362 29835264 1397 33554432000 4194304 4198148 140736358344192 140736358343120 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 8 0 0
/proc/28623/statm: 7284 1397 387 1 0 1079 0
[pid=28723] ppid=28623 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28723/stat : 28723 (sh) S 28623 28623 23082 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 336055440 9367552 264 33554432000 4194304 5064252 140733309570864 140733309569120 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28723/statm: 2287 264 223 213 0 72 0
[pid=28725] ppid=28723 vsize=4004 CPUtime=0.01 cores=1,3,5,7
/proc/28725/stat : 28725 (cat) S 28723 28623 23082 0 -1 4202496 211 0 0 0 0 1 0 0 20 0 1 0 336055440 4100096 123 33554432000 4194304 4236627 140735544294160 140735544293256 223651644896 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28725/statm: 1001 123 97 11 0 67 0
[pid=28726] ppid=28723 vsize=91960 CPUtime=1.9 cores=1,3,5,7
/proc/28726/stat : 28726 (clasp-1.0) R 28723 28623 23082 0 -1 4202496 22374 0 0 0 185 5 0 0 20 0 1 0 336055440 94167040 22272 33554432000 134512640 134847168 4293689344 4293685280 1629242 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28726/statm: 22990 22272 249 82 0 22231 0
Current children cumulated CPU time (s) 1681.26
Current children cumulated vsize (KiB) 134248
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28623 and gives
# childrusage.ru_utime.tv_sec=1670
# childrusage.ru_utime.tv_usec=815997
# childrusage.ru_stime.tv_sec=8
# childrusage.ru_stime.tv_usec=586694
# CPU time returned by wait4() is 1679.4
# while last known CPU time is 1681.26
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 120.75
# lost CPU user time (s): 120.01
# lost CPU system time (s): 0.74
Real time (s): 1802.72
CPU time (s): 1802.01
CPU user time (s): 1792.66
CPU system time (s): 9.35
CPU usage (%): 99.9604
Max. virtual memory (cumulated for all children) (KiB): 4224364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1670.82
system time used= 8.58669
maximum resident set size= 4160240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3366597
page faults= 1
swaps= 0
block input operations= 136
block output operations= 204896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20597
involuntary context switches= 2049
runsolver used 2.99854 second user time and 9.08062 second system time
The end