0.03 c --- Preproc Stats ---
3.03 c start processing
3.03 c start relation processing
9.58 c start cnf exporting
38.70 c parsing time : 2.87
38.70 c preprocessing time : 38.544
38.70
38.70 c Nary constraints - conflicts : 0 supports : 74
38.70 c Binary constraints - conflicts : 0 supports :0
38.70 c max arity constraint : 3
38.70 c Max Tuples generated 0
38.70 c relations : 74
38.70 c relations BDD: 74
38.70 c vars : 290111 - clauses : 916823
38.70
38.74
38.74 c --- Minisat Stats ---
38.74
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-195939-1168116597 -o ROOT/results/node59/solver-195939-1168116597 -C 1800 -M 900 /tmp/evaluation/195939-1168116597/galac.sh /tmp/evaluation/195939-1168116597/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: 0.85 0.97 0.99 5/70 3319
/proc/meminfo: memFree=1840032/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=8560 CPUtime=0
/proc/3318/stat : 3318 (galac.sh) R 3316 3318 3191 0 -1 4194304 308 0 0 0 0 0 0 0 18 0 1 0 160057921 8765440 253 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051809679 0 0 4096 8192 0 0 0 17 1 0 0
/proc/3318/statm: 2140 253 197 79 0 133 0
[startup+0.10777 s]
/proc/loadavg: 0.85 0.97 0.99 5/70 3319
/proc/meminfo: memFree=1840032/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=0.01
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 762 1704 0 0 0 0 0 1 18 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556
[startup+0.515815 s]
/proc/loadavg: 0.85 0.97 0.99 5/70 3319
/proc/meminfo: memFree=1840032/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=0.01
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 762 1704 0 0 0 0 0 1 18 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556
[startup+1.33791 s]
/proc/loadavg: 0.85 0.97 0.99 4/92 3353
/proc/meminfo: memFree=1742448/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=0.01
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 762 1704 0 0 0 0 0 1 18 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3337] ppid=3318 vsize=861064 CPUtime=1.25
/proc/3337/stat : 3337 (java) R 3318 3318 3191 0 -1 0 21633 0 1 0 113 12 0 0 25 0 8 0 160057925 881729536 21386 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073691616 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3337/statm: 215266 21386 1965 14 0 201471 0
[pid=3337/tid=3341] ppid=3318 vsize=861064 CPUtime=0.05
/proc/3337/task/3341/stat : 3341 (java) S 3318 3318 3191 0 -1 64 5881 0 0 0 2 3 0 0 16 0 8 0 160057928 881729536 21386 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3342] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3342/stat : 3342 (java) S 3318 3318 3191 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 160057929 881729536 21386 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3343] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3343/stat : 3343 (java) S 3318 3318 3191 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 160057929 881729536 21386 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3350] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3350/stat : 3350 (java) S 3318 3318 3191 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160057932 881729536 21386 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3351] ppid=3318 vsize=861064 CPUtime=0.11
/proc/3337/task/3351/stat : 3351 (java) S 3318 3318 3191 0 -1 64 893 0 0 0 11 0 0 0 16 0 8 0 160057932 881729536 21386 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3352] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3352/stat : 3352 (java) S 3318 3318 3191 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160057932 881729536 21386 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3353] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3353/stat : 3353 (java) S 3318 3318 3191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160057932 881729536 21386 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 908620
[startup+3.00309 s]
/proc/loadavg: 0.85 0.97 0.99 3/92 3353
/proc/meminfo: memFree=1664496/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=0.01
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 762 1704 0 0 0 0 0 1 18 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3337] ppid=3318 vsize=861064 CPUtime=2.91
/proc/3337/stat : 3337 (java) R 3318 3318 3191 0 -1 0 25884 0 1 0 277 14 0 0 25 0 8 0 160057925 881729536 25631 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3337/statm: 215266 25631 1966 14 0 201471 0
[pid=3337/tid=3341] ppid=3318 vsize=861064 CPUtime=0.22
/proc/3337/task/3341/stat : 3341 (java) S 3318 3318 3191 0 -1 64 10111 0 0 0 17 5 0 0 16 0 8 0 160057928 881729536 25631 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3342] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3342/stat : 3342 (java) S 3318 3318 3191 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 160057929 881729536 25631 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3343] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3343/stat : 3343 (java) S 3318 3318 3191 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 160057929 881729536 25631 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3350] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3350/stat : 3350 (java) S 3318 3318 3191 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160057932 881729536 25631 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3351] ppid=3318 vsize=861064 CPUtime=0.16
/proc/3337/task/3351/stat : 3351 (java) R 3318 3318 3191 0 -1 64 905 0 0 0 15 1 0 0 15 0 8 0 160057932 881729536 25631 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3352] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3352/stat : 3352 (java) S 3318 3318 3191 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160057932 881729536 25631 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3353] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3353/stat : 3353 (java) S 3318 3318 3191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160057932 881729536 25631 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 908620
[startup+6.28845 s]
/proc/loadavg: 1.10 1.02 1.01 3/93 3354
/proc/meminfo: memFree=1601384/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=0.01
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 762 1704 0 0 0 0 0 1 18 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3337] ppid=3318 vsize=861064 CPUtime=5.97
/proc/3337/stat : 3337 (java) S 3318 3318 3191 0 -1 0 37367 0 1 0 575 22 0 0 25 0 8 0 160057925 881729536 37112 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3337/statm: 215266 37112 1973 14 0 201471 0
[pid=3337/tid=3341] ppid=3318 vsize=861064 CPUtime=0.74
/proc/3337/task/3341/stat : 3341 (java) R 3318 3318 3191 0 -1 64 21544 0 0 0 63 11 0 0 20 0 8 0 160057928 881729536 37112 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3337/tid=3342] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3342/stat : 3342 (java) S 3318 3318 3191 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 160057929 881729536 37112 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3343] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3343/stat : 3343 (java) S 3318 3318 3191 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 160057929 881729536 37112 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3350] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3350/stat : 3350 (java) S 3318 3318 3191 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160057932 881729536 37112 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3351] ppid=3318 vsize=861064 CPUtime=0.2
/proc/3337/task/3351/stat : 3351 (java) S 3318 3318 3191 0 -1 64 934 0 0 0 19 1 0 0 15 0 8 0 160057932 881729536 37112 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3352] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3352/stat : 3352 (java) S 3318 3318 3191 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160057932 881729536 37112 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3353] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3353/stat : 3353 (java) S 3318 3318 3191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160057932 881729536 37112 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 908620
[startup+12.7902 s]
/proc/loadavg: 1.17 1.03 1.01 3/93 3354
/proc/meminfo: memFree=1496872/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=0.01
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 762 1704 0 0 0 0 0 1 18 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3337] ppid=3318 vsize=861064 CPUtime=12.42
/proc/3337/stat : 3337 (java) R 3318 3318 3191 0 -1 0 53959 0 1 0 1211 31 0 0 25 0 8 0 160057925 881729536 53697 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073958244 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3337/statm: 215266 53697 1995 14 0 201471 0
[pid=3337/tid=3341] ppid=3318 vsize=861064 CPUtime=1.44
/proc/3337/task/3341/stat : 3341 (java) S 3318 3318 3191 0 -1 64 38052 0 0 0 125 19 0 0 16 0 8 0 160057928 881729536 53697 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3337/tid=3342] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3342/stat : 3342 (java) S 3318 3318 3191 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160057929 881729536 53697 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3337/tid=3343] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3343/stat : 3343 (java) S 3318 3318 3191 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 160057929 881729536 53697 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3350] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3350/stat : 3350 (java) S 3318 3318 3191 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160057932 881729536 53697 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3351] ppid=3318 vsize=861064 CPUtime=0.26
/proc/3337/task/3351/stat : 3351 (java) S 3318 3318 3191 0 -1 64 969 0 0 0 25 1 0 0 15 0 8 0 160057932 881729536 53697 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3337/tid=3352] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3352/stat : 3352 (java) S 3318 3318 3191 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160057932 881729536 53697 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3353] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3353/stat : 3353 (java) S 3318 3318 3191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160057932 881729536 53697 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 908620
[startup+25.6496 s]
/proc/loadavg: 1.58 1.13 1.04 3/93 3354
/proc/meminfo: memFree=1489960/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=0.01
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 762 1704 0 0 0 0 0 1 18 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3337] ppid=3318 vsize=861064 CPUtime=25.22
/proc/3337/stat : 3337 (java) R 3318 3318 3191 0 -1 0 53982 0 1 0 2486 36 0 0 25 0 8 0 160057925 881729536 53697 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4154163497 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3337/statm: 215266 53697 1995 14 0 201471 0
[pid=3337/tid=3341] ppid=3318 vsize=861064 CPUtime=1.47
/proc/3337/task/3341/stat : 3341 (java) S 3318 3318 3191 0 -1 64 38052 0 0 0 128 19 0 0 16 0 8 0 160057928 881729536 53697 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3337/tid=3342] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3342/stat : 3342 (java) S 3318 3318 3191 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160057929 881729536 53697 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3337/tid=3343] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3343/stat : 3343 (java) S 3318 3318 3191 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 160057929 881729536 53697 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3350] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3350/stat : 3350 (java) S 3318 3318 3191 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160057932 881729536 53697 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3351] ppid=3318 vsize=861064 CPUtime=0.26
/proc/3337/task/3351/stat : 3351 (java) S 3318 3318 3191 0 -1 64 969 0 0 0 25 1 0 0 15 0 8 0 160057932 881729536 53697 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3337/tid=3352] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3352/stat : 3352 (java) S 3318 3318 3191 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160057932 881729536 53697 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3337/tid=3353] ppid=3318 vsize=861064 CPUtime=0
/proc/3337/task/3353/stat : 3353 (java) S 3318 3318 3191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160057932 881729536 53697 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 908620
[startup+51.2594 s]
/proc/loadavg: 1.91 1.24 1.08 3/86 3355
/proc/meminfo: memFree=1632864/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=38.26
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 800 55720 0 1 0 0 3780 46 17 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3355] ppid=3318 vsize=59376 CPUtime=12.45
/proc/3355/stat : 3355 (minisat) R 3318 3318 3191 0 -1 4194304 14112 0 0 0 1237 8 0 0 25 0 1 0 160061795 60801024 14094 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134715850 0 0 4096 3 0 0 0 17 1 0 0
/proc/3355/statm: 14844 14094 54 142 0 14700 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 106932
[startup+102.486 s]
/proc/loadavg: 1.96 1.36 1.13 3/86 3355
/proc/meminfo: memFree=1582944/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=38.26
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 800 55720 0 1 0 0 3780 46 17 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3355] ppid=3318 vsize=66344 CPUtime=63.25
/proc/3355/stat : 3355 (minisat) R 3318 3318 3191 0 -1 4194304 15783 0 0 0 6314 11 0 0 25 0 1 0 160061795 67936256 15765 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 1 0 0
/proc/3355/statm: 16586 15765 54 142 0 16442 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 113900
[startup+162.547 s]
/proc/loadavg: 1.98 1.47 1.18 3/86 3355
/proc/meminfo: memFree=1576352/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=38.26
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 800 55720 0 1 0 0 3780 46 17 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3355] ppid=3318 vsize=72720 CPUtime=123.03
/proc/3355/stat : 3355 (minisat) R 3318 3318 3191 0 -1 4194304 17426 0 0 0 12291 12 0 0 25 0 1 0 160061795 74465280 17408 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134525902 0 0 4096 3 0 0 0 17 1 0 0
/proc/3355/statm: 18180 17408 54 142 0 18036 0
Current children cumulated CPU time (s) 161.29
Current children cumulated vsize (KiB) 120276
################
# More data... #
################
/proc/loadavg: 2.00 1.99 1.70 3/86 3553
/proc/meminfo: memFree=1304672/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=38.26
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 800 55720 0 1 0 0 3780 46 17 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3355] ppid=3318 vsize=175776 CPUtime=1078.92
/proc/3355/stat : 3355 (minisat) R 3318 3318 3191 0 -1 4194304 43174 0 0 0 107846 46 0 0 25 0 1 0 160061795 179994624 43156 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/3355/statm: 43944 43156 54 142 0 43800 0
Current children cumulated CPU time (s) 1117.18
Current children cumulated vsize (KiB) 223332
[startup+1183.55 s]
/proc/loadavg: 2.00 1.99 1.71 3/86 3553
/proc/meminfo: memFree=1300192/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=38.26
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 800 55720 0 1 0 0 3780 46 17 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3355] ppid=3318 vsize=180264 CPUtime=1138.7
/proc/3355/stat : 3355 (minisat) R 3318 3318 3191 0 -1 4194304 44287 0 0 0 113823 47 0 0 25 0 1 0 160061795 184590336 44269 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 1 0 0
/proc/3355/statm: 45066 44269 54 142 0 44922 0
Current children cumulated CPU time (s) 1176.96
Current children cumulated vsize (KiB) 227820
[startup+1243.61 s]
/proc/loadavg: 2.00 1.99 1.73 3/86 3553
/proc/meminfo: memFree=1295584/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=38.26
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 800 55720 0 1 0 0 3780 46 17 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3355] ppid=3318 vsize=185060 CPUtime=1198.48
/proc/3355/stat : 3355 (minisat) R 3318 3318 3191 0 -1 4194304 45409 0 0 0 119799 49 0 0 25 0 1 0 160061795 189501440 45391 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 1 0 0
/proc/3355/statm: 46265 45391 54 142 0 46121 0
Current children cumulated CPU time (s) 1236.74
Current children cumulated vsize (KiB) 232616
[startup+1303.67 s]
/proc/loadavg: 2.00 1.99 1.74 3/86 3553
/proc/meminfo: memFree=1291232/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=38.26
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 800 55720 0 1 0 0 3780 46 17 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3355] ppid=3318 vsize=189316 CPUtime=1258.26
/proc/3355/stat : 3355 (minisat) R 3318 3318 3191 0 -1 4194304 46474 0 0 0 125776 50 0 0 25 0 1 0 160061795 193859584 46456 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 1 0 0
/proc/3355/statm: 47329 46456 54 142 0 47185 0
Current children cumulated CPU time (s) 1296.52
Current children cumulated vsize (KiB) 236872
[startup+1363.72 s]
/proc/loadavg: 2.04 2.00 1.76 3/86 3553
/proc/meminfo: memFree=1261664/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=38.26
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 800 55720 0 1 0 0 3780 46 17 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3355] ppid=3318 vsize=193152 CPUtime=1317.98
/proc/3355/stat : 3355 (minisat) R 3318 3318 3191 0 -1 4194304 47424 0 0 0 131747 51 0 0 25 0 1 0 160061795 197787648 47406 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/3355/statm: 48288 47406 54 142 0 48144 0
Current children cumulated CPU time (s) 1356.24
Current children cumulated vsize (KiB) 240708
[startup+1423.78 s]
/proc/loadavg: 2.01 2.00 1.77 3/86 3553
/proc/meminfo: memFree=1258272/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=38.26
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 800 55720 0 1 0 0 3780 46 17 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3355] ppid=3318 vsize=196536 CPUtime=1377.77
/proc/3355/stat : 3355 (minisat) R 3318 3318 3191 0 -1 4194304 48271 0 0 0 137725 52 0 0 25 0 1 0 160061795 201252864 48253 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/3355/statm: 49134 48253 54 142 0 48990 0
Current children cumulated CPU time (s) 1416.03
Current children cumulated vsize (KiB) 244092
[startup+1483.83 s]
/proc/loadavg: 2.06 2.02 1.79 3/86 3553
/proc/meminfo: memFree=1254880/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=38.26
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 800 55720 0 1 0 0 3780 46 17 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3355] ppid=3318 vsize=199964 CPUtime=1437.56
/proc/3355/stat : 3355 (minisat) R 3318 3318 3191 0 -1 4194304 49123 0 0 0 143703 53 0 0 25 0 1 0 160061795 204763136 49105 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/3355/statm: 49991 49105 54 142 0 49847 0
Current children cumulated CPU time (s) 1475.82
Current children cumulated vsize (KiB) 247520
[startup+1543.89 s]
/proc/loadavg: 2.02 2.01 1.80 3/86 3553
/proc/meminfo: memFree=1251168/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=38.26
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 800 55720 0 1 0 0 3780 46 17 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3355] ppid=3318 vsize=203576 CPUtime=1497.33
/proc/3355/stat : 3355 (minisat) R 3318 3318 3191 0 -1 4194304 50029 0 0 0 149679 54 0 0 25 0 1 0 160061795 208461824 50011 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529767 0 0 4096 3 0 0 0 17 0 0 0
/proc/3355/statm: 50894 50011 54 142 0 50750 0
Current children cumulated CPU time (s) 1535.59
Current children cumulated vsize (KiB) 251132
[startup+1603.94 s]
/proc/loadavg: 2.01 2.00 1.81 3/86 3553
/proc/meminfo: memFree=1220128/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=38.26
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 800 55720 0 1 0 0 3780 46 17 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3355] ppid=3318 vsize=207008 CPUtime=1557.05
/proc/3355/stat : 3355 (minisat) R 3318 3318 3191 0 -1 4194304 50880 0 0 0 155650 55 0 0 25 0 1 0 160061795 211976192 50862 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/3355/statm: 51752 50862 54 142 0 51608 0
Current children cumulated CPU time (s) 1595.31
Current children cumulated vsize (KiB) 254564
[startup+1663.99 s]
/proc/loadavg: 2.00 2.00 1.82 3/86 3553
/proc/meminfo: memFree=1216352/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=38.26
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 800 55720 0 1 0 0 3780 46 17 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3355] ppid=3318 vsize=210812 CPUtime=1616.85
/proc/3355/stat : 3355 (minisat) R 3318 3318 3191 0 -1 4194304 51826 0 0 0 161628 57 0 0 25 0 1 0 160061795 215871488 51808 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 0 0 0
/proc/3355/statm: 52703 51808 54 142 0 52559 0
Current children cumulated CPU time (s) 1655.11
Current children cumulated vsize (KiB) 258368
[startup+1724.04 s]
/proc/loadavg: 2.00 2.00 1.83 3/86 3555
/proc/meminfo: memFree=1212896/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=38.26
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 800 55720 0 1 0 0 3780 46 17 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3355] ppid=3318 vsize=214112 CPUtime=1676.61
/proc/3355/stat : 3355 (minisat) R 3318 3318 3191 0 -1 4194304 52634 0 0 0 167603 58 0 0 25 0 1 0 160061795 219250688 52616 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/3355/statm: 53528 52616 54 142 0 53384 0
Current children cumulated CPU time (s) 1714.87
Current children cumulated vsize (KiB) 261668
[startup+1784.1 s]
/proc/loadavg: 2.00 2.00 1.83 3/86 3555
/proc/meminfo: memFree=1209952/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=38.26
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 800 55720 0 1 0 0 3780 46 17 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3355] ppid=3318 vsize=217120 CPUtime=1736.39
/proc/3355/stat : 3355 (minisat) R 3318 3318 3191 0 -1 4194304 53385 0 0 0 173581 58 0 0 25 0 1 0 160061795 222330880 53367 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/3355/statm: 54280 53367 54 142 0 54136 0
Current children cumulated CPU time (s) 1774.65
Current children cumulated vsize (KiB) 264676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.65 s]
/proc/loadavg: 1.92 1.98 1.83 2/69 3569
/proc/meminfo: memFree=1612392/2055920 swapFree=4192812/4192956
[pid=3318] ppid=3316 vsize=47556 CPUtime=38.26
/proc/3318/stat : 3318 (galac.sh) S 3316 3318 3191 0 -1 4194304 800 55720 0 1 0 0 3780 46 17 0 1 0 160057921 48697344 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 217051229018 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/3318/statm: 11889 364 246 79 0 218 0
[pid=3355] ppid=3318 vsize=218444 CPUtime=1761.83
/proc/3355/stat : 3355 (minisat) R 3318 3318 3191 0 -1 4194304 53737 0 0 0 176123 60 0 0 25 0 1 0 160061795 223686656 53719 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/3355/statm: 54611 53719 54 142 0 54467 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 266000
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 3318 and gives childrusage.ru_utime.tv_sec=37 childrusage.ru_utime.tv_usec=811251 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=467928
CPU time returned by wait4() is 38.2792
while last known CPU time is 1800.09
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1809.66
CPU time (s): 1800.09
CPU user time (s): 1799.03
CPU system time (s): 1.06
CPU usage (%): 99.4709
Max. virtual memory (cumulated for all children) (KiB): 908620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.8113
system time used= 0.467928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56520
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2256
involuntary context switches= 2670
runsolver used 1.62275 s user time and 4.92025 s system time
The end
Begin job on node59 on Sat Jan 6 20:49:58 UTC 2007
IDJOB= 195939
IDBENCH= 3313
FILE ID= node59/195939-1168116597
PBS_JOBID= 3477434
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-16_ext.xml
COMMAND LINE= /tmp/evaluation/195939-1168116597/galac.sh /tmp/evaluation/195939-1168116597/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-195939-1168116597 -o ROOT/results/node59/solver-195939-1168116597 -C 1800 -M 900 /tmp/evaluation/195939-1168116597/galac.sh /tmp/evaluation/195939-1168116597/unknown.xml
META MD5SUM SOLVER= d8bf20eb49fe33822f00bab08f33d7fc
MD5SUM BENCH= 4376c4e1b4f50f628d636b7e95eeb495
RANDOM SEED= 310110284
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.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: 1840848 kB
Buffers: 17204 kB
Cached: 125868 kB
SwapCached: 0 kB
Active: 105552 kB
Inactive: 57560 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1840848 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 11184 kB
Writeback: 0 kB
Mapped: 30196 kB
Slab: 37616 kB
Committed_AS: 3049992 kB
PageTables: 1696 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= 66530 MiB
End job on node59 on Sat Jan 6 21:20:10 UTC 2007