0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.08/0.11 c Seed is 1845188020
0.08/0.11 c Constructing HOME/instance-2079810-1247717077.xml with 3839 constraints
0.08/0.11 c Solving 3336 backtracks 11 restarts
755.98/756.37 s SATISFIABLE
755.98/756.37 c V0=5, V1=2, V2=9, V3=0, V4=16, V5=15, V6=8, V7=2, V8=11, V9=11, V10=19, V11=4, V12=17, V13=24, V14=15, V15=6, V16=4, V17=16, V18=14, V19=12, V20=1, V21=23, V22=18, V23=4, V24=3, V25=1, V26=20, V27=12, V28=12, V29=25, V30=6, V31=0, V32=2, V33=11, V34=10, V35=1, V36=13, V37=6, V38=7, V39=3, V40=2, V41=17, V42=19, V43=30, V44=34, V45=58, V46=64, V47=80, V48=92, V49=115, V50=119, V51=120, V52=132, V53=157, V54=157, V55=168, V56=169, V57=175, V58=178, V59=178, V60=0,
755.98/756.37 v 5 2 9 0 16 15 8 2 11 11 19 4 17 24 15 6 4 16 14 12 1 23 18 4 3 1 20 12 12 25 6 0 2 11 10 1 13 6 7 3 2 17 19 30 34 58 64 80 92 115 119 120 132 157 157 168 169 175 178 178 0
755.98/756.37 d ASSIGNMENTS 3336
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2079810-1247717077/watcher-2079810-1247717077 -o /tmp/evaluation-result-2079810-1247717077/solver-2079810-1247717077 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1845188020 HOME/instance-2079810-1247717077.xml
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 14546
/proc/meminfo: memFree=1534120/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=5356 CPUtime=0
/proc/14546/stat : 14546 (pcssolve) R 14544 14546 10985 0 -1 4194304 309 412 0 0 0 0 0 0 16 0 1 0 58772153 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 231882680991 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14546/statm: 1339 242 201 169 0 50 0
[pid=14549] ppid=14546 vsize=3860 CPUtime=0
/proc/14549/stat : 14549 (fgrep) R 14546 14546 10985 0 -1 4194304 249 0 0 0 0 0 0 0 16 0 1 0 58772154 3952640 184 996147200 4194304 4274172 548682068976 18446744073709551615 231882850386 0 0 4096 0 0 0 0 17 1 0 0
/proc/14549/statm: 964 184 95 19 0 88 0
[startup+0.053891 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 14546
/proc/meminfo: memFree=1534120/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=5108 CPUtime=0.03
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 943 846 0 0 3 0 0 0 18 0 1 0 58772153 5230592 574 996147200 134512640 135215973 4294956304 18446744073709551615 135045466 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 1277 574 385 171 0 202 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5108
[startup+0.101893 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 14546
/proc/meminfo: memFree=1534120/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=6212 CPUtime=0.08
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 1280 846 0 0 8 0 0 0 18 0 1 0 58772153 6361088 860 996147200 134512640 135215973 4294956304 18446744073709551615 134590124 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 1553 860 404 171 0 478 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6212
[startup+0.301916 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 14546
/proc/meminfo: memFree=1534120/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=6344 CPUtime=0.28
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 1331 846 0 0 28 0 0 0 19 0 1 0 58772153 6496256 911 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 1586 911 406 171 0 511 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6344
[startup+0.701964 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 14546
/proc/meminfo: memFree=1534120/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=6344 CPUtime=0.68
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 1332 846 0 0 68 0 0 0 23 0 1 0 58772153 6496256 912 996147200 134512640 135215973 4294956304 18446744073709551615 135026902 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 1586 912 406 171 0 511 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6344
[startup+1.50106 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1531872/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=6344 CPUtime=1.48
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 1332 846 0 0 148 0 0 0 25 0 1 0 58772153 6496256 912 996147200 134512640 135215973 4294956304 18446744073709551615 135026898 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 1586 912 406 171 0 511 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 6344
[startup+3.10125 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1531808/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=6344 CPUtime=3.08
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 1340 846 0 0 308 0 0 0 25 0 1 0 58772153 6496256 920 996147200 134512640 135215973 4294956304 18446744073709551615 135020314 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 1586 920 406 171 0 511 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 6344
[startup+6.30162 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1531616/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=6344 CPUtime=6.28
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 1351 846 0 0 628 0 0 0 25 0 1 0 58772153 6496256 931 996147200 134512640 135215973 4294956304 18446744073709551615 134590086 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 1586 931 406 171 0 511 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 6344
[startup+12.7014 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1531168/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=6872 CPUtime=12.67
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 1453 846 0 0 1267 0 0 0 25 0 1 0 58772153 7036928 1033 996147200 134512640 135215973 4294956304 18446744073709551615 135020314 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 1718 1033 406 171 0 643 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 6872
[startup+25.5019 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1530912/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=7004 CPUtime=25.47
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 1485 846 0 0 2547 0 0 0 25 0 1 0 58772153 7172096 1065 996147200 134512640 135215973 4294956304 18446744073709551615 135020385 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 1751 1065 406 171 0 676 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 7004
[startup+51.1019 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1530144/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=7532 CPUtime=51.06
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 1617 846 0 0 5105 1 0 0 25 0 1 0 58772153 7712768 1197 996147200 134512640 135215973 4294956304 18446744073709551615 134583239 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 1883 1197 406 171 0 808 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 7532
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1527072/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=8712 CPUtime=102.25
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 1929 846 0 0 10224 1 0 0 25 0 1 0 58772153 8921088 1476 996147200 134512640 135215973 4294956304 18446744073709551615 134583247 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 2178 1476 406 171 0 1103 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 8712
[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1525408/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=10284 CPUtime=162.22
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 2315 846 0 0 16221 1 0 0 25 0 1 0 58772153 10530816 1829 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 2571 1829 406 171 0 1496 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 10284
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1523360/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=11860 CPUtime=222.19
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 2731 846 0 0 22218 1 0 0 25 0 1 0 58772153 12144640 2245 996147200 134512640 135215973 4294956304 18446744073709551615 135020330 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 2965 2245 406 171 0 1890 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 11860
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1521440/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=13568 CPUtime=282.17
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 3177 846 0 0 28215 2 0 0 25 0 1 0 58772153 13893632 2626 996147200 134512640 135215973 4294956304 18446744073709551615 135026904 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 3392 2626 406 171 0 2317 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 13568
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1519264/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=14884 CPUtime=342.14
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 3513 846 0 0 34212 2 0 0 25 0 1 0 58772153 15241216 2962 996147200 134512640 135215973 4294956304 18446744073709551615 135020407 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 3721 2962 406 171 0 2646 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 14884
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1517088/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=16072 CPUtime=402.12
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 3850 846 0 0 40210 2 0 0 25 0 1 0 58772153 16457728 3299 996147200 134512640 135215973 4294956304 18446744073709551615 135020196 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 4018 3299 406 171 0 2943 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 16072
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1514784/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=17656 CPUtime=462.1
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 4259 846 0 0 46207 3 0 0 25 0 1 0 58772153 18079744 3708 996147200 134512640 135215973 4294956304 18446744073709551615 135026900 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 4414 3708 406 171 0 3339 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 17656
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1512416/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=19752 CPUtime=522.07
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 4797 846 0 0 52204 3 0 0 25 0 1 0 58772153 20226048 4117 996147200 134512640 135215973 4294956304 18446744073709551615 135020395 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 4938 4117 406 171 0 3863 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 19752
[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1508192/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=21200 CPUtime=582.05
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 5186 846 0 0 58202 3 0 0 25 0 1 0 58772153 21708800 4506 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 5300 4506 406 171 0 4225 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 21200
[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1506208/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=22652 CPUtime=642.03
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 5574 846 0 0 64200 3 0 0 25 0 1 0 58772153 23195648 4894 996147200 134512640 135215973 4294956304 18446744073709551615 134583217 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 5663 4894 406 171 0 4588 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 22652
[startup+702.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1504224/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=24236 CPUtime=702
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 5968 846 0 0 70196 4 0 0 25 0 1 0 58772153 24817664 5288 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 6059 5288 406 171 0 4984 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 24236
Solver just ended. Dumping a history of the last processes samples
[startup+716.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1503712/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=24632 CPUtime=716.4
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 6060 846 0 0 71636 4 0 0 25 0 1 0 58772153 25223168 5380 996147200 134512640 135215973 4294956304 18446744073709551615 135020270 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 6158 5380 406 171 0 5083 0
Current children cumulated CPU time (s) 716.4
Current children cumulated vsize (KiB) 24632
[startup+742.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1502880/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=25160 CPUtime=741.99
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 6219 846 0 0 74195 4 0 0 25 0 1 0 58772153 25763840 5539 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 6290 5539 406 171 0 5215 0
Current children cumulated CPU time (s) 741.99
Current children cumulated vsize (KiB) 25160
[startup+748.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1502752/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=25288 CPUtime=748.38
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 6259 846 0 0 74834 4 0 0 25 0 1 0 58772153 25894912 5579 996147200 134512640 135215973 4294956304 18446744073709551615 135020306 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 6322 5579 406 171 0 5247 0
Current children cumulated CPU time (s) 748.38
Current children cumulated vsize (KiB) 25288
[startup+751.901 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1502560/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=25420 CPUtime=751.58
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 6281 846 0 0 75154 4 0 0 25 0 1 0 58772153 26030080 5601 996147200 134512640 135215973 4294956304 18446744073709551615 135026925 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 6355 5601 406 171 0 5280 0
Current children cumulated CPU time (s) 751.58
Current children cumulated vsize (KiB) 25420
[startup+753.507 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1502496/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=25420 CPUtime=753.19
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 6294 846 0 0 75315 4 0 0 25 0 1 0 58772153 26030080 5614 996147200 134512640 135215973 4294956304 18446744073709551615 135026892 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 6355 5614 406 171 0 5280 0
Current children cumulated CPU time (s) 753.19
Current children cumulated vsize (KiB) 25420
[startup+755.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1502496/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=25552 CPUtime=754.78
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 6307 846 0 0 75474 4 0 0 25 0 1 0 58772153 26165248 5627 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 6388 5627 406 171 0 5313 0
Current children cumulated CPU time (s) 754.78
Current children cumulated vsize (KiB) 25552
[startup+755.902 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1502496/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=25552 CPUtime=755.58
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 6310 846 0 0 75554 4 0 0 25 0 1 0 58772153 26165248 5630 996147200 134512640 135215973 4294956304 18446744073709551615 134590080 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 6388 5630 406 171 0 5313 0
Current children cumulated CPU time (s) 755.58
Current children cumulated vsize (KiB) 25552
[startup+756.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14551
/proc/meminfo: memFree=1502496/2055920 swapFree=4192812/4192956
[pid=14546] ppid=14544 vsize=25552 CPUtime=755.98
/proc/14546/stat : 14546 (pcs.big) R 14544 14546 10985 0 -1 4194304 6312 846 0 0 75594 4 0 0 25 0 1 0 58772153 26165248 5632 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/14546/statm: 6388 5632 406 171 0 5313 0
Current children cumulated CPU time (s) 755.98
Current children cumulated vsize (KiB) 25552
Child status: 0
Real time (s): 756.38
CPU time (s): 756.075
CPU user time (s): 756.021
CPU system time (s): 0.053991
CPU usage (%): 99.9597
Max. virtual memory (cumulated for all children) (KiB): 25552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 756.021
system time used= 0.053991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7164
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= 18
involuntary context switches= 2954
runsolver used 0.707892 second user time and 2.04969 second system time
The end