0.03 c --- Preproc Stats ---
10.94 c start processing
10.95 c start relation processing
11.00 c start cnf exporting
13.15 c parsing time : 10.779
13.15 c preprocessing time : 12.985
13.16
13.16 c Nary constraints - conflicts : 1003 supports : 0
13.16 c Binary constraints - conflicts : 13724 supports :0
13.16 c max arity constraint : 16
13.16 c Max Tuples generated 65536
13.16 c relations : 4
13.16 c relations BDD: 2
13.16 c vars : 15509 - clauses : 54704
13.16
13.20
13.20 c --- Minisat Stats ---
13.20
13.33 c restarts : 2
13.33 c conflicts : 238 (1860 /sec)
13.33 c decisions : 669 (1.05 % random) (5227 /sec)
13.33 c propagations : 459023 (3586678 /sec)
13.33 c conflict literals : 3944 (4.60 % deleted)
13.33 c Memory used : 4.86 MB
13.33 c CPU time : 0.12798 s
13.33
13.34 s SATISFIABLE
21.66 v 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-215318-1168234285 -o ROOT/results/node1/solver-215318-1168234285 -C 1800 -M 900 /tmp/evaluation/215318-1168234285/galac.sh /tmp/evaluation/215318-1168234285/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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 2.00 1.99 2/86 10377
/proc/meminfo: memFree=1474904/2055920 swapFree=4165612/4192956
[pid=10376] ppid=10374 vsize=8560 CPUtime=0
/proc/10376/stat : 10376 (galac.sh) R 10374 10376 8452 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 171824295 8765440 253 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 259353462671 0 0 4096 8192 0 0 0 17 1 0 0
/proc/10376/statm: 2140 253 197 79 0 133 0
[startup+0.102784 s]
/proc/loadavg: 2.00 2.00 1.99 2/86 10377
/proc/meminfo: memFree=1474904/2055920 swapFree=4165612/4192956
[pid=10376] ppid=10374 vsize=47572 CPUtime=0
/proc/10376/stat : 10376 (galac.sh) S 10374 10376 8452 0 -1 4194304 761 1704 0 0 0 0 0 0 25 0 1 0 171824295 48713728 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 259352882010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10376/statm: 11893 363 245 79 0 218 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47572
[startup+0.510832 s]
/proc/loadavg: 2.00 2.00 1.99 2/86 10377
/proc/meminfo: memFree=1474904/2055920 swapFree=4165612/4192956
[pid=10376] ppid=10374 vsize=47572 CPUtime=0
/proc/10376/stat : 10376 (galac.sh) S 10374 10376 8452 0 -1 4194304 761 1704 0 0 0 0 0 0 25 0 1 0 171824295 48713728 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 259352882010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10376/statm: 11893 363 245 79 0 218 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47572
[startup+1.33393 s]
/proc/loadavg: 2.00 2.00 1.99 4/94 10397
/proc/meminfo: memFree=1434648/2055920 swapFree=4165612/4192956
[pid=10376] ppid=10374 vsize=47572 CPUtime=0
/proc/10376/stat : 10376 (galac.sh) S 10374 10376 8452 0 -1 4194304 761 1704 0 0 0 0 0 0 25 0 1 0 171824295 48713728 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 259352882010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10376/statm: 11893 363 245 79 0 218 0
[pid=10390] ppid=10376 vsize=860856 CPUtime=1.27
/proc/10390/stat : 10390 (java) R 10376 10376 8452 0 -1 0 12143 0 1 0 117 10 0 0 18 0 8 0 171824298 881516544 11896 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4074020448 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10390/statm: 215214 11896 1989 14 0 201471 0
[pid=10390/tid=10391] ppid=10376 vsize=860856 CPUtime=0.06
/proc/10390/task/10391/stat : 10391 (java) S 10376 10376 8452 0 -1 64 3419 0 0 0 5 1 0 0 16 0 8 0 171824302 881516544 11896 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10392] ppid=10376 vsize=860856 CPUtime=0
/proc/10390/task/10392/stat : 10392 (java) S 10376 10376 8452 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 171824303 881516544 11896 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10393] ppid=10376 vsize=860856 CPUtime=0
/proc/10390/task/10393/stat : 10393 (java) S 10376 10376 8452 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 171824303 881516544 11896 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10394] ppid=10376 vsize=860856 CPUtime=0
/proc/10390/task/10394/stat : 10394 (java) S 10376 10376 8452 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 171824306 881516544 11896 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10395] ppid=10376 vsize=860856 CPUtime=0.28
/proc/10390/task/10395/stat : 10395 (java) R 10376 10376 8452 0 -1 64 1011 0 0 0 26 2 0 0 21 0 8 0 171824306 881516544 11896 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10396] ppid=10376 vsize=860856 CPUtime=0
/proc/10390/task/10396/stat : 10396 (java) S 10376 10376 8452 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 171824306 881516544 11896 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10397] ppid=10376 vsize=860856 CPUtime=0
/proc/10390/task/10397/stat : 10397 (java) S 10376 10376 8452 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171824306 881516544 11896 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 908428
[startup+2.98712 s]
/proc/loadavg: 2.00 2.00 1.99 4/94 10397
/proc/meminfo: memFree=1425816/2055920 swapFree=4165612/4192956
[pid=10376] ppid=10374 vsize=47572 CPUtime=0
/proc/10376/stat : 10376 (galac.sh) S 10374 10376 8452 0 -1 4194304 761 1704 0 0 0 0 0 0 25 0 1 0 171824295 48713728 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 259352882010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10376/statm: 11893 363 245 79 0 218 0
[pid=10390] ppid=10376 vsize=860856 CPUtime=2.9
/proc/10390/stat : 10390 (java) R 10376 10376 8452 0 -1 0 17874 0 1 0 277 13 0 0 25 0 8 0 171824298 881516544 17625 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4073458893 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10390/statm: 215214 17625 1990 14 0 201471 0
[pid=10390/tid=10391] ppid=10376 vsize=860856 CPUtime=0.06
/proc/10390/task/10391/stat : 10391 (java) S 10376 10376 8452 0 -1 64 3419 0 0 0 5 1 0 0 17 0 8 0 171824302 881516544 17625 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10392] ppid=10376 vsize=860856 CPUtime=0
/proc/10390/task/10392/stat : 10392 (java) S 10376 10376 8452 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 171824303 881516544 17625 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10393] ppid=10376 vsize=860856 CPUtime=0
/proc/10390/task/10393/stat : 10393 (java) S 10376 10376 8452 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 171824303 881516544 17625 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10394] ppid=10376 vsize=860856 CPUtime=0
/proc/10390/task/10394/stat : 10394 (java) S 10376 10376 8452 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 171824306 881516544 17625 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10395] ppid=10376 vsize=860856 CPUtime=0.3
/proc/10390/task/10395/stat : 10395 (java) S 10376 10376 8452 0 -1 64 1026 0 0 0 28 2 0 0 16 0 8 0 171824306 881516544 17625 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10396] ppid=10376 vsize=860856 CPUtime=0
/proc/10390/task/10396/stat : 10396 (java) S 10376 10376 8452 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 171824306 881516544 17625 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10397] ppid=10376 vsize=860856 CPUtime=0
/proc/10390/task/10397/stat : 10397 (java) S 10376 10376 8452 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171824306 881516544 17625 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 908428
[startup+6.28651 s]
/proc/loadavg: 2.00 2.00 1.99 3/94 10397
/proc/meminfo: memFree=1404376/2055920 swapFree=4165612/4192956
[pid=10376] ppid=10374 vsize=47572 CPUtime=0
/proc/10376/stat : 10376 (galac.sh) S 10374 10376 8452 0 -1 4194304 761 1704 0 0 0 0 0 0 25 0 1 0 171824295 48713728 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 259352882010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10376/statm: 11893 363 245 79 0 218 0
[pid=10390] ppid=10376 vsize=860988 CPUtime=6.17
/proc/10390/stat : 10390 (java) R 10376 10376 8452 0 -1 0 19646 0 1 0 603 14 0 0 25 0 8 0 171824298 881651712 19394 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4074019786 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10390/statm: 215247 19394 1993 14 0 201504 0
[pid=10390/tid=10391] ppid=10376 vsize=860988 CPUtime=0.08
/proc/10390/task/10391/stat : 10391 (java) S 10376 10376 8452 0 -1 64 3650 0 0 0 6 2 0 0 16 0 8 0 171824302 881651712 19394 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10392] ppid=10376 vsize=860988 CPUtime=0
/proc/10390/task/10392/stat : 10392 (java) S 10376 10376 8452 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 171824303 881651712 19394 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10393] ppid=10376 vsize=860988 CPUtime=0
/proc/10390/task/10393/stat : 10393 (java) S 10376 10376 8452 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 171824303 881651712 19394 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10394] ppid=10376 vsize=860988 CPUtime=0
/proc/10390/task/10394/stat : 10394 (java) S 10376 10376 8452 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 171824306 881651712 19394 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10395] ppid=10376 vsize=860988 CPUtime=0.35
/proc/10390/task/10395/stat : 10395 (java) S 10376 10376 8452 0 -1 64 1056 0 0 0 33 2 0 0 16 0 8 0 171824306 881651712 19394 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10396] ppid=10376 vsize=860988 CPUtime=0
/proc/10390/task/10396/stat : 10396 (java) S 10376 10376 8452 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 171824306 881651712 19394 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10397] ppid=10376 vsize=860988 CPUtime=0
/proc/10390/task/10397/stat : 10397 (java) S 10376 10376 8452 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171824306 881651712 19394 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 908560
[startup+12.7763 s]
/proc/loadavg: 2.00 2.00 1.99 3/94 10397
/proc/meminfo: memFree=1400280/2055920 swapFree=4165612/4192956
[pid=10376] ppid=10374 vsize=47572 CPUtime=0
/proc/10376/stat : 10376 (galac.sh) S 10374 10376 8452 0 -1 4194304 761 1704 0 0 0 0 0 0 25 0 1 0 171824295 48713728 363 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 259352882010 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/10376/statm: 11893 363 245 79 0 218 0
[pid=10390] ppid=10376 vsize=860988 CPUtime=12.59
/proc/10390/stat : 10390 (java) R 10376 10376 8452 0 -1 0 20565 0 1 0 1243 16 0 0 25 0 8 0 171824298 881651712 20307 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4072944835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10390/statm: 215247 20307 2015 14 0 201504 0
[pid=10390/tid=10391] ppid=10376 vsize=860988 CPUtime=0.21
/proc/10390/task/10391/stat : 10391 (java) S 10376 10376 8452 0 -1 64 4453 0 0 0 19 2 0 0 16 0 8 0 171824302 881651712 20307 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10392] ppid=10376 vsize=860988 CPUtime=0
/proc/10390/task/10392/stat : 10392 (java) S 10376 10376 8452 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 171824303 881651712 20307 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10393] ppid=10376 vsize=860988 CPUtime=0
/proc/10390/task/10393/stat : 10393 (java) S 10376 10376 8452 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 171824303 881651712 20307 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10394] ppid=10376 vsize=860988 CPUtime=0
/proc/10390/task/10394/stat : 10394 (java) S 10376 10376 8452 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 171824306 881651712 20307 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10395] ppid=10376 vsize=860988 CPUtime=0.48
/proc/10390/task/10395/stat : 10395 (java) S 10376 10376 8452 0 -1 64 1120 0 0 0 45 3 0 0 16 0 8 0 171824306 881651712 20307 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10396] ppid=10376 vsize=860988 CPUtime=0
/proc/10390/task/10396/stat : 10396 (java) S 10376 10376 8452 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 171824306 881651712 20307 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10390/tid=10397] ppid=10376 vsize=860988 CPUtime=0
/proc/10390/task/10397/stat : 10397 (java) S 10376 10376 8452 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171824306 881651712 20307 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 908560
Child status: 0
Real time (s): 21.6681
CPU time (s): 21.4147
CPU user time (s): 21.0468
CPU system time (s): 0.367944
CPU usage (%): 98.8305
Max. virtual memory (cumulated for all children) (KiB): 908560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.0468
system time used= 0.367944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40868
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4787
involuntary context switches= 5527
runsolver used 0.018997 s user time and 0.085986 s system time
The end
Begin job on node1 on Mon Jan 8 05:31:25 UTC 2007
IDJOB= 215318
IDBENCH= 4992
FILE ID= node1/215318-1168234285
PBS_JOBID= 3481195
Free space on /tmp= 66303 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-16c2.xml
COMMAND LINE= /tmp/evaluation/215318-1168234285/galac.sh /tmp/evaluation/215318-1168234285/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-215318-1168234285 -o ROOT/results/node1/solver-215318-1168234285 -C 1800 -M 900 /tmp/evaluation/215318-1168234285/galac.sh /tmp/evaluation/215318-1168234285/unknown.xml
META MD5SUM SOLVER= d8bf20eb49fe33822f00bab08f33d7fc
MD5SUM BENCH= 85a8821c4aefd31c93f8bbb0e7b9f3e2
RANDOM SEED= 513305154
TIME LIMIT= 1800 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.234
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.234
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: 1475512 kB
Buffers: 51924 kB
Cached: 398764 kB
SwapCached: 3620 kB
Active: 255876 kB
Inactive: 267404 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1475512 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 4792 kB
Writeback: 0 kB
Mapped: 85968 kB
Slab: 41872 kB
Committed_AS: 5138124 kB
PageTables: 2364 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= 66303 MiB
End job on node1 on Mon Jan 8 05:31:47 UTC 2007