runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node69/watcher-338485-1173686598 -o ROOT/results/node69/solver-338485-1173686598 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/338485-1173686598/mxc /tmp/evaluation/338485-1173686598/instance-338485-1173686598.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15616
/proc/meminfo: memFree=1768688/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=4500 CPUtime=0
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 749 0 0 0 0 0 0 0 18 0 1 0 388617616 4608000 733 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134550509 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 1125 739 42 122 0 999 0
[startup+0.039926 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15616
/proc/meminfo: memFree=1768688/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=6920 CPUtime=0.03
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 1552 0 0 0 3 0 0 0 18 0 1 0 388617616 7086080 1536 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 1730 1537 46 122 0 1604 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6920
[startup+0.10193 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15616
/proc/meminfo: memFree=1768688/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=11120 CPUtime=0.09
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 2520 0 0 0 9 0 0 0 18 0 1 0 388617616 11386880 2504 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 2780 2505 46 122 0 2654 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11120
[startup+0.301964 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15616
/proc/meminfo: memFree=1768688/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=10192 CPUtime=0.29
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 3228 0 0 0 28 1 0 0 19 0 1 0 388617616 10436608 2320 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134520738 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 2548 2320 59 122 0 2422 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10192
[startup+0.702027 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15616
/proc/meminfo: memFree=1768688/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=11512 CPUtime=0.69
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 3583 0 0 0 68 1 0 0 22 0 1 0 388617616 11788288 2675 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134530037 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 2878 2675 59 122 0 2752 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11512
[startup+1.50216 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15617
/proc/meminfo: memFree=1756392/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=16528 CPUtime=1.49
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 4840 0 0 0 147 2 0 0 25 0 1 0 388617616 16924672 3932 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134535052 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 4132 3932 59 122 0 4006 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16528
[startup+3.10142 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15617
/proc/meminfo: memFree=1749992/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=24976 CPUtime=3.09
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 6922 0 0 0 306 3 0 0 25 0 1 0 388617616 25575424 6014 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 6244 6014 59 122 0 6118 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24976
[startup+6.30294 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15617
/proc/meminfo: memFree=1733992/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=39364 CPUtime=6.29
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 10543 0 0 0 624 5 0 0 25 0 1 0 388617616 40308736 9635 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 9841 9635 59 122 0 9715 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39364
[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15617
/proc/meminfo: memFree=1702248/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=71316 CPUtime=12.68
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 18500 0 0 0 1259 9 0 0 25 0 1 0 388617616 73027584 17592 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 17829 17592 59 122 0 17703 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 71316
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15617
/proc/meminfo: memFree=1663016/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=107360 CPUtime=25.48
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 27473 0 0 0 2533 15 0 0 25 0 1 0 388617616 109936640 26565 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 26840 26565 59 122 0 26714 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 107360
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15617
/proc/meminfo: memFree=1617000/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=153792 CPUtime=51.07
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 39004 0 0 0 5083 24 0 0 25 0 1 0 388617616 157483008 38096 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 38448 38096 59 122 0 38322 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 153792
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15617
/proc/meminfo: memFree=1520872/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=249152 CPUtime=102.26
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 62844 0 0 0 10187 39 0 0 25 0 1 0 388617616 255131648 61936 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 62288 61936 59 122 0 62162 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 249152
[startup+162.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 15617
/proc/meminfo: memFree=1440744/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=330168 CPUtime=162.23
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 82856 0 0 0 16170 53 0 0 25 0 1 0 388617616 338092032 81948 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519605 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 82542 81948 59 122 0 82416 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 330168
[startup+222.301 s]
/proc/loadavg: 1.26 1.07 1.02 2/65 15617
/proc/meminfo: memFree=1409768/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=360508 CPUtime=222.21
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 90623 0 0 0 22160 61 0 0 25 0 1 0 388617616 369160192 89527 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 90127 89527 67 122 0 90001 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 360508
[startup+282.302 s]
/proc/loadavg: 1.09 1.06 1.01 2/65 15617
/proc/meminfo: memFree=1409768/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=360508 CPUtime=282.19
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 90645 0 0 0 28158 61 0 0 25 0 1 0 388617616 369160192 89549 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519200 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 90127 89549 67 122 0 90001 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 360508
[startup+342.302 s]
/proc/loadavg: 1.03 1.04 1.01 2/65 15617
/proc/meminfo: memFree=1409704/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=360508 CPUtime=342.17
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 90647 0 0 0 34156 61 0 0 25 0 1 0 388617616 369160192 89551 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519284 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 90127 89551 67 122 0 90001 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 360508
[startup+402.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 15617
/proc/meminfo: memFree=1385576/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=385224 CPUtime=402.15
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 96822 0 0 0 40148 67 0 0 25 0 1 0 388617616 394469376 95726 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134528663 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 96306 95726 67 122 0 96180 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 385224
[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 15617
/proc/meminfo: memFree=1362344/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=407900 CPUtime=462.13
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 102874 0 0 0 46139 74 0 0 25 0 1 0 388617616 417689600 101370 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519987 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 101975 101370 67 122 0 101849 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 407900
[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 15617
/proc/meminfo: memFree=1362280/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=408028 CPUtime=522.11
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 102911 0 0 0 52137 74 0 0 25 0 1 0 388617616 417820672 101407 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519200 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 102007 101407 67 122 0 101881 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 408028
[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 15617
/proc/meminfo: memFree=1362280/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=408028 CPUtime=582.09
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 102912 0 0 0 58135 74 0 0 25 0 1 0 388617616 417820672 101408 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 102007 101408 67 122 0 101881 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 408028
[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 15617
/proc/meminfo: memFree=1362216/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=408028 CPUtime=642.07
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 102912 0 0 0 64133 74 0 0 25 0 1 0 388617616 417820672 101408 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 102007 101408 67 122 0 101881 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 408028
[startup+702.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15617
/proc/meminfo: memFree=1362152/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=408028 CPUtime=702.04
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 102912 0 0 0 70130 74 0 0 25 0 1 0 388617616 417820672 101408 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 102007 101408 67 122 0 101881 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 408028
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15617
/proc/meminfo: memFree=1356904/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=413352 CPUtime=762.03
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 104248 0 0 0 76127 76 0 0 25 0 1 0 388617616 423272448 102744 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519291 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 103338 102744 67 122 0 103212 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 413352
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15617
/proc/meminfo: memFree=1333992/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=436616 CPUtime=822
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 110004 0 0 0 82118 82 0 0 25 0 1 0 388617616 447094784 108500 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 109154 108500 67 122 0 109028 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 436616
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15617
/proc/meminfo: memFree=1333480/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=436748 CPUtime=881.98
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 110496 0 0 0 88116 82 0 0 25 0 1 0 388617616 447229952 108542 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519206 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 109187 108542 67 122 0 109061 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 436748
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15617
/proc/meminfo: memFree=1333544/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=436748 CPUtime=941.96
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 110500 0 0 0 94114 82 0 0 25 0 1 0 388617616 447229952 108546 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519220 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 109187 108546 67 122 0 109061 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 436748
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15617
/proc/meminfo: memFree=1333352/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=436876 CPUtime=1001.95
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 110550 0 0 0 100112 83 0 0 25 0 1 0 388617616 447361024 108596 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 109219 108596 67 122 0 109093 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 436876
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15617
/proc/meminfo: memFree=1333288/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=436876 CPUtime=1061.93
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 110566 0 0 0 106110 83 0 0 25 0 1 0 388617616 447361024 108612 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 109219 108612 67 122 0 109093 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 436876
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15617
/proc/meminfo: memFree=1333160/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=437132 CPUtime=1121.9
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 110610 0 0 0 112107 83 0 0 25 0 1 0 388617616 447623168 108656 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 109283 108656 67 122 0 109157 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 437132
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15617
/proc/meminfo: memFree=1333032/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=437132 CPUtime=1181.88
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 110621 0 0 0 118105 83 0 0 25 0 1 0 388617616 447623168 108667 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 109283 108667 67 122 0 109157 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 437132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15617
/proc/meminfo: memFree=1320744/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=449540 CPUtime=1200.08
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 113706 0 0 0 119922 86 0 0 25 0 1 0 388617616 460328960 111752 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 112385 111752 67 122 0 112259 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 449540
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 15617
/proc/meminfo: memFree=1320744/2055920 swapFree=4183204/4192956
[pid=15616] ppid=15614 vsize=449540 CPUtime=1200.08
/proc/15616/stat : 15616 (mxc) R 15614 15616 14855 0 -1 4194304 113706 0 0 0 119922 86 0 0 25 0 1 0 388617616 460328960 111752 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 112385 111752 67 122 0 112259 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 449540
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.57
CPU time (s): 1200.16
CPU user time (s): 1199.23
CPU system time (s): 0.931858
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 449540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.23
system time used= 0.931858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113706
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= 6
involuntary context switches= 2308
runsolver used 0.869867 second user time and 2.42463 second system time
The end
Begin job on node69 on Mon Mar 12 08:03:19 UTC 2007
IDJOB= 338485
IDBENCH= 24724
IDSOLVER= 107
FILE ID= node69/338485-1173686598
PBS_JOBID= 4101728
Free space on /tmp= 66272 MiB
SOLVER NAME= MXC 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/crafted/Difficult/contest05/sabharwal/gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/338485-1173686598/mxc /tmp/evaluation/338485-1173686598/instance-338485-1173686598.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-338485-1173686598 -o ROOT/results/node69/solver-338485-1173686598 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/338485-1173686598/mxc /tmp/evaluation/338485-1173686598/instance-338485-1173686598.cnf
META MD5SUM SOLVER= fd459248d3e92e664505cc2f0f683bf4
MD5SUM BENCH= dff294238660aead84de7aec33e643fc
RANDOM SEED= 333492536
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node69.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1769096 kB
Buffers: 28976 kB
Cached: 208660 kB
SwapCached: 3968 kB
Active: 126072 kB
Inactive: 121760 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1769096 kB
SwapTotal: 4192956 kB
SwapFree: 4183204 kB
Dirty: 4148 kB
Writeback: 0 kB
Mapped: 15544 kB
Slab: 24940 kB
Committed_AS: 893652 kB
PageTables: 1472 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66272 MiB
End job on node69 on Mon Mar 12 08:23:22 UTC 2007