0.11 c --- Preproc Stats ---
3.05 c start processing
3.05 c start relation processing
9.07 c start cnf exporting
39.34 c parsing time : 2.738
39.34 c preprocessing time : 39.027
39.34
39.34 c Nary constraints - conflicts : 0 supports : 76
39.34 c Binary constraints - conflicts : 0 supports :0
39.34 c max arity constraint : 3
39.34 c Max Tuples generated 0
39.34 c relations : 76
39.34 c relations BDD: 76
39.34 c vars : 302626 - clauses : 955562
39.34
39.38
39.38 c --- Minisat Stats ---
39.38
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-199911-1168138200 -o ROOT/results/node75/solver-199911-1168138200 -C 1800 -M 900 /tmp/evaluation/199911-1168138200/galac.sh /tmp/evaluation/199911-1168138200/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: 1.00 1.03 1.30 4/65 9656
/proc/meminfo: memFree=1647280/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=8564 CPUtime=0
/proc/9655/stat : 9655 (galac.sh) D 9653 9655 8280 0 -1 4194304 317 0 0 0 0 0 0 0 16 0 1 0 162219424 8769536 261 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882850258 0 2 4096 8192 18446744072100125374 0 0 17 1 0 0
/proc/9655/statm: 2141 261 201 79 0 134 0
[startup+0.103965 s]
/proc/loadavg: 1.00 1.03 1.30 4/65 9656
/proc/meminfo: memFree=1647280/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=8764 CPUtime=0
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 487 1066 0 0 0 0 0 0 17 0 1 0 162219424 8974336 313 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/9655/statm: 2191 313 217 79 0 184 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8764
[startup+0.512014 s]
/proc/loadavg: 1.00 1.03 1.30 4/65 9656
/proc/meminfo: memFree=1647280/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=0.01
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 760 1704 0 0 0 0 0 1 17 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47568
[startup+1.33411 s]
/proc/loadavg: 1.00 1.03 1.30 2/73 9676
/proc/meminfo: memFree=1576544/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=0.01
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 760 1704 0 0 0 0 0 1 17 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9669] ppid=9655 vsize=860856 CPUtime=1.13
/proc/9669/stat : 9669 (java) R 9655 9655 8280 0 -1 0 21639 0 1 0 103 10 0 0 17 0 8 0 162219436 881516544 21392 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073753124 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9669/statm: 215214 21392 1964 14 0 201471 0
[pid=9669/tid=9670] ppid=9655 vsize=860856 CPUtime=0.05
/proc/9669/task/9670/stat : 9670 (java) S 9655 9655 8280 0 -1 64 5888 0 0 0 3 2 0 0 16 0 8 0 162219447 881516544 21392 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9669/tid=9671] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9671/stat : 9671 (java) S 9655 9655 8280 0 -1 64 11 0 0 0 0 0 0 0 20 0 8 0 162219447 881516544 21392 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9672] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9672/stat : 9672 (java) S 9655 9655 8280 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 162219447 881516544 21392 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9673] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9673/stat : 9673 (java) S 9655 9655 8280 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 162219451 881516544 21392 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9674] ppid=9655 vsize=860856 CPUtime=0.12
/proc/9669/task/9674/stat : 9674 (java) S 9655 9655 8280 0 -1 64 892 0 0 0 12 0 0 0 16 0 8 0 162219451 881516544 21392 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9675] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9675/stat : 9675 (java) S 9655 9655 8280 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162219451 881516544 21392 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9676] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9676/stat : 9676 (java) S 9655 9655 8280 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162219451 881516544 21392 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 908424
[startup+2.98531 s]
/proc/loadavg: 1.00 1.03 1.30 2/73 9676
/proc/meminfo: memFree=1556576/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=0.01
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 760 1704 0 0 0 0 0 1 17 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9669] ppid=9655 vsize=860856 CPUtime=2.77
/proc/9669/stat : 9669 (java) R 9655 9655 8280 0 -1 0 26473 0 1 0 264 13 0 0 16 0 8 0 162219436 881516544 26219 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4072942949 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9669/statm: 215214 26219 1964 14 0 201471 0
[pid=9669/tid=9670] ppid=9655 vsize=860856 CPUtime=0.22
/proc/9669/task/9670/stat : 9670 (java) S 9655 9655 8280 0 -1 64 10703 0 0 0 17 5 0 0 16 0 8 0 162219447 881516544 26219 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9669/tid=9671] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9671/stat : 9671 (java) S 9655 9655 8280 0 -1 64 11 0 0 0 0 0 0 0 20 0 8 0 162219447 881516544 26219 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9672] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9672/stat : 9672 (java) S 9655 9655 8280 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 162219447 881516544 26219 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9673] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9673/stat : 9673 (java) S 9655 9655 8280 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 162219451 881516544 26219 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9674] ppid=9655 vsize=860856 CPUtime=0.14
/proc/9669/task/9674/stat : 9674 (java) S 9655 9655 8280 0 -1 64 904 0 0 0 14 0 0 0 16 0 8 0 162219451 881516544 26219 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9675] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9675/stat : 9675 (java) S 9655 9655 8280 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162219451 881516544 26219 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9676] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9676/stat : 9676 (java) S 9655 9655 8280 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162219451 881516544 26219 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 908424
[startup+6.18668 s]
/proc/loadavg: 1.00 1.03 1.30 2/73 9676
/proc/meminfo: memFree=1517152/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=0.01
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 760 1704 0 0 0 0 0 1 17 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9669] ppid=9655 vsize=860856 CPUtime=5.97
/proc/9669/stat : 9669 (java) R 9655 9655 8280 0 -1 0 34486 0 1 0 579 18 0 0 18 0 8 0 162219436 881516544 34230 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073941964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9669/statm: 215214 34230 1972 14 0 201471 0
[pid=9669/tid=9670] ppid=9655 vsize=860856 CPUtime=0.57
/proc/9669/task/9670/stat : 9670 (java) S 9655 9655 8280 0 -1 64 18660 0 0 0 48 9 0 0 16 0 8 0 162219447 881516544 34230 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9669/tid=9671] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9671/stat : 9671 (java) S 9655 9655 8280 0 -1 64 11 0 0 0 0 0 0 0 20 0 8 0 162219447 881516544 34230 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9672] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9672/stat : 9672 (java) S 9655 9655 8280 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 162219447 881516544 34230 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9673] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9673/stat : 9673 (java) S 9655 9655 8280 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 162219451 881516544 34230 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9674] ppid=9655 vsize=860856 CPUtime=0.2
/proc/9669/task/9674/stat : 9674 (java) S 9655 9655 8280 0 -1 64 935 0 0 0 19 1 0 0 15 0 8 0 162219451 881516544 34230 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9675] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9675/stat : 9675 (java) S 9655 9655 8280 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162219451 881516544 34230 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9676] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9676/stat : 9676 (java) S 9655 9655 8280 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162219451 881516544 34230 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 908424
[startup+12.6594 s]
/proc/loadavg: 1.00 1.03 1.30 2/73 9676
/proc/meminfo: memFree=1432480/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=0.01
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 760 1704 0 0 0 0 0 1 17 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9669] ppid=9655 vsize=860856 CPUtime=12.44
/proc/9669/stat : 9669 (java) R 9655 9655 8280 0 -1 0 55323 0 1 0 1216 28 0 0 17 0 8 0 162219436 881516544 55060 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073994956 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9669/statm: 215214 55060 1993 14 0 201471 0
[pid=9669/tid=9670] ppid=9655 vsize=860856 CPUtime=1.46
/proc/9669/task/9670/stat : 9670 (java) S 9655 9655 8280 0 -1 64 39413 0 0 0 129 17 0 0 15 0 8 0 162219447 881516544 55060 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9671] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9671/stat : 9671 (java) S 9655 9655 8280 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 162219447 881516544 55060 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9672] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9672/stat : 9672 (java) S 9655 9655 8280 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 162219447 881516544 55060 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9673] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9673/stat : 9673 (java) S 9655 9655 8280 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 162219451 881516544 55060 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9674] ppid=9655 vsize=860856 CPUtime=0.25
/proc/9669/task/9674/stat : 9674 (java) S 9655 9655 8280 0 -1 64 971 0 0 0 24 1 0 0 15 0 8 0 162219451 881516544 55060 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9675] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9675/stat : 9675 (java) S 9655 9655 8280 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162219451 881516544 55060 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9676] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9676/stat : 9676 (java) S 9655 9655 8280 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162219451 881516544 55060 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 908424
[startup+25.507 s]
/proc/loadavg: 1.00 1.03 1.29 2/73 9676
/proc/meminfo: memFree=1425448/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=0.01
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 760 1704 0 0 0 0 0 1 17 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9669] ppid=9655 vsize=860856 CPUtime=25.27
/proc/9669/stat : 9669 (java) R 9655 9655 8280 0 -1 0 55346 0 1 0 2495 32 0 0 17 0 8 0 162219436 881516544 55060 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4154545564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9669/statm: 215214 55060 1993 14 0 201471 0
[pid=9669/tid=9670] ppid=9655 vsize=860856 CPUtime=1.49
/proc/9669/task/9670/stat : 9670 (java) S 9655 9655 8280 0 -1 64 39413 0 0 0 131 18 0 0 16 0 8 0 162219447 881516544 55060 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9671] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9671/stat : 9671 (java) S 9655 9655 8280 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 162219447 881516544 55060 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9672] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9672/stat : 9672 (java) S 9655 9655 8280 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 162219447 881516544 55060 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9673] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9673/stat : 9673 (java) S 9655 9655 8280 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 162219451 881516544 55060 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9674] ppid=9655 vsize=860856 CPUtime=0.25
/proc/9669/task/9674/stat : 9674 (java) S 9655 9655 8280 0 -1 64 971 0 0 0 24 1 0 0 15 0 8 0 162219451 881516544 55060 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9675] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9675/stat : 9675 (java) S 9655 9655 8280 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162219451 881516544 55060 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9669/tid=9676] ppid=9655 vsize=860856 CPUtime=0
/proc/9669/task/9676/stat : 9676 (java) S 9655 9655 8280 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162219451 881516544 55060 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 908424
[startup+51.181 s]
/proc/loadavg: 1.00 1.02 1.29 2/66 9677
/proc/meminfo: memFree=1571368/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=39.15
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 798 57081 0 1 0 0 3872 43 16 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9677] ppid=9655 vsize=61080 CPUtime=11.79
/proc/9677/stat : 9677 (minisat) R 9655 9655 8280 0 -1 4194304 14676 0 0 0 1172 7 0 0 25 0 1 0 162223362 62545920 14658 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/9677/statm: 15270 14658 54 142 0 15126 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 108648
[startup+102.422 s]
/proc/loadavg: 1.00 1.02 1.27 2/66 9677
/proc/meminfo: memFree=1562728/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=39.15
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 798 57081 0 1 0 0 3872 43 16 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9677] ppid=9655 vsize=69876 CPUtime=63
/proc/9677/stat : 9677 (minisat) R 9655 9655 8280 0 -1 4194304 16873 0 0 0 6291 9 0 0 25 0 1 0 162223362 71553024 16855 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 1 0 0
/proc/9677/statm: 17469 16855 54 142 0 17325 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 117444
[startup+162.477 s]
/proc/loadavg: 1.00 1.01 1.25 2/66 9677
/proc/meminfo: memFree=1555112/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=39.15
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 798 57081 0 1 0 0 3872 43 16 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9677] ppid=9655 vsize=77304 CPUtime=123.04
/proc/9677/stat : 9677 (minisat) R 9655 9655 8280 0 -1 4194304 18744 0 0 0 12293 11 0 0 25 0 1 0 162223362 79159296 18726 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134520025 0 0 4096 3 0 0 0 17 1 0 0
/proc/9677/statm: 19326 18726 54 142 0 19182 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 124872
################
# More data... #
################
/proc/loadavg: 1.00 1.00 1.08 2/66 10355
/proc/meminfo: memFree=1424616/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=39.15
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 798 57081 0 1 0 0 3872 43 16 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9677] ppid=9655 vsize=177892 CPUtime=1083.24
/proc/9677/stat : 9677 (minisat) R 9655 9655 8280 0 -1 4194304 43886 0 0 0 108278 46 0 0 25 0 1 0 162223362 182161408 43868 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529560 0 0 4096 3 0 0 0 17 0 0 0
/proc/9677/statm: 44473 43868 54 142 0 44329 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 225460
[startup+1183.49 s]
/proc/loadavg: 1.00 1.00 1.07 2/66 10355
/proc/meminfo: memFree=1415144/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=39.15
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 798 57081 0 1 0 0 3872 43 16 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9677] ppid=9655 vsize=187576 CPUtime=1143.27
/proc/9677/stat : 9677 (minisat) R 9655 9655 8280 0 -1 4194304 46247 0 0 0 114279 48 0 0 25 0 1 0 162223362 192077824 46229 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/9677/statm: 46894 46229 54 142 0 46750 0
Current children cumulated CPU time (s) 1182.42
Current children cumulated vsize (KiB) 235144
[startup+1243.55 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 10355
/proc/meminfo: memFree=1406312/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=39.15
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 798 57081 0 1 0 0 3872 43 16 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9677] ppid=9655 vsize=196356 CPUtime=1203.32
/proc/9677/stat : 9677 (minisat) R 9655 9655 8280 0 -1 4194304 48451 0 0 0 120281 51 0 0 25 0 1 0 162223362 201068544 48433 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 0 0 0
/proc/9677/statm: 49089 48433 54 142 0 48945 0
Current children cumulated CPU time (s) 1242.47
Current children cumulated vsize (KiB) 243924
[startup+1303.61 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 10355
/proc/meminfo: memFree=1398120/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=39.15
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 798 57081 0 1 0 0 3872 43 16 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9677] ppid=9655 vsize=204308 CPUtime=1263.35
/proc/9677/stat : 9677 (minisat) R 9655 9655 8280 0 -1 4194304 50456 0 0 0 126282 53 0 0 25 0 1 0 162223362 209211392 50438 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529285 0 0 4096 3 0 0 0 17 0 0 0
/proc/9677/statm: 51077 50438 54 142 0 50933 0
Current children cumulated CPU time (s) 1302.5
Current children cumulated vsize (KiB) 251876
[startup+1363.67 s]
/proc/loadavg: 1.00 1.00 1.05 2/66 10355
/proc/meminfo: memFree=1390952/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=39.15
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 798 57081 0 1 0 0 3872 43 16 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9677] ppid=9655 vsize=211596 CPUtime=1323.39
/proc/9677/stat : 9677 (minisat) R 9655 9655 8280 0 -1 4194304 52257 0 0 0 132284 55 0 0 25 0 1 0 162223362 216674304 52239 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/9677/statm: 52899 52239 54 142 0 52755 0
Current children cumulated CPU time (s) 1362.54
Current children cumulated vsize (KiB) 259164
[startup+1423.72 s]
/proc/loadavg: 1.06 1.02 1.05 2/66 10355
/proc/meminfo: memFree=1380392/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=39.15
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 798 57081 0 1 0 0 3872 43 16 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9677] ppid=9655 vsize=222084 CPUtime=1383.44
/proc/9677/stat : 9677 (minisat) R 9655 9655 8280 0 -1 4194304 54881 0 0 0 138286 58 0 0 25 0 1 0 162223362 227414016 54863 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/9677/statm: 55521 54863 54 142 0 55377 0
Current children cumulated CPU time (s) 1422.59
Current children cumulated vsize (KiB) 269652
[startup+1483.77 s]
/proc/loadavg: 1.06 1.02 1.05 2/66 10355
/proc/meminfo: memFree=1372072/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=39.15
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 798 57081 0 1 0 0 3872 43 16 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9677] ppid=9655 vsize=230324 CPUtime=1443.47
/proc/9677/stat : 9677 (minisat) R 9655 9655 8280 0 -1 4194304 56952 0 0 0 144287 60 0 0 25 0 1 0 162223362 235851776 56934 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134525819 0 0 4096 3 0 0 0 17 0 0 0
/proc/9677/statm: 57581 56934 54 142 0 57437 0
Current children cumulated CPU time (s) 1482.62
Current children cumulated vsize (KiB) 277892
[startup+1543.83 s]
/proc/loadavg: 1.02 1.02 1.04 2/66 10355
/proc/meminfo: memFree=1364904/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=39.15
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 798 57081 0 1 0 0 3872 43 16 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9677] ppid=9655 vsize=237484 CPUtime=1503.51
/proc/9677/stat : 9677 (minisat) R 9655 9655 8280 0 -1 4194304 58760 0 0 0 150289 62 0 0 25 0 1 0 162223362 243183616 58742 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 0 0 0
/proc/9677/statm: 59371 58742 54 142 0 59227 0
Current children cumulated CPU time (s) 1542.66
Current children cumulated vsize (KiB) 285052
[startup+1603.89 s]
/proc/loadavg: 1.00 1.01 1.04 2/66 10355
/proc/meminfo: memFree=1354856/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=39.15
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 798 57081 0 1 0 0 3872 43 16 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9677] ppid=9655 vsize=247568 CPUtime=1563.54
/proc/9677/stat : 9677 (minisat) R 9655 9655 8280 0 -1 4194304 61276 0 0 0 156290 64 0 0 25 0 1 0 162223362 253509632 61258 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/9677/statm: 61892 61258 54 142 0 61748 0
Current children cumulated CPU time (s) 1602.69
Current children cumulated vsize (KiB) 295136
[startup+1663.94 s]
/proc/loadavg: 1.00 1.01 1.03 2/66 10355
/proc/meminfo: memFree=1346088/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=39.15
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 798 57081 0 1 0 0 3872 43 16 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9677] ppid=9655 vsize=256328 CPUtime=1623.58
/proc/9677/stat : 9677 (minisat) R 9655 9655 8280 0 -1 4194304 63461 0 0 0 162291 67 0 0 25 0 1 0 162223362 262479872 63443 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 0 0 0
/proc/9677/statm: 64082 63443 54 142 0 63938 0
Current children cumulated CPU time (s) 1662.73
Current children cumulated vsize (KiB) 303896
[startup+1724 s]
/proc/loadavg: 1.00 1.00 1.03 2/66 10357
/proc/meminfo: memFree=1335976/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=39.15
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 798 57081 0 1 0 0 3872 43 16 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9677] ppid=9655 vsize=266056 CPUtime=1683.61
/proc/9677/stat : 9677 (minisat) R 9655 9655 8280 0 -1 4194304 65899 0 0 0 168292 69 0 0 25 0 1 0 162223362 272441344 65881 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529348 0 0 4096 3 0 0 0 17 0 0 0
/proc/9677/statm: 66514 65881 54 142 0 66370 0
Current children cumulated CPU time (s) 1722.76
Current children cumulated vsize (KiB) 313624
[startup+1784.06 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 10357
/proc/meminfo: memFree=1328744/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=39.15
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 798 57081 0 1 0 0 3872 43 16 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9677] ppid=9655 vsize=273348 CPUtime=1743.66
/proc/9677/stat : 9677 (minisat) R 9655 9655 8280 0 -1 4194304 67731 0 0 0 174295 71 0 0 25 0 1 0 162223362 279908352 67713 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/9677/statm: 68337 67713 54 142 0 68193 0
Current children cumulated CPU time (s) 1782.81
Current children cumulated vsize (KiB) 320916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.27 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 10357
/proc/meminfo: memFree=1327336/2055920 swapFree=4184496/4192956
[pid=9655] ppid=9653 vsize=47568 CPUtime=39.15
/proc/9655/stat : 9655 (galac.sh) S 9653 9655 8280 0 -1 4194304 798 57081 0 1 0 0 3872 43 16 0 1 0 162219424 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 231882287962 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9655/statm: 11892 363 245 79 0 218 0
[pid=9677] ppid=9655 vsize=274708 CPUtime=1760.87
/proc/9677/stat : 9677 (minisat) R 9655 9655 8280 0 -1 4194304 68069 0 0 0 176016 71 0 0 25 0 1 0 162223362 281300992 68051 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 0 0 0
/proc/9677/statm: 68677 68051 54 142 0 68533 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 322276
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 9655 and gives childrusage.ru_utime.tv_sec=38 childrusage.ru_utime.tv_usec=724113 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=435933
CPU time returned by wait4() is 39.16
while last known CPU time is 1800.02
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1801.29
CPU time (s): 1800.02
CPU user time (s): 1798.88
CPU system time (s): 1.14
CPU usage (%): 99.9297
Max. virtual memory (cumulated for all children) (KiB): 908424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.7241
system time used= 0.435933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57879
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= 1815
involuntary context switches= 988
runsolver used 1.62875 s user time and 3.82342 s system time
The end
Begin job on node75 on Sun Jan 7 02:50:00 UTC 2007
IDJOB= 199911
IDBENCH= 3655
FILE ID= node75/199911-1168138200
PBS_JOBID= 3478004
Free space on /tmp= 66545 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-19_ext.xml
COMMAND LINE= /tmp/evaluation/199911-1168138200/galac.sh /tmp/evaluation/199911-1168138200/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-199911-1168138200 -o ROOT/results/node75/solver-199911-1168138200 -C 1800 -M 900 /tmp/evaluation/199911-1168138200/galac.sh /tmp/evaluation/199911-1168138200/unknown.xml
META MD5SUM SOLVER= d8bf20eb49fe33822f00bab08f33d7fc
MD5SUM BENCH= 96d10c852907193ff355871085e03668
RANDOM SEED= 428176717
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1647768 kB
Buffers: 34404 kB
Cached: 310220 kB
SwapCached: 2584 kB
Active: 270288 kB
Inactive: 84028 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1647768 kB
SwapTotal: 4192956 kB
SwapFree: 4184496 kB
Dirty: 5836 kB
Writeback: 0 kB
Mapped: 15704 kB
Slab: 39852 kB
Committed_AS: 3355092 kB
PageTables: 1432 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= 66537 MiB
End job on node75 on Sun Jan 7 03:20:02 UTC 2007