2412.41 Terminated
c
c
c
c solution file
c
c
SOL 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 -1
c
c
c
c conversion script
c
c
translate /tmp/evaluation/281886-1169315186/unknown.xml to /tmp/evaluation/281886-1169315186/unknown.wcsp
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-281886-1169315186 -o ROOT/results/node59/solver-281886-1169315186 -C 2400 -M 900 /tmp/evaluation/281886-1169315186/solver.sh /tmp/evaluation/281886-1169315186/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: 2.00 1.97 1.84 5/74 24101
/proc/meminfo: memFree=1343496/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=8560 CPUtime=0
/proc/24100/stat : 24100 (solver.sh) R 24098 24100 23383 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 279916557 8765440 253 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051809679 0 0 4096 8192 0 0 0 17 1 0 0
/proc/24100/statm: 2140 253 197 79 0 133 0
[startup+0.10611 s]
/proc/loadavg: 2.00 1.97 1.84 5/74 24101
/proc/meminfo: memFree=1343496/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47552
[startup+0.514151 s]
/proc/loadavg: 2.00 1.97 1.84 5/74 24101
/proc/meminfo: memFree=1343496/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47552
[startup+1.33524 s]
/proc/loadavg: 2.00 1.97 1.84 3/76 24118
/proc/meminfo: memFree=1342208/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=1432 CPUtime=0
/proc/24117/stat : 24117 (toolbar) S 24100 24100 23383 0 -1 4194304 151 0 0 0 0 0 0 0 25 0 1 0 279916561 1466368 125 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134893517 0 65536 4102 0 18446744071563356171 0 0 17 1 0 0
/proc/24117/statm: 358 125 52 178 0 176 0
[pid=24118] ppid=24117 vsize=1268 CPUtime=1.27
/proc/24118/stat : 24118 (narycsp) R 24117 24100 23383 0 -1 4194304 470 0 0 0 127 0 0 0 25 0 1 0 279916561 1298432 194 18446744073709551615 134512640 135380208 4294956592 18446744073709551615 134540832 0 0 4096 512 0 0 0 17 1 0 0
/proc/24118/statm: 317 194 112 211 0 86 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 50252
[startup+2.97642 s]
/proc/loadavg: 2.00 1.97 1.84 3/76 24118
/proc/meminfo: memFree=1342080/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=1432 CPUtime=0
/proc/24117/stat : 24117 (toolbar) S 24100 24100 23383 0 -1 4194304 151 0 0 0 0 0 0 0 25 0 1 0 279916561 1466368 125 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134893517 0 65536 4102 0 18446744071563356171 0 0 17 1 0 0
/proc/24117/statm: 358 125 52 178 0 176 0
[pid=24118] ppid=24117 vsize=1268 CPUtime=2.89
/proc/24118/stat : 24118 (narycsp) R 24117 24100 23383 0 -1 4194304 470 0 0 0 289 0 0 0 25 0 1 0 279916561 1298432 194 18446744073709551615 134512640 135380208 4294956592 18446744073709551615 134514639 0 0 4096 512 0 0 0 17 1 0 0
/proc/24118/statm: 317 194 112 211 0 86 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 50252
[startup+6.26579 s]
/proc/loadavg: 2.00 1.97 1.84 3/75 24119
/proc/meminfo: memFree=1339976/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=6.16
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 239 0 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134640665 0 0 4096 2 0 0 0 17 1 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 51492
[startup+12.7305 s]
/proc/loadavg: 2.00 1.97 1.84 3/75 24119
/proc/meminfo: memFree=1340104/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=12.58
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 881 0 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134615680 0 0 4096 2 0 0 0 17 1 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 51492
[startup+25.5439 s]
/proc/loadavg: 2.00 1.97 1.84 3/75 24119
/proc/meminfo: memFree=1340232/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=25.3
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 2153 0 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134641779 0 0 4096 2 0 0 0 17 1 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 51492
[startup+51.1877 s]
/proc/loadavg: 2.00 1.97 1.84 3/75 24119
/proc/meminfo: memFree=1340296/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=50.75
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 4698 0 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134637104 0 0 4096 2 0 0 0 17 1 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 51492
[startup+102.468 s]
/proc/loadavg: 2.00 1.97 1.85 3/75 24119
/proc/meminfo: memFree=1340360/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=101.65
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 9788 0 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134636786 0 0 4096 2 0 0 0 17 1 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 51492
[startup+162.575 s]
/proc/loadavg: 2.00 1.97 1.85 3/75 24119
/proc/meminfo: memFree=1340360/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=161.32
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 15755 0 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134627330 0 0 4096 2 0 0 0 17 1 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 161.33
Current children cumulated vsize (KiB) 51492
[startup+222.677 s]
/proc/loadavg: 2.00 1.97 1.86 3/75 24119
/proc/meminfo: memFree=1340360/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=220.98
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 21721 0 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134611757 0 0 4096 2 0 0 0 17 1 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 220.99
Current children cumulated vsize (KiB) 51492
[startup+282.777 s]
/proc/loadavg: 2.00 1.97 1.86 3/75 24119
/proc/meminfo: memFree=1340360/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=280.63
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 27686 0 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134627968 0 0 4096 2 0 0 0 17 1 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 280.64
Current children cumulated vsize (KiB) 51492
[startup+342.779 s]
/proc/loadavg: 2.00 1.97 1.87 3/75 24119
/proc/meminfo: memFree=1340360/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=340.2
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 33643 0 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134611709 0 0 4096 2 0 0 0 17 1 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 340.21
Current children cumulated vsize (KiB) 51492
[startup+402.885 s]
/proc/loadavg: 2.00 1.97 1.88 3/75 24119
/proc/meminfo: memFree=1340360/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=399.86
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 39609 0 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134641769 0 0 4096 2 0 0 0 17 1 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 399.87
Current children cumulated vsize (KiB) 51492
[startup+462.886 s]
/proc/loadavg: 2.00 1.97 1.88 3/76 24197
/proc/meminfo: memFree=1392632/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=459.43
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 45565 1 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134611732 0 0 4096 2 0 0 0 17 0 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 459.44
Current children cumulated vsize (KiB) 51492
[startup+522.906 s]
/proc/loadavg: 2.00 1.97 1.89 3/75 24198
/proc/meminfo: memFree=1341576/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
################
# More data... #
################
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=1654.44
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 165055 12 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134611671 0 0 4096 2 0 0 0 17 0 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 1654.45
Current children cumulated vsize (KiB) 51492
[startup+1723.46 s]
/proc/loadavg: 2.00 2.00 1.92 3/75 24396
/proc/meminfo: memFree=1341512/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=1714.21
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 171032 12 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134640980 0 0 4096 2 0 0 0 17 0 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 1714.22
Current children cumulated vsize (KiB) 51492
[startup+1783.49 s]
/proc/loadavg: 2.00 2.00 1.92 3/75 24396
/proc/meminfo: memFree=1341576/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=1773.95
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 177006 12 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134637739 0 0 4096 2 0 0 0 17 0 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 1773.96
Current children cumulated vsize (KiB) 51492
[startup+1843.52 s]
/proc/loadavg: 2.00 2.00 1.92 3/75 24396
/proc/meminfo: memFree=1341512/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=1833.71
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 182982 12 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134774656 0 0 4096 2 0 0 0 17 0 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 1833.72
Current children cumulated vsize (KiB) 51492
[startup+1903.55 s]
/proc/loadavg: 2.00 2.00 1.92 4/75 24396
/proc/meminfo: memFree=1341512/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=1893.48
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 188959 12 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134636786 0 0 4096 2 0 0 0 17 0 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 1893.49
Current children cumulated vsize (KiB) 51492
[startup+1963.59 s]
/proc/loadavg: 2.00 2.00 1.92 3/75 24396
/proc/meminfo: memFree=1341512/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=1953.23
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 194934 12 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134611916 0 0 4096 2 0 0 0 17 0 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 1953.24
Current children cumulated vsize (KiB) 51492
[startup+2023.61 s]
/proc/loadavg: 2.08 2.02 1.93 3/75 24396
/proc/meminfo: memFree=1341512/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=2012.99
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 200910 12 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134626289 0 0 4096 2 0 0 0 17 0 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 2013
Current children cumulated vsize (KiB) 51492
[startup+2083.65 s]
/proc/loadavg: 2.03 2.01 1.93 3/75 24396
/proc/meminfo: memFree=1341576/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=2072.77
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 206887 13 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134636899 0 0 4096 2 0 0 0 17 0 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 2072.78
Current children cumulated vsize (KiB) 51492
[startup+2143.68 s]
/proc/loadavg: 2.01 2.00 1.93 3/75 24398
/proc/meminfo: memFree=1341320/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=2132.52
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 212862 13 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134640827 0 0 4096 2 0 0 0 17 0 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 2132.53
Current children cumulated vsize (KiB) 51492
[startup+2203.71 s]
/proc/loadavg: 2.00 2.00 1.93 3/75 24398
/proc/meminfo: memFree=1341384/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=2192.27
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 218837 13 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134628794 0 0 4096 2 0 0 0 17 0 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 2192.28
Current children cumulated vsize (KiB) 51492
[startup+2263.74 s]
/proc/loadavg: 2.00 2.00 1.93 3/75 24398
/proc/meminfo: memFree=1341384/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=2252.04
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 224814 13 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134609745 0 0 4096 2 0 0 0 17 0 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 2252.05
Current children cumulated vsize (KiB) 51492
[startup+2323.76 s]
/proc/loadavg: 2.00 2.00 1.93 3/75 24398
/proc/meminfo: memFree=1341384/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=2311.78
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 230788 13 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134615651 0 0 4096 2 0 0 0 17 0 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 2311.79
Current children cumulated vsize (KiB) 51492
[startup+2383.79 s]
/proc/loadavg: 2.00 2.00 1.93 3/75 24398
/proc/meminfo: memFree=1341448/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=2371.54
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 236764 13 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134611706 0 0 4096 2 0 0 0 17 0 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 2371.55
Current children cumulated vsize (KiB) 51492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2412.41 s]
/proc/loadavg: 2.00 2.00 1.93 3/75 24398
/proc/meminfo: memFree=1341448/2055920 swapFree=4192680/4192956
[pid=24100] ppid=24098 vsize=47552 CPUtime=0.01
/proc/24100/stat : 24100 (solver.sh) S 24098 24100 23383 0 -1 4194304 847 2113 0 0 0 0 0 1 25 0 1 0 279916557 48693248 362 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/24100/statm: 11888 362 246 79 0 217 0
[pid=24117] ppid=24100 vsize=3940 CPUtime=2400.03
/proc/24117/stat : 24117 (toolbar) R 24100 24100 23383 0 -1 4194304 787 864 0 0 239613 13 376 1 25 0 1 0 279916561 4034560 748 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134621922 0 0 4096 2 0 0 0 17 0 0 0
/proc/24117/statm: 985 748 66 178 0 803 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 51492
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2412.42
CPU time (s): 2400.08
CPU user time (s): 2399.91
CPU system time (s): 0.172973
CPU usage (%): 99.4883
Max. virtual memory (cumulated for all children) (KiB): 51492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.91
system time used= 0.172973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4644
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= 68
involuntary context switches= 36081
runsolver used 2.34464 s user time and 6.72898 s system time
The end
Begin job on node59 on Sat Jan 20 17:46:26 UTC 2007
IDJOB= 281886
IDBENCH= 12298
IDSOLVER= 73
FILE ID= node59/281886-1169315186
PBS_JOBID= 3610285
Free space on /tmp= 66560 MiB
SOLVER NAME= toolbar 2007-01-12
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/maxclique/san-200-0.9-1_ext.xml
COMMAND LINE= /tmp/evaluation/281886-1169315186/solver.sh /tmp/evaluation/281886-1169315186/unknown
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node59/convwatcher-281886-1169315186 -o ROOT/results/node59/conversion-281886-1169315186 -C 600 -M 900 /tmp/evaluation/281886-1169315186/translate /tmp/evaluation/281886-1169315186/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-281886-1169315186 -o ROOT/results/node59/solver-281886-1169315186 -C 2400 -M 900 /tmp/evaluation/281886-1169315186/solver.sh /tmp/evaluation/281886-1169315186/unknown
META MD5SUM SOLVER= 0bc5e5f95d54df9daf70dab8540aecd6
MD5SUM BENCH= 97c79268c005c90235ba77e9498a9c00
RANDOM SEED= 810385348
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: 1343912 kB
Buffers: 49872 kB
Cached: 508680 kB
SwapCached: 0 kB
Active: 183924 kB
Inactive: 451844 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1343912 kB
SwapTotal: 4192956 kB
SwapFree: 4192680 kB
Dirty: 3016 kB
Writeback: 0 kB
Mapped: 88580 kB
Slab: 61360 kB
Committed_AS: 5629952 kB
PageTables: 1988 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= 66559 MiB
End job on node59 on Sat Jan 20 18:26:39 UTC 2007