12.90
12.90 s SATISFIABLE
12.90 o 819
12.90 v 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 820
12.90 v 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 821
12.90 v 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 0 1 0 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 822
12.90 v 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 0 0 1 0 1 0 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 823
12.90 v 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 824
12.90 v 1 1 0 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 825
12.90 v 1 1 0 1 0 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 826
12.90 v 1 1 0 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 827
12.90 v 1 1 0 1 0 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 828
12.90 v 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 829
12.90 v 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 830
12.90 v 1 1 0 1 0 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 831
12.90 v 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 1 0 1 0 1 1 1 0 0 1 1 0 1 0 0 1 0 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 832
12.90 v 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 0 0 1 1 0 1 0 0 1 0 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 833
12.90 v 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 0 1 0 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 834
12.90 v 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 835
12.90 v 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 836
12.90 v 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 837
12.90 v 1 1 0 1 0 1 0 0 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 0 0 1 1 0 1 0 0 1 0 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 838
12.90 v 1 1 0 1 0 1 0 0 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 0 1 0 0 1 0 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 839
12.90 v 1 1 0 1 0 1 0 0 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 1 0 1 0 1 1 1 0 0 1 1 0 1 0 0 1 0 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 840
12.90 v 1 1 0 1 0 1 0 0 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 0 0 1 1 0 1 0 0 1 0 1 1 1 1 1 1 0
12.90 s SATISFIABLE
12.90 o 841
12.90 v 1 1 0 1 0 1 0 0 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1c
c
c
c conversion script
c
c
parsing "/tmp/evaluation/277900-1169271139/unknown.xml" file ... done.
writing "/tmp/evaluation/277900-1169271139/unknown.wcsp" file ... done.
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-277900-1169271139 -o ROOT/results/node12/solver-277900-1169271139 -C 2400 -M 900 /tmp/evaluation/277900-1169271139/aolibpvo /tmp/evaluation/277900-1169271139/unknown.wcsp
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
/proc/loadavg: 2.03 2.01 1.95 5/93 1475
/proc/meminfo: memFree=1343472/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=18540 CPUtime=0
/proc/1474/stat : 1474 (runsolver) R 1472 1411 1411 0 -1 4194368 13 0 0 0 0 0 0 0 19 0 1 0 275509000 18984960 277 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 252429407680 0 0 4096 24578 0 0 0 17 1 0 0
/proc/1474/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.108322 s]
/proc/loadavg: 2.03 2.01 1.95 5/93 1475
/proc/meminfo: memFree=1343472/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=3140 CPUtime=0.1
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 404 0 0 0 10 0 0 0 20 0 1 0 275509000 3215360 368 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135741316 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 785 368 169 428 0 354 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3140
[startup+0.516392 s]
/proc/loadavg: 2.03 2.01 1.95 5/93 1475
/proc/meminfo: memFree=1343472/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=0.5
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 897 0 0 0 50 0 0 0 24 0 1 0 275509000 5074944 861 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135237558 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 861 199 428 0 808 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 4956
[startup+1.33754 s]
/proc/loadavg: 2.03 2.01 1.95 3/93 1475
/proc/meminfo: memFree=1340656/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=1.31
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 897 0 0 0 131 0 0 0 25 0 1 0 275509000 5074944 861 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134530515 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 861 199 428 0 808 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 4956
[startup+2.97483 s]
/proc/loadavg: 2.03 2.01 1.95 3/93 1475
/proc/meminfo: memFree=1340656/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=2.94
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 897 0 0 0 294 0 0 0 25 0 1 0 275509000 5074944 861 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134926320 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 861 199 428 0 808 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 4956
[startup+6.26443 s]
/proc/loadavg: 2.03 2.01 1.95 3/93 1475
/proc/meminfo: memFree=1340656/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=6.2
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 898 0 0 0 619 1 0 0 25 0 1 0 275509000 5074944 862 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647963 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 862 199 428 0 808 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 4956
[startup+12.7236 s]
/proc/loadavg: 2.03 2.01 1.95 3/93 1475
/proc/meminfo: memFree=1340656/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=12.61
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 898 0 0 0 1260 1 0 0 25 0 1 0 275509000 5074944 862 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647983 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 862 199 428 0 808 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 4956
[startup+25.5399 s]
/proc/loadavg: 2.02 2.01 1.95 3/93 1475
/proc/meminfo: memFree=1340720/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=25.32
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 898 0 0 0 2531 1 0 0 25 0 1 0 275509000 5074944 862 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691702 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 862 199 428 0 808 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 4956
[startup+51.1855 s]
/proc/loadavg: 2.01 2.01 1.95 3/93 1475
/proc/meminfo: memFree=1340784/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=50.74
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 898 0 0 0 5073 1 0 0 25 0 1 0 275509000 5074944 862 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647990 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 862 199 428 0 808 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 4956
[startup+102.438 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 1475
/proc/meminfo: memFree=1340848/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=101.55
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 898 0 0 0 10153 2 0 0 25 0 1 0 275509000 5074944 862 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134655641 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 862 199 428 0 808 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 4956
[startup+162.503 s]
/proc/loadavg: 2.03 2.01 1.96 3/93 1475
/proc/meminfo: memFree=1340848/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=161.07
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 898 0 0 0 16105 2 0 0 25 0 1 0 275509000 5074944 862 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134530575 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 862 199 428 0 808 0
Current children cumulated CPU time (s) 161.07
Current children cumulated vsize (KiB) 4956
[startup+222.559 s]
/proc/loadavg: 2.01 2.01 1.96 3/93 1475
/proc/meminfo: memFree=1340848/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=220.59
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 898 0 0 0 22056 3 0 0 25 0 1 0 275509000 5074944 862 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134530534 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 862 199 428 0 808 0
Current children cumulated CPU time (s) 220.59
Current children cumulated vsize (KiB) 4956
[startup+282.614 s]
/proc/loadavg: 2.04 2.02 1.96 3/93 1475
/proc/meminfo: memFree=1340848/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=280.09
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 898 0 0 0 28006 3 0 0 25 0 1 0 275509000 5074944 862 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135237555 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 862 199 428 0 808 0
Current children cumulated CPU time (s) 280.09
Current children cumulated vsize (KiB) 4956
[startup+342.681 s]
/proc/loadavg: 2.01 2.01 1.96 3/93 1475
/proc/meminfo: memFree=1340848/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=339.64
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 898 0 0 0 33960 4 0 0 25 0 1 0 275509000 5074944 862 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691702 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 862 199 428 0 808 0
Current children cumulated CPU time (s) 339.64
Current children cumulated vsize (KiB) 4956
[startup+402.7 s]
/proc/loadavg: 2.00 2.01 1.96 3/93 1475
/proc/meminfo: memFree=1340848/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=399.14
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 898 0 0 0 39910 4 0 0 25 0 1 0 275509000 5074944 862 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691713 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 862 199 428 0 808 0
Current children cumulated CPU time (s) 399.14
Current children cumulated vsize (KiB) 4956
[startup+462.789 s]
/proc/loadavg: 2.00 2.00 1.96 3/93 1475
/proc/meminfo: memFree=1340784/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=458.72
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 45868 4 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647967 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 458.72
Current children cumulated vsize (KiB) 4956
[startup+522.887 s]
/proc/loadavg: 2.00 2.00 1.96 3/93 1475
/proc/meminfo: memFree=1340848/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=518.33
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 51828 5 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135237725 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 518.33
Current children cumulated vsize (KiB) 4956
[startup+582.921 s]
/proc/loadavg: 2.00 2.00 1.96 3/93 1475
/proc/meminfo: memFree=1340784/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=577.84
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 57779 5 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135237624 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 577.84
Current children cumulated vsize (KiB) 4956
[startup+643.022 s]
/proc/loadavg: 2.00 2.00 1.96 3/93 1475
/proc/meminfo: memFree=1340784/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=637.44
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 63738 6 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647983 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 637.44
Current children cumulated vsize (KiB) 4956
[startup+703.035 s]
/proc/loadavg: 2.00 2.00 1.96 3/93 1475
/proc/meminfo: memFree=1340784/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=696.94
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 69688 6 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134529720 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 696.94
Current children cumulated vsize (KiB) 4956
[startup+763.135 s]
/proc/loadavg: 2.00 2.00 1.96 3/93 1475
/proc/meminfo: memFree=1340784/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=756.52
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 75645 7 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134666512 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 756.52
Current children cumulated vsize (KiB) 4956
[startup+823.166 s]
/proc/loadavg: 2.08 2.02 1.97 3/93 1475
/proc/meminfo: memFree=1340848/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=816.03
################
# More data... #
################
Current children cumulated vsize (KiB) 4956
[startup+1423.64 s]
/proc/loadavg: 2.01 2.02 1.98 3/93 1475
/proc/meminfo: memFree=1340784/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=1411.35
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 141123 12 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134666363 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 1411.35
Current children cumulated vsize (KiB) 4956
[startup+1483.74 s]
/proc/loadavg: 2.00 2.01 1.98 3/93 1475
/proc/meminfo: memFree=1340784/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=1470.94
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 147082 12 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134652201 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 1470.94
Current children cumulated vsize (KiB) 4956
[startup+1543.77 s]
/proc/loadavg: 2.00 2.01 1.98 3/93 1475
/proc/meminfo: memFree=1340720/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=1530.45
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 153032 13 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134611847 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 1530.45
Current children cumulated vsize (KiB) 4956
[startup+1603.78 s]
/proc/loadavg: 2.00 2.00 1.98 3/93 1475
/proc/meminfo: memFree=1340720/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=1589.95
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 158982 13 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135238022 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 1589.95
Current children cumulated vsize (KiB) 4956
[startup+1663.79 s]
/proc/loadavg: 2.00 2.00 1.98 3/93 1475
/proc/meminfo: memFree=1340720/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=1649.46
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 164932 14 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134530534 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 1649.46
Current children cumulated vsize (KiB) 4956
[startup+1723.82 s]
/proc/loadavg: 2.00 2.00 1.98 3/99 1501
/proc/meminfo: memFree=1339552/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=1708.94
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 170880 14 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691702 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 1708.94
Current children cumulated vsize (KiB) 4956
[startup+1783.92 s]
/proc/loadavg: 2.07 2.02 1.99 3/99 1647
/proc/meminfo: memFree=1339448/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=1768.37
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 176823 14 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134657026 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 1768.37
Current children cumulated vsize (KiB) 4956
[startup+1843.94 s]
/proc/loadavg: 2.02 2.01 1.99 3/93 1673
/proc/meminfo: memFree=1340456/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=1827.84
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 182769 15 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691702 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 1827.84
Current children cumulated vsize (KiB) 4956
[startup+1903.95 s]
/proc/loadavg: 2.01 2.00 1.99 3/93 1673
/proc/meminfo: memFree=1340456/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=1887.34
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 188719 15 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691702 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 1887.34
Current children cumulated vsize (KiB) 4956
[startup+1963.96 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 1673
/proc/meminfo: memFree=1340456/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=1946.84
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 194668 16 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135238074 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 1946.84
Current children cumulated vsize (KiB) 4956
[startup+2023.99 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 1673
/proc/meminfo: memFree=1340456/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=2006.36
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 200620 16 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691711 0 0 4096 0 0 0 0 17 1 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 2006.36
Current children cumulated vsize (KiB) 4956
[startup+2084 s]
/proc/loadavg: 1.66 1.92 1.97 2/78 1899
/proc/meminfo: memFree=1375264/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=2066.02
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 206584 18 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647967 0 0 4096 0 0 0 0 17 0 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 2066.02
Current children cumulated vsize (KiB) 4956
[startup+2144.04 s]
/proc/loadavg: 1.24 1.75 1.90 2/78 1899
/proc/meminfo: memFree=1375392/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=2126.04
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 212585 19 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134666452 0 0 4096 0 0 0 0 17 0 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 2126.04
Current children cumulated vsize (KiB) 4956
[startup+2204.07 s]
/proc/loadavg: 1.09 1.61 1.85 2/78 1899
/proc/meminfo: memFree=1375584/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=2186.05
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 218586 19 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134530515 0 0 4096 0 0 0 0 17 0 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 2186.05
Current children cumulated vsize (KiB) 4956
[startup+2264.11 s]
/proc/loadavg: 1.03 1.50 1.79 2/78 1899
/proc/meminfo: memFree=1375584/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=2246.07
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 224588 19 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134648285 0 0 4096 0 0 0 0 17 0 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 2246.07
Current children cumulated vsize (KiB) 4956
[startup+2324.15 s]
/proc/loadavg: 1.01 1.41 1.74 2/78 1899
/proc/meminfo: memFree=1375584/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=2306.08
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 230589 19 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691713 0 0 4096 0 0 0 0 17 0 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 2306.08
Current children cumulated vsize (KiB) 4956
[startup+2384.19 s]
/proc/loadavg: 1.00 1.33 1.69 2/78 1899
/proc/meminfo: memFree=1375592/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=2366.1
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 236591 19 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691691 0 0 4096 0 0 0 0 17 0 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 2366.1
Current children cumulated vsize (KiB) 4956
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2418.1 s]
/proc/loadavg: 1.00 1.29 1.66 2/78 1899
/proc/meminfo: memFree=1375656/2055920 swapFree=4160348/4192956
[pid=1474] ppid=1472 vsize=4956 CPUtime=2400
/proc/1474/stat : 1474 (aolibpvo) R 1472 1474 1411 0 -1 0 899 0 0 0 239981 19 0 0 25 0 1 0 275509000 5074944 863 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647845 0 0 4096 0 0 0 0 17 0 0 0
/proc/1474/statm: 1239 863 199 428 0 808 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 4956
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2418.11
CPU time (s): 2400.01
CPU user time (s): 2399.82
CPU system time (s): 0.19497
CPU usage (%): 99.2516
Max. virtual memory (cumulated for all children) (KiB): 4956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.82
system time used= 0.19497
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 899
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= 5
involuntary context switches= 87264
runsolver used 2.5976 s user time and 6.61799 s system time
The end
Begin job on node12 on Sat Jan 20 05:32:19 UTC 2007
IDJOB= 277900
IDBENCH= 7783
IDSOLVER= 60
FILE ID= node12/277900-1169271139
PBS_JOBID= 3607450
Free space on /tmp= 66561 MiB
SOLVER NAME= aolibpvo 2007-01-17
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-80-100-1000/cnf-3-80-900-541141_ext.xml
COMMAND LINE= /tmp/evaluation/277900-1169271139/aolibpvo /tmp/evaluation/277900-1169271139/unknown.wcsp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node12/convwatcher-277900-1169271139 -o ROOT/results/node12/conversion-277900-1169271139 -C 600 -M 900 python xcsp2wcsp.py /tmp/evaluation/277900-1169271139/unknown.xml
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-277900-1169271139 -o ROOT/results/node12/solver-277900-1169271139 -C 2400 -M 900 /tmp/evaluation/277900-1169271139/aolibpvo /tmp/evaluation/277900-1169271139/unknown.wcsp
META MD5SUM SOLVER= b8e99429ba4d9a99d2bd28d3d95367aa
MD5SUM BENCH= 15833d5aab2d32b491743decfc263907
RANDOM SEED= 420278711
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.265
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.265
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: 1343888 kB
Buffers: 59692 kB
Cached: 516476 kB
SwapCached: 5164 kB
Active: 293568 kB
Inactive: 343840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1343888 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2332 kB
Writeback: 0 kB
Mapped: 80592 kB
Slab: 59448 kB
Committed_AS: 8415936 kB
PageTables: 2192 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= 66563 MiB
End job on node12 on Sat Jan 20 06:12:38 UTC 2007