0.00/0.03 c --- Preproc Stats ---
0.01/0.97 c start processing
0.01/0.97 c start relation processing
0.01/0.97 c start cnf exporting
2.93/3.01 c parsing time : 0.841
2.93/3.02 c preprocessing time : 2.89
2.93/3.02
2.93/3.02 c Nary constraints - conflicts : 0 supports : 0
2.93/3.02 c Binary constraints - conflicts : 1161 supports :100
2.93/3.02 c max arity constraint : 2
2.93/3.02 c Max Tuples generated 0
2.93/3.02 c relations : 8
2.93/3.02 c relations BDD: 0
2.93/3.02 c sampling 0/0
2.93/3.02 c vars : 2103 - clauses : 75988
2.93/3.02
2.93/3.04
2.93/3.04 c --- SAT Solver Stats ---
2.93/3.04
2.93/3.04 c eSAT 0.1 : minisat core with additionnal features
2.93/3.04 c ============================[ Problem Statistics ]=============================
2.93/3.04 c | |
2.93/3.04 c | Number of variables: 2102 |
2.93/3.04 c | Number of clauses: 75988 |
2.93/3.09 c | Parsing time: 0.04 s |
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1035801-1214953664/watcher-1035801-1214953664 -o /tmp/evaluation-result-1035801-1214953664/solver-1035801-1214953664 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1035801-1214953664.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.97 1.91 4/72 15523
/proc/meminfo: memFree=1688656/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=8652 CPUtime=0
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 346 0 0 0 0 0 0 0 16 0 1 0 1974339876 8859648 280 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 2163 280 208 79 0 156 0
[pid=15524] ppid=15523 vsize=8688 CPUtime=0
/proc/15524/stat : 15524 (galacE.sh) S 15523 15523 14764 0 -1 4194368 36 0 0 0 0 0 0 0 17 0 1 0 1974339877 8896512 286 996147200 4194304 4520092 548682068832 18446744073709551615 210824298578 0 0 4096 73728 18446744071563648864 0 0 17 1 0 0
/proc/15524/statm: 2172 286 209 79 0 165 0
[pid=15525] ppid=15524 vsize=1264 CPUtime=0
/proc/15525/stat : 15525 (id) R 15524 15523 14764 0 -1 4194304 57 0 0 0 0 0 0 0 18 0 1 0 1974339877 1294336 32 996147200 4194304 4211724 548682068832 18446744073709551615 210821510537 0 0 3674112 0 0 0 0 17 0 0 0
/proc/15525/statm: 316 33 26 4 0 4 0
[startup+0.052764 s]
/proc/loadavg: 2.00 1.97 1.91 4/72 15523
/proc/meminfo: memFree=1688656/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=0.01
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47572
[startup+0.103352 s]
/proc/loadavg: 2.00 1.97 1.91 4/72 15523
/proc/meminfo: memFree=1688656/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=0.01
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47572
[startup+0.30137 s]
/proc/loadavg: 2.00 1.97 1.91 4/72 15523
/proc/meminfo: memFree=1688656/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=0.01
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47572
[startup+0.701421 s]
/proc/loadavg: 2.00 1.97 1.91 4/72 15523
/proc/meminfo: memFree=1688656/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=0.01
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47572
[startup+1.50251 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 15545
/proc/meminfo: memFree=1660224/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=0.01
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15537] ppid=15523 vsize=812732 CPUtime=1.44
/proc/15537/stat : 15537 (java) S 15523 15523 14764 0 -1 0 19471 0 1 0 133 11 0 0 18 0 9 0 1974339880 832237568 18888 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15537/statm: 203183 18888 1913 9 0 197164 0
[pid=15537/tid=15538] ppid=15523 vsize=812732 CPUtime=1.13
/proc/15537/task/15538/stat : 15538 (java) R 15523 15523 14764 0 -1 64 14534 0 1 0 106 7 0 0 25 0 9 0 1974339881 832237568 18888 996147200 134512640 134550740 4294955616 18446744073709551615 4127029441 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15537/tid=15539] ppid=15523 vsize=812732 CPUtime=0.02
/proc/15537/task/15539/stat : 15539 (java) S 15523 15523 14764 0 -1 64 3375 0 0 0 1 1 0 0 16 0 9 0 1974339883 832237568 18888 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15537/tid=15540] ppid=15523 vsize=812732 CPUtime=0
/proc/15537/task/15540/stat : 15540 (java) S 15523 15523 14764 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1974339883 832237568 18888 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15537/tid=15541] ppid=15523 vsize=812732 CPUtime=0
/proc/15537/task/15541/stat : 15541 (java) S 15523 15523 14764 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1974339883 832237568 18888 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15537/tid=15542] ppid=15523 vsize=812732 CPUtime=0
/proc/15537/task/15542/stat : 15542 (java) S 15523 15523 14764 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1974339885 832237568 18888 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15537/tid=15543] ppid=15523 vsize=812732 CPUtime=0.25
/proc/15537/task/15543/stat : 15543 (java) S 15523 15523 14764 0 -1 64 862 0 0 0 25 0 0 0 16 0 9 0 1974339885 832237568 18888 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15537/tid=15544] ppid=15523 vsize=812732 CPUtime=0
/proc/15537/task/15544/stat : 15544 (java) S 15523 15523 14764 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1974339885 832237568 18888 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15537/tid=15545] ppid=15523 vsize=812732 CPUtime=0
/proc/15537/task/15545/stat : 15545 (java) S 15523 15523 14764 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1974339885 832237568 18888 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 860304
[startup+3.10171 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 15545
/proc/meminfo: memFree=1613696/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 47572
[startup+6.3011 s]
/proc/loadavg: 2.00 1.97 1.91 3/74 15546
/proc/meminfo: memFree=1678720/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15546] ppid=15523 vsize=9616 CPUtime=3.22
/proc/15546/stat : 15546 (eSAT_static) R 15523 15523 14764 0 -1 4194304 2410 0 0 0 321 1 0 0 25 0 1 0 1974340180 9846784 2263 996147200 134512640 135177480 4294955984 18446744073709551615 134749416 0 0 4096 3 0 0 0 17 1 0 0
/proc/15546/statm: 2404 2263 81 162 0 2239 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 57188
[startup+12.7019 s]
/proc/loadavg: 2.00 1.97 1.91 3/74 15546
/proc/meminfo: memFree=1672768/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15546] ppid=15523 vsize=15176 CPUtime=9.57
/proc/15546/stat : 15546 (eSAT_static) R 15523 15523 14764 0 -1 4194304 3808 0 0 0 955 2 0 0 25 0 1 0 1974340180 15540224 3661 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/15546/statm: 3794 3661 81 162 0 3629 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 62748
[startup+25.5014 s]
/proc/loadavg: 2.00 1.97 1.91 3/74 15546
/proc/meminfo: memFree=1668288/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15546] ppid=15523 vsize=19276 CPUtime=22.25
/proc/15546/stat : 15546 (eSAT_static) R 15523 15523 14764 0 -1 4194304 4811 0 0 0 2221 4 0 0 25 0 1 0 1974340180 19738624 4664 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/15546/statm: 4819 4664 81 162 0 4654 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 66848
[startup+51.1015 s]
/proc/loadavg: 2.00 1.97 1.91 3/74 15546
/proc/meminfo: memFree=1656448/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15546] ppid=15523 vsize=31072 CPUtime=47.64
/proc/15546/stat : 15546 (eSAT_static) R 15523 15523 14764 0 -1 4194304 7761 0 0 0 4757 7 0 0 25 0 1 0 1974340180 31817728 7614 996147200 134512640 135177480 4294955984 18446744073709551615 134565395 0 0 4096 3 0 0 0 17 1 0 0
/proc/15546/statm: 7768 7614 81 162 0 7603 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 78644
[startup+102.307 s]
/proc/loadavg: 2.00 1.97 1.91 3/74 15546
/proc/meminfo: memFree=1637120/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15546] ppid=15523 vsize=50212 CPUtime=98.41
/proc/15546/stat : 15546 (eSAT_static) R 15523 15523 14764 0 -1 4194304 12561 0 0 0 9830 11 0 0 25 0 1 0 1974340180 51417088 12414 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 1 0 0
/proc/15546/statm: 12553 12414 81 162 0 12388 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 97784
[startup+162.302 s]
/proc/loadavg: 2.00 1.97 1.91 3/74 15546
/proc/meminfo: memFree=1632064/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15546] ppid=15523 vsize=55308 CPUtime=157.9
/proc/15546/stat : 15546 (eSAT_static) R 15523 15523 14764 0 -1 4194304 13795 0 0 0 15778 12 0 0 25 0 1 0 1974340180 56635392 13648 996147200 134512640 135177480 4294955984 18446744073709551615 134564590 0 0 4096 3 0 0 0 17 1 0 0
/proc/15546/statm: 13827 13648 81 162 0 13662 0
Current children cumulated CPU time (s) 160.87
Current children cumulated vsize (KiB) 102880
[startup+222.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/74 15546
/proc/meminfo: memFree=1616256/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15546] ppid=15523 vsize=71048 CPUtime=217.4
/proc/15546/stat : 15546 (eSAT_static) R 15523 15523 14764 0 -1 4194304 17751 0 0 0 21724 16 0 0 25 0 1 0 1974340180 72753152 17604 996147200 134512640 135177480 4294955984 18446744073709551615 134548742 0 0 4096 3 0 0 0 17 1 0 0
/proc/15546/statm: 17762 17604 81 162 0 17597 0
Current children cumulated CPU time (s) 220.37
Current children cumulated vsize (KiB) 118620
[startup+282.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/74 15546
/proc/meminfo: memFree=1616192/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15546] ppid=15523 vsize=71048 CPUtime=276.9
/proc/15546/stat : 15546 (eSAT_static) R 15523 15523 14764 0 -1 4194304 17751 0 0 0 27673 17 0 0 25 0 1 0 1974340180 72753152 17604 996147200 134512640 135177480 4294955984 18446744073709551615 134565460 0 0 4096 3 0 0 0 17 1 0 0
/proc/15546/statm: 17762 17604 81 162 0 17597 0
Current children cumulated CPU time (s) 279.87
Current children cumulated vsize (KiB) 118620
[startup+342.302 s]
/proc/loadavg: 2.00 1.97 1.91 3/74 15546
/proc/meminfo: memFree=1602048/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
################
# More data... #
################
/proc/15546/statm: 37104 36873 81 162 0 36939 0
Current children cumulated CPU time (s) 1118.99
Current children cumulated vsize (KiB) 195988
[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/83 15613
/proc/meminfo: memFree=1512760/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15546] ppid=15523 vsize=160292 CPUtime=1176
/proc/15546/stat : 15546 (eSAT_static) R 15523 15523 14764 0 -1 4194304 39992 0 0 0 117557 43 0 0 25 0 1 0 1974340180 164139008 39845 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 0 0 0
/proc/15546/statm: 40073 39845 81 162 0 39908 0
Current children cumulated CPU time (s) 1178.97
Current children cumulated vsize (KiB) 207864
[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/83 15613
/proc/meminfo: memFree=1504824/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15546] ppid=15523 vsize=168564 CPUtime=1235.97
/proc/15546/stat : 15546 (eSAT_static) R 15523 15523 14764 0 -1 4194304 41882 0 0 0 123553 44 0 0 25 0 1 0 1974340180 172609536 41735 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 0 0 0
/proc/15546/statm: 42141 41735 81 162 0 41976 0
Current children cumulated CPU time (s) 1238.94
Current children cumulated vsize (KiB) 216136
[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/83 15613
/proc/meminfo: memFree=1504760/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15546] ppid=15523 vsize=168564 CPUtime=1295.96
/proc/15546/stat : 15546 (eSAT_static) R 15523 15523 14764 0 -1 4194304 41883 0 0 0 129552 44 0 0 25 0 1 0 1974340180 172609536 41736 996147200 134512640 135177480 4294955984 18446744073709551615 134565474 0 0 4096 3 0 0 0 17 0 0 0
/proc/15546/statm: 42141 41736 81 162 0 41976 0
Current children cumulated CPU time (s) 1298.93
Current children cumulated vsize (KiB) 216136
[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/83 15613
/proc/meminfo: memFree=1504696/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15546] ppid=15523 vsize=168564 CPUtime=1355.94
/proc/15546/stat : 15546 (eSAT_static) R 15523 15523 14764 0 -1 4194304 41883 0 0 0 135549 45 0 0 25 0 1 0 1974340180 172609536 41736 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 0 0 0
/proc/15546/statm: 42141 41736 81 162 0 41976 0
Current children cumulated CPU time (s) 1358.91
Current children cumulated vsize (KiB) 216136
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.91 3/83 15613
/proc/meminfo: memFree=1504696/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15546] ppid=15523 vsize=168564 CPUtime=1415.92
/proc/15546/stat : 15546 (eSAT_static) R 15523 15523 14764 0 -1 4194304 41885 0 0 0 141547 45 0 0 25 0 1 0 1974340180 172609536 41738 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 0 0 0
/proc/15546/statm: 42141 41738 81 162 0 41976 0
Current children cumulated CPU time (s) 1418.89
Current children cumulated vsize (KiB) 216136
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.91 4/83 15613
/proc/meminfo: memFree=1504632/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15546] ppid=15523 vsize=168564 CPUtime=1475.89
/proc/15546/stat : 15546 (eSAT_static) R 15523 15523 14764 0 -1 4194304 41888 0 0 0 147544 45 0 0 25 0 1 0 1974340180 172609536 41741 996147200 134512640 135177480 4294955984 18446744073709551615 134576641 0 0 4096 3 0 0 0 17 0 0 0
/proc/15546/statm: 42141 41741 81 162 0 41976 0
Current children cumulated CPU time (s) 1478.86
Current children cumulated vsize (KiB) 216136
[startup+1542.31 s]
/proc/loadavg: 1.99 1.97 1.91 3/83 15613
/proc/meminfo: memFree=1504568/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15546] ppid=15523 vsize=168564 CPUtime=1535.87
/proc/15546/stat : 15546 (eSAT_static) R 15523 15523 14764 0 -1 4194304 41890 0 0 0 153542 45 0 0 25 0 1 0 1974340180 172609536 41743 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 0 0 0
/proc/15546/statm: 42141 41743 81 162 0 41976 0
Current children cumulated CPU time (s) 1538.84
Current children cumulated vsize (KiB) 216136
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/83 15613
/proc/meminfo: memFree=1504376/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15546] ppid=15523 vsize=168564 CPUtime=1595.84
/proc/15546/stat : 15546 (eSAT_static) R 15523 15523 14764 0 -1 4194304 41892 0 0 0 159539 45 0 0 25 0 1 0 1974340180 172609536 41745 996147200 134512640 135177480 4294955984 18446744073709551615 134560671 0 0 4096 3 0 0 0 17 0 0 0
/proc/15546/statm: 42141 41745 81 162 0 41976 0
Current children cumulated CPU time (s) 1598.81
Current children cumulated vsize (KiB) 216136
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/83 15613
/proc/meminfo: memFree=1504440/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15546] ppid=15523 vsize=168564 CPUtime=1655.82
/proc/15546/stat : 15546 (eSAT_static) R 15523 15523 14764 0 -1 4194304 41896 0 0 0 165537 45 0 0 25 0 1 0 1974340180 172609536 41749 996147200 134512640 135177480 4294955984 18446744073709551615 134564821 0 0 4096 3 0 0 0 17 0 0 0
/proc/15546/statm: 42141 41749 81 162 0 41976 0
Current children cumulated CPU time (s) 1658.79
Current children cumulated vsize (KiB) 216136
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/83 15613
/proc/meminfo: memFree=1497336/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15546] ppid=15523 vsize=176036 CPUtime=1715.8
/proc/15546/stat : 15546 (eSAT_static) R 15523 15523 14764 0 -1 4194304 43759 0 0 0 171533 47 0 0 25 0 1 0 1974340180 180260864 43612 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 0 0 0
/proc/15546/statm: 44009 43612 81 162 0 43844 0
Current children cumulated CPU time (s) 1718.77
Current children cumulated vsize (KiB) 223608
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/83 15613
/proc/meminfo: memFree=1488184/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15546] ppid=15523 vsize=184940 CPUtime=1775.77
/proc/15546/stat : 15546 (eSAT_static) R 15523 15523 14764 0 -1 4194304 45985 0 0 0 177529 48 0 0 25 0 1 0 1974340180 189378560 45838 996147200 134512640 135177480 4294955984 18446744073709551615 134565263 0 0 4096 3 0 0 0 17 0 0 0
/proc/15546/statm: 46235 45838 81 162 0 46070 0
Current children cumulated CPU time (s) 1778.74
Current children cumulated vsize (KiB) 232512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.6 s]
/proc/loadavg: 1.99 1.97 1.91 4/83 15613
/proc/meminfo: memFree=1485560/2055920 swapFree=4180424/4192956
[pid=15523] ppid=15521 vsize=47572 CPUtime=2.97
/proc/15523/stat : 15523 (galacE.sh) S 15521 15523 14764 0 -1 4194304 799 22500 0 1 0 0 282 15 17 0 1 0 1974339876 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/15523/statm: 11893 364 245 79 0 219 0
[pid=15546] ppid=15523 vsize=187528 CPUtime=1797.07
/proc/15546/stat : 15546 (eSAT_static) R 15523 15523 14764 0 -1 4194304 46635 0 0 0 179658 49 0 0 25 0 1 0 1974340180 192028672 46488 996147200 134512640 135177480 4294955984 18446744073709551615 134565260 0 0 4096 3 0 0 0 17 0 0 0
/proc/15546/statm: 46882 46488 81 162 0 46717 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 235100
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15523 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=835568
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=158975
# CPU time returned by wait4() is 2.99454
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1803.61
CPU time (s): 1800.04
CPU user time (s): 1799.4
CPU system time (s): 0.64
CPU usage (%): 99.8019
Max. virtual memory (cumulated for all children) (KiB): 860304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.83557
system time used= 0.158975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23299
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= 758
involuntary context switches= 733
runsolver used 2.37164 second user time and 5.67114 second system time
The end
Begin job on node33 at 2008-07-02 01:07:44
IDJOB=1035801
IDBENCH=53417
IDSOLVER=351
FILE ID=node33/1035801-1214953664
PBS_JOBID= 7870267
Free space on /tmp= 66552 MiB
SOLVER NAME= galac E
BENCH NAME= CPAI08/csp/BH-4-7/normalized-BlackHole-4-7-h-5_ext.xml
COMMAND LINE= HOME/galacE.sh BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1035801-1214953664/watcher-1035801-1214953664 -o /tmp/evaluation-result-1035801-1214953664/solver-1035801-1214953664 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1035801-1214953664.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= c340ac6e88ac52be912690697697cb91
RANDOM SEED=828048682
node33.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.231
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.231
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: 1689136 kB
Buffers: 35392 kB
Cached: 259404 kB
SwapCached: 6444 kB
Active: 73336 kB
Inactive: 234716 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1689136 kB
SwapTotal: 4192956 kB
SwapFree: 4180424 kB
Dirty: 3172 kB
Writeback: 0 kB
Mapped: 20648 kB
Slab: 44140 kB
Committed_AS: 3372916 kB
PageTables: 1756 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= 66548 MiB
End job on node33 at 2008-07-02 01:37:49