runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-233944-1168329363 -o ROOT/results/node56/solver-233944-1168329363 -C 1800 -M 900 /tmp/evaluation/233944-1168329363/VALCSP /tmp/evaluation/233944-1168329363/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: 2.00 2.00 1.86 3/74 22618
/proc/meminfo: memFree=1529232/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=1468 CPUtime=0
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 119 0 0 0 0 0 0 0 20 0 1 0 181334477 1503232 97 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 10462843 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 367 97 62 8 0 39 0
[startup+0.104071 s]
/proc/loadavg: 2.00 2.00 1.86 3/74 22618
/proc/meminfo: memFree=1529232/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=3448 CPUtime=0.09
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 615 0 0 0 9 0 0 0 20 0 1 0 181334477 3530752 593 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 862 593 64 8 0 534 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3448
[startup+0.512108 s]
/proc/loadavg: 2.00 2.00 1.86 3/74 22618
/proc/meminfo: memFree=1529232/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=7936 CPUtime=0.49
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 1719 0 0 0 49 0 0 0 23 0 1 0 181334477 8126464 1697 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530960 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 1984 1697 64 8 0 1656 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 7936
[startup+1.33319 s]
/proc/loadavg: 2.00 2.00 1.86 3/74 22618
/proc/meminfo: memFree=1515408/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=17308 CPUtime=1.31
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 4069 0 0 0 130 1 0 0 25 0 1 0 181334477 17723392 4047 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 4327 4047 64 8 0 3999 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 17308
[startup+2.97035 s]
/proc/loadavg: 2.00 2.00 1.86 3/74 22618
/proc/meminfo: memFree=1503248/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=35524 CPUtime=2.94
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 8638 0 0 0 291 3 0 0 25 0 1 0 181334477 36376576 8616 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 8881 8616 64 8 0 8553 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 35524
[startup+6.26267 s]
/proc/loadavg: 2.00 2.00 1.86 3/74 22618
/proc/meminfo: memFree=1464592/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=71956 CPUtime=6.2
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 17750 0 0 0 613 7 0 0 25 0 1 0 181334477 73682944 17728 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 17989 17728 64 8 0 17661 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 71956
[startup+12.7293 s]
/proc/loadavg: 2.00 2.00 1.86 3/74 22618
/proc/meminfo: memFree=1390552/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=143368 CPUtime=12.6
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 35597 0 0 0 1246 14 0 0 25 0 1 0 181334477 146808832 35575 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530229 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 35842 35575 64 8 0 35514 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 143368
[startup+25.5536 s]
/proc/loadavg: 2.00 2.00 1.86 3/74 22618
/proc/meminfo: memFree=1372120/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=25.32
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 2516 16 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524702 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 158284
[startup+51.2161 s]
/proc/loadavg: 2.00 2.00 1.87 3/74 22618
/proc/meminfo: memFree=1372184/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=50.77
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 5061 16 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 158284
[startup+102.506 s]
/proc/loadavg: 2.00 2.00 1.87 3/74 22618
/proc/meminfo: memFree=1372120/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=101.66
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 10150 16 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 158284
[startup+162.514 s]
/proc/loadavg: 2.00 2.00 1.88 3/74 22618
/proc/meminfo: memFree=1372184/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=161.2
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 16104 16 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524668 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 161.2
Current children cumulated vsize (KiB) 158284
[startup+222.54 s]
/proc/loadavg: 2.00 2.00 1.88 3/74 22618
/proc/meminfo: memFree=1372120/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=220.74
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 22058 16 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524680 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 220.74
Current children cumulated vsize (KiB) 158284
[startup+282.55 s]
/proc/loadavg: 2.05 2.01 1.89 3/74 22618
/proc/meminfo: memFree=1372120/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=280.28
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 28012 16 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524691 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 280.28
Current children cumulated vsize (KiB) 158284
[startup+342.581 s]
/proc/loadavg: 2.02 2.01 1.90 3/80 22758
/proc/meminfo: memFree=1370848/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=339.64
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 33948 16 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524683 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 339.64
Current children cumulated vsize (KiB) 158284
[startup+402.616 s]
/proc/loadavg: 2.06 2.02 1.91 3/74 22816
/proc/meminfo: memFree=1371784/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=399.08
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 39892 16 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524683 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 399.08
Current children cumulated vsize (KiB) 158284
[startup+462.627 s]
/proc/loadavg: 2.02 2.01 1.91 3/74 22816
/proc/meminfo: memFree=1371792/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=458.62
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 45846 16 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524702 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 458.62
Current children cumulated vsize (KiB) 158284
[startup+522.644 s]
/proc/loadavg: 2.01 2.01 1.91 3/74 22816
/proc/meminfo: memFree=1371792/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=518.17
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 51800 17 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 518.17
Current children cumulated vsize (KiB) 158284
[startup+582.659 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 22816
/proc/meminfo: memFree=1371920/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=577.7
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 57753 17 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524702 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 577.7
Current children cumulated vsize (KiB) 158284
[startup+642.671 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 22816
/proc/meminfo: memFree=1371984/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=637.23
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 63706 17 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 637.23
Current children cumulated vsize (KiB) 158284
[startup+702.702 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 22816
/proc/meminfo: memFree=1371992/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=696.78
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 69660 18 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 696.78
Current children cumulated vsize (KiB) 158284
[startup+762.755 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 22816
/proc/meminfo: memFree=1371992/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=756.33
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 75615 18 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524702 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 756.33
Current children cumulated vsize (KiB) 158284
[startup+822.775 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 22816
/proc/meminfo: memFree=1371928/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=815.87
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 81569 18 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 815.87
Current children cumulated vsize (KiB) 158284
[startup+882.791 s]
/proc/loadavg: 2.00 2.01 1.92 3/84 22870
/proc/meminfo: memFree=1251600/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=875.41
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 87522 19 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524799 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 875.41
Current children cumulated vsize (KiB) 158284
[startup+942.826 s]
/proc/loadavg: 2.00 2.00 1.92 3/84 22870
/proc/meminfo: memFree=1083472/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=934.93
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 93474 19 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 934.93
Current children cumulated vsize (KiB) 158284
[startup+1002.83 s]
/proc/loadavg: 2.00 2.00 1.92 3/85 22871
/proc/meminfo: memFree=932936/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=994.4
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 99421 19 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524702 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 994.4
Current children cumulated vsize (KiB) 158284
[startup+1062.87 s]
/proc/loadavg: 2.09 2.03 1.93 3/85 22871
/proc/meminfo: memFree=838600/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=1053.91
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 105371 20 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 1053.91
Current children cumulated vsize (KiB) 158284
[startup+1122.91 s]
/proc/loadavg: 2.03 2.02 1.93 3/85 22871
/proc/meminfo: memFree=767496/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=1113.43
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 111323 20 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 1113.43
Current children cumulated vsize (KiB) 158284
[startup+1183 s]
/proc/loadavg: 2.01 2.02 1.93 3/85 22871
/proc/meminfo: memFree=695368/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=1172.93
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 117273 20 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524702 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 1172.93
Current children cumulated vsize (KiB) 158284
[startup+1243.03 s]
/proc/loadavg: 2.04 2.03 1.93 3/85 22871
/proc/meminfo: memFree=662408/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=1232.47
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 123227 20 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524702 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 1232.47
Current children cumulated vsize (KiB) 158284
[startup+1303.06 s]
/proc/loadavg: 2.06 2.03 1.94 3/85 22871
/proc/meminfo: memFree=649864/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=1292.02
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 129182 20 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524702 0 0 4096 0 0 0 0 17 0 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 1292.02
Current children cumulated vsize (KiB) 158284
[startup+1363.15 s]
/proc/loadavg: 2.02 2.03 1.94 3/85 22873
/proc/meminfo: memFree=649736/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=1352.06
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 135186 20 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 0 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 1352.06
Current children cumulated vsize (KiB) 158284
[startup+1423.22 s]
/proc/loadavg: 2.01 2.02 1.94 3/85 22873
/proc/meminfo: memFree=649736/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=1412.07
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 141187 20 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524702 0 0 4096 0 0 0 0 17 0 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 1412.07
Current children cumulated vsize (KiB) 158284
[startup+1483.27 s]
/proc/loadavg: 2.00 2.01 1.94 3/85 22873
/proc/meminfo: memFree=649736/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=1472.05
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 147185 20 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 0 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 1472.05
Current children cumulated vsize (KiB) 158284
[startup+1543.32 s]
/proc/loadavg: 2.00 2.01 1.94 3/85 22873
/proc/meminfo: memFree=649736/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=1531.95
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 153175 20 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524706 0 0 4096 0 0 0 0 17 1 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 1531.95
Current children cumulated vsize (KiB) 158284
[startup+1603.36 s]
/proc/loadavg: 2.00 2.00 1.94 4/85 22873
/proc/meminfo: memFree=649672/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=1591.78
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 159158 20 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 0 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 1591.78
Current children cumulated vsize (KiB) 158284
[startup+1663.45 s]
/proc/loadavg: 2.00 2.00 1.94 3/85 22873
/proc/meminfo: memFree=649672/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=1651.79
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 165159 20 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 0 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 1651.79
Current children cumulated vsize (KiB) 158284
[startup+1723.53 s]
/proc/loadavg: 2.00 2.00 1.94 4/85 22873
/proc/meminfo: memFree=649672/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=1711.8
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 171159 21 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 0 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 1711.8
Current children cumulated vsize (KiB) 158284
[startup+1783.6 s]
/proc/loadavg: 2.00 2.00 1.94 3/85 22873
/proc/meminfo: memFree=649672/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=1771.81
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 177160 21 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524689 0 0 4096 0 0 0 0 17 0 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 1771.81
Current children cumulated vsize (KiB) 158284
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.86 s]
/proc/loadavg: 2.00 2.00 1.94 4/85 22873
/proc/meminfo: memFree=649672/2055920 swapFree=4184772/4192956
[pid=22617] ppid=22615 vsize=158284 CPUtime=1800.06
/proc/22617/stat : 22617 (VALCSP) R 22615 22617 20673 0 -1 4194304 39327 0 0 0 179985 21 0 0 25 0 1 0 181334477 162082816 39305 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134524787 0 0 4096 0 0 0 0 17 0 0 0
/proc/22617/statm: 39571 39305 66 8 0 39243 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 158284
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1811.89
CPU time (s): 1800.09
CPU user time (s): 1799.85
CPU system time (s): 0.236963
CPU usage (%): 99.3485
Max. virtual memory (cumulated for all children) (KiB): 158284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.236963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39327
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= 6
involuntary context switches= 40189
runsolver used 1.81772 s user time and 5.39718 s system time
The end
Begin job on node56 on Tue Jan 9 07:56:03 UTC 2007
IDJOB= 233944
IDBENCH= 6648
FILE ID= node56/233944-1168329363
PBS_JOBID= 3503239
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-7/os-taillard-7-95-1.xml
COMMAND LINE= /tmp/evaluation/233944-1168329363/VALCSP /tmp/evaluation/233944-1168329363/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-233944-1168329363 -o ROOT/results/node56/solver-233944-1168329363 -C 1800 -M 900 /tmp/evaluation/233944-1168329363/VALCSP /tmp/evaluation/233944-1168329363/unknown.xml
META MD5SUM SOLVER= 6fc756be3a7e45a17a81a19ce431bc48
MD5SUM BENCH= 4dd004eecb811c39e57feffe610d471a
RANDOM SEED= 797075732
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.232
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.232
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: 1529712 kB
Buffers: 49976 kB
Cached: 403712 kB
SwapCached: 2048 kB
Active: 189364 kB
Inactive: 281824 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1529712 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 96 kB
Writeback: 0 kB
Mapped: 25512 kB
Slab: 40428 kB
Committed_AS: 3992308 kB
PageTables: 1860 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= 66560 MiB
End job on node56 on Tue Jan 9 08:26:15 UTC 2007