runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1037670-1214962362/watcher-1037670-1214962362 -o /tmp/evaluation-result-1037670-1214962362/solver-1037670-1214962362 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2impWdeg.jar HOME/instance-1037670-1214962362.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.94 1.98 1.99 4/80 3215
/proc/meminfo: memFree=1069096/2055920 swapFree=4109524/4192956
[pid=3215] ppid=3213 vsize=10800 CPUtime=0
/proc/3215/stat : 3215 (java) S 3213 3215 1470 0 -1 0 710 0 0 0 0 0 0 0 18 0 2 0 1975205040 11059200 488 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/3215/statm: 2700 488 213 9 0 1230 0
[pid=3215/tid=3216] ppid=3213 vsize=10800 CPUtime=0
/proc/3215/task/3216/stat : 3216 (java) R 3213 3215 1470 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 1975205041 11059200 488 996147200 134512640 134550740 4294956016 18446744073709551615 9261016 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0636891 s]
/proc/loadavg: 1.94 1.98 1.99 4/80 3215
/proc/meminfo: memFree=1069096/2055920 swapFree=4109524/4192956
[pid=3215] ppid=3213 vsize=864636 CPUtime=0.05
/proc/3215/stat : 3215 (java) S 3213 3215 1470 0 -1 0 2935 0 1 0 3 2 0 0 18 0 9 0 1975205040 885387264 2457 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3215/statm: 216159 2457 1210 9 0 211026 0
[pid=3215/tid=3216] ppid=3213 vsize=864636 CPUtime=0.03
/proc/3215/task/3216/stat : 3216 (java) R 3213 3215 1470 0 -1 64 2002 0 1 0 2 1 0 0 20 0 9 0 1975205041 885387264 2457 996147200 134512640 134550740 4294956016 18446744073709551615 104114361 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864636
[startup+0.101693 s]
/proc/loadavg: 1.94 1.98 1.99 4/80 3215
/proc/meminfo: memFree=1069096/2055920 swapFree=4109524/4192956
[pid=3215] ppid=3213 vsize=866544 CPUtime=0.09
/proc/3215/stat : 3215 (java) S 3213 3215 1470 0 -1 0 3792 0 1 0 7 2 0 0 18 0 9 0 1975205040 887341056 3265 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3215/statm: 216636 3265 1754 9 0 211108 0
[pid=3215/tid=3216] ppid=3213 vsize=866544 CPUtime=0.07
/proc/3215/task/3216/stat : 3216 (java) R 3213 3215 1470 0 -1 64 2846 0 1 0 6 1 0 0 20 0 9 0 1975205041 887341056 3265 996147200 134512640 134550740 4294956016 18446744073709551615 102221612 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 866544
[startup+0.301729 s]
/proc/loadavg: 1.94 1.98 1.99 4/80 3215
/proc/meminfo: memFree=1069096/2055920 swapFree=4109524/4192956
[pid=3215] ppid=3213 vsize=867296 CPUtime=0.28
/proc/3215/stat : 3215 (java) S 3213 3215 1470 0 -1 0 4617 0 1 0 25 3 0 0 18 0 9 0 1975205040 888111104 4065 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3215/statm: 216824 4065 1863 9 0 211296 0
[pid=3215/tid=3216] ppid=3213 vsize=867296 CPUtime=0.19
/proc/3215/task/3216/stat : 3216 (java) R 3213 3215 1470 0 -1 64 3407 0 1 0 17 2 0 0 20 0 9 0 1975205041 888111104 4065 996147200 134512640 134550740 4294956016 18446744073709551615 4125978366 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 867296
[startup+0.701799 s]
/proc/loadavg: 1.94 1.98 1.99 4/80 3215
/proc/meminfo: memFree=1069096/2055920 swapFree=4109524/4192956
[pid=3215] ppid=3213 vsize=867428 CPUtime=0.68
/proc/3215/stat : 3215 (java) S 3213 3215 1470 0 -1 0 6144 0 1 0 63 5 0 0 18 0 9 0 1975205040 888246272 5552 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3215/statm: 216857 5552 1948 9 0 211329 0
[pid=3215/tid=3216] ppid=3213 vsize=867428 CPUtime=0.5
/proc/3215/task/3216/stat : 3216 (java) R 3213 3215 1470 0 -1 64 4869 0 1 0 46 4 0 0 23 0 9 0 1975205041 888246272 5552 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867428
[startup+1.50294 s]
/proc/loadavg: 1.94 1.98 1.99 3/89 3224
/proc/meminfo: memFree=1053216/2055920 swapFree=4109524/4192956
[pid=3215] ppid=3213 vsize=867560 CPUtime=1.47
/proc/3215/stat : 3215 (java) S 3213 3215 1470 0 -1 0 7402 0 1 0 140 7 0 0 18 0 9 0 1975205040 888381440 6809 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3215/statm: 216890 6809 1952 9 0 211362 0
[pid=3215/tid=3216] ppid=3213 vsize=867560 CPUtime=1.24
/proc/3215/task/3216/stat : 3216 (java) R 3213 3215 1470 0 -1 64 6091 0 1 0 118 6 0 0 25 0 9 0 1975205041 888381440 6809 996147200 134512640 134550740 4294956016 18446744073709551615 4126776202 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3218] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3218/stat : 3218 (java) S 3213 3215 1470 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 1975205043 888381440 6809 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3219] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3219/stat : 3219 (java) S 3213 3215 1470 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1975205043 888381440 6809 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3220] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3220/stat : 3220 (java) S 3213 3215 1470 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1975205043 888381440 6809 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3221] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3221/stat : 3221 (java) S 3213 3215 1470 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1975205045 888381440 6809 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3222] ppid=3213 vsize=867560 CPUtime=0.21
/proc/3215/task/3222/stat : 3222 (java) S 3213 3215 1470 0 -1 64 580 0 0 0 21 0 0 0 15 0 9 0 1975205045 888381440 6809 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3223] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3223/stat : 3223 (java) S 3213 3215 1470 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1975205045 888381440 6809 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3224] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3224/stat : 3224 (java) S 3213 3215 1470 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1975205045 888381440 6809 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867560
[startup+3.10123 s]
/proc/loadavg: 1.94 1.98 1.99 3/89 3224
/proc/meminfo: memFree=1043872/2055920 swapFree=4109524/4192956
[pid=3215] ppid=3213 vsize=867560 CPUtime=3.06
/proc/3215/stat : 3215 (java) S 3213 3215 1470 0 -1 0 10935 0 1 0 296 10 0 0 18 0 9 0 1975205040 888381440 10340 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3215/statm: 216890 10340 1953 9 0 211362 0
[pid=3215/tid=3216] ppid=3213 vsize=867560 CPUtime=2.82
/proc/3215/task/3216/stat : 3216 (java) R 3213 3215 1470 0 -1 64 9619 0 1 0 273 9 0 0 25 0 9 0 1975205041 888381440 10340 996147200 134512640 134550740 4294956016 18446744073709551615 4126779047 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3218] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3218/stat : 3218 (java) S 3213 3215 1470 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 1975205043 888381440 10340 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3219] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3219/stat : 3219 (java) S 3213 3215 1470 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1975205043 888381440 10340 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3220] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3220/stat : 3220 (java) S 3213 3215 1470 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1975205043 888381440 10340 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3221] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3221/stat : 3221 (java) S 3213 3215 1470 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1975205045 888381440 10340 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3222] ppid=3213 vsize=867560 CPUtime=0.22
/proc/3215/task/3222/stat : 3222 (java) S 3213 3215 1470 0 -1 64 585 0 0 0 22 0 0 0 15 0 9 0 1975205045 888381440 10340 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3223] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3223/stat : 3223 (java) S 3213 3215 1470 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1975205045 888381440 10340 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3224] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3224/stat : 3224 (java) S 3213 3215 1470 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1975205045 888381440 10340 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867560
Solver just ended. Dumping a history of the last processes samples
[startup+3.90137 s]
/proc/loadavg: 1.94 1.98 1.99 3/89 3224
/proc/meminfo: memFree=1034080/2055920 swapFree=4109524/4192956
[pid=3215] ppid=3213 vsize=867560 CPUtime=3.84
/proc/3215/stat : 3215 (java) S 3213 3215 1470 0 -1 0 12726 0 1 0 373 11 0 0 18 0 9 0 1975205040 888381440 12131 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3215/statm: 216890 12131 1953 9 0 211362 0
[pid=3215/tid=3216] ppid=3213 vsize=867560 CPUtime=3.6
/proc/3215/task/3216/stat : 3216 (java) R 3213 3215 1470 0 -1 64 11410 0 1 0 350 10 0 0 25 0 9 0 1975205041 888381440 12131 996147200 134512640 134550740 4294956016 18446744073709551615 4126816952 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3218] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3218/stat : 3218 (java) S 3213 3215 1470 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 1975205043 888381440 12131 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3219] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3219/stat : 3219 (java) S 3213 3215 1470 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1975205043 888381440 12131 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3220] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3220/stat : 3220 (java) S 3213 3215 1470 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1975205043 888381440 12131 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3221] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3221/stat : 3221 (java) S 3213 3215 1470 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1975205045 888381440 12131 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3222] ppid=3213 vsize=867560 CPUtime=0.22
/proc/3215/task/3222/stat : 3222 (java) S 3213 3215 1470 0 -1 64 585 0 0 0 22 0 0 0 15 0 9 0 1975205045 888381440 12131 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3223] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3223/stat : 3223 (java) S 3213 3215 1470 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1975205045 888381440 12131 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3224] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3224/stat : 3224 (java) S 3213 3215 1470 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1975205045 888381440 12131 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 867560
[startup+4.70252 s]
/proc/loadavg: 1.94 1.98 1.99 3/89 3224
/proc/meminfo: memFree=1024224/2055920 swapFree=4109524/4192956
[pid=3215] ppid=3213 vsize=867560 CPUtime=4.64
/proc/3215/stat : 3215 (java) S 3213 3215 1470 0 -1 0 14536 0 1 0 450 14 0 0 18 0 9 0 1975205040 888381440 13940 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3215/statm: 216890 13940 1953 9 0 211362 0
[pid=3215/tid=3216] ppid=3213 vsize=867560 CPUtime=4.39
/proc/3215/task/3216/stat : 3216 (java) R 3213 3215 1470 0 -1 64 13220 0 1 0 427 12 0 0 25 0 9 0 1975205041 888381440 13940 996147200 134512640 134550740 4294956016 18446744073709551615 4126765747 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3218] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3218/stat : 3218 (java) S 3213 3215 1470 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1975205043 888381440 13940 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3219] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3219/stat : 3219 (java) S 3213 3215 1470 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1975205043 888381440 13940 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3220] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3220/stat : 3220 (java) S 3213 3215 1470 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1975205043 888381440 13940 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3221] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3221/stat : 3221 (java) S 3213 3215 1470 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1975205045 888381440 13940 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3222] ppid=3213 vsize=867560 CPUtime=0.22
/proc/3215/task/3222/stat : 3222 (java) S 3213 3215 1470 0 -1 64 585 0 0 0 22 0 0 0 15 0 9 0 1975205045 888381440 13940 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3223] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3223/stat : 3223 (java) S 3213 3215 1470 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1975205045 888381440 13940 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3224] ppid=3213 vsize=867560 CPUtime=0
/proc/3215/task/3224/stat : 3224 (java) S 3213 3215 1470 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1975205045 888381440 13940 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 867560
[startup+5.10259 s]
/proc/loadavg: 1.94 1.98 1.99 3/89 3224
/proc/meminfo: memFree=1024224/2055920 swapFree=4109524/4192956
[pid=3215] ppid=3213 vsize=867884 CPUtime=4.98
/proc/3215/stat : 3215 (java) S 3213 3215 1470 0 -1 0 15337 0 1 0 484 14 0 0 18 0 9 0 1975205040 888713216 14740 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3215/statm: 216971 14740 1954 9 0 211443 0
[pid=3215/tid=3216] ppid=3213 vsize=867884 CPUtime=4.75
/proc/3215/task/3216/stat : 3216 (java) S 3213 3215 1470 0 -1 64 14015 0 1 0 462 13 0 0 25 0 9 0 1975205041 888713216 14740 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3218] ppid=3213 vsize=867884 CPUtime=0
/proc/3215/task/3218/stat : 3218 (java) S 3213 3215 1470 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1975205043 888713216 14740 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3219] ppid=3213 vsize=867884 CPUtime=0
/proc/3215/task/3219/stat : 3219 (java) S 3213 3215 1470 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1975205043 888713216 14740 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3220] ppid=3213 vsize=867884 CPUtime=0
/proc/3215/task/3220/stat : 3220 (java) S 3213 3215 1470 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1975205043 888713216 14740 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3221] ppid=3213 vsize=867884 CPUtime=0
/proc/3215/task/3221/stat : 3221 (java) S 3213 3215 1470 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1975205045 888713216 14740 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3222] ppid=3213 vsize=867884 CPUtime=0.22
/proc/3215/task/3222/stat : 3222 (java) S 3213 3215 1470 0 -1 64 585 0 0 0 22 0 0 0 15 0 9 0 1975205045 888713216 14740 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3223] ppid=3213 vsize=867884 CPUtime=0
/proc/3215/task/3223/stat : 3223 (java) S 3213 3215 1470 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1975205045 888713216 14740 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3215/tid=3224] ppid=3213 vsize=867884 CPUtime=0
/proc/3215/task/3224/stat : 3224 (java) S 3213 3215 1470 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1975205045 888713216 14740 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.98
Current children cumulated vsize (KiB) 867884
Child status: 0
Real time (s): 5.11393
CPU time (s): 5.00924
CPU user time (s): 4.84926
CPU system time (s): 0.159975
CPU usage (%): 97.9529
Max. virtual memory (cumulated for all children) (KiB): 867884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.84926
system time used= 0.159975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15340
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1341
involuntary context switches= 1513
runsolver used 0.008998 second user time and 0.020996 second system time
The end
Begin job on node70 at 2008-07-02 03:32:42
IDJOB=1037670
IDBENCH=53521
IDSOLVER=348
FILE ID=node70/1037670-1214962362
PBS_JOBID= 7870193
Free space on /tmp= 66448 MiB
SOLVER NAME= choco2_impwdeg 2008-06-26
BENCH NAME= CPAI08/csp/langford/normalized-langford-3-11-ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2impWdeg.jar BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1037670-1214962362/watcher-1037670-1214962362 -o /tmp/evaluation-result-1037670-1214962362/solver-1037670-1214962362 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2impWdeg.jar HOME/instance-1037670-1214962362.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= aa3180c3777a7d99fa781939f9a51590
RANDOM SEED=1721398077
node70.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.256
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.256
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: 1069576 kB
Buffers: 56216 kB
Cached: 718464 kB
SwapCached: 77768 kB
Active: 248700 kB
Inactive: 660052 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1069576 kB
SwapTotal: 4192956 kB
SwapFree: 4109524 kB
Dirty: 6112 kB
Writeback: 0 kB
Mapped: 149808 kB
Slab: 62560 kB
Committed_AS: 4801572 kB
PageTables: 1996 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= 66444 MiB
End job on node70 at 2008-07-02 03:32:47