1.65/1.79 c CPU-LOAD 1.08
1.65/1.79 c LOADED 100 V (28 E), 20 ExtensionConstraintDynamic, arity 4, 1.08 cpu
10.38/10.52 v 2 12 10 9 2 2 6 3 2 2 2 2 2 27 18 2 2 2 2 8 2 20 2 2 2 12 3 2 3 13 2 22 2 17 2 2 6 2 2 2 2 2 3 2 2 25 2 2 16 25 3 2 2 2 2 2 2 2 2 2 2 20 2 2 2 3 2 27 2 9 2 4 2 7 2 23 28 7 26 5 4 2 2 2 19 2 18 12 2 2 2 2 27 20 2 2 26 2 20 14
10.38/10.52 s SATISFIABLE
10.38/10.52 d NODES 100
10.38/10.52 d CHECKS 1084217
10.38/10.52 c CDC-added-constraints: 266
10.38/10.52 c CDC-nbsingletontests: 4589
10.38/10.52 c CDC-nogoods: 29624
10.38/10.52 c heuristic-cpu: 0.0
10.38/10.52 c prepro-constraint-ccks: 0
10.38/10.52 c prepro-constraint-presenceccks: 0
10.38/10.52 c prepro-cpu: 8.46
10.38/10.52 c prepro-matrix2d-ccks: 1077834
10.38/10.52 c prepro-matrix2d-presenceccks: 0
10.38/10.52 c prepro-removed: 484
10.38/10.52 c search-cpu: 0.010000229
10.38/10.52 c search-nps: 9999.771
10.38/10.52 c total-assgn: 100
10.38/10.52 c total-constraint-ccks: 0
10.38/10.52 c total-constraint-presence-ccks: 0
10.38/10.52 c total-cpu: 8.5
10.38/10.52 c total-matrix2d-ccks: 1084217
10.38/10.52 c total-matrix2d-presence-ccks: 0
10.38/10.52 c TOTAL-NODES 100
10.38/10.52 c TOTAL-CPU 8.5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2078086-1247716150/watcher-2078086-1247716150 -o /tmp/evaluation-result-2078086-1247716150/solver-2078086-1247716150 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN HOME/instance-2078086-1247716150.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): 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.02 2.00 4/72 16719
/proc/meminfo: memFree=1376552/2055920 swapFree=4191900/4192956
[pid=16719] ppid=16717 vsize=18576 CPUtime=0
/proc/16719/stat : 16719 (runsolver) R 16717 16719 14762 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58681825 19021824 284 996147200 4194304 4302564 548682068432 18446744073709551615 240472616231 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16719/statm: 4644 284 249 26 0 2626 0
[startup+0.0706181 s]
/proc/loadavg: 2.06 2.02 2.00 4/72 16719
/proc/meminfo: memFree=1376552/2055920 swapFree=4191900/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0
/proc/16719/stat : 16719 (concrete.sh) S 16717 16719 14762 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58681825 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16719/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101613 s]
/proc/loadavg: 2.06 2.02 2.00 4/72 16719
/proc/meminfo: memFree=1376552/2055920 swapFree=4191900/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0
/proc/16719/stat : 16719 (concrete.sh) S 16717 16719 14762 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58681825 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16719/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301636 s]
/proc/loadavg: 2.06 2.02 2.00 4/72 16719
/proc/meminfo: memFree=1376552/2055920 swapFree=4191900/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0
/proc/16719/stat : 16719 (concrete.sh) S 16717 16719 14762 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58681825 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16719/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701667 s]
/proc/loadavg: 2.06 2.02 2.00 4/72 16719
/proc/meminfo: memFree=1376552/2055920 swapFree=4191900/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0
/proc/16719/stat : 16719 (concrete.sh) S 16717 16719 14762 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58681825 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16719/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50173 s]
/proc/loadavg: 2.06 2.01 2.00 3/83 16733
/proc/meminfo: memFree=1361936/2055920 swapFree=4191900/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0
/proc/16719/stat : 16719 (concrete.sh) S 16717 16719 14762 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58681825 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16719/statm: 1339 244 201 169 0 50 0
[pid=16724] ppid=16719 vsize=848676 CPUtime=1.45
/proc/16724/stat : 16724 (java) S 16719 16719 14762 0 -1 0 6819 0 1 0 140 5 0 0 18 0 10 0 58681826 869044224 5851 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/16724/statm: 212169 5851 2057 9 0 206647 0
[pid=16724/tid=16725] ppid=16719 vsize=848676 CPUtime=1.06
/proc/16724/task/16725/stat : 16725 (java) R 16719 16719 14762 0 -1 64 4144 0 1 0 103 3 0 0 24 0 10 0 58681827 869044224 5851 996147200 134512640 134550932 4294955344 18446744073709551615 4126739892 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16726] ppid=16719 vsize=848676 CPUtime=0.03
/proc/16724/task/16726/stat : 16726 (java) S 16719 16719 14762 0 -1 64 420 0 0 0 3 0 0 0 16 0 10 0 58681828 869044224 5851 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16727] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16727/stat : 16727 (java) S 16719 16719 14762 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58681828 869044224 5851 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16728] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16728/stat : 16728 (java) S 16719 16719 14762 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58681828 869044224 5851 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16729] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16729/stat : 16729 (java) S 16719 16719 14762 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58681831 869044224 5851 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16730] ppid=16719 vsize=848676 CPUtime=0.34
/proc/16724/task/16730/stat : 16730 (java) S 16719 16719 14762 0 -1 64 1556 0 0 0 33 1 0 0 15 0 10 0 58681834 869044224 5851 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16731] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16731/stat : 16731 (java) S 16719 16719 14762 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58681834 869044224 5851 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16732] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16732/stat : 16732 (java) S 16719 16719 14762 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 58681834 869044224 5851 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16733] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16733/stat : 16733 (java) S 16719 16719 14762 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 58681913 869044224 5851 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 854032
[startup+3.10287 s]
/proc/loadavg: 2.06 2.01 2.00 3/83 16734
/proc/meminfo: memFree=1359176/2055920 swapFree=4191900/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0
/proc/16719/stat : 16719 (concrete.sh) S 16717 16719 14762 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58681825 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16719/statm: 1339 244 201 169 0 50 0
[pid=16724] ppid=16719 vsize=848676 CPUtime=3.05
/proc/16724/stat : 16724 (java) S 16719 16719 14762 0 -1 0 7981 0 1 0 298 7 0 0 18 0 10 0 58681826 869044224 6799 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/16724/statm: 212169 6799 2633 9 0 206647 0
[pid=16724/tid=16725] ppid=16719 vsize=848676 CPUtime=2.5
/proc/16724/task/16725/stat : 16725 (java) R 16719 16719 14762 0 -1 64 4196 0 1 0 247 3 0 0 25 0 10 0 58681827 869044224 6799 996147200 134512640 134550932 4294955344 18446744073709551615 4126661005 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16726] ppid=16719 vsize=848676 CPUtime=0.09
/proc/16724/task/16726/stat : 16726 (java) S 16719 16719 14762 0 -1 64 1480 0 0 0 9 0 0 0 16 0 10 0 58681828 869044224 6799 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16727] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16727/stat : 16727 (java) S 16719 16719 14762 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58681828 869044224 6799 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16728] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16728/stat : 16728 (java) S 16719 16719 14762 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58681828 869044224 6799 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16729] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16729/stat : 16729 (java) S 16719 16719 14762 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58681831 869044224 6799 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16730] ppid=16719 vsize=848676 CPUtime=0.42
/proc/16724/task/16730/stat : 16730 (java) S 16719 16719 14762 0 -1 64 1605 0 0 0 41 1 0 0 15 0 10 0 58681834 869044224 6799 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16731] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16731/stat : 16731 (java) S 16719 16719 14762 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58681834 869044224 6799 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16732] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16732/stat : 16732 (java) S 16719 16719 14762 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 58681834 869044224 6799 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16734] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16734/stat : 16734 (java) S 16719 16719 14762 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 58682010 869044224 6799 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 854032
[startup+6.30215 s]
/proc/loadavg: 2.06 2.01 2.00 3/83 16734
/proc/meminfo: memFree=1358600/2055920 swapFree=4191900/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0
/proc/16719/stat : 16719 (concrete.sh) S 16717 16719 14762 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58681825 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16719/statm: 1339 244 201 169 0 50 0
[pid=16724] ppid=16719 vsize=848676 CPUtime=6.22
/proc/16724/stat : 16724 (java) S 16719 16719 14762 0 -1 0 8100 0 1 0 615 7 0 0 18 0 10 0 58681826 869044224 6906 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/16724/statm: 212169 6906 2633 9 0 206647 0
[pid=16724/tid=16725] ppid=16719 vsize=848676 CPUtime=5.64
/proc/16724/task/16725/stat : 16725 (java) R 16719 16719 14762 0 -1 64 4208 0 1 0 561 3 0 0 25 0 10 0 58681827 869044224 6906 996147200 134512640 134550932 4294955344 18446744073709551615 4126814383 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16726] ppid=16719 vsize=848676 CPUtime=0.11
/proc/16724/task/16726/stat : 16726 (java) S 16719 16719 14762 0 -1 64 1585 0 0 0 11 0 0 0 16 0 10 0 58681828 869044224 6906 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16727] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16727/stat : 16727 (java) S 16719 16719 14762 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58681828 869044224 6906 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16728] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16728/stat : 16728 (java) S 16719 16719 14762 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58681828 869044224 6906 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16729] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16729/stat : 16729 (java) S 16719 16719 14762 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58681831 869044224 6906 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16730] ppid=16719 vsize=848676 CPUtime=0.42
/proc/16724/task/16730/stat : 16730 (java) S 16719 16719 14762 0 -1 64 1606 0 0 0 41 1 0 0 16 0 10 0 58681834 869044224 6906 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16731] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16731/stat : 16731 (java) S 16719 16719 14762 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58681834 869044224 6906 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16732] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16732/stat : 16732 (java) S 16719 16719 14762 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58681834 869044224 6906 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16734] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16734/stat : 16734 (java) S 16719 16719 14762 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 58682010 869044224 6906 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 854032
Solver just ended. Dumping a history of the last processes samples
[startup+7.90229 s]
/proc/loadavg: 2.05 2.01 2.00 3/83 16734
/proc/meminfo: memFree=1358536/2055920 swapFree=4191900/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0
/proc/16719/stat : 16719 (concrete.sh) S 16717 16719 14762 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58681825 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16719/statm: 1339 244 201 169 0 50 0
[pid=16724] ppid=16719 vsize=848676 CPUtime=7.8
/proc/16724/stat : 16724 (java) S 16719 16719 14762 0 -1 0 8112 0 1 0 773 7 0 0 18 0 10 0 58681826 869044224 6912 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/16724/statm: 212169 6912 2633 9 0 206647 0
[pid=16724/tid=16725] ppid=16719 vsize=848676 CPUtime=7.21
/proc/16724/task/16725/stat : 16725 (java) R 16719 16719 14762 0 -1 64 4214 0 1 0 718 3 0 0 25 0 10 0 58681827 869044224 6912 996147200 134512640 134550932 4294955344 18446744073709551615 4126814448 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16726] ppid=16719 vsize=848676 CPUtime=0.11
/proc/16724/task/16726/stat : 16726 (java) S 16719 16719 14762 0 -1 64 1591 0 0 0 11 0 0 0 16 0 10 0 58681828 869044224 6912 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16727] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16727/stat : 16727 (java) S 16719 16719 14762 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58681828 869044224 6912 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16728] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16728/stat : 16728 (java) S 16719 16719 14762 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58681828 869044224 6912 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16729] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16729/stat : 16729 (java) S 16719 16719 14762 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58681831 869044224 6912 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16730] ppid=16719 vsize=848676 CPUtime=0.43
/proc/16724/task/16730/stat : 16730 (java) S 16719 16719 14762 0 -1 64 1606 0 0 0 42 1 0 0 16 0 10 0 58681834 869044224 6912 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16731] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16731/stat : 16731 (java) S 16719 16719 14762 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58681834 869044224 6912 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16732] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16732/stat : 16732 (java) S 16719 16719 14762 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58681834 869044224 6912 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16734] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16734/stat : 16734 (java) S 16719 16719 14762 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 58682010 869044224 6912 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.8
Current children cumulated vsize (KiB) 854032
[startup+9.50143 s]
/proc/loadavg: 2.05 2.01 2.00 3/83 16734
/proc/meminfo: memFree=1358472/2055920 swapFree=4191900/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0
/proc/16719/stat : 16719 (concrete.sh) S 16717 16719 14762 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58681825 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16719/statm: 1339 244 201 169 0 50 0
[pid=16724] ppid=16719 vsize=848676 CPUtime=9.39
/proc/16724/stat : 16724 (java) S 16719 16719 14762 0 -1 0 8118 0 1 0 932 7 0 0 18 0 10 0 58681826 869044224 6912 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/16724/statm: 212169 6912 2633 9 0 206647 0
[pid=16724/tid=16725] ppid=16719 vsize=848676 CPUtime=8.8
/proc/16724/task/16725/stat : 16725 (java) R 16719 16719 14762 0 -1 64 4220 0 1 0 877 3 0 0 25 0 10 0 58681827 869044224 6912 996147200 134512640 134550932 4294955344 18446744073709551615 4126814410 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16726] ppid=16719 vsize=848676 CPUtime=0.11
/proc/16724/task/16726/stat : 16726 (java) S 16719 16719 14762 0 -1 64 1591 0 0 0 11 0 0 0 16 0 10 0 58681828 869044224 6912 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16727] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16727/stat : 16727 (java) S 16719 16719 14762 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58681828 869044224 6912 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16728] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16728/stat : 16728 (java) S 16719 16719 14762 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58681828 869044224 6912 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16729] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16729/stat : 16729 (java) S 16719 16719 14762 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58681831 869044224 6912 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16730] ppid=16719 vsize=848676 CPUtime=0.43
/proc/16724/task/16730/stat : 16730 (java) S 16719 16719 14762 0 -1 64 1606 0 0 0 42 1 0 0 16 0 10 0 58681834 869044224 6912 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16731] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16731/stat : 16731 (java) S 16719 16719 14762 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58681834 869044224 6912 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16732] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16732/stat : 16732 (java) S 16719 16719 14762 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58681834 869044224 6912 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16734] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16734/stat : 16734 (java) S 16719 16719 14762 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 58682010 869044224 6912 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.39
Current children cumulated vsize (KiB) 854032
[startup+10.3015 s]
/proc/loadavg: 2.05 2.01 2.00 3/83 16734
/proc/meminfo: memFree=1358472/2055920 swapFree=4191900/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0
/proc/16719/stat : 16719 (concrete.sh) S 16717 16719 14762 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58681825 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16719/statm: 1339 244 201 169 0 50 0
[pid=16724] ppid=16719 vsize=848676 CPUtime=10.18
/proc/16724/stat : 16724 (java) S 16719 16719 14762 0 -1 0 8129 0 1 0 1011 7 0 0 18 0 10 0 58681826 869044224 6919 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/16724/statm: 212169 6919 2633 9 0 206647 0
[pid=16724/tid=16725] ppid=16719 vsize=848676 CPUtime=9.59
/proc/16724/task/16725/stat : 16725 (java) R 16719 16719 14762 0 -1 64 4224 0 1 0 956 3 0 0 25 0 10 0 58681827 869044224 6919 996147200 134512640 134550932 4294955344 18446744073709551615 4126691440 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16726] ppid=16719 vsize=848676 CPUtime=0.12
/proc/16724/task/16726/stat : 16726 (java) S 16719 16719 14762 0 -1 64 1598 0 0 0 12 0 0 0 16 0 10 0 58681828 869044224 6919 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16727] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16727/stat : 16727 (java) S 16719 16719 14762 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58681828 869044224 6919 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16728] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16728/stat : 16728 (java) S 16719 16719 14762 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58681828 869044224 6919 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16729] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16729/stat : 16729 (java) S 16719 16719 14762 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58681831 869044224 6919 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16730] ppid=16719 vsize=848676 CPUtime=0.43
/proc/16724/task/16730/stat : 16730 (java) S 16719 16719 14762 0 -1 64 1606 0 0 0 42 1 0 0 16 0 10 0 58681834 869044224 6919 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16731] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16731/stat : 16731 (java) S 16719 16719 14762 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58681834 869044224 6919 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16732] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16732/stat : 16732 (java) S 16719 16719 14762 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58681834 869044224 6919 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16734] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16734/stat : 16734 (java) S 16719 16719 14762 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 58682010 869044224 6919 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.18
Current children cumulated vsize (KiB) 854032
[startup+10.5015 s]
/proc/loadavg: 2.05 2.01 2.00 3/83 16734
/proc/meminfo: memFree=1358472/2055920 swapFree=4191900/4192956
[pid=16719] ppid=16717 vsize=5356 CPUtime=0
/proc/16719/stat : 16719 (concrete.sh) S 16717 16719 14762 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58681825 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16719/statm: 1339 244 201 169 0 50 0
[pid=16724] ppid=16719 vsize=848676 CPUtime=10.38
/proc/16724/stat : 16724 (java) S 16719 16719 14762 0 -1 0 8130 0 1 0 1031 7 0 0 18 0 10 0 58681826 869044224 6919 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/16724/statm: 212169 6919 2633 9 0 206647 0
[pid=16724/tid=16725] ppid=16719 vsize=848676 CPUtime=9.79
/proc/16724/task/16725/stat : 16725 (java) R 16719 16719 14762 0 -1 64 4225 0 1 0 976 3 0 0 25 0 10 0 58681827 869044224 6919 996147200 134512640 134550932 4294955344 18446744073709551615 4126814548 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16726] ppid=16719 vsize=848676 CPUtime=0.12
/proc/16724/task/16726/stat : 16726 (java) S 16719 16719 14762 0 -1 64 1598 0 0 0 12 0 0 0 16 0 10 0 58681828 869044224 6919 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16727] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16727/stat : 16727 (java) S 16719 16719 14762 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58681828 869044224 6919 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16728] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16728/stat : 16728 (java) S 16719 16719 14762 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58681828 869044224 6919 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16729] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16729/stat : 16729 (java) S 16719 16719 14762 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58681831 869044224 6919 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16730] ppid=16719 vsize=848676 CPUtime=0.43
/proc/16724/task/16730/stat : 16730 (java) S 16719 16719 14762 0 -1 64 1606 0 0 0 42 1 0 0 16 0 10 0 58681834 869044224 6919 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16731] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16731/stat : 16731 (java) S 16719 16719 14762 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58681834 869044224 6919 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16732] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16732/stat : 16732 (java) S 16719 16719 14762 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58681834 869044224 6919 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=16724/tid=16734] ppid=16719 vsize=848676 CPUtime=0
/proc/16724/task/16734/stat : 16734 (java) S 16719 16719 14762 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 58682010 869044224 6919 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.38
Current children cumulated vsize (KiB) 854032
Child status: 0
Real time (s): 10.5634
CPU time (s): 10.4204
CPU user time (s): 10.3394
CPU system time (s): 0.080987
CPU usage (%): 98.6464
Max. virtual memory (cumulated for all children) (KiB): 854032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.3394
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8785
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= 2344
involuntary context switches= 2523
runsolver used 0.023996 second user time and 0.035994 second system time
The end
Begin job on node15 at 2009-07-16 05:49:10
IDJOB=2078086
IDBENCH=56713
IDSOLVER=736
FILE ID=node15/2078086-1247716150
PBS_JOBID= 9521309
Free space on /tmp= 66304 MiB
SOLVER NAME= Concrete DC 2009-06-10
BENCH NAME= CPAI08/csp/primes-10/normalized-primes-10-20-3-1.xml
COMMAND LINE= HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2078086-1247716150/watcher-2078086-1247716150 -o /tmp/evaluation-result-2078086-1247716150/solver-2078086-1247716150 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN HOME/instance-2078086-1247716150.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8bb7fe2ef1937debeb5806c6e133acee
RANDOM SEED=2138595443
node15.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.220
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.220
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: 1377032 kB
Buffers: 86164 kB
Cached: 503048 kB
SwapCached: 416 kB
Active: 198256 kB
Inactive: 411996 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1377032 kB
SwapTotal: 4192956 kB
SwapFree: 4191900 kB
Dirty: 1572 kB
Writeback: 0 kB
Mapped: 31764 kB
Slab: 53876 kB
Committed_AS: 817368 kB
PageTables: 1832 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= 66304 MiB
End job on node15 at 2009-07-16 05:49:20