321.10 v 130 28 30 129 27 35 55 128 58 64 93 90 88 95 127 124 94 33 86 125 101 113 96 68 44 69 45 38 53 114 42 48 140 37 5 107 132 139 142 8 145 4 2 11 137 146 7 9 3 135 144 148 143 133 138 12 61 81 131 67 149 70 75 77 16 24 92 18 134 79 66 78 74 72 89 17 20 80 19 26 13 1 65 29 22 136 23 73 150 63 84 97 85 82 76 71 83 62 25 21 14 50 60 98 49 10 87 15 47 52 40 109 103 105 111 41 106 117 36 54 121 46 56 141 112 57 147 6 43 99 39 59 32 100 31 108 116 122 91 118 104 119 126 115 110 120 123 51 102 34
321.10 s SATISFIABLE
321.10 c 185.08 s
321.10 d NODES 8574
321.10 d CHECKS 503649733
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-269767-1169132160 -o ROOT/results/node9/solver-269767-1169132160 -C 1800 -M 900 /tmp/evaluation/269767-1169132160/cspfj.sh -competition /tmp/evaluation/269767-1169132160/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.00 0.00 0.00 4/81 7604
/proc/meminfo: memFree=1533408/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 261611142 5480448 228 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215419158610 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/7603/statm: 1338 228 191 169 0 49 0
[pid=7605] ppid=7603 vsize=24 CPUtime=0
/proc/7605/stat : 7605 (dirname) D 7603 7603 7491 0 -1 4194304 25 0 0 0 0 0 0 0 18 0 1 0 261611142 24576 1 18446744073709551615 0 0 548682070179 18446744073709551615 215418989863 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/7605/statm: 6 1 0 0 0 1 0
[startup+0.103734 s]
/proc/loadavg: 0.00 0.00 0.00 4/81 7604
/proc/meminfo: memFree=1533408/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.51578 s]
/proc/loadavg: 0.00 0.00 0.00 4/81 7604
/proc/meminfo: memFree=1533408/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+1.34487 s]
/proc/loadavg: 0.00 0.00 0.00 2/89 7613
/proc/meminfo: memFree=1517280/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
[pid=7606] ppid=7603 vsize=866240 CPUtime=1.3
/proc/7606/stat : 7606 (java) R 7603 7603 7491 0 -1 0 6952 0 1 0 123 7 0 0 16 0 8 0 261611143 887029760 6654 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073330699 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7606/statm: 216560 6654 1829 14 0 203821 0
[pid=7606/tid=7607] ppid=7603 vsize=866240 CPUtime=0.2
/proc/7606/task/7607/stat : 7607 (java) S 7603 7603 7491 0 -1 64 2609 0 0 0 19 1 0 0 16 0 8 0 261611147 887029760 6654 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7608] ppid=7603 vsize=866240 CPUtime=0
/proc/7606/task/7608/stat : 7608 (java) S 7603 7603 7491 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 261611147 887029760 6654 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7609] ppid=7603 vsize=866240 CPUtime=0
/proc/7606/task/7609/stat : 7609 (java) S 7603 7603 7491 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 261611148 887029760 6654 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7610] ppid=7603 vsize=866240 CPUtime=0
/proc/7606/task/7610/stat : 7610 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 261611151 887029760 6654 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7611] ppid=7603 vsize=866240 CPUtime=0.25
/proc/7606/task/7611/stat : 7611 (java) S 7603 7603 7491 0 -1 64 644 0 0 0 24 1 0 0 16 0 8 0 261611151 887029760 6654 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7612] ppid=7603 vsize=866240 CPUtime=0
/proc/7606/task/7612/stat : 7612 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 261611151 887029760 6655 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7613] ppid=7603 vsize=866240 CPUtime=0
/proc/7606/task/7613/stat : 7613 (java) S 7603 7603 7491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 261611151 887029760 6655 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 871592
[startup+2.98306 s]
/proc/loadavg: 0.00 0.00 0.00 4/92 7639
/proc/meminfo: memFree=1497984/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
[pid=7606] ppid=7603 vsize=866364 CPUtime=2.94
/proc/7606/stat : 7606 (java) R 7603 7603 7491 0 -1 0 13458 0 1 0 279 15 0 0 16 0 8 0 261611143 887156736 13130 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4155092028 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7606/statm: 216591 13130 1829 14 0 203852 0
[pid=7606/tid=7607] ppid=7603 vsize=866364 CPUtime=0.52
/proc/7606/task/7607/stat : 7607 (java) S 7603 7603 7491 0 -1 64 8374 0 0 0 48 4 0 0 16 0 8 0 261611147 887156736 13130 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7608] ppid=7603 vsize=866364 CPUtime=0
/proc/7606/task/7608/stat : 7608 (java) S 7603 7603 7491 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 261611147 887156736 13130 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7609] ppid=7603 vsize=866364 CPUtime=0
/proc/7606/task/7609/stat : 7609 (java) S 7603 7603 7491 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 261611148 887156736 13130 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7610] ppid=7603 vsize=866364 CPUtime=0
/proc/7606/task/7610/stat : 7610 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 261611151 887156736 13130 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7611] ppid=7603 vsize=866364 CPUtime=0.28
/proc/7606/task/7611/stat : 7611 (java) S 7603 7603 7491 0 -1 64 663 0 0 0 27 1 0 0 15 0 8 0 261611151 887156736 13130 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7612] ppid=7603 vsize=866364 CPUtime=0
/proc/7606/task/7612/stat : 7612 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 261611151 887156736 13130 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7613] ppid=7603 vsize=866364 CPUtime=0
/proc/7606/task/7613/stat : 7613 (java) S 7603 7603 7491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 261611151 887156736 13130 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 871716
[startup+6.28343 s]
/proc/loadavg: 0.24 0.05 0.02 5/102 7672
/proc/meminfo: memFree=1418344/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
[pid=7606] ppid=7603 vsize=866588 CPUtime=6.23
/proc/7606/stat : 7606 (java) R 7603 7603 7491 0 -1 0 24352 0 1 0 597 26 0 0 16 0 8 0 261611143 887386112 24003 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7606/statm: 216647 24003 1829 14 0 203908 0
[pid=7606/tid=7607] ppid=7603 vsize=866588 CPUtime=1.3
/proc/7606/task/7607/stat : 7607 (java) R 7603 7603 7491 0 -1 64 17912 0 0 0 122 8 0 0 22 0 8 0 261611147 887386112 24003 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7608] ppid=7603 vsize=866588 CPUtime=0
/proc/7606/task/7608/stat : 7608 (java) S 7603 7603 7491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 261611147 887386112 24003 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7609] ppid=7603 vsize=866588 CPUtime=0
/proc/7606/task/7609/stat : 7609 (java) S 7603 7603 7491 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 261611148 887386112 24003 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7610] ppid=7603 vsize=866588 CPUtime=0
/proc/7606/task/7610/stat : 7610 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 261611151 887386112 24003 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7611] ppid=7603 vsize=866588 CPUtime=0.34
/proc/7606/task/7611/stat : 7611 (java) S 7603 7603 7491 0 -1 64 687 0 0 0 33 1 0 0 16 0 8 0 261611151 887386112 24003 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7612] ppid=7603 vsize=866588 CPUtime=0
/proc/7606/task/7612/stat : 7612 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 261611151 887386112 24003 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7613] ppid=7603 vsize=866588 CPUtime=0
/proc/7606/task/7613/stat : 7613 (java) S 7603 7603 7491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 261611151 887386112 24003 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 871940
[startup+12.6891 s]
/proc/loadavg: 0.46 0.10 0.03 4/102 7672
/proc/meminfo: memFree=1327272/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
[pid=7606] ppid=7603 vsize=866588 CPUtime=12.64
/proc/7606/stat : 7606 (java) R 7603 7603 7491 0 -1 0 38521 0 1 0 1220 44 0 0 16 0 8 0 261611143 887386112 38157 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073517708 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7606/statm: 216647 38157 1829 14 0 203908 0
[pid=7606/tid=7607] ppid=7603 vsize=866588 CPUtime=2.11
/proc/7606/task/7607/stat : 7607 (java) R 7603 7603 7491 0 -1 64 30499 0 0 0 197 14 0 0 25 0 8 0 261611147 887386112 38157 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7608] ppid=7603 vsize=866588 CPUtime=0
/proc/7606/task/7608/stat : 7608 (java) S 7603 7603 7491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 261611147 887386112 38157 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7609] ppid=7603 vsize=866588 CPUtime=0
/proc/7606/task/7609/stat : 7609 (java) S 7603 7603 7491 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 261611148 887386112 38157 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7610] ppid=7603 vsize=866588 CPUtime=0
/proc/7606/task/7610/stat : 7610 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 261611151 887386112 38157 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7611] ppid=7603 vsize=866588 CPUtime=0.34
/proc/7606/task/7611/stat : 7611 (java) S 7603 7603 7491 0 -1 64 687 0 0 0 33 1 0 0 16 0 8 0 261611151 887386112 38157 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7612] ppid=7603 vsize=866588 CPUtime=0
/proc/7606/task/7612/stat : 7612 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 261611151 887386112 38157 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7613] ppid=7603 vsize=866588 CPUtime=0
/proc/7606/task/7613/stat : 7613 (java) S 7603 7603 7491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 261611151 887386112 38157 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 871940
[startup+25.5546 s]
/proc/loadavg: 1.01 0.24 0.08 4/102 7672
/proc/meminfo: memFree=1247464/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
[pid=7606] ppid=7603 vsize=867612 CPUtime=25.5
/proc/7606/stat : 7606 (java) R 7603 7603 7491 0 -1 0 58145 0 1 0 2481 69 0 0 25 0 8 0 261611143 888434688 57769 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073653080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7606/statm: 216903 57769 1829 14 0 204164 0
[pid=7606/tid=7607] ppid=7603 vsize=867612 CPUtime=3.06
/proc/7606/task/7607/stat : 7607 (java) S 7603 7603 7491 0 -1 64 48569 0 0 0 284 22 0 0 16 0 8 0 261611147 888434688 57769 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7608] ppid=7603 vsize=867612 CPUtime=0
/proc/7606/task/7608/stat : 7608 (java) S 7603 7603 7491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 261611147 888434688 57769 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7609] ppid=7603 vsize=867612 CPUtime=0
/proc/7606/task/7609/stat : 7609 (java) S 7603 7603 7491 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 261611148 888434688 57769 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7610] ppid=7603 vsize=867612 CPUtime=0
/proc/7606/task/7610/stat : 7610 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 261611151 888434688 57769 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7611] ppid=7603 vsize=867612 CPUtime=0.34
/proc/7606/task/7611/stat : 7611 (java) S 7603 7603 7491 0 -1 64 687 0 0 0 33 1 0 0 16 0 8 0 261611151 888434688 57769 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7612] ppid=7603 vsize=867612 CPUtime=0
/proc/7606/task/7612/stat : 7612 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 261611151 888434688 57769 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7613] ppid=7603 vsize=867612 CPUtime=0
/proc/7606/task/7613/stat : 7613 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 261611151 888434688 57769 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 872964
[startup+51.1837 s]
/proc/loadavg: 1.12 0.33 0.11 2/89 7685
/proc/meminfo: memFree=1231520/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
[pid=7606] ppid=7603 vsize=867760 CPUtime=51.08
/proc/7606/stat : 7606 (java) R 7603 7603 7491 0 -1 0 77314 0 2 0 5012 96 0 0 16 0 8 0 261611143 888586240 76913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074231113 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7606/statm: 216940 76913 1835 14 0 204201 0
[pid=7606/tid=7607] ppid=7603 vsize=867760 CPUtime=4.18
/proc/7606/task/7607/stat : 7607 (java) S 7603 7603 7491 0 -1 64 65453 0 0 0 390 28 0 0 16 0 8 0 261611147 888586240 76913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7608] ppid=7603 vsize=867760 CPUtime=0
/proc/7606/task/7608/stat : 7608 (java) S 7603 7603 7491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 261611147 888586240 76913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7609] ppid=7603 vsize=867760 CPUtime=0
/proc/7606/task/7609/stat : 7609 (java) S 7603 7603 7491 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 261611148 888586240 76913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7610] ppid=7603 vsize=867760 CPUtime=0
/proc/7606/task/7610/stat : 7610 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 261611151 888586240 76913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7611] ppid=7603 vsize=867760 CPUtime=0.91
/proc/7606/task/7611/stat : 7611 (java) S 7603 7603 7491 0 -1 64 1071 0 0 0 87 4 0 0 16 0 8 0 261611151 888586240 76913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7612] ppid=7603 vsize=867760 CPUtime=0
/proc/7606/task/7612/stat : 7612 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 261611151 888586240 76913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7613] ppid=7603 vsize=867760 CPUtime=0
/proc/7606/task/7613/stat : 7613 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 261611151 888586240 76913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 873112
[startup+102.426 s]
/proc/loadavg: 1.16 0.46 0.17 2/89 7757
/proc/meminfo: memFree=1199584/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
[pid=7606] ppid=7603 vsize=875028 CPUtime=102.18
/proc/7606/stat : 7606 (java) R 7603 7603 7491 0 -1 0 85241 0 2 0 10087 131 0 0 16 0 8 0 261611143 896028672 84839 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074229028 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7606/statm: 218757 84839 1835 14 0 206018 0
[pid=7606/tid=7607] ppid=7603 vsize=875028 CPUtime=4.26
/proc/7606/task/7607/stat : 7607 (java) S 7603 7603 7491 0 -1 64 67918 0 0 0 397 29 0 0 16 0 8 0 261611147 896028672 84839 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7608] ppid=7603 vsize=875028 CPUtime=0
/proc/7606/task/7608/stat : 7608 (java) S 7603 7603 7491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 261611147 896028672 84839 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7609] ppid=7603 vsize=875028 CPUtime=0
/proc/7606/task/7609/stat : 7609 (java) S 7603 7603 7491 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 261611148 896028672 84839 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7610] ppid=7603 vsize=875028 CPUtime=0
/proc/7606/task/7610/stat : 7610 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 261611151 896028672 84839 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7611] ppid=7603 vsize=875028 CPUtime=6.37
/proc/7606/task/7611/stat : 7611 (java) S 7603 7603 7491 0 -1 64 6462 0 0 0 605 32 0 0 16 0 8 0 261611151 896028672 84839 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7612] ppid=7603 vsize=875028 CPUtime=0
/proc/7606/task/7612/stat : 7612 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 261611151 896028672 84839 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7613] ppid=7603 vsize=875028 CPUtime=0
/proc/7606/task/7613/stat : 7613 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 261611151 896028672 84839 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 880380
[startup+162.52 s]
/proc/loadavg: 1.12 0.57 0.22 2/89 7897
/proc/meminfo: memFree=1186016/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
[pid=7606] ppid=7603 vsize=878696 CPUtime=162.19
/proc/7606/stat : 7606 (java) R 7603 7603 7491 0 -1 0 88577 0 2 0 16073 146 0 0 25 0 8 0 261611143 899784704 87788 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4096437992 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7606/statm: 219674 87788 1835 14 0 206935 0
[pid=7606/tid=7607] ppid=7603 vsize=878696 CPUtime=5.43
/proc/7606/task/7607/stat : 7607 (java) S 7603 7603 7491 0 -1 64 69012 0 0 0 514 29 0 0 16 0 8 0 261611147 899784704 87788 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7608] ppid=7603 vsize=878696 CPUtime=0
/proc/7606/task/7608/stat : 7608 (java) S 7603 7603 7491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 261611147 899784704 87788 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7609] ppid=7603 vsize=878696 CPUtime=0
/proc/7606/task/7609/stat : 7609 (java) S 7603 7603 7491 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 261611148 899784704 87788 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7610] ppid=7603 vsize=878696 CPUtime=0
/proc/7606/task/7610/stat : 7610 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 261611151 899784704 87788 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7611] ppid=7603 vsize=878696 CPUtime=8.58
/proc/7606/task/7611/stat : 7611 (java) S 7603 7603 7491 0 -1 64 8640 0 0 0 815 43 0 0 16 0 8 0 261611151 899784704 87788 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7612] ppid=7603 vsize=878696 CPUtime=0
/proc/7606/task/7612/stat : 7612 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 261611151 899784704 87788 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7613] ppid=7603 vsize=878696 CPUtime=0
/proc/7606/task/7613/stat : 7613 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 261611151 899784704 87788 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 884048
[startup+222.523 s]
/proc/loadavg: 1.52 0.77 0.31 3/102 7960
/proc/meminfo: memFree=1171896/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
[pid=7606] ppid=7603 vsize=878664 CPUtime=222.14
/proc/7606/stat : 7606 (java) R 7603 7603 7491 0 -1 0 88598 0 2 0 22067 147 0 0 25 0 8 0 261611143 899751936 87803 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4096451867 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7606/statm: 219666 87803 1835 14 0 206927 0
[pid=7606/tid=7607] ppid=7603 vsize=878664 CPUtime=5.43
/proc/7606/task/7607/stat : 7607 (java) S 7603 7603 7491 0 -1 64 69012 0 0 0 514 29 0 0 16 0 8 0 261611147 899751936 87803 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7608] ppid=7603 vsize=878664 CPUtime=0
/proc/7606/task/7608/stat : 7608 (java) S 7603 7603 7491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 261611147 899751936 87803 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7609] ppid=7603 vsize=878664 CPUtime=0
/proc/7606/task/7609/stat : 7609 (java) S 7603 7603 7491 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 261611148 899751936 87803 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7610] ppid=7603 vsize=878664 CPUtime=0
/proc/7606/task/7610/stat : 7610 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 261611151 899751936 87803 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7611] ppid=7603 vsize=878664 CPUtime=8.61
/proc/7606/task/7611/stat : 7611 (java) S 7603 7603 7491 0 -1 64 8655 0 0 0 818 43 0 0 16 0 8 0 261611151 899751936 87803 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7612] ppid=7603 vsize=878664 CPUtime=0
/proc/7606/task/7612/stat : 7612 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 261611151 899751936 87803 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7613] ppid=7603 vsize=878664 CPUtime=0
/proc/7606/task/7613/stat : 7613 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 261611151 899751936 87803 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 884016
[startup+282.544 s]
/proc/loadavg: 1.82 0.99 0.41 3/102 7960
/proc/meminfo: memFree=1172088/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
[pid=7606] ppid=7603 vsize=878472 CPUtime=282.12
/proc/7606/stat : 7606 (java) R 7603 7603 7491 0 -1 0 88605 0 2 0 28064 148 0 0 25 0 8 0 261611143 899555328 87765 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4096458660 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7606/statm: 219618 87765 1835 14 0 206879 0
[pid=7606/tid=7607] ppid=7603 vsize=878472 CPUtime=5.43
/proc/7606/task/7607/stat : 7607 (java) S 7603 7603 7491 0 -1 64 69012 0 0 0 514 29 0 0 16 0 8 0 261611147 899555328 87765 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7608] ppid=7603 vsize=878472 CPUtime=0
/proc/7606/task/7608/stat : 7608 (java) S 7603 7603 7491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 261611147 899555328 87765 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7609] ppid=7603 vsize=878472 CPUtime=0
/proc/7606/task/7609/stat : 7609 (java) S 7603 7603 7491 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 261611148 899555328 87765 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7610] ppid=7603 vsize=878472 CPUtime=0
/proc/7606/task/7610/stat : 7610 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 261611151 899555328 87765 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7611] ppid=7603 vsize=878472 CPUtime=8.62
/proc/7606/task/7611/stat : 7611 (java) S 7603 7603 7491 0 -1 64 8658 0 0 0 819 43 0 0 16 0 8 0 261611151 899555328 87765 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7612] ppid=7603 vsize=878472 CPUtime=0
/proc/7606/task/7612/stat : 7612 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 261611151 899555328 87765 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7613] ppid=7603 vsize=878472 CPUtime=0
/proc/7606/task/7613/stat : 7613 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 261611151 899555328 87765 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 883824
Child status: 0
Real time (s): 321.199
CPU time (s): 320.663
CPU user time (s): 319.084
CPU system time (s): 1.57976
CPU usage (%): 99.8332
Max. virtual memory (cumulated for all children) (KiB): 885496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 319.083
system time used= 1.57976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89075
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32429
involuntary context switches= 16154
runsolver used 0.395939 s user time and 1.00885 s system time
The end
Begin job on node9 on Thu Jan 18 14:56:00 UTC 2007
IDJOB= 269767
IDBENCH= 3081
IDSOLVER= 91
FILE ID= node9/269767-1169132160
PBS_JOBID= 3582425
Free space on /tmp= 66563 MiB
SOLVER NAME= CSP4J - MAC 2007-01-16
BENCH NAME= HOME/pub/bench/CPAI06/queens/queens-150.xml
COMMAND LINE= /tmp/evaluation/269767-1169132160/cspfj.sh -competition /tmp/evaluation/269767-1169132160/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-269767-1169132160 -o ROOT/results/node9/solver-269767-1169132160 -C 1800 -M 900 /tmp/evaluation/269767-1169132160/cspfj.sh -competition /tmp/evaluation/269767-1169132160/unknown.xml
META MD5SUM SOLVER= 1cf1b9d4821c2ee5eee0dc0e02656faa
MD5SUM BENCH= b0d89abe262117e726883b3c610dd5a5
RANDOM SEED= 757357929
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.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: 1533888 kB
Buffers: 52176 kB
Cached: 341616 kB
SwapCached: 268 kB
Active: 172560 kB
Inactive: 268156 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1533888 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1632 kB
Writeback: 0 kB
Mapped: 58652 kB
Slab: 66448 kB
Committed_AS: 7466648 kB
PageTables: 2136 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= 66563 MiB
End job on node9 on Thu Jan 18 15:01:21 UTC 2007