runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2088232-1247387753/watcher-2088232-1247387753 -o /tmp/evaluation-result-2088232-1247387753/solver-2088232-1247387753 -C 1800 -W 2000 -M 900 HOME/solver -benchname HOME/instance-2088232-1247387753.xml -dir HOME -tmpdir HOME
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): 2000 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
[startup+0 s]
/proc/loadavg: 2.07 2.03 2.00 4/72 24563
/proc/meminfo: memFree=1849352/2055920 swapFree=4192812/4192956
[pid=24563] ppid=24561 vsize=18576 CPUtime=0
/proc/24563/stat : 24563 (runsolver) R 24561 23693 23693 0 -1 4194368 3 0 0 0 0 0 0 0 19 0 1 0 25838715 19021824 282 996147200 4194304 4302564 548682068400 18446744073709551615 248761608948 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24563/statm: 4644 282 247 26 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.275179 s]
/proc/loadavg: 2.07 2.03 2.00 4/72 24563
/proc/meminfo: memFree=1849352/2055920 swapFree=4192812/4192956
[pid=24563] ppid=24561 vsize=5356 CPUtime=0
/proc/24563/stat : 24563 (solver) S 24561 24563 23693 0 -1 4194304 314 142 0 0 0 0 0 0 20 0 1 0 25838715 5484544 241 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24563/statm: 1339 241 200 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301175 s]
/proc/loadavg: 2.07 2.03 2.00 4/72 24563
/proc/meminfo: memFree=1849352/2055920 swapFree=4192812/4192956
[pid=24563] ppid=24561 vsize=5356 CPUtime=0
/proc/24563/stat : 24563 (solver) S 24561 24563 23693 0 -1 4194304 314 142 0 0 0 0 0 0 20 0 1 0 25838715 5484544 241 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24563/statm: 1339 241 200 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.401185 s]
/proc/loadavg: 2.07 2.03 2.00 4/72 24563
/proc/meminfo: memFree=1849352/2055920 swapFree=4192812/4192956
[pid=24563] ppid=24561 vsize=5356 CPUtime=0
/proc/24563/stat : 24563 (solver) S 24561 24563 23693 0 -1 4194304 314 142 0 0 0 0 0 0 20 0 1 0 25838715 5484544 241 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24563/statm: 1339 241 200 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701211 s]
/proc/loadavg: 2.07 2.03 2.00 4/72 24563
/proc/meminfo: memFree=1849352/2055920 swapFree=4192812/4192956
[pid=24563] ppid=24561 vsize=5356 CPUtime=0
/proc/24563/stat : 24563 (solver) S 24561 24563 23693 0 -1 4194304 314 142 0 0 0 0 0 0 20 0 1 0 25838715 5484544 241 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24563/statm: 1339 241 200 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50129 s]
/proc/loadavg: 2.14 2.05 2.01 3/74 24566
/proc/meminfo: memFree=1844152/2055920 swapFree=4192812/4192956
[pid=24563] ppid=24561 vsize=5356 CPUtime=0
/proc/24563/stat : 24563 (solver) S 24561 24563 23693 0 -1 4194304 314 142 0 0 0 0 0 0 20 0 1 0 25838715 5484544 241 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24563/statm: 1339 241 200 169 0 50 0
[pid=24566] ppid=24563 vsize=5624 CPUtime=1.45
/proc/24566/stat : 24566 (ld-linux.so.2) R 24563 24563 23693 0 -1 4194304 1072 0 0 0 41 104 0 0 25 0 1 0 25838716 5758976 1054 996147200 1448431616 1448550632 4294956128 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24566/statm: 1406 1054 100 29 0 993 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 10980
[startup+3.10243 s]
/proc/loadavg: 2.14 2.05 2.01 3/74 24566
/proc/meminfo: memFree=1839352/2055920 swapFree=4192812/4192956
[pid=24563] ppid=24561 vsize=5356 CPUtime=0
/proc/24563/stat : 24563 (solver) S 24561 24563 23693 0 -1 4194304 314 142 0 0 0 0 0 0 20 0 1 0 25838715 5484544 241 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24563/statm: 1339 241 200 169 0 50 0
[pid=24566] ppid=24563 vsize=9600 CPUtime=3.05
/proc/24566/stat : 24566 (ld-linux.so.2) R 24563 24563 23693 0 -1 4194304 2094 0 0 0 85 220 0 0 25 0 1 0 25838716 9830400 2076 996147200 1448431616 1448550632 4294956128 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24566/statm: 2400 2076 100 29 0 1987 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 14956
[startup+6.30173 s]
/proc/loadavg: 2.13 2.05 2.01 3/82 24577
/proc/meminfo: memFree=1805176/2055920 swapFree=4192812/4192956
[pid=24563] ppid=24561 vsize=5356 CPUtime=3.44
/proc/24563/stat : 24563 (solver) S 24561 24563 23693 0 -1 4194304 361 2514 0 0 0 0 95 249 16 0 1 0 25838715 5484544 242 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24563/statm: 1339 242 201 169 0 50 0
[pid=24568] ppid=24563 vsize=311820 CPUtime=2.59
/proc/24568/stat : 24568 (Conquer) R 24563 24563 23693 0 -1 0 15345 0 0 0 253 6 0 0 25 0 9 0 25839065 319303680 14808 996147200 134512640 142716928 4294956224 18446744073709551615 134708812 0 0 4096 17551 18446744073709551615 0 0 17 1 0 0
/proc/24568/statm: 77955 14808 646 2003 0 75367 0
[pid=24568/tid=24570] ppid=24563 vsize=311820 CPUtime=0
/proc/24568/task/24570/stat : 24570 (Conquer) S 24563 24563 23693 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 25839065 319303680 14808 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 2147203296 4096 17551 18446744071563181037 0 0 -1 1 0 0
[pid=24568/tid=24571] ppid=24563 vsize=311820 CPUtime=0.02
/proc/24568/task/24571/stat : 24571 (Conquer) S 24563 24563 23693 0 -1 64 16 0 0 0 2 0 0 0 16 0 9 0 25839083 319303680 14808 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24572] ppid=24563 vsize=311820 CPUtime=0
/proc/24568/task/24572/stat : 24572 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25839085 319303680 14808 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24573] ppid=24563 vsize=311820 CPUtime=0
/proc/24568/task/24573/stat : 24573 (Conquer) S 24563 24563 23693 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 25839085 319303680 14808 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24574] ppid=24563 vsize=311820 CPUtime=0
/proc/24568/task/24574/stat : 24574 (Conquer) S 24563 24563 23693 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 25839085 319303680 14808 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24575] ppid=24563 vsize=311820 CPUtime=0
/proc/24568/task/24575/stat : 24575 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25839085 319303680 14808 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24576] ppid=24563 vsize=311820 CPUtime=0
/proc/24568/task/24576/stat : 24576 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25839085 319303680 14808 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24577] ppid=24563 vsize=311820 CPUtime=0
/proc/24568/task/24577/stat : 24577 (Conquer) S 24563 24563 23693 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 25839085 319303680 14808 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 317176
[startup+12.7013 s]
/proc/loadavg: 2.12 2.05 2.01 3/82 24577
/proc/meminfo: memFree=1707448/2055920 swapFree=4192812/4192956
[pid=24563] ppid=24561 vsize=5356 CPUtime=3.44
/proc/24563/stat : 24563 (solver) S 24561 24563 23693 0 -1 4194304 361 2514 0 0 0 0 95 249 16 0 1 0 25838715 5484544 242 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24563/statm: 1339 242 201 169 0 50 0
[pid=24568] ppid=24563 vsize=329872 CPUtime=8.93
/proc/24568/stat : 24568 (Conquer) R 24563 24563 23693 0 -1 0 37094 0 0 0 878 15 0 0 25 0 9 0 25839065 337788928 34425 996147200 134512640 142716928 4294956224 18446744073709551615 135303880 0 0 4096 17551 18446744073709551615 0 0 17 1 0 0
/proc/24568/statm: 82468 34425 689 2003 0 79880 0
[pid=24568/tid=24570] ppid=24563 vsize=329872 CPUtime=0
/proc/24568/task/24570/stat : 24570 (Conquer) S 24563 24563 23693 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 25839065 337788928 34425 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 2147203296 4096 17551 18446744071563181037 0 0 -1 1 0 0
[pid=24568/tid=24571] ppid=24563 vsize=329872 CPUtime=0.33
/proc/24568/task/24571/stat : 24571 (Conquer) S 24563 24563 23693 0 -1 64 39 0 0 0 33 0 0 0 18 0 9 0 25839083 337788928 34425 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24572] ppid=24563 vsize=329872 CPUtime=0
/proc/24568/task/24572/stat : 24572 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25839085 337788928 34425 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24573] ppid=24563 vsize=329872 CPUtime=0.07
/proc/24568/task/24573/stat : 24573 (Conquer) S 24563 24563 23693 0 -1 64 5 0 0 0 7 0 0 0 16 0 9 0 25839085 337788928 34425 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24574] ppid=24563 vsize=329872 CPUtime=0
/proc/24568/task/24574/stat : 24574 (Conquer) S 24563 24563 23693 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 25839085 337788928 34425 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24575] ppid=24563 vsize=329872 CPUtime=0
/proc/24568/task/24575/stat : 24575 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25839085 337788928 34425 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24576] ppid=24563 vsize=329872 CPUtime=0
/proc/24568/task/24576/stat : 24576 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 25839085 337788928 34425 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24577] ppid=24563 vsize=329872 CPUtime=0
/proc/24568/task/24577/stat : 24577 (Conquer) S 24563 24563 23693 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 25839085 337788928 34425 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 335228
[startup+25.5075 s]
/proc/loadavg: 2.10 2.04 2.00 3/82 24577
/proc/meminfo: memFree=1707768/2055920 swapFree=4192812/4192956
[pid=24563] ppid=24561 vsize=5356 CPUtime=3.44
/proc/24563/stat : 24563 (solver) S 24561 24563 23693 0 -1 4194304 361 2514 0 0 0 0 95 249 16 0 1 0 25838715 5484544 242 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24563/statm: 1339 242 201 169 0 50 0
[pid=24568] ppid=24563 vsize=329872 CPUtime=21.61
/proc/24568/stat : 24568 (Conquer) R 24563 24563 23693 0 -1 0 37130 0 0 0 2146 15 0 0 25 0 9 0 25839065 337788928 34425 996147200 134512640 142716928 4294956224 18446744073709551615 135303887 0 0 4096 17551 18446744073709551615 0 0 17 1 0 0
/proc/24568/statm: 82468 34425 689 2003 0 79880 0
[pid=24568/tid=24570] ppid=24563 vsize=329872 CPUtime=0
/proc/24568/task/24570/stat : 24570 (Conquer) S 24563 24563 23693 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 25839065 337788928 34425 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 2147203296 4096 17551 18446744071563181037 0 0 -1 1 0 0
[pid=24568/tid=24571] ppid=24563 vsize=329872 CPUtime=0.33
/proc/24568/task/24571/stat : 24571 (Conquer) S 24563 24563 23693 0 -1 64 39 0 0 0 33 0 0 0 18 0 9 0 25839083 337788928 34425 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24572] ppid=24563 vsize=329872 CPUtime=0
/proc/24568/task/24572/stat : 24572 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25839085 337788928 34425 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24573] ppid=24563 vsize=329872 CPUtime=0.07
/proc/24568/task/24573/stat : 24573 (Conquer) S 24563 24563 23693 0 -1 64 5 0 0 0 7 0 0 0 16 0 9 0 25839085 337788928 34425 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24574] ppid=24563 vsize=329872 CPUtime=0
/proc/24568/task/24574/stat : 24574 (Conquer) S 24563 24563 23693 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 25839085 337788928 34425 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24575] ppid=24563 vsize=329872 CPUtime=0
/proc/24568/task/24575/stat : 24575 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25839085 337788928 34425 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24576] ppid=24563 vsize=329872 CPUtime=0
/proc/24568/task/24576/stat : 24576 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 25839085 337788928 34425 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24577] ppid=24563 vsize=329872 CPUtime=0
/proc/24568/task/24577/stat : 24577 (Conquer) S 24563 24563 23693 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 25839085 337788928 34425 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 335228
[startup+51.1028 s]
/proc/loadavg: 2.06 2.04 2.00 3/82 24577
/proc/meminfo: memFree=1747576/2055920 swapFree=4192812/4192956
[pid=24563] ppid=24561 vsize=5356 CPUtime=3.44
/proc/24563/stat : 24563 (solver) S 24561 24563 23693 0 -1 4194304 361 2514 0 0 0 0 95 249 16 0 1 0 25838715 5484544 242 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24563/statm: 1339 242 201 169 0 50 0
[pid=24568] ppid=24563 vsize=333568 CPUtime=46.97
/proc/24568/stat : 24568 (Conquer) R 24563 24563 23693 0 -1 0 38134 0 0 0 4681 16 0 0 25 0 9 0 25839065 341573632 24489 996147200 134512640 142716928 4294956224 18446744073709551615 135303484 0 0 4096 17551 18446744073709551615 0 0 17 1 0 0
/proc/24568/statm: 83392 24489 689 2003 0 80804 0
[pid=24568/tid=24570] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24570/stat : 24570 (Conquer) S 24563 24563 23693 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 25839065 341573632 24489 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 2147203296 4096 17551 18446744071563181037 0 0 -1 1 0 0
[pid=24568/tid=24571] ppid=24563 vsize=333568 CPUtime=0.63
/proc/24568/task/24571/stat : 24571 (Conquer) S 24563 24563 23693 0 -1 64 39 0 0 0 63 0 0 0 18 0 9 0 25839083 341573632 24489 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24572] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24572/stat : 24572 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25839085 341573632 24489 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24573] ppid=24563 vsize=333568 CPUtime=0.07
/proc/24568/task/24573/stat : 24573 (Conquer) S 24563 24563 23693 0 -1 64 5 0 0 0 7 0 0 0 16 0 9 0 25839085 341573632 24489 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24574] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24574/stat : 24574 (Conquer) S 24563 24563 23693 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 24489 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24575] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24575/stat : 24575 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25839085 341573632 24489 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24576] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24576/stat : 24576 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 24489 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
[pid=24568/tid=24577] ppid=24563 vsize=333568 CPUtime=0.09
/proc/24568/task/24577/stat : 24577 (Conquer) S 24563 24563 23693 0 -1 64 956 0 0 0 9 0 0 0 15 0 9 0 25839085 341573632 24489 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.41
Current children cumulated vsize (KiB) 338924
[startup+102.302 s]
/proc/loadavg: 2.02 2.03 2.00 3/82 24577
/proc/meminfo: memFree=1781048/2055920 swapFree=4192812/4192956
[pid=24563] ppid=24561 vsize=5356 CPUtime=3.44
/proc/24563/stat : 24563 (solver) S 24561 24563 23693 0 -1 4194304 361 2514 0 0 0 0 95 249 16 0 1 0 25838715 5484544 242 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24563/statm: 1339 242 201 169 0 50 0
[pid=24568] ppid=24563 vsize=333568 CPUtime=97.84
/proc/24568/stat : 24568 (Conquer) R 24563 24563 23693 0 -1 0 39910 0 0 0 9764 20 0 0 25 0 9 0 25839065 341573632 16089 996147200 134512640 142716928 4294956224 18446744073709551615 135303870 0 0 4096 17551 18446744073709551615 0 0 17 0 0 0
/proc/24568/statm: 83392 16089 689 2003 0 80804 0
################
# More data... #
################
Current children cumulated CPU time (s) 1036.65
Current children cumulated vsize (KiB) 338924
[startup+1049.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24659
/proc/meminfo: memFree=1558576/2055920 swapFree=4192812/4192956
[pid=24563] ppid=24561 vsize=5356 CPUtime=3.44
/proc/24563/stat : 24563 (solver) S 24561 24563 23693 0 -1 4194304 361 2514 0 0 0 0 95 249 16 0 1 0 25838715 5484544 242 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24563/statm: 1339 242 201 169 0 50 0
[pid=24568] ppid=24563 vsize=333568 CPUtime=1039.61
/proc/24568/stat : 24568 (Conquer) R 24563 24563 23693 0 -1 0 63254 0 0 0 103903 58 0 0 25 0 9 0 25839065 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 134810524 0 0 4096 17551 18446744073709551615 0 0 17 0 0 0
/proc/24568/statm: 83392 15765 689 2003 0 80804 0
[pid=24568/tid=24570] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24570/stat : 24570 (Conquer) S 24563 24563 23693 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 25839065 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 2147203296 4096 17551 18446744071563181037 0 0 -1 1 0 0
[pid=24568/tid=24571] ppid=24563 vsize=333568 CPUtime=6.59
/proc/24568/task/24571/stat : 24571 (Conquer) S 24563 24563 23693 0 -1 64 39 0 0 0 652 7 0 0 17 0 9 0 25839083 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24572] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24572/stat : 24572 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24573] ppid=24563 vsize=333568 CPUtime=4.47
/proc/24568/task/24573/stat : 24573 (Conquer) S 24563 24563 23693 0 -1 64 5 0 0 0 447 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24574] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24574/stat : 24574 (Conquer) S 24563 24563 23693 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24575] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24575/stat : 24575 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24576] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24576/stat : 24576 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24577] ppid=24563 vsize=333568 CPUtime=0.12
/proc/24568/task/24577/stat : 24577 (Conquer) S 24563 24563 23693 0 -1 64 956 0 0 0 12 0 0 0 15 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1043.05
Current children cumulated vsize (KiB) 338924
[startup+1052.91 s]
/proc/loadavg: 2.24 2.05 2.02 3/83 24659
/proc/meminfo: memFree=1558576/2055920 swapFree=4192812/4192956
[pid=24563] ppid=24561 vsize=5356 CPUtime=3.44
/proc/24563/stat : 24563 (solver) S 24561 24563 23693 0 -1 4194304 361 2514 0 0 0 0 95 249 16 0 1 0 25838715 5484544 242 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24563/statm: 1339 242 201 169 0 50 0
[pid=24568] ppid=24563 vsize=333568 CPUtime=1042.81
/proc/24568/stat : 24568 (Conquer) R 24563 24563 23693 0 -1 0 63262 0 0 0 104223 58 0 0 25 0 9 0 25839065 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 135304448 0 0 4096 17551 18446744073709551615 0 0 17 0 0 0
/proc/24568/statm: 83392 15765 689 2003 0 80804 0
[pid=24568/tid=24570] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24570/stat : 24570 (Conquer) S 24563 24563 23693 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 25839065 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 2147203296 4096 17551 18446744071563181037 0 0 -1 1 0 0
[pid=24568/tid=24571] ppid=24563 vsize=333568 CPUtime=6.6
/proc/24568/task/24571/stat : 24571 (Conquer) S 24563 24563 23693 0 -1 64 39 0 0 0 653 7 0 0 17 0 9 0 25839083 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24572] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24572/stat : 24572 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24573] ppid=24563 vsize=333568 CPUtime=4.48
/proc/24568/task/24573/stat : 24573 (Conquer) S 24563 24563 23693 0 -1 64 5 0 0 0 448 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24574] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24574/stat : 24574 (Conquer) S 24563 24563 23693 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24575] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24575/stat : 24575 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24576] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24576/stat : 24576 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24577] ppid=24563 vsize=333568 CPUtime=0.12
/proc/24568/task/24577/stat : 24577 (Conquer) S 24563 24563 23693 0 -1 64 956 0 0 0 12 0 0 0 15 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1046.25
Current children cumulated vsize (KiB) 338924
[startup+1054.5 s]
/proc/loadavg: 2.24 2.05 2.02 3/83 24659
/proc/meminfo: memFree=1558512/2055920 swapFree=4192812/4192956
[pid=24563] ppid=24561 vsize=5356 CPUtime=3.44
/proc/24563/stat : 24563 (solver) S 24561 24563 23693 0 -1 4194304 361 2514 0 0 0 0 95 249 16 0 1 0 25838715 5484544 242 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24563/statm: 1339 242 201 169 0 50 0
[pid=24568] ppid=24563 vsize=333568 CPUtime=1044.4
/proc/24568/stat : 24568 (Conquer) R 24563 24563 23693 0 -1 0 63266 0 0 0 104382 58 0 0 25 0 9 0 25839065 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 135303880 0 0 4096 17551 18446744073709551615 0 0 17 0 0 0
/proc/24568/statm: 83392 15765 689 2003 0 80804 0
[pid=24568/tid=24570] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24570/stat : 24570 (Conquer) S 24563 24563 23693 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 25839065 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 2147203296 4096 17551 18446744071563181037 0 0 -1 1 0 0
[pid=24568/tid=24571] ppid=24563 vsize=333568 CPUtime=6.62
/proc/24568/task/24571/stat : 24571 (Conquer) S 24563 24563 23693 0 -1 64 39 0 0 0 655 7 0 0 17 0 9 0 25839083 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24572] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24572/stat : 24572 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24573] ppid=24563 vsize=333568 CPUtime=4.49
/proc/24568/task/24573/stat : 24573 (Conquer) S 24563 24563 23693 0 -1 64 5 0 0 0 449 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24574] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24574/stat : 24574 (Conquer) S 24563 24563 23693 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24575] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24575/stat : 24575 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24576] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24576/stat : 24576 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24577] ppid=24563 vsize=333568 CPUtime=0.12
/proc/24568/task/24577/stat : 24577 (Conquer) S 24563 24563 23693 0 -1 64 956 0 0 0 12 0 0 0 15 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1047.84
Current children cumulated vsize (KiB) 338924
[startup+1055.3 s]
/proc/loadavg: 2.24 2.05 2.02 3/83 24659
/proc/meminfo: memFree=1558512/2055920 swapFree=4192812/4192956
[pid=24563] ppid=24561 vsize=5356 CPUtime=3.44
/proc/24563/stat : 24563 (solver) S 24561 24563 23693 0 -1 4194304 361 2514 0 0 0 0 95 249 16 0 1 0 25838715 5484544 242 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24563/statm: 1339 242 201 169 0 50 0
[pid=24568] ppid=24563 vsize=333568 CPUtime=1045.2
/proc/24568/stat : 24568 (Conquer) R 24563 24563 23693 0 -1 0 63268 0 0 0 104462 58 0 0 25 0 9 0 25839065 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 135303880 0 0 4096 17551 18446744073709551615 0 0 17 0 0 0
/proc/24568/statm: 83392 15765 689 2003 0 80804 0
[pid=24568/tid=24570] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24570/stat : 24570 (Conquer) S 24563 24563 23693 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 25839065 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 2147203296 4096 17551 18446744071563181037 0 0 -1 1 0 0
[pid=24568/tid=24571] ppid=24563 vsize=333568 CPUtime=6.62
/proc/24568/task/24571/stat : 24571 (Conquer) S 24563 24563 23693 0 -1 64 39 0 0 0 655 7 0 0 17 0 9 0 25839083 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24572] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24572/stat : 24572 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24573] ppid=24563 vsize=333568 CPUtime=4.49
/proc/24568/task/24573/stat : 24573 (Conquer) S 24563 24563 23693 0 -1 64 5 0 0 0 449 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24574] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24574/stat : 24574 (Conquer) S 24563 24563 23693 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24575] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24575/stat : 24575 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24576] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24576/stat : 24576 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24577] ppid=24563 vsize=333568 CPUtime=0.12
/proc/24568/task/24577/stat : 24577 (Conquer) S 24563 24563 23693 0 -1 64 956 0 0 0 12 0 0 0 15 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1048.64
Current children cumulated vsize (KiB) 338924
[startup+1055.7 s]
/proc/loadavg: 2.24 2.05 2.02 3/83 24659
/proc/meminfo: memFree=1558512/2055920 swapFree=4192812/4192956
[pid=24563] ppid=24561 vsize=5356 CPUtime=3.44
/proc/24563/stat : 24563 (solver) S 24561 24563 23693 0 -1 4194304 361 2514 0 0 0 0 95 249 16 0 1 0 25838715 5484544 242 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24563/statm: 1339 242 201 169 0 50 0
[pid=24568] ppid=24563 vsize=333568 CPUtime=1045.6
/proc/24568/stat : 24568 (Conquer) R 24563 24563 23693 0 -1 0 63268 0 0 0 104502 58 0 0 25 0 9 0 25839065 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 135447008 0 0 4096 17551 18446744073709551615 0 0 17 0 0 0
/proc/24568/statm: 83392 15765 689 2003 0 80804 0
[pid=24568/tid=24570] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24570/stat : 24570 (Conquer) S 24563 24563 23693 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 25839065 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 2147203296 4096 17551 18446744071563181037 0 0 -1 1 0 0
[pid=24568/tid=24571] ppid=24563 vsize=333568 CPUtime=6.62
/proc/24568/task/24571/stat : 24571 (Conquer) S 24563 24563 23693 0 -1 64 39 0 0 0 655 7 0 0 17 0 9 0 25839083 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24572] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24572/stat : 24572 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24573] ppid=24563 vsize=333568 CPUtime=4.49
/proc/24568/task/24573/stat : 24573 (Conquer) S 24563 24563 23693 0 -1 64 5 0 0 0 449 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24574] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24574/stat : 24574 (Conquer) S 24563 24563 23693 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24575] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24575/stat : 24575 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24576] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24576/stat : 24576 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24577] ppid=24563 vsize=333568 CPUtime=0.12
/proc/24568/task/24577/stat : 24577 (Conquer) S 24563 24563 23693 0 -1 64 956 0 0 0 12 0 0 0 15 0 9 0 25839085 341573632 15765 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1049.04
Current children cumulated vsize (KiB) 338924
[startup+1055.8 s]
/proc/loadavg: 2.24 2.05 2.02 3/83 24659
/proc/meminfo: memFree=1558512/2055920 swapFree=4192812/4192956
[pid=24563] ppid=24561 vsize=5356 CPUtime=3.44
/proc/24563/stat : 24563 (solver) S 24561 24563 23693 0 -1 4194304 361 2514 0 0 0 0 95 249 16 0 1 0 25838715 5484544 242 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24563/statm: 1339 242 201 169 0 50 0
[pid=24568] ppid=24563 vsize=333568 CPUtime=1045.7
/proc/24568/stat : 24568 (Conquer) R 24563 24563 23693 0 -1 0 63268 0 0 0 104512 58 0 0 25 0 9 0 25839065 341573632 15761 996147200 134512640 142716928 4294956224 18446744073709551615 135303758 0 0 4096 17551 18446744073709551615 0 0 17 0 0 0
/proc/24568/statm: 83392 15761 689 2003 0 80804 0
[pid=24568/tid=24570] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24570/stat : 24570 (Conquer) S 24563 24563 23693 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 25839065 341573632 15761 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 2147203296 4096 17551 18446744071563181037 0 0 -1 1 0 0
[pid=24568/tid=24571] ppid=24563 vsize=333568 CPUtime=6.64
/proc/24568/task/24571/stat : 24571 (Conquer) S 24563 24563 23693 0 -1 64 39 0 0 0 657 7 0 0 17 0 9 0 25839083 341573632 15761 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24572] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24572/stat : 24572 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15761 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24573] ppid=24563 vsize=333568 CPUtime=4.5
/proc/24568/task/24573/stat : 24573 (Conquer) S 24563 24563 23693 0 -1 64 5 0 0 0 450 0 0 0 16 0 9 0 25839085 341573632 15761 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24574] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24574/stat : 24574 (Conquer) S 24563 24563 23693 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15761 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24575] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24575/stat : 24575 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 25839085 341573632 15761 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24576] ppid=24563 vsize=333568 CPUtime=0
/proc/24568/task/24576/stat : 24576 (Conquer) S 24563 24563 23693 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25839085 341573632 15761 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
[pid=24568/tid=24577] ppid=24563 vsize=333568 CPUtime=0.12
/proc/24568/task/24577/stat : 24577 (Conquer) S 24563 24563 23693 0 -1 64 956 0 0 0 12 0 0 0 15 0 9 0 25839085 341573632 15761 996147200 134512640 142716928 4294956224 18446744073709551615 4294960144 0 16391 4096 17551 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1049.14
Current children cumulated vsize (KiB) 338924
Child status: 0
Real time (s): 1055.89
CPU time (s): 1049.25
CPU user time (s): 1046.15
CPU system time (s): 3.09653
CPU usage (%): 99.3708
Max. virtual memory (cumulated for all children) (KiB): 338928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1046.15
system time used= 3.09653
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66304
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= 14039
involuntary context switches= 28201
runsolver used 1.44478 second user time and 3.37149 second system time
The end
Begin job on node55 at 2009-07-12 10:35:54
IDJOB=2088232
IDBENCH=58893
IDSOLVER=740
FILE ID=node55/2088232-1247387753
PBS_JOBID= 9507302
Free space on /tmp= 66384 MiB
SOLVER NAME= Conquer 2009-06-04
BENCH NAME= CPAI08/csp/rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-26_ext.xml
COMMAND LINE= HOME/solver -benchname BENCHNAME -dir DIR -tmpdir TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2088232-1247387753/watcher-2088232-1247387753 -o /tmp/evaluation-result-2088232-1247387753/solver-2088232-1247387753 -C 1800 -W 2000 -M 900 HOME/solver -benchname HOME/instance-2088232-1247387753.xml -dir HOME -tmpdir HOME
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 14ae3484fc89bff0f8af14718ff1951c
RANDOM SEED=1228906848
node55.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: 1849768 kB
Buffers: 14732 kB
Cached: 117936 kB
SwapCached: 0 kB
Active: 120572 kB
Inactive: 33456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1849768 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 26556 kB
Writeback: 0 kB
Mapped: 32984 kB
Slab: 37528 kB
Committed_AS: 184664 kB
PageTables: 1684 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= 66348 MiB
End job on node55 at 2009-07-12 10:53:30