1.37/1.45 c CPU-LOAD 0.67
1.37/1.45 c LOADED 50 V (122 E), 225 DTConstraint, 40 DiffConstraint, arity 2, 0.67 cpu
24.04/24.28 v 20 26 66 76 83 0 9 57 66 83 30 46 116 125 134 9 16 76 91 94 0 16 91 106 110 9 16 45 57 75 0 16 19 33 40 19 40 125 134 141 27 30 106 116 120 0 9 33 45 56
24.04/24.28 s SATISFIABLE
24.04/24.28 d NODES 50
24.04/24.28 d CHECKS 123573931
24.04/24.29 c CDC-added-constraints: 1195
24.04/24.29 c CDC-nbsingletontests: 13555
24.04/24.29 c CDC-nogoods: 1091276
24.04/24.29 c heuristic-cpu: 0.0
24.04/24.29 c prepro-constraint-ccks: 0
24.04/24.29 c prepro-constraint-presenceccks: 0
24.04/24.29 c prepro-cpu: 21.909998
24.04/24.29 c prepro-matrix2d-ccks: 123394601
24.04/24.29 c prepro-matrix2d-presenceccks: 0
24.04/24.29 c prepro-removed: 0
24.04/24.29 c search-cpu: 0.040000916
24.04/24.29 c search-nps: 1249.9714
24.04/24.29 c total-assgn: 50
24.04/24.29 c total-constraint-ccks: 0
24.04/24.29 c total-constraint-presence-ccks: 0
24.04/24.29 c total-cpu: 21.99
24.04/24.29 c total-matrix2d-ccks: 123573931
24.04/24.29 c total-matrix2d-presence-ccks: 0
24.04/24.29 c TOTAL-NODES 50
24.04/24.29 c TOTAL-CPU 21.99
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2078801-1247716536/watcher-2078801-1247716536 -o /tmp/evaluation-result-2078801-1247716536/solver-2078801-1247716536 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN HOME/instance-2078801-1247716536.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: 1.94 2.03 2.07 4/82 17194
/proc/meminfo: memFree=1515088/2055920 swapFree=4192812/4192956
[pid=17194] ppid=17192 vsize=18576 CPUtime=0
/proc/17194/stat : 17194 (runsolver) R 17192 17194 14587 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 58718920 19021824 284 996147200 4194304 4302564 548682068432 18446744073709551615 210723466535 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17194/statm: 4644 284 249 26 0 2626 0
[startup+0.0134839 s]
/proc/loadavg: 1.94 2.03 2.07 4/82 17194
/proc/meminfo: memFree=1515088/2055920 swapFree=4192812/4192956
[pid=17194] ppid=17192 vsize=5356 CPUtime=0
/proc/17194/stat : 17194 (concrete.sh) S 17192 17194 14587 0 -1 4194304 299 128 0 0 0 0 0 0 18 0 1 0 58718920 5484544 238 996147200 4194304 4889804 548682068736 18446744073709551615 210723635282 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/17194/statm: 1339 238 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101822 s]
/proc/loadavg: 1.94 2.03 2.07 4/82 17194
/proc/meminfo: memFree=1515088/2055920 swapFree=4192812/4192956
[pid=17194] ppid=17192 vsize=5356 CPUtime=0
/proc/17194/stat : 17194 (concrete.sh) S 17192 17194 14587 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58718920 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17194/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301846 s]
/proc/loadavg: 1.94 2.03 2.07 4/82 17194
/proc/meminfo: memFree=1515088/2055920 swapFree=4192812/4192956
[pid=17194] ppid=17192 vsize=5356 CPUtime=0
/proc/17194/stat : 17194 (concrete.sh) S 17192 17194 14587 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58718920 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17194/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701894 s]
/proc/loadavg: 1.94 2.03 2.07 4/82 17194
/proc/meminfo: memFree=1515088/2055920 swapFree=4192812/4192956
[pid=17194] ppid=17192 vsize=5356 CPUtime=0
/proc/17194/stat : 17194 (concrete.sh) S 17192 17194 14587 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58718920 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17194/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50299 s]
/proc/loadavg: 1.95 2.03 2.07 4/93 17208
/proc/meminfo: memFree=1500728/2055920 swapFree=4192812/4192956
[pid=17194] ppid=17192 vsize=5356 CPUtime=0
/proc/17194/stat : 17194 (concrete.sh) S 17192 17194 14587 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58718920 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17194/statm: 1339 244 201 169 0 50 0
[pid=17199] ppid=17194 vsize=848856 CPUtime=1.47
/proc/17199/stat : 17199 (java) S 17194 17194 14587 0 -1 0 7888 0 1 0 141 6 0 0 18 0 9 0 58718922 869228544 6743 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17199/statm: 212214 6743 2623 9 0 206692 0
[pid=17199/tid=17200] ppid=17194 vsize=848856 CPUtime=0.91
/proc/17199/task/17200/stat : 17200 (java) R 17194 17194 14587 0 -1 64 4039 0 1 0 87 4 0 0 24 0 9 0 58718922 869228544 6743 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17201] ppid=17194 vsize=848856 CPUtime=0.09
/proc/17199/task/17201/stat : 17201 (java) S 17194 17194 14587 0 -1 64 1523 0 0 0 9 0 0 0 16 0 9 0 58718924 869228544 6743 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17202] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17202/stat : 17202 (java) S 17194 17194 14587 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58718924 869228544 6743 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17203] ppid=17194 vsize=848860 CPUtime=0
/proc/17199/task/17203/stat : 17203 (java) S 17194 17194 14587 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 58718924 869232640 6743 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17204] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17204/stat : 17204 (java) S 17194 17194 14587 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58718926 869228544 6743 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17205] ppid=17194 vsize=848856 CPUtime=0.44
/proc/17199/task/17205/stat : 17205 (java) S 17194 17194 14587 0 -1 64 1627 0 0 0 43 1 0 0 15 0 9 0 58718930 869228544 6743 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17206] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17206/stat : 17206 (java) S 17194 17194 14587 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 58718930 869228544 6743 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17207] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17207/stat : 17207 (java) S 17194 17194 14587 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 58718930 869228544 6743 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 854212
[startup+3.10218 s]
/proc/loadavg: 1.95 2.03 2.07 3/93 17209
/proc/meminfo: memFree=1495920/2055920 swapFree=4192812/4192956
[pid=17194] ppid=17192 vsize=5356 CPUtime=0
/proc/17194/stat : 17194 (concrete.sh) S 17192 17194 14587 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58718920 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17194/statm: 1339 244 201 169 0 50 0
[pid=17199] ppid=17194 vsize=848856 CPUtime=3.05
/proc/17199/stat : 17199 (java) S 17194 17194 14587 0 -1 0 9409 0 1 0 298 7 0 0 18 0 10 0 58718922 869228544 8237 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17199/statm: 212214 8237 2625 9 0 206692 0
[pid=17199/tid=17200] ppid=17194 vsize=848856 CPUtime=2.27
/proc/17199/task/17200/stat : 17200 (java) R 17194 17194 14587 0 -1 64 4074 0 1 0 223 4 0 0 25 0 10 0 58718922 869228544 8237 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17201] ppid=17194 vsize=848856 CPUtime=0.24
/proc/17199/task/17201/stat : 17201 (java) R 17194 17194 14587 0 -1 64 2970 0 0 0 24 0 0 0 16 0 10 0 58718924 869228544 8237 996147200 134512640 134550932 4294955344 18446744073709551615 102724634 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17202] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17202/stat : 17202 (java) S 17194 17194 14587 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58718924 869228544 8237 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17203] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17203/stat : 17203 (java) S 17194 17194 14587 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58718924 869228544 8237 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17204] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17204/stat : 17204 (java) S 17194 17194 14587 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58718926 869228544 8237 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17205] ppid=17194 vsize=848856 CPUtime=0.5
/proc/17199/task/17205/stat : 17205 (java) S 17194 17194 14587 0 -1 64 1665 0 0 0 49 1 0 0 15 0 10 0 58718930 869228544 8237 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17206] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17206/stat : 17206 (java) S 17194 17194 14587 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58718930 869228544 8237 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17207] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17207/stat : 17207 (java) S 17194 17194 14587 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 58718930 869228544 8237 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17209] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17209/stat : 17209 (java) S 17194 17194 14587 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 58719070 869228544 8237 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) 854212
[startup+6.30255 s]
/proc/loadavg: 1.95 2.03 2.07 3/93 17209
/proc/meminfo: memFree=1485744/2055920 swapFree=4192812/4192956
[pid=17194] ppid=17192 vsize=5356 CPUtime=0
/proc/17194/stat : 17194 (concrete.sh) S 17192 17194 14587 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58718920 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17194/statm: 1339 244 201 169 0 50 0
[pid=17199] ppid=17194 vsize=848856 CPUtime=6.24
/proc/17199/stat : 17199 (java) S 17194 17194 14587 0 -1 0 12630 0 1 0 615 9 0 0 18 0 10 0 58718922 869228544 10218 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17199/statm: 212214 10218 2626 9 0 206692 0
[pid=17199/tid=17200] ppid=17194 vsize=848856 CPUtime=5.24
/proc/17199/task/17200/stat : 17200 (java) R 17194 17194 14587 0 -1 64 4216 0 1 0 520 4 0 0 25 0 10 0 58718922 869228544 10218 996147200 134512640 134550932 4294955344 18446744073709551615 4126981429 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17201] ppid=17194 vsize=848856 CPUtime=0.46
/proc/17199/task/17201/stat : 17201 (java) S 17194 17194 14587 0 -1 64 6046 0 0 0 44 2 0 0 16 0 10 0 58718924 869228544 10218 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17202] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17202/stat : 17202 (java) S 17194 17194 14587 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58718924 869228544 10218 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17203] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17203/stat : 17203 (java) S 17194 17194 14587 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58718924 869228544 10218 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17204] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17204/stat : 17204 (java) S 17194 17194 14587 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58718926 869228544 10218 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17205] ppid=17194 vsize=848856 CPUtime=0.51
/proc/17199/task/17205/stat : 17205 (java) S 17194 17194 14587 0 -1 64 1668 0 0 0 50 1 0 0 15 0 10 0 58718930 869228544 10218 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17206] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17206/stat : 17206 (java) S 17194 17194 14587 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58718930 869228544 10218 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17207] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17207/stat : 17207 (java) S 17194 17194 14587 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 58718930 869228544 10218 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17209] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17209/stat : 17209 (java) S 17194 17194 14587 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 58719070 869228544 10218 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 854212
[startup+12.7023 s]
/proc/loadavg: 1.96 2.03 2.06 3/93 17209
/proc/meminfo: memFree=1478656/2055920 swapFree=4192812/4192956
[pid=17194] ppid=17192 vsize=5356 CPUtime=0
/proc/17194/stat : 17194 (concrete.sh) S 17192 17194 14587 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58718920 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17194/statm: 1339 244 201 169 0 50 0
[pid=17199] ppid=17194 vsize=848856 CPUtime=12.59
/proc/17199/stat : 17199 (java) S 17194 17194 14587 0 -1 0 14038 0 1 0 1250 9 0 0 18 0 10 0 58718922 869228544 11574 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17199/statm: 212214 11574 2626 9 0 206692 0
[pid=17199/tid=17200] ppid=17194 vsize=848856 CPUtime=11.42
/proc/17199/task/17200/stat : 17200 (java) R 17194 17194 14587 0 -1 64 4268 0 1 0 1138 4 0 0 25 0 10 0 58718922 869228544 11574 996147200 134512640 134550932 4294955344 18446744073709551615 4126150540 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17201] ppid=17194 vsize=848856 CPUtime=0.64
/proc/17199/task/17201/stat : 17201 (java) S 17194 17194 14587 0 -1 64 7402 0 0 0 61 3 0 0 16 0 10 0 58718924 869228544 11574 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17202] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17202/stat : 17202 (java) S 17194 17194 14587 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58718924 869228544 11574 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17203] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17203/stat : 17203 (java) S 17194 17194 14587 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58718924 869228544 11574 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17204] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17204/stat : 17204 (java) S 17194 17194 14587 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58718926 869228544 11574 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17205] ppid=17194 vsize=848856 CPUtime=0.51
/proc/17199/task/17205/stat : 17205 (java) S 17194 17194 14587 0 -1 64 1668 0 0 0 50 1 0 0 15 0 10 0 58718930 869228544 11574 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17206] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17206/stat : 17206 (java) S 17194 17194 14587 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58718930 869228544 11574 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17207] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17207/stat : 17207 (java) S 17194 17194 14587 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 58718930 869228544 11574 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17209] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17209/stat : 17209 (java) S 17194 17194 14587 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 58719070 869228544 11574 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 854212
Solver just ended. Dumping a history of the last processes samples
[startup+19.1021 s]
/proc/loadavg: 1.96 2.03 2.06 3/93 17209
/proc/meminfo: memFree=1477824/2055920 swapFree=4192812/4192956
[pid=17194] ppid=17192 vsize=5356 CPUtime=0
/proc/17194/stat : 17194 (concrete.sh) S 17192 17194 14587 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58718920 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17194/statm: 1339 244 201 169 0 50 0
[pid=17199] ppid=17194 vsize=848856 CPUtime=18.96
/proc/17199/stat : 17199 (java) S 17194 17194 14587 0 -1 0 14219 0 1 0 1886 10 0 0 18 0 10 0 58718922 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17199/statm: 212214 11705 2626 9 0 206692 0
[pid=17199/tid=17200] ppid=17194 vsize=848856 CPUtime=17.75
/proc/17199/task/17200/stat : 17200 (java) R 17194 17194 14587 0 -1 64 4446 0 1 0 1771 4 0 0 25 0 10 0 58718922 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4126981299 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17201] ppid=17194 vsize=848856 CPUtime=0.67
/proc/17199/task/17201/stat : 17201 (java) S 17194 17194 14587 0 -1 64 7404 0 0 0 64 3 0 0 16 0 10 0 58718924 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17202] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17202/stat : 17202 (java) S 17194 17194 14587 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58718924 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17203] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17203/stat : 17203 (java) S 17194 17194 14587 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58718924 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17204] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17204/stat : 17204 (java) S 17194 17194 14587 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58718926 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17205] ppid=17194 vsize=848856 CPUtime=0.51
/proc/17199/task/17205/stat : 17205 (java) S 17194 17194 14587 0 -1 64 1669 0 0 0 50 1 0 0 16 0 10 0 58718930 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17206] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17206/stat : 17206 (java) S 17194 17194 14587 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58718930 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17207] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17207/stat : 17207 (java) S 17194 17194 14587 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 58718930 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17209] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17209/stat : 17209 (java) S 17194 17194 14587 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 58719070 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 18.96
Current children cumulated vsize (KiB) 854212
[startup+22.3024 s]
/proc/loadavg: 1.96 2.03 2.06 3/93 17209
/proc/meminfo: memFree=1477824/2055920 swapFree=4192812/4192956
[pid=17194] ppid=17192 vsize=5356 CPUtime=0
/proc/17194/stat : 17194 (concrete.sh) S 17192 17194 14587 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58718920 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17194/statm: 1339 244 201 169 0 50 0
[pid=17199] ppid=17194 vsize=848856 CPUtime=22.14
/proc/17199/stat : 17199 (java) S 17194 17194 14587 0 -1 0 14268 0 1 0 2204 10 0 0 18 0 10 0 58718922 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17199/statm: 212214 11705 2626 9 0 206692 0
[pid=17199/tid=17200] ppid=17194 vsize=848856 CPUtime=20.91
/proc/17199/task/17200/stat : 17200 (java) R 17194 17194 14587 0 -1 64 4495 0 1 0 2086 5 0 0 25 0 10 0 58718922 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4127096482 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17201] ppid=17194 vsize=848856 CPUtime=0.69
/proc/17199/task/17201/stat : 17201 (java) S 17194 17194 14587 0 -1 64 7404 0 0 0 66 3 0 0 16 0 10 0 58718924 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17202] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17202/stat : 17202 (java) S 17194 17194 14587 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58718924 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17203] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17203/stat : 17203 (java) S 17194 17194 14587 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58718924 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17204] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17204/stat : 17204 (java) S 17194 17194 14587 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58718926 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17205] ppid=17194 vsize=848856 CPUtime=0.51
/proc/17199/task/17205/stat : 17205 (java) S 17194 17194 14587 0 -1 64 1669 0 0 0 50 1 0 0 16 0 10 0 58718930 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17206] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17206/stat : 17206 (java) S 17194 17194 14587 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58718930 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17207] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17207/stat : 17207 (java) S 17194 17194 14587 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 58718930 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17209] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17209/stat : 17209 (java) S 17194 17194 14587 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 58719070 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.14
Current children cumulated vsize (KiB) 854212
[startup+23.1075 s]
/proc/loadavg: 1.96 2.03 2.06 3/93 17209
/proc/meminfo: memFree=1477824/2055920 swapFree=4192812/4192956
[pid=17194] ppid=17192 vsize=5356 CPUtime=0
/proc/17194/stat : 17194 (concrete.sh) S 17192 17194 14587 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58718920 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17194/statm: 1339 244 201 169 0 50 0
[pid=17199] ppid=17194 vsize=848856 CPUtime=22.94
/proc/17199/stat : 17199 (java) S 17194 17194 14587 0 -1 0 14281 0 1 0 2284 10 0 0 18 0 10 0 58718922 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17199/statm: 212214 11705 2626 9 0 206692 0
[pid=17199/tid=17200] ppid=17194 vsize=848856 CPUtime=21.71
/proc/17199/task/17200/stat : 17200 (java) R 17194 17194 14587 0 -1 64 4508 0 1 0 2166 5 0 0 25 0 10 0 58718922 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4126324208 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17201] ppid=17194 vsize=848856 CPUtime=0.69
/proc/17199/task/17201/stat : 17201 (java) S 17194 17194 14587 0 -1 64 7404 0 0 0 66 3 0 0 16 0 10 0 58718924 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17202] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17202/stat : 17202 (java) S 17194 17194 14587 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58718924 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17203] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17203/stat : 17203 (java) S 17194 17194 14587 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58718924 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17204] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17204/stat : 17204 (java) S 17194 17194 14587 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58718926 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17205] ppid=17194 vsize=848856 CPUtime=0.51
/proc/17199/task/17205/stat : 17205 (java) S 17194 17194 14587 0 -1 64 1669 0 0 0 50 1 0 0 16 0 10 0 58718930 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17206] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17206/stat : 17206 (java) S 17194 17194 14587 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58718930 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17207] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17207/stat : 17207 (java) S 17194 17194 14587 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 58718930 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17209] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17209/stat : 17209 (java) S 17194 17194 14587 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 58719070 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.94
Current children cumulated vsize (KiB) 854212
[startup+23.9016 s]
/proc/loadavg: 1.96 2.03 2.06 3/93 17209
/proc/meminfo: memFree=1477824/2055920 swapFree=4192812/4192956
[pid=17194] ppid=17192 vsize=5356 CPUtime=0
/proc/17194/stat : 17194 (concrete.sh) S 17192 17194 14587 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58718920 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17194/statm: 1339 244 201 169 0 50 0
[pid=17199] ppid=17194 vsize=848856 CPUtime=23.74
/proc/17199/stat : 17199 (java) S 17194 17194 14587 0 -1 0 14294 0 1 0 2363 11 0 0 18 0 10 0 58718922 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17199/statm: 212214 11705 2626 9 0 206692 0
[pid=17199/tid=17200] ppid=17194 vsize=848856 CPUtime=22.49
/proc/17199/task/17200/stat : 17200 (java) R 17194 17194 14587 0 -1 64 4521 0 1 0 2244 5 0 0 25 0 10 0 58718922 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4127026656 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17201] ppid=17194 vsize=848856 CPUtime=0.7
/proc/17199/task/17201/stat : 17201 (java) S 17194 17194 14587 0 -1 64 7404 0 0 0 67 3 0 0 16 0 10 0 58718924 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17202] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17202/stat : 17202 (java) S 17194 17194 14587 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58718924 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17203] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17203/stat : 17203 (java) S 17194 17194 14587 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58718924 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17204] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17204/stat : 17204 (java) S 17194 17194 14587 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58718926 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17205] ppid=17194 vsize=848856 CPUtime=0.51
/proc/17199/task/17205/stat : 17205 (java) S 17194 17194 14587 0 -1 64 1669 0 0 0 50 1 0 0 16 0 10 0 58718930 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17206] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17206/stat : 17206 (java) S 17194 17194 14587 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58718930 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17207] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17207/stat : 17207 (java) S 17194 17194 14587 0 -1 64 0 0 0 0 0 0 0 0 15 0 10 0 58718930 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17209] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17209/stat : 17209 (java) S 17194 17194 14587 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 58719070 869228544 11705 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 23.74
Current children cumulated vsize (KiB) 854212
[startup+24.3017 s]
/proc/loadavg: 1.96 2.03 2.06 3/93 17209
/proc/meminfo: memFree=1477824/2055920 swapFree=4192812/4192956
[pid=17194] ppid=17192 vsize=5356 CPUtime=0
/proc/17194/stat : 17194 (concrete.sh) S 17192 17194 14587 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58718920 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17194/statm: 1339 244 201 169 0 50 0
[pid=17199] ppid=17194 vsize=848856 CPUtime=24.12
/proc/17199/stat : 17199 (java) S 17194 17194 14587 0 -1 0 14309 0 1 0 2401 11 0 0 18 0 9 0 58718922 869228544 11712 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17199/statm: 212214 11712 2626 9 0 206692 0
[pid=17199/tid=17200] ppid=17194 vsize=848856 CPUtime=22.87
/proc/17199/task/17200/stat : 17200 (java) S 17194 17194 14587 0 -1 64 4533 0 1 0 2282 5 0 0 25 0 9 0 58718922 869228544 11712 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17201] ppid=17194 vsize=848856 CPUtime=0.7
/proc/17199/task/17201/stat : 17201 (java) S 17194 17194 14587 0 -1 64 7404 0 0 0 67 3 0 0 16 0 9 0 58718924 869228544 11712 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17202] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17202/stat : 17202 (java) S 17194 17194 14587 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58718924 869228544 11712 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17203] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17203/stat : 17203 (java) S 17194 17194 14587 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 58718924 869228544 11712 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17204] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17204/stat : 17204 (java) S 17194 17194 14587 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58718926 869228544 11712 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17205] ppid=17194 vsize=848856 CPUtime=0.52
/proc/17199/task/17205/stat : 17205 (java) S 17194 17194 14587 0 -1 64 1672 0 0 0 51 1 0 0 16 0 9 0 58718930 869228544 11712 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17206] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17206/stat : 17206 (java) S 17194 17194 14587 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 58718930 869228544 11712 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17199/tid=17207] ppid=17194 vsize=848856 CPUtime=0
/proc/17199/task/17207/stat : 17207 (java) S 17194 17194 14587 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 58718930 869228544 11712 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.12
Current children cumulated vsize (KiB) 854212
Child status: 0
Real time (s): 24.3238
CPU time (s): 24.1423
CPU user time (s): 24.0203
CPU system time (s): 0.121981
CPU usage (%): 99.2539
Max. virtual memory (cumulated for all children) (KiB): 855500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.0203
system time used= 0.121981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14955
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= 4933
involuntary context switches= 5216
runsolver used 0.038994 second user time and 0.087986 second system time
The end
Begin job on node73 at 2009-07-16 05:55:36
IDJOB=2078801
IDBENCH=56814
IDSOLVER=736
FILE ID=node73/2078801-1247716536
PBS_JOBID= 9521451
Free space on /tmp= 66428 MiB
SOLVER NAME= Concrete DC 2009-06-10
BENCH NAME= CPAI08/csp/jobShop-e0ddr1/normalized-e0ddr1-10-by-5-9.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-2078801-1247716536/watcher-2078801-1247716536 -o /tmp/evaluation-result-2078801-1247716536/solver-2078801-1247716536 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN HOME/instance-2078801-1247716536.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8bcfd9da142eddaa3ab4f4a34bb0c3be
RANDOM SEED=708748747
node73.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.213
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.213
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: 1515568 kB
Buffers: 78204 kB
Cached: 314224 kB
SwapCached: 0 kB
Active: 167968 kB
Inactive: 285856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1515568 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 8600 kB
Writeback: 0 kB
Mapped: 81828 kB
Slab: 71532 kB
Committed_AS: 580584 kB
PageTables: 1916 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= 66428 MiB
End job on node73 at 2009-07-16 05:56:00