0.01 c
0.01 c Parsing xml file
0.01 c domains............... 0
0.01 c variables............. 0.14
0.15 c predicates............ 0
0.15 c constraints........... 2.83
2.98 c Allocating memory
2.98 c
2.98 c time limit = -1
2.98 c heuristic = dom/wdeg
2.98 c restart policy = No restart
2.98 c
2.98 c Solving
2.98 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-252666-1168409409 -o ROOT/results/node55/solver-252666-1168409409 -C 1800 -M 900 /tmp/evaluation/252666-1168409409/mistral/bin/solver /tmp/evaluation/252666-1168409409/unknown.xml -v 1
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 1.11 2/65 13918
/proc/meminfo: memFree=1535920/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=6792 CPUtime=0
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 429 0 0 0 0 0 0 0 18 0 1 0 189339285 6955008 408 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 6818680 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 1698 408 369 92 0 30 0
[startup+0.108391 s]
/proc/loadavg: 0.85 0.97 1.11 2/65 13918
/proc/meminfo: memFree=1535920/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=8244 CPUtime=0.1
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 1105 0 0 0 10 0 0 0 18 0 1 0 189339285 8441856 1073 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4158469460 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 2061 1073 688 92 0 405 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8244
[startup+0.51643 s]
/proc/loadavg: 0.85 0.97 1.11 2/65 13918
/proc/meminfo: memFree=1535920/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=10232 CPUtime=0.5
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 1646 0 0 0 50 0 0 0 21 0 1 0 189339285 10477568 1614 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4158769340 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 2558 1614 704 92 0 902 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10232
[startup+1.33651 s]
/proc/loadavg: 0.85 0.97 1.11 2/65 13918
/proc/meminfo: memFree=1529712/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=13620 CPUtime=1.33
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 2483 0 0 0 132 1 0 0 25 0 1 0 189339285 13946880 2451 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134575766 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 3405 2451 704 92 0 1749 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 13620
[startup+2.97667 s]
/proc/loadavg: 0.85 0.97 1.11 2/65 13918
/proc/meminfo: memFree=1525104/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=22272 CPUtime=2.96
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 4703 0 0 0 293 3 0 0 25 0 1 0 189339285 22806528 4599 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 7284347 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 5568 4599 713 92 0 3912 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 22272
[startup+6.25499 s]
/proc/loadavg: 0.86 0.97 1.11 2/65 13918
/proc/meminfo: memFree=1511280/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31652 CPUtime=6.24
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 6993 0 0 0 620 4 0 0 25 0 1 0 189339285 32411648 6889 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7913 6889 720 92 0 6257 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 31652
[startup+12.7116 s]
/proc/loadavg: 0.87 0.97 1.11 2/65 13918
/proc/meminfo: memFree=1511376/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31660 CPUtime=12.69
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 6995 0 0 0 1265 4 0 0 25 0 1 0 189339285 32419840 6891 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7915 6891 720 92 0 6259 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31660
[startup+25.5129 s]
/proc/loadavg: 0.90 0.97 1.10 2/65 13918
/proc/meminfo: memFree=1511520/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31660 CPUtime=25.49
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 6995 0 0 0 2545 4 0 0 25 0 1 0 189339285 32419840 6891 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7915 6891 720 92 0 6259 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31660
[startup+51.1264 s]
/proc/loadavg: 0.93 0.97 1.10 2/65 13918
/proc/meminfo: memFree=1511648/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31692 CPUtime=51.08
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7003 0 0 0 5104 4 0 0 25 0 1 0 189339285 32452608 6899 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711741 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7923 6899 720 92 0 6267 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31692
[startup+102.353 s]
/proc/loadavg: 0.97 0.97 1.09 2/65 13918
/proc/meminfo: memFree=1511648/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31708 CPUtime=102.28
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7007 0 0 0 10223 5 0 0 25 0 1 0 189339285 32468992 6903 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7927 6903 720 92 0 6271 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 31708
[startup+162.39 s]
/proc/loadavg: 0.99 0.97 1.08 2/65 13918
/proc/meminfo: memFree=1511648/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31720 CPUtime=162.28
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7010 0 0 0 16223 5 0 0 25 0 1 0 189339285 32481280 6906 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7930 6906 720 92 0 6274 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 31720
[startup+222.423 s]
/proc/loadavg: 0.99 0.97 1.08 2/65 13918
/proc/meminfo: memFree=1511648/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31744 CPUtime=222.28
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7016 0 0 0 22223 5 0 0 25 0 1 0 189339285 32505856 6912 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7936 6912 720 92 0 6280 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 31744
[startup+282.459 s]
/proc/loadavg: 0.99 0.97 1.07 2/65 13918
/proc/meminfo: memFree=1511648/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31756 CPUtime=282.27
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7019 0 0 0 28222 5 0 0 25 0 1 0 189339285 32518144 6915 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727371 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7939 6915 720 92 0 6283 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 31756
[startup+342.496 s]
/proc/loadavg: 1.07 0.99 1.07 2/65 13918
/proc/meminfo: memFree=1511648/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=342.27
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 34222 5 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727341 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 31764
[startup+402.538 s]
/proc/loadavg: 1.03 0.99 1.07 2/65 13918
/proc/meminfo: memFree=1511584/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=402.28
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 40223 5 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727341 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 31764
[startup+462.573 s]
/proc/loadavg: 1.01 0.99 1.06 2/65 13918
/proc/meminfo: memFree=1511584/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=462.26
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 46221 5 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 31764
[startup+522.606 s]
/proc/loadavg: 1.00 0.99 1.05 2/65 13920
/proc/meminfo: memFree=1511584/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=522.26
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 52221 5 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 31764
[startup+582.645 s]
/proc/loadavg: 1.00 0.99 1.05 2/65 13920
/proc/meminfo: memFree=1511584/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=582.28
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 58223 5 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727354 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 31764
[startup+642.684 s]
/proc/loadavg: 1.00 0.99 1.04 2/65 13920
/proc/meminfo: memFree=1511584/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=642.28
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 64223 5 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785549 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 31764
[startup+702.719 s]
/proc/loadavg: 1.00 0.99 1.04 2/65 13920
/proc/meminfo: memFree=1511520/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=702.29
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 70223 6 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 31764
[startup+762.758 s]
/proc/loadavg: 1.00 0.99 1.03 2/65 13920
/proc/meminfo: memFree=1511520/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=762.3
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 76224 6 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637395 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 31764
[startup+822.798 s]
/proc/loadavg: 1.00 0.99 1.03 2/65 13920
/proc/meminfo: memFree=1511520/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=822.3
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 82224 6 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727341 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 31764
[startup+882.832 s]
/proc/loadavg: 1.00 0.99 1.02 2/65 13920
/proc/meminfo: memFree=1511520/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=882.3
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 88224 6 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 31764
[startup+942.867 s]
/proc/loadavg: 1.00 0.99 1.01 2/65 13920
/proc/meminfo: memFree=1511520/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=942.3
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 94224 6 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812696 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 31764
[startup+1002.91 s]
/proc/loadavg: 1.00 0.99 1.01 2/65 13920
/proc/meminfo: memFree=1511520/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=1002.31
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 100225 6 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727362 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 31764
[startup+1062.95 s]
/proc/loadavg: 1.00 0.99 1.00 2/65 13920
/proc/meminfo: memFree=1511584/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=1062.3
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 106224 6 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637293 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 31764
[startup+1122.98 s]
/proc/loadavg: 1.00 0.99 1.00 2/65 13920
/proc/meminfo: memFree=1511520/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=1122.31
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 112225 6 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727371 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 31764
[startup+1183.02 s]
/proc/loadavg: 1.00 0.99 1.00 2/65 13920
/proc/meminfo: memFree=1511520/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=1182.29
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 118223 6 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 31764
[startup+1243.06 s]
/proc/loadavg: 1.00 0.99 1.00 2/65 13920
/proc/meminfo: memFree=1511520/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=1242.29
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 124223 6 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 31764
[startup+1303.1 s]
/proc/loadavg: 1.00 0.99 1.00 2/65 13920
/proc/meminfo: memFree=1511520/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=1302.31
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 130224 7 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812673 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 31764
[startup+1363.14 s]
/proc/loadavg: 1.00 0.99 1.00 2/65 13920
/proc/meminfo: memFree=1511520/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=1362.3
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 136223 7 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 31764
[startup+1423.17 s]
/proc/loadavg: 1.00 0.99 1.00 2/65 13920
/proc/meminfo: memFree=1511520/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=1422.3
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 142223 7 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727362 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 31764
[startup+1483.22 s]
/proc/loadavg: 1.00 0.99 1.00 2/65 13920
/proc/meminfo: memFree=1511520/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=1482.31
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 148224 7 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710132 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 31764
[startup+1543.25 s]
/proc/loadavg: 1.00 0.99 1.00 2/65 13920
/proc/meminfo: memFree=1511456/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=1542.31
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 154224 7 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 31764
[startup+1603.28 s]
/proc/loadavg: 1.00 0.99 1.00 2/65 13920
/proc/meminfo: memFree=1511456/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=1602.31
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 160224 7 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722032 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 31764
[startup+1663.33 s]
/proc/loadavg: 1.00 0.99 1.00 2/65 13920
/proc/meminfo: memFree=1511456/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=1662.3
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 166223 7 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637510 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 31764
[startup+1723.36 s]
/proc/loadavg: 1.00 0.99 1.00 2/65 13920
/proc/meminfo: memFree=1511456/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=1722.29
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 172222 7 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 31764
[startup+1783.4 s]
/proc/loadavg: 1.00 0.99 1.00 2/65 13920
/proc/meminfo: memFree=1511456/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=1782.31
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 178224 7 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727341 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 31764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.12 s]
/proc/loadavg: 1.00 0.99 1.00 2/65 13920
/proc/meminfo: memFree=1511456/2055920 swapFree=4192192/4192956
[pid=13917] ppid=13915 vsize=31764 CPUtime=1800.04
/proc/13917/stat : 13917 (solver) R 13915 13917 12532 0 -1 4194304 7021 0 0 0 179996 8 0 0 25 0 1 0 189339285 32526336 6917 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/13917/statm: 7941 6917 720 92 0 6285 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 31764
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.13
CPU time (s): 1800.05
CPU user time (s): 1799.97
CPU system time (s): 0.084987
CPU usage (%): 99.94
Max. virtual memory (cumulated for all children) (KiB): 31764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7021
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11
involuntary context switches= 6991
runsolver used 1.81072 s user time and 4.5913 s system time
The end
Begin job on node55 on Wed Jan 10 06:10:10 UTC 2007
IDJOB= 252666
IDBENCH= 12961
FILE ID= node55/252666-1168409409
PBS_JOBID= 3523391
Free space on /tmp= 66556 MiB
BENCH NAME= HOME/pub/bench/CPAI06/socialGolfers/socialGolfer-10-4-8.xml
COMMAND LINE= /tmp/evaluation/252666-1168409409/mistral/bin/solver /tmp/evaluation/252666-1168409409/unknown.xml -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-252666-1168409409 -o ROOT/results/node55/solver-252666-1168409409 -C 1800 -M 900 /tmp/evaluation/252666-1168409409/mistral/bin/solver /tmp/evaluation/252666-1168409409/unknown.xml -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 438cb9b1cc995a1c98e119c00b2b67b9
RANDOM SEED= 701708960
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 : 5931.00
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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1536336 kB
Buffers: 44612 kB
Cached: 402152 kB
SwapCached: 268 kB
Active: 189636 kB
Inactive: 272812 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1536336 kB
SwapTotal: 4192956 kB
SwapFree: 4192192 kB
Dirty: 8928 kB
Writeback: 0 kB
Mapped: 24648 kB
Slab: 43160 kB
Committed_AS: 4176688 kB
PageTables: 1384 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= 66556 MiB
End job on node55 on Wed Jan 10 06:40:11 UTC 2007