2401.67 Terminated
c
c
c
c solution file
c
c
SOL 1 0 1 1 1 1 0 0 1 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 1 1 0 1 0 1 1 0 1 1 1 1 0 0 1 0
c
c
c
c conversion script
c
c
translate /tmp/evaluation/280236-1169303155/unknown.xml to /tmp/evaluation/280236-1169303155/unknown.wcsp
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-280236-1169303155 -o ROOT/results/node40/solver-280236-1169303155 -C 2400 -M 900 /tmp/evaluation/280236-1169303155/solver.sh /tmp/evaluation/280236-1169303155/unknown
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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
/proc/loadavg: 1.00 1.00 1.00 4/65 25533
/proc/meminfo: memFree=1431464/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=8652 CPUtime=0
/proc/25532/stat : 25532 (solver.sh) R 25530 25532 25033 0 -1 4194304 335 0 0 0 0 0 0 0 17 0 1 0 278714856 8859648 279 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519608991 0 65538 4096 73728 0 0 0 17 1 0 0
/proc/25532/statm: 2163 279 207 79 0 156 0
[pid=25534] ppid=25532 vsize=8688 CPUtime=0
/proc/25534/stat : 25534 (solver.sh) R 25532 25532 25033 0 -1 4194368 27 0 0 0 0 0 0 0 17 0 1 0 278714857 8896512 286 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519608991 0 65536 4096 73728 0 0 0 17 1 0 0
/proc/25534/statm: 2172 286 209 79 0 165 0
[pid=25535] ppid=25534 vsize=8728 CPUtime=0
/proc/25535/stat : 25535 (solver.sh) R 25534 25532 25033 0 -1 4194368 25 0 0 0 0 0 0 0 17 0 1 0 278714857 8937472 290 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 4425384 0 0 3674112 73728 0 0 0 17 1 0 0
/proc/25535/statm: 2182 290 209 79 0 175 0
[startup+0.105021 s]
/proc/loadavg: 1.00 1.00 1.00 4/65 25533
/proc/meminfo: memFree=1431464/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47560
[startup+0.513069 s]
/proc/loadavg: 1.00 1.00 1.00 4/65 25533
/proc/meminfo: memFree=1431464/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47560
[startup+1.33517 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25550
/proc/meminfo: memFree=1430552/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=2696 CPUtime=0
/proc/25549/stat : 25549 (toulbar2) S 25532 25532 25033 0 -1 4194304 245 0 0 0 0 0 0 0 18 0 1 0 278714860 2760704 208 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 4294960144 0 65536 4102 0 18446744071563356171 0 0 17 0 0 0
/proc/25549/statm: 674 208 186 73 0 11 0
[pid=25550] ppid=25549 vsize=1112 CPUtime=1.28
/proc/25550/stat : 25550 (narycsp) R 25549 25532 25033 0 -1 4194304 424 0 0 0 128 0 0 0 25 0 1 0 278714860 1138688 147 18446744073709551615 134512640 135380208 4294956592 18446744073709551615 134530409 0 0 4096 512 0 0 0 17 1 0 0
/proc/25550/statm: 278 147 112 211 0 47 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 51368
[startup+2.97939 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25550
/proc/meminfo: memFree=1430552/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=2696 CPUtime=0
/proc/25549/stat : 25549 (toulbar2) S 25532 25532 25033 0 -1 4194304 245 0 0 0 0 0 0 0 18 0 1 0 278714860 2760704 208 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 4294960144 0 65536 4102 0 18446744071563356171 0 0 17 0 0 0
/proc/25549/statm: 674 208 186 73 0 11 0
[pid=25550] ppid=25549 vsize=1112 CPUtime=2.92
/proc/25550/stat : 25550 (narycsp) R 25549 25532 25033 0 -1 4194304 424 0 0 0 292 0 0 0 25 0 1 0 278714860 1138688 147 18446744073709551615 134512640 135380208 4294956592 18446744073709551615 134912177 0 0 4096 512 0 0 0 17 1 0 0
/proc/25550/statm: 278 147 112 211 0 47 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 51368
[startup+6.25581 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25551
/proc/meminfo: memFree=1430112/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=6.18
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 467 818 0 0 210 0 408 0 25 0 1 0 278714860 5705728 396 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 134545857 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 396 281 73 0 730 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 53132
[startup+12.7176 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25551
/proc/meminfo: memFree=1430240/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=12.64
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 469 818 0 0 856 0 408 0 25 0 1 0 278714860 5705728 398 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 4159734313 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 398 281 73 0 730 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 53132
[startup+25.5243 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25551
/proc/meminfo: memFree=1430368/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=25.43
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 2135 0 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 134591536 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 53132
[startup+51.1546 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25551
/proc/meminfo: memFree=1430368/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=51.05
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 4697 0 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 4159730738 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 53132
[startup+102.411 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25551
/proc/meminfo: memFree=1430432/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=102.27
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 9819 0 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 134552314 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 53132
[startup+162.49 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25551
/proc/meminfo: memFree=1430432/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=162.31
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 15823 0 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 134542193 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 53132
[startup+222.561 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25551
/proc/meminfo: memFree=1430432/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=222.34
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 21826 0 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 4159725391 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 222.35
Current children cumulated vsize (KiB) 53132
[startup+282.631 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25551
/proc/meminfo: memFree=1430432/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=282.37
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 27829 0 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 4160523993 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 282.38
Current children cumulated vsize (KiB) 53132
[startup+342.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25551
/proc/meminfo: memFree=1430432/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=342.4
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 33832 0 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 134541164 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 342.41
Current children cumulated vsize (KiB) 53132
[startup+402.776 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25551
/proc/meminfo: memFree=1430432/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=402.44
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 39836 0 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 134745311 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 402.45
Current children cumulated vsize (KiB) 53132
[startup+462.846 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25551
/proc/meminfo: memFree=1430432/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=462.47
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 45839 0 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 134545742 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 462.48
################
# More data... #
################
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=1663.13
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 165904 1 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 134545505 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 1663.14
Current children cumulated vsize (KiB) 53132
[startup+1724.36 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25551
/proc/meminfo: memFree=1430368/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=1723.16
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 171907 1 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 134545544 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 1723.17
Current children cumulated vsize (KiB) 53132
[startup+1784.43 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25551
/proc/meminfo: memFree=1430368/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=1783.2
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 177911 1 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 134655493 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 1783.21
Current children cumulated vsize (KiB) 53132
[startup+1844.49 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25551
/proc/meminfo: memFree=1430432/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=1843.23
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 183914 1 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 4160524072 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 1843.24
Current children cumulated vsize (KiB) 53132
[startup+1904.56 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25551
/proc/meminfo: memFree=1430432/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=1903.26
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 189917 1 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 134669300 0 0 4096 0 0 0 0 17 1 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 1903.27
Current children cumulated vsize (KiB) 53132
[startup+1964.63 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25551
/proc/meminfo: memFree=1430368/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=1963.3
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 195920 2 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 7976519 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 1963.31
Current children cumulated vsize (KiB) 53132
[startup+2024.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25551
/proc/meminfo: memFree=1430368/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=2023.33
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 201923 2 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 134591525 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 2023.34
Current children cumulated vsize (KiB) 53132
[startup+2084.77 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25551
/proc/meminfo: memFree=1430432/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=2083.35
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 207925 2 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 134655443 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 2083.36
Current children cumulated vsize (KiB) 53132
[startup+2144.86 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 25685
/proc/meminfo: memFree=1429104/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=2143.4
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 213924 8 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 134542161 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 2143.41
Current children cumulated vsize (KiB) 53132
[startup+2204.95 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25749
/proc/meminfo: memFree=1430176/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=2203.44
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 219925 11 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 4159725773 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 2203.45
Current children cumulated vsize (KiB) 53132
[startup+2265.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25749
/proc/meminfo: memFree=1430176/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=2263.48
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 225929 11 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 4159731302 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 2263.49
Current children cumulated vsize (KiB) 53132
[startup+2325.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25749
/proc/meminfo: memFree=1430176/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=2323.51
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 231932 11 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 134655443 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 2323.52
Current children cumulated vsize (KiB) 53132
[startup+2385.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25749
/proc/meminfo: memFree=1430176/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=2383.54
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 237935 11 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 134542175 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 2383.55
Current children cumulated vsize (KiB) 53132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.67 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25749
/proc/meminfo: memFree=1430176/2055920 swapFree=4191892/4192956
[pid=25532] ppid=25530 vsize=47560 CPUtime=0.01
/proc/25532/stat : 25532 (solver.sh) S 25530 25532 25033 0 -1 4194304 846 2110 0 0 0 0 0 1 16 0 1 0 278714856 48701440 361 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 264519215962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/25532/statm: 11890 361 245 79 0 217 0
[pid=25549] ppid=25532 vsize=5572 CPUtime=2400.05
/proc/25549/stat : 25549 (toulbar2) R 25532 25532 25033 0 -1 4194304 471 818 0 0 239585 12 408 0 25 0 1 0 278714860 5705728 400 18446744073709551615 134512640 134813436 4294956592 18446744073709551615 4159731195 0 0 4096 0 0 0 0 17 0 0 0
/proc/25549/statm: 1393 400 281 73 0 730 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 53132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2401.68
CPU time (s): 2400.11
CPU user time (s): 2399.96
CPU system time (s): 0.157975
CPU usage (%): 99.9347
Max. virtual memory (cumulated for all children) (KiB): 53132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.96
system time used= 0.157975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4278
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= 72
involuntary context switches= 10436
runsolver used 2.41863 s user time and 6.10807 s system time
The end
Begin job on node40 on Sat Jan 20 14:25:55 UTC 2007
IDJOB= 280236
IDBENCH= 10690
IDSOLVER= 70
FILE ID= node40/280236-1169303155
PBS_JOBID= 3609891
Free space on /tmp= 66562 MiB
SOLVER NAME= Toulbar2 2007-01-12
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/maxcut/maxcut-60/maxcut-60-580-1_ext.xml
COMMAND LINE= /tmp/evaluation/280236-1169303155/solver.sh /tmp/evaluation/280236-1169303155/unknown
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node40/convwatcher-280236-1169303155 -o ROOT/results/node40/conversion-280236-1169303155 -C 600 -M 900 /tmp/evaluation/280236-1169303155/translate /tmp/evaluation/280236-1169303155/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-280236-1169303155 -o ROOT/results/node40/solver-280236-1169303155 -C 2400 -M 900 /tmp/evaluation/280236-1169303155/solver.sh /tmp/evaluation/280236-1169303155/unknown
META MD5SUM SOLVER= fe7e38206dd9591eb05752f9e2c48642
MD5SUM BENCH= 6eca7ef529743a2e1ab8d9bd3b663751
RANDOM SEED= 841790559
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/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.239
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.239
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: 1431880 kB
Buffers: 46784 kB
Cached: 484572 kB
SwapCached: 268 kB
Active: 172024 kB
Inactive: 374672 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1431880 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2416 kB
Writeback: 0 kB
Mapped: 24252 kB
Slab: 63376 kB
Committed_AS: 5300452 kB
PageTables: 1416 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= 66562 MiB
End job on node40 on Sat Jan 20 15:05:57 UTC 2007