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-3468332-1307068834/watcher-3468332-1307068834 -o /tmp/evaluation-result-3468332-1307068834/solver-3468332-1307068834 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468332-1307068834.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
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: 1.40 1.12 1.03 3/572 18585
/proc/meminfo: memFree=32000756/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=12708 CPUtime=0 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 597 0 0 0 0 0 0 0 25 0 1 0 818482184 13012992 530 33554432000 4194304 4933572 140737397894400 18446744073709551615 268272349893 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 3177 530 367 181 0 186 0
[startup+0.052602 s]
/proc/loadavg: 1.40 1.12 1.03 3/572 18585
/proc/meminfo: memFree=32000756/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=13500 CPUtime=0.04 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 784 0 0 0 4 0 0 0 25 0 1 0 818482184 13824000 717 33554432000 4194304 4933572 140737397894400 18446744073709551615 4632837 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 3375 717 375 181 0 384 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13500
[startup+0.100668 s]
/proc/loadavg: 1.40 1.12 1.03 3/572 18585
/proc/meminfo: memFree=32000756/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=13760 CPUtime=0.09 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 862 0 0 0 9 0 0 0 25 0 1 0 818482184 14090240 795 33554432000 4194304 4933572 140737397894400 18446744073709551615 4712909 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 3440 795 375 181 0 449 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13760
[startup+0.30062 s]
/proc/loadavg: 1.40 1.12 1.03 3/572 18585
/proc/meminfo: memFree=32000756/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=14412 CPUtime=0.29 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 1011 0 0 0 29 0 0 0 25 0 1 0 818482184 14757888 944 33554432000 4194304 4933572 140737397894400 18446744073709551615 4718210 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 3603 944 375 181 0 612 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14412
[startup+0.70055 s]
/proc/loadavg: 1.40 1.12 1.03 3/572 18585
/proc/meminfo: memFree=32000756/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=14940 CPUtime=0.69 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 1153 0 0 0 69 0 0 0 25 0 1 0 818482184 15298560 1086 33554432000 4194304 4933572 140737397894400 18446744073709551615 4718555 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 3735 1086 375 181 0 744 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14940
[startup+1.50041 s]
/proc/loadavg: 1.40 1.12 1.03 3/573 18586
/proc/meminfo: memFree=31996260/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=15728 CPUtime=1.49 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 1334 0 0 0 149 0 0 0 25 0 1 0 818482184 16105472 1267 33554432000 4194304 4933572 140737397894400 18446744073709551615 4632876 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 3932 1267 375 181 0 941 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15728
[startup+3.10113 s]
/proc/loadavg: 1.40 1.12 1.03 3/573 18586
/proc/meminfo: memFree=31993904/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=16668 CPUtime=3.09 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 1595 0 0 0 309 0 0 0 25 0 1 0 818482184 17068032 1528 33554432000 4194304 4933572 140737397894400 18446744073709551615 4717612 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 4167 1528 375 181 0 1176 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16668
[startup+6.30055 s]
/proc/loadavg: 1.45 1.13 1.03 3/573 18587
/proc/meminfo: memFree=31992292/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=17588 CPUtime=6.29 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 1811 0 0 0 629 0 0 0 25 0 1 0 818482184 18010112 1744 33554432000 4194304 4933572 140737397894400 18446744073709551615 4718266 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 4397 1744 375 181 0 1406 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17588
[startup+12.7004 s]
/proc/loadavg: 1.49 1.15 1.04 3/573 18614
/proc/meminfo: memFree=31992312/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=18408 CPUtime=12.69 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 2023 0 0 0 1269 0 0 0 25 0 1 0 818482184 18849792 1956 33554432000 4194304 4933572 140737397894400 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 4602 1956 375 181 0 1611 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18408
[startup+25.5011 s]
/proc/loadavg: 1.60 1.19 1.05 3/573 18614
/proc/meminfo: memFree=31990332/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=18884 CPUtime=25.49 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 2136 0 0 0 2549 0 0 0 25 0 1 0 818482184 19337216 2069 33554432000 4194304 4933572 140737397894400 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 4721 2069 375 181 0 1730 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18884
[startup+51.1005 s]
/proc/loadavg: 1.74 1.25 1.08 3/573 18615
/proc/meminfo: memFree=31988680/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=19876 CPUtime=51.09 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 2412 0 0 0 5109 0 0 0 25 0 1 0 818482184 20353024 2329 33554432000 4194304 4933572 140737397894400 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 4969 2329 375 181 0 1978 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19876
[startup+102.321 s]
/proc/loadavg: 1.88 1.37 1.12 3/573 18616
/proc/meminfo: memFree=31986032/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=20776 CPUtime=102.31 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 2660 0 0 0 10231 0 0 0 25 0 1 0 818482184 21274624 2556 33554432000 4194304 4933572 140737397894400 18446744073709551615 4360867 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5194 2556 375 181 0 2203 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 20776
[startup+162.301 s]
/proc/loadavg: 1.96 1.48 1.18 3/573 18618
/proc/meminfo: memFree=31984484/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=21120 CPUtime=162.29 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 2714 0 0 0 16229 0 0 0 25 0 1 0 818482184 21626880 2610 33554432000 4194304 4933572 140737397894400 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5280 2610 375 181 0 2289 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 21120
[startup+222.301 s]
/proc/loadavg: 1.98 1.57 1.22 3/573 18619
/proc/meminfo: memFree=31985536/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=21468 CPUtime=222.29 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 2848 0 0 0 22229 0 0 0 25 0 1 0 818482184 21983232 2720 33554432000 4194304 4933572 140737397894400 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5367 2720 375 181 0 2376 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 21468
[startup+282.3 s]
/proc/loadavg: 1.99 1.65 1.27 3/573 18621
/proc/meminfo: memFree=31985708/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=21712 CPUtime=282.29 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 2947 0 0 0 28229 0 0 0 25 0 1 0 818482184 22233088 2787 33554432000 4194304 4933572 140737397894400 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5428 2787 375 181 0 2437 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 21712
[startup+342.301 s]
/proc/loadavg: 1.99 1.71 1.31 3/573 18622
/proc/meminfo: memFree=31985144/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=21712 CPUtime=342.29 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 2947 0 0 0 34229 0 0 0 25 0 1 0 818482184 22233088 2787 33554432000 4194304 4933572 140737397894400 18446744073709551615 4632144 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5428 2787 375 181 0 2437 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 21712
[startup+402.301 s]
/proc/loadavg: 2.19 1.82 1.37 3/573 18624
/proc/meminfo: memFree=31985324/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=22124 CPUtime=402.3 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 3062 0 0 0 40230 0 0 0 25 0 1 0 818482184 22654976 2884 33554432000 4194304 4933572 140737397894400 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5531 2884 375 181 0 2540 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 22124
[startup+462.3 s]
/proc/loadavg: 2.29 1.91 1.43 3/573 18626
/proc/meminfo: memFree=31985016/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=22244 CPUtime=462.3 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 3149 0 0 0 46230 0 0 0 25 0 1 0 818482184 22777856 2916 33554432000 4194304 4933572 140737397894400 18446744073709551615 4717636 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5561 2916 375 181 0 2570 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 22244
[startup+522.3 s]
/proc/loadavg: 2.11 1.92 1.46 3/573 18627
/proc/meminfo: memFree=31985068/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=22376 CPUtime=522.3 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 3180 0 0 0 52230 0 0 0 25 0 1 0 818482184 22913024 2947 33554432000 4194304 4933572 140737397894400 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5594 2947 375 181 0 2603 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 22376
[startup+582.301 s]
/proc/loadavg: 2.04 1.93 1.49 3/573 18629
/proc/meminfo: memFree=31985376/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=22376 CPUtime=582.3 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 3180 0 0 0 58230 0 0 0 25 0 1 0 818482184 22913024 2947 33554432000 4194304 4933572 140737397894400 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5594 2947 375 181 0 2603 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 22376
[startup+642.301 s]
/proc/loadavg: 2.01 1.94 1.52 3/573 18630
/proc/meminfo: memFree=31983928/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=22424 CPUtime=642.32 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 3190 0 0 0 64232 0 0 0 25 0 1 0 818482184 22962176 2957 33554432000 4194304 4933572 140737397894400 18446744073709551615 4360926 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5606 2957 375 181 0 2615 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 22424
[startup+702.3 s]
/proc/loadavg: 2.00 1.95 1.55 3/573 18632
/proc/meminfo: memFree=31984988/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=22472 CPUtime=702.3 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 3202 0 0 0 70230 0 0 0 25 0 1 0 818482184 23011328 2969 33554432000 4194304 4933572 140737397894400 18446744073709551615 4637163 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5618 2969 375 181 0 2627 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 22472
[startup+762.321 s]
/proc/loadavg: 2.00 1.96 1.57 3/573 18634
/proc/meminfo: memFree=31984048/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=22620 CPUtime=762.33 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 3227 0 0 0 76233 0 0 0 25 0 1 0 818482184 23162880 2994 33554432000 4194304 4933572 140737397894400 18446744073709551615 4319407 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5655 2994 375 181 0 2664 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 22620
[startup+822.301 s]
/proc/loadavg: 2.00 1.96 1.60 3/573 18635
/proc/meminfo: memFree=31984112/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=22620 CPUtime=822.31 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 3227 0 0 0 82231 0 0 0 25 0 1 0 818482184 23162880 2994 33554432000 4194304 4933572 140737397894400 18446744073709551615 4717456 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5655 2994 375 181 0 2664 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 22620
[startup+882.3 s]
/proc/loadavg: 2.00 1.97 1.62 3/573 18637
/proc/meminfo: memFree=31983048/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=22732 CPUtime=882.31 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 3257 0 0 0 88231 0 0 0 25 0 1 0 818482184 23277568 3024 33554432000 4194304 4933572 140737397894400 18446744073709551615 4637168 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5683 3024 375 181 0 2692 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 22732
[startup+942.3 s]
/proc/loadavg: 2.10 2.00 1.65 3/573 18638
/proc/meminfo: memFree=31983604/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=22732 CPUtime=942.31 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 3271 0 0 0 94231 0 0 0 25 0 1 0 818482184 23277568 3038 33554432000 4194304 4933572 140737397894400 18446744073709551615 4717269 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5683 3038 375 181 0 2692 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 22732
Solver just ended. Dumping a history of the last processes samples
[startup+947.121 s]
/proc/loadavg: 2.25 2.03 1.66 3/573 18639
/proc/meminfo: memFree=31983604/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=22732 CPUtime=947.13 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 3271 0 0 0 94713 0 0 0 25 0 1 0 818482184 23277568 3038 33554432000 4194304 4933572 140737397894400 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5683 3038 375 181 0 2692 0
Current children cumulated CPU time (s) 947.13
Current children cumulated vsize (KiB) 22732
[startup+959.9 s]
/proc/loadavg: 2.19 2.03 1.67 3/573 18639
/proc/meminfo: memFree=31983460/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=22732 CPUtime=959.91 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 3275 0 0 0 95991 0 0 0 25 0 1 0 818482184 23277568 3042 33554432000 4194304 4933572 140737397894400 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5683 3042 375 181 0 2692 0
Current children cumulated CPU time (s) 959.91
Current children cumulated vsize (KiB) 22732
[startup+966.3 s]
/proc/loadavg: 2.26 2.05 1.68 3/573 18639
/proc/meminfo: memFree=31983336/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=22732 CPUtime=966.31 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 3275 0 0 0 96631 0 0 0 25 0 1 0 818482184 23277568 3042 33554432000 4194304 4933572 140737397894400 18446744073709551615 4649552 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5683 3042 375 181 0 2692 0
Current children cumulated CPU time (s) 966.31
Current children cumulated vsize (KiB) 22732
[startup+972.701 s]
/proc/loadavg: 2.24 2.04 1.68 3/573 18639
/proc/meminfo: memFree=31983332/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=22892 CPUtime=972.71 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 3285 0 0 0 97271 0 0 0 25 0 1 0 818482184 23441408 3052 33554432000 4194304 4933572 140737397894400 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5723 3052 375 181 0 2732 0
Current children cumulated CPU time (s) 972.71
Current children cumulated vsize (KiB) 22892
[startup+974.301 s]
/proc/loadavg: 2.22 2.04 1.68 3/573 18639
/proc/meminfo: memFree=31983324/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=22756 CPUtime=974.31 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 3285 0 0 0 97431 0 0 0 25 0 1 0 818482184 23302144 3049 33554432000 4194304 4933572 140737397894400 18446744073709551615 4648387 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5689 3049 375 181 0 2698 0
Current children cumulated CPU time (s) 974.31
Current children cumulated vsize (KiB) 22756
[startup+975.901 s]
/proc/loadavg: 2.22 2.04 1.68 3/573 18639
/proc/meminfo: memFree=31983200/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=22756 CPUtime=975.91 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 3305 0 0 0 97591 0 0 0 25 0 1 0 818482184 23302144 3049 33554432000 4194304 4933572 140737397894400 18446744073709551615 4319400 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5689 3049 375 181 0 2698 0
Current children cumulated CPU time (s) 975.91
Current children cumulated vsize (KiB) 22756
[startup+976.301 s]
/proc/loadavg: 2.22 2.04 1.68 3/573 18639
/proc/meminfo: memFree=31983200/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=22888 CPUtime=976.31 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 3318 0 0 0 97631 0 0 0 25 0 1 0 818482184 23437312 3062 33554432000 4194304 4933572 140737397894400 18446744073709551615 4632063 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5722 3062 375 181 0 2731 0
Current children cumulated CPU time (s) 976.31
Current children cumulated vsize (KiB) 22888
[startup+976.701 s]
/proc/loadavg: 2.22 2.04 1.68 3/573 18639
/proc/meminfo: memFree=31983320/32950928 swapFree=43925852/67111528
[pid=18585] ppid=18583 vsize=22888 CPUtime=976.72 cores=0,2,4,6
/proc/18585/stat : 18585 (clasp) R 18583 18585 17441 0 -1 4202496 3324 0 0 0 97672 0 0 0 25 0 1 0 818482184 23437312 3068 33554432000 4194304 4933572 140737397894400 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18585/statm: 5722 3068 375 181 0 2731 0
Current children cumulated CPU time (s) 976.72
Current children cumulated vsize (KiB) 22888
Child status: 10
Real time (s): 976.758
CPU time (s): 976.778
CPU user time (s): 976.77
CPU system time (s): 0.006998
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 22896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 976.771
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3340
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= 2386
runsolver used 5.58015 second user time and 12.1981 second system time
The end