0.18/0.23 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.18/0.23 c Parsing = 1
2.35/2.41 c Building = 1
3.34/3.42 c [ NumberOfVariables = 2500 ]
3.34/3.42 c [ NumberOfConstraints = 62132 ]
3.34/3.46 c [ SizeOfSearchSpace(log2) = 22480.7 ]
3.34/3.46 c SymmetrySearch = 1
39.51/39.92 c InitialPropagation = 1
39.61/40.05 c [ SizeOfSearchSpace(log2) = 22464.7 ]
39.61/40.05 c InitialSAC = (Timeout)
42.98/43.48 c [ SizeOfSearchSpace(log2) = 22464.2 ]
43.08/43.56 c Search(DomWDeg) =
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086516-1215239715/watcher-1086516-1215239715 -o /tmp/evaluation-result-1086516-1215239715/solver-1086516-1215239715 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1086516-1215239715.xml 591799330
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: 1.93 2.15 2.36 4/73 21729
/proc/meminfo: memFree=1670912/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=18572 CPUtime=0
/proc/21729/stat : 21729 (runsolver) R 21727 21729 19796 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 646905111 19017728 292 996147200 4194304 4296836 548682068464 18446744073709551615 231493659943 0 0 4096 24578 0 0 0 17 1 0 0
/proc/21729/statm: 4643 292 257 25 0 2626 0
[startup+0.071138 s]
/proc/loadavg: 1.93 2.15 2.36 4/73 21729
/proc/meminfo: memFree=1670912/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=6472 CPUtime=0.05
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 732 0 0 0 5 0 0 0 18 0 1 0 646905111 6627328 692 996147200 134512640 135472138 4294956224 18446744073709551615 134799272 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 1618 692 368 234 0 320 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6472
[startup+0.101138 s]
/proc/loadavg: 1.93 2.15 2.36 4/73 21729
/proc/meminfo: memFree=1670912/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=6868 CPUtime=0.08
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 831 0 0 0 8 0 0 0 18 0 1 0 646905111 7032832 791 996147200 134512640 135472138 4294956224 18446744073709551615 11527803 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 1717 791 368 234 0 419 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6868
[startup+0.301171 s]
/proc/loadavg: 1.93 2.15 2.36 4/73 21729
/proc/meminfo: memFree=1670912/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=9376 CPUtime=0.28
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 1468 0 0 0 28 0 0 0 19 0 1 0 646905111 9601024 1428 996147200 134512640 135472138 4294956224 18446744073709551615 4158766072 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 2344 1428 368 234 0 1046 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9376
[startup+0.70123 s]
/proc/loadavg: 1.93 2.15 2.36 4/73 21729
/proc/meminfo: memFree=1670912/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=14392 CPUtime=0.68
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 2699 0 0 0 68 0 0 0 23 0 1 0 646905111 14737408 2659 996147200 134512640 135472138 4294956224 18446744073709551615 134749067 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 3598 2659 368 234 0 2300 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14392
[startup+1.50135 s]
/proc/loadavg: 1.93 2.15 2.36 3/74 21730
/proc/meminfo: memFree=1658040/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=23764 CPUtime=1.47
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 5051 0 0 0 145 2 0 0 25 0 1 0 646905111 24334336 5011 996147200 134512640 135472138 4294956224 18446744073709551615 134774657 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 5941 5011 368 234 0 4643 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 23764
[startup+3.10182 s]
/proc/loadavg: 1.93 2.15 2.36 4/74 21730
/proc/meminfo: memFree=1644856/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=316648 CPUtime=3.05
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 42355 0 1 0 287 18 0 0 25 0 1 0 646905111 324247552 42316 996147200 134512640 135472138 4294956224 18446744073709551615 134712848 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 79162 42316 421 234 0 77864 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 316648
[startup+6.30231 s]
/proc/loadavg: 1.93 2.14 2.36 3/74 21730
/proc/meminfo: memFree=1400376/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=426824 CPUtime=6.22
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 68364 0 1 0 594 28 0 0 25 0 1 0 646905111 437067776 67910 996147200 134512640 135472138 4294956224 18446744073709551615 134535929 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 106706 67910 457 234 0 105408 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 426824
[startup+12.702 s]
/proc/loadavg: 1.94 2.14 2.36 3/74 21730
/proc/meminfo: memFree=1398648/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=426824 CPUtime=12.56
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 68826 0 1 0 1227 29 0 0 25 0 1 0 646905111 437067776 68345 996147200 134512640 135472138 4294956224 18446744073709551615 134534925 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 106706 68345 457 234 0 105408 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 426824
[startup+25.5019 s]
/proc/loadavg: 1.95 2.13 2.35 3/74 21730
/proc/meminfo: memFree=1395960/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=426824 CPUtime=25.24
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 69533 0 1 0 2495 29 0 0 25 0 1 0 646905111 437067776 69006 996147200 134512640 135472138 4294956224 18446744073709551615 134535923 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 106706 69006 457 234 0 105408 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 426824
[startup+51.1016 s]
/proc/loadavg: 1.97 2.12 2.34 3/74 21730
/proc/meminfo: memFree=1458168/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=50.61
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71401 0 2 0 5030 31 0 0 25 0 1 0 646905111 339902464 53496 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53496 511 234 0 81686 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 331936
[startup+102.306 s]
/proc/loadavg: 1.98 2.10 2.32 3/74 21730
/proc/meminfo: memFree=1457976/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=101.38
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71401 0 2 0 10106 32 0 0 25 0 1 0 646905111 339902464 53496 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53496 511 234 0 81686 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 331936
[startup+162.302 s]
/proc/loadavg: 1.99 2.08 2.30 3/74 21730
/proc/meminfo: memFree=1457912/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=160.86
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71406 0 2 0 16054 32 0 0 25 0 1 0 646905111 339902464 53501 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53501 511 234 0 81686 0
Current children cumulated CPU time (s) 160.86
Current children cumulated vsize (KiB) 331936
[startup+222.302 s]
/proc/loadavg: 1.99 2.06 2.28 3/74 21730
/proc/meminfo: memFree=1457784/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=220.34
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71421 0 2 0 22002 32 0 0 25 0 1 0 646905111 339902464 53516 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53516 511 234 0 81686 0
Current children cumulated CPU time (s) 220.34
Current children cumulated vsize (KiB) 331936
[startup+282.302 s]
/proc/loadavg: 1.99 2.05 2.26 3/74 21730
/proc/meminfo: memFree=1457656/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=279.84
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71421 0 2 0 27951 33 0 0 25 0 1 0 646905111 339902464 53516 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53516 511 234 0 81686 0
Current children cumulated CPU time (s) 279.84
Current children cumulated vsize (KiB) 331936
[startup+342.303 s]
/proc/loadavg: 1.99 2.04 2.24 4/81 21789
/proc/meminfo: memFree=1470008/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=339.51
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71421 0 2 0 33917 34 0 0 25 0 1 0 646905111 339902464 53516 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53516 511 234 0 81686 0
Current children cumulated CPU time (s) 339.51
Current children cumulated vsize (KiB) 331936
[startup+402.301 s]
/proc/loadavg: 2.07 2.06 2.23 3/81 21789
/proc/meminfo: memFree=1090880/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=398.95
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71421 0 2 0 39861 34 0 0 25 0 1 0 646905111 339902464 53516 996147200 134512640 135472138 4294956224 18446744073709551615 135202774 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53516 511 234 0 81686 0
Current children cumulated CPU time (s) 398.95
Current children cumulated vsize (KiB) 331936
[startup+462.301 s]
/proc/loadavg: 2.02 2.04 2.21 3/81 21789
/proc/meminfo: memFree=1043328/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=458.38
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71421 0 2 0 45804 34 0 0 25 0 1 0 646905111 339902464 53516 996147200 134512640 135472138 4294956224 18446744073709551615 135202667 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53516 511 234 0 81686 0
Current children cumulated CPU time (s) 458.38
Current children cumulated vsize (KiB) 331936
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.20 3/81 21789
/proc/meminfo: memFree=1037376/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=517.83
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71421 0 2 0 51748 35 0 0 25 0 1 0 646905111 339902464 53516 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53516 511 234 0 81686 0
Current children cumulated CPU time (s) 517.83
Current children cumulated vsize (KiB) 331936
[startup+582.302 s]
/proc/loadavg: 2.00 2.02 2.18 3/81 21789
/proc/meminfo: memFree=1037312/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=577.27
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71421 0 2 0 57692 35 0 0 25 0 1 0 646905111 339902464 53516 996147200 134512640 135472138 4294956224 18446744073709551615 135202754 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53516 511 234 0 81686 0
Current children cumulated CPU time (s) 577.27
Current children cumulated vsize (KiB) 331936
[startup+642.302 s]
/proc/loadavg: 2.00 2.02 2.17 3/81 21789
/proc/meminfo: memFree=1037248/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=636.71
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71421 0 2 0 63636 35 0 0 25 0 1 0 646905111 339902464 53516 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53516 511 234 0 81686 0
Current children cumulated CPU time (s) 636.71
Current children cumulated vsize (KiB) 331936
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.13 3/81 21789
/proc/meminfo: memFree=1032256/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=815.03
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71421 0 2 0 81468 35 0 0 25 0 1 0 646905111 339902464 53516 996147200 134512640 135472138 4294956224 18446744073709551615 135202654 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53516 511 234 0 81686 0
Current children cumulated CPU time (s) 815.03
Current children cumulated vsize (KiB) 331936
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.12 3/81 21789
/proc/meminfo: memFree=1032256/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=874.46
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71421 0 2 0 87411 35 0 0 25 0 1 0 646905111 339902464 53516 996147200 134512640 135472138 4294956224 18446744073709551615 135202774 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53516 511 234 0 81686 0
Current children cumulated CPU time (s) 874.46
Current children cumulated vsize (KiB) 331936
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.11 3/81 21791
/proc/meminfo: memFree=1032128/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=933.9
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71421 0 2 0 93355 35 0 0 25 0 1 0 646905111 339902464 53516 996147200 134512640 135472138 4294956224 18446744073709551615 135202654 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53516 511 234 0 81686 0
Current children cumulated CPU time (s) 933.9
Current children cumulated vsize (KiB) 331936
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/81 21791
/proc/meminfo: memFree=1032064/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=993.33
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71421 0 2 0 99298 35 0 0 25 0 1 0 646905111 339902464 53516 996147200 134512640 135472138 4294956224 18446744073709551615 135202779 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53516 511 234 0 81686 0
Current children cumulated CPU time (s) 993.33
Current children cumulated vsize (KiB) 331936
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/81 21791
/proc/meminfo: memFree=1032000/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=1052.77
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71421 0 2 0 105242 35 0 0 25 0 1 0 646905111 339902464 53516 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53516 511 234 0 81686 0
Current children cumulated CPU time (s) 1052.77
Current children cumulated vsize (KiB) 331936
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/81 21791
/proc/meminfo: memFree=1032000/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=1112.21
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71421 0 2 0 111186 35 0 0 25 0 1 0 646905111 339902464 53516 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53516 511 234 0 81686 0
Current children cumulated CPU time (s) 1112.21
Current children cumulated vsize (KiB) 331936
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/81 21791
/proc/meminfo: memFree=1032000/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=1171.65
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71421 0 2 0 117130 35 0 0 25 0 1 0 646905111 339902464 53516 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53516 511 234 0 81686 0
Current children cumulated CPU time (s) 1171.65
Current children cumulated vsize (KiB) 331936
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/81 21791
/proc/meminfo: memFree=1031872/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=1231.09
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71421 0 2 0 123074 35 0 0 25 0 1 0 646905111 339902464 53516 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53516 511 234 0 81686 0
Current children cumulated CPU time (s) 1231.09
Current children cumulated vsize (KiB) 331936
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/81 21791
/proc/meminfo: memFree=1031808/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=1290.53
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71421 0 2 0 129018 35 0 0 25 0 1 0 646905111 339902464 53516 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53516 511 234 0 81686 0
Current children cumulated CPU time (s) 1290.53
Current children cumulated vsize (KiB) 331936
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/81 21791
/proc/meminfo: memFree=1031808/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=1349.97
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71421 0 2 0 134962 35 0 0 25 0 1 0 646905111 339902464 53516 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53516 511 234 0 81686 0
Current children cumulated CPU time (s) 1349.97
Current children cumulated vsize (KiB) 331936
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.05 3/81 21791
/proc/meminfo: memFree=1031808/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=1409.41
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71432 0 2 0 140906 35 0 0 25 0 1 0 646905111 339902464 53527 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53527 511 234 0 81686 0
Current children cumulated CPU time (s) 1409.41
Current children cumulated vsize (KiB) 331936
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/81 21791
/proc/meminfo: memFree=1031744/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=1468.85
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71434 0 2 0 146850 35 0 0 25 0 1 0 646905111 339902464 53529 996147200 134512640 135472138 4294956224 18446744073709551615 135202757 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53529 511 234 0 81686 0
Current children cumulated CPU time (s) 1468.85
Current children cumulated vsize (KiB) 331936
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/81 21791
/proc/meminfo: memFree=1031744/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=1528.28
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71434 0 2 0 152793 35 0 0 25 0 1 0 646905111 339902464 53529 996147200 134512640 135472138 4294956224 18446744073709551615 135202667 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53529 511 234 0 81686 0
Current children cumulated CPU time (s) 1528.28
Current children cumulated vsize (KiB) 331936
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/81 21797
/proc/meminfo: memFree=1031488/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=1587.7
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71434 0 2 0 158735 35 0 0 25 0 1 0 646905111 339902464 53529 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53529 511 234 0 81686 0
Current children cumulated CPU time (s) 1587.7
Current children cumulated vsize (KiB) 331936
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/81 21797
/proc/meminfo: memFree=1031488/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=1647.14
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71439 0 2 0 164679 35 0 0 25 0 1 0 646905111 339902464 53534 996147200 134512640 135472138 4294956224 18446744073709551615 135202667 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53534 511 234 0 81686 0
Current children cumulated CPU time (s) 1647.14
Current children cumulated vsize (KiB) 331936
[startup+1722.3 s]
/proc/loadavg: 2.13 2.03 2.03 3/81 21797
/proc/meminfo: memFree=1031488/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=1706.58
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71439 0 2 0 170623 35 0 0 25 0 1 0 646905111 339902464 53534 996147200 134512640 135472138 4294956224 18446744073709551615 135202725 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53534 511 234 0 81686 0
Current children cumulated CPU time (s) 1706.58
Current children cumulated vsize (KiB) 331936
[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 2.03 3/81 21797
/proc/meminfo: memFree=1031296/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=1766.02
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71439 0 2 0 176566 36 0 0 25 0 1 0 646905111 339902464 53534 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53534 511 234 0 81686 0
Current children cumulated CPU time (s) 1766.02
Current children cumulated vsize (KiB) 331936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.6 s]
/proc/loadavg: 2.14 2.05 2.04 3/81 21797
/proc/meminfo: memFree=1031296/2055920 swapFree=4180808/4192956
[pid=21729] ppid=21727 vsize=331936 CPUtime=1800
/proc/21729/stat : 21729 (casperzito) R 21727 21729 19796 0 -1 4194304 71440 0 2 0 179964 36 0 0 25 0 1 0 646905111 339902464 53535 996147200 134512640 135472138 4294956224 18446744073709551615 135202661 0 0 4096 0 0 0 0 17 1 0 0
/proc/21729/statm: 82984 53535 511 234 0 81686 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 331936
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)
Real time (s): 1816.64
CPU time (s): 1800.04
CPU user time (s): 1799.65
CPU system time (s): 0.395939
CPU usage (%): 99.0864
Max. virtual memory (cumulated for all children) (KiB): 426824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.395939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71440
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 38181
runsolver used 1.80472 second user time and 5.01324 second system time
The end
Begin job on node39 at 2008-07-05 08:35:15
IDJOB=1086516
IDBENCH=57831
IDSOLVER=362
FILE ID=node39/1086516-1215239715
PBS_JOBID= 7881911
Free space on /tmp= 66524 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/fapp/fapp38/normalized-fapp38-2500-6.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086516-1215239715/watcher-1086516-1215239715 -o /tmp/evaluation-result-1086516-1215239715/solver-1086516-1215239715 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1086516-1215239715.xml 591799330
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 2d78d2c503f7e7a2468aae81a997d77e
RANDOM SEED=591799330
node39.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.267
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.267
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: 1671392 kB
Buffers: 28460 kB
Cached: 204072 kB
SwapCached: 6012 kB
Active: 225788 kB
Inactive: 104520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1671392 kB
SwapTotal: 4192956 kB
SwapFree: 4180808 kB
Dirty: 11556 kB
Writeback: 0 kB
Mapped: 105152 kB
Slab: 39272 kB
Committed_AS: 1104936 kB
PageTables: 1992 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= 66540 MiB
End job on node39 at 2008-07-05 09:05:34