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-3469489-1307103628/watcher-3469489-1307103628 -o /tmp/evaluation-result-3469489-1307103628/solver-3469489-1307103628 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469489-1307103628.opb --solu --heu=VSIDS
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.04 2.00 2/526 24368
/proc/meminfo: memFree=22877720/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=13876 CPUtime=0.01 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 933 0 0 0 1 0 0 0 25 0 1 0 802778612 14209024 825 33554432000 4194304 4933572 140737342664192 18446744073709551615 4632817 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 3469 825 365 181 0 478 0
[startup+0.0911619 s]
/proc/loadavg: 2.05 2.04 2.00 2/526 24368
/proc/meminfo: memFree=22877720/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=15064 CPUtime=0.08 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 1232 0 0 0 8 0 0 0 25 0 1 0 802778612 15425536 1124 33554432000 4194304 4933572 140737342664192 18446744073709551615 4713191 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 3766 1124 373 181 0 775 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15064
[startup+0.101145 s]
/proc/loadavg: 2.05 2.04 2.00 2/526 24368
/proc/meminfo: memFree=22877720/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=15192 CPUtime=0.09 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 1242 0 0 0 9 0 0 0 25 0 1 0 802778612 15556608 1134 33554432000 4194304 4933572 140737342664192 18446744073709551615 4342444 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 3798 1134 374 181 0 807 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15192
[startup+0.301138 s]
/proc/loadavg: 2.05 2.04 2.00 2/526 24368
/proc/meminfo: memFree=22877720/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=15980 CPUtime=0.29 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 1444 0 0 0 29 0 0 0 25 0 1 0 802778612 16363520 1336 33554432000 4194304 4933572 140737342664192 18446744073709551615 4648436 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 3995 1336 374 181 0 1004 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15980
[startup+0.701051 s]
/proc/loadavg: 2.05 2.04 2.00 2/526 24368
/proc/meminfo: memFree=22877720/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=16740 CPUtime=0.69 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 1626 0 0 0 69 0 0 0 25 0 1 0 802778612 17141760 1518 33554432000 4194304 4933572 140737342664192 18446744073709551615 4361999 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 4185 1518 374 181 0 1194 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16740
[startup+1.50092 s]
/proc/loadavg: 2.05 2.04 2.00 3/527 24369
/proc/meminfo: memFree=22872388/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=16740 CPUtime=1.49 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 1626 0 0 0 149 0 0 0 25 0 1 0 802778612 17141760 1518 33554432000 4194304 4933572 140737342664192 18446744073709551615 4361577 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 4185 1518 374 181 0 1194 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16740
[startup+3.10063 s]
/proc/loadavg: 2.05 2.04 2.00 3/527 24369
/proc/meminfo: memFree=22870900/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=17920 CPUtime=3.09 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 1921 0 0 0 309 0 0 0 25 0 1 0 802778612 18350080 1813 33554432000 4194304 4933572 140737342664192 18446744073709551615 4648436 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 4480 1813 374 181 0 1489 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17920
[startup+6.30102 s]
/proc/loadavg: 2.05 2.04 2.00 3/527 24369
/proc/meminfo: memFree=22869000/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=18904 CPUtime=6.3 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 2185 0 0 0 630 0 0 0 25 0 1 0 802778612 19357696 2072 33554432000 4194304 4933572 140737342664192 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 4726 2072 374 181 0 1735 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 18904
[startup+12.7009 s]
/proc/loadavg: 2.04 2.03 2.00 3/527 24369
/proc/meminfo: memFree=22866028/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=21540 CPUtime=12.69 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 2859 0 0 0 1269 0 0 0 25 0 1 0 802778612 22056960 2734 33554432000 4194304 4933572 140737342664192 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 5385 2734 374 181 0 2394 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21540
[startup+25.5006 s]
/proc/loadavg: 2.03 2.03 2.00 3/527 24399
/proc/meminfo: memFree=23035812/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=25744 CPUtime=25.49 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 3947 0 0 0 2549 0 0 0 25 0 1 0 802778612 26361856 3773 33554432000 4194304 4933572 140737342664192 18446744073709551615 4717073 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 6436 3773 374 181 0 3445 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25744
[startup+51.101 s]
/proc/loadavg: 2.08 2.04 2.01 3/527 24400
/proc/meminfo: memFree=23028904/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=28660 CPUtime=51.09 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 4723 0 0 0 5109 0 0 0 25 0 1 0 802778612 29347840 4526 33554432000 4194304 4933572 140737342664192 18446744073709551615 4664015 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 7165 4526 374 181 0 4174 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 28660
[startup+102.32 s]
/proc/loadavg: 2.03 2.03 2.00 3/527 24401
/proc/meminfo: memFree=23026260/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=29540 CPUtime=102.31 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 5303 0 0 0 10231 0 0 0 25 0 1 0 802778612 30248960 4744 33554432000 4194304 4933572 140737342664192 18446744073709551615 233509957543 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 7385 4744 374 181 0 4394 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 29540
[startup+162.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/527 24403
/proc/meminfo: memFree=23013212/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=36244 CPUtime=162.29 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 6940 0 0 0 16229 0 0 0 25 0 1 0 802778612 37113856 6327 33554432000 4194304 4933572 140737342664192 18446744073709551615 4360002 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 9061 6327 374 181 0 6070 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 36244
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 24404
/proc/meminfo: memFree=23011816/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=37028 CPUtime=222.29 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 7386 0 0 0 22229 0 0 0 25 0 1 0 802778612 37916672 6555 33554432000 4194304 4933572 140737342664192 18446744073709551615 4319270 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 9257 6555 374 181 0 6266 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 37028
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 24410
/proc/meminfo: memFree=23009420/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=37808 CPUtime=282.29 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 8050 0 0 0 28229 0 0 0 25 0 1 0 802778612 38715392 6747 33554432000 4194304 4933572 140737342664192 18446744073709551615 4631794 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 9452 6747 374 181 0 6461 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 37808
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 24413
/proc/meminfo: memFree=23007336/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=38916 CPUtime=342.29 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 8294 0 0 0 34229 0 0 0 25 0 1 0 802778612 39849984 6972 33554432000 4194304 4933572 140737342664192 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 9729 6972 374 181 0 6738 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 38916
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/527 24414
/proc/meminfo: memFree=22919996/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=39084 CPUtime=402.3 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 8340 0 0 0 40230 0 0 0 25 0 1 0 802778612 40022016 7018 33554432000 4194304 4933572 140737342664192 18446744073709551615 4631776 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 9771 7018 374 181 0 6780 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 39084
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/527 24416
/proc/meminfo: memFree=22912780/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=46428 CPUtime=462.3 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 10403 0 0 0 46229 1 0 0 25 0 1 0 802778612 47542272 8870 33554432000 4194304 4933572 140737342664192 18446744073709551615 4341834 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 11607 8870 374 181 0 8616 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 46428
[startup+522.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/527 24417
/proc/meminfo: memFree=22912260/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=46420 CPUtime=522.3 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 10782 0 0 0 52229 1 0 0 25 0 1 0 802778612 47534080 8848 33554432000 4194304 4933572 140737342664192 18446744073709551615 233509994251 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 11605 8848 374 181 0 8614 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 46420
[startup+582.301 s]
/proc/loadavg: 2.13 2.06 2.02 4/527 24419
/proc/meminfo: memFree=22911988/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=47108 CPUtime=582.3 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 11439 0 0 0 58229 1 0 0 25 0 1 0 802778612 48238592 9037 33554432000 4194304 4933572 140737342664192 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 11777 9037 374 181 0 8786 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 47108
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 24425
/proc/meminfo: memFree=22907912/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=51016 CPUtime=822.32 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 13147 0 0 0 82230 2 0 0 25 0 1 0 802778612 52240384 9868 33554432000 4194304 4933572 140737342664192 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 12754 9868 374 181 0 9763 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 51016
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 24427
/proc/meminfo: memFree=22908012/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=51016 CPUtime=882.32 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 13148 0 0 0 88230 2 0 0 25 0 1 0 802778612 52240384 9869 33554432000 4194304 4933572 140737342664192 18446744073709551615 4711048 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 12754 9869 374 181 0 9763 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 51016
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 24429
/proc/meminfo: memFree=22908364/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=51016 CPUtime=942.32 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 13148 0 0 0 94230 2 0 0 25 0 1 0 802778612 52240384 9869 33554432000 4194304 4933572 140737342664192 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 12754 9869 374 181 0 9763 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 51016
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 24430
/proc/meminfo: memFree=22908340/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=51016 CPUtime=1002.32 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 13148 0 0 0 100230 2 0 0 25 0 1 0 802778612 52240384 9869 33554432000 4194304 4933572 140737342664192 18446744073709551615 4629723 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 12754 9869 374 181 0 9763 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 51016
[startup+1062.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/527 24432
/proc/meminfo: memFree=22909524/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=51016 CPUtime=1062.32 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 13150 0 0 0 106230 2 0 0 25 0 1 0 802778612 52240384 9871 33554432000 4194304 4933572 140737342664192 18446744073709551615 4631807 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 12754 9871 374 181 0 9763 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 51016
[startup+1122.3 s]
/proc/loadavg: 2.19 2.07 2.02 3/527 24433
/proc/meminfo: memFree=22909492/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=51184 CPUtime=1122.33 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 13202 0 0 0 112231 2 0 0 25 0 1 0 802778612 52412416 9923 33554432000 4194304 4933572 140737342664192 18446744073709551615 4717059 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 12796 9923 374 181 0 9805 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 51184
[startup+1182.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/527 24436
/proc/meminfo: memFree=22908852/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=51328 CPUtime=1182.33 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 13215 0 0 0 118231 2 0 0 25 0 1 0 802778612 52559872 9936 33554432000 4194304 4933572 140737342664192 18446744073709551615 4632806 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 12832 9936 374 181 0 9841 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 51328
[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/527 24438
/proc/meminfo: memFree=22907340/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=51636 CPUtime=1242.33 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 13279 0 0 0 124231 2 0 0 25 0 1 0 802778612 52875264 10000 33554432000 4194304 4933572 140737342664192 18446744073709551615 4648965 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 12909 10000 374 181 0 9918 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 51636
[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/527 24439
/proc/meminfo: memFree=22907312/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=52000 CPUtime=1302.35 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 13375 0 0 0 130233 2 0 0 25 0 1 0 802778612 53248000 10096 33554432000 4194304 4933572 140737342664192 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 13000 10096 374 181 0 10009 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 52000
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 24441
/proc/meminfo: memFree=22906904/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=52308 CPUtime=1362.33 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 13437 0 0 0 136231 2 0 0 25 0 1 0 802778612 53563392 10158 33554432000 4194304 4933572 140737342664192 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 13077 10158 374 181 0 10086 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 52308
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 24442
/proc/meminfo: memFree=22907852/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=52620 CPUtime=1422.35 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 13483 0 0 0 142233 2 0 0 25 0 1 0 802778612 53882880 10204 33554432000 4194304 4933572 140737342664192 18446744073709551615 4377104 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 13155 10204 374 181 0 10164 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 52620
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 24444
/proc/meminfo: memFree=22906952/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=53264 CPUtime=1482.33 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 13618 0 0 0 148231 2 0 0 25 0 1 0 802778612 54542336 10339 33554432000 4194304 4933572 140737342664192 18446744073709551615 4319413 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 13316 10339 374 181 0 10325 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 53264
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 24446
/proc/meminfo: memFree=22903816/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=56700 CPUtime=1542.33 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 14480 0 0 0 154231 2 0 0 25 0 1 0 802778612 58060800 11201 33554432000 4194304 4933572 140737342664192 18446744073709551615 4341923 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 14175 11201 374 181 0 11184 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 56700
[startup+1602.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/527 24447
/proc/meminfo: memFree=22904152/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=57288 CPUtime=1602.34 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 14698 0 0 0 160232 2 0 0 25 0 1 0 802778612 58662912 11362 33554432000 4194304 4933572 140737342664192 18446744073709551615 4414971 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 14322 11362 374 181 0 11331 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 57288
[startup+1662.3 s]
/proc/loadavg: 2.26 2.08 2.02 3/527 24449
/proc/meminfo: memFree=22904000/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=57508 CPUtime=1662.34 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 14903 0 0 0 166232 2 0 0 25 0 1 0 802778612 58888192 11418 33554432000 4194304 4933572 140737342664192 18446744073709551615 4361992 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 14377 11418 374 181 0 11386 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 57508
[startup+1722.3 s]
/proc/loadavg: 2.17 2.07 2.02 3/527 24450
/proc/meminfo: memFree=22903848/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=57732 CPUtime=1722.34 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 15356 0 0 0 172232 2 0 0 25 0 1 0 802778612 59117568 11476 33554432000 4194304 4933572 140737342664192 18446744073709551615 4362025 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 14433 11476 374 181 0 11442 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 57732
[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/527 24452
/proc/meminfo: memFree=22901824/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=58236 CPUtime=1782.34 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 15688 0 0 0 178232 2 0 0 25 0 1 0 802778612 59633664 11573 33554432000 4194304 4933572 140737342664192 18446744073709551615 4625196 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 14559 11573 374 181 0 11568 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 58236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.05 2.01 3/527 24453
/proc/meminfo: memFree=22900936/32951124 swapFree=64303760/67111528
[pid=24368] ppid=24366 vsize=58236 CPUtime=1800.05 cores=0,2,4,6
/proc/24368/stat : 24368 (clasp) R 24366 24368 23633 0 -1 4202496 15689 0 0 0 180003 2 0 0 25 0 1 0 802778612 59633664 11574 33554432000 4194304 4933572 140737342664192 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/24368/statm: 14559 11574 374 181 0 11568 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 58236
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1800.04
CPU system time (s): 0.029995
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 58236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.029995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15699
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 2805
runsolver used 10.1385 second user time and 20.7099 second system time
The end