13.30/13.48 c CPU-LOAD 7.27
13.30/13.48 c LOADED 11 V (56 E), 495 PredicateConstraint, 55 ExtensionConstraint2D, arity 4, 7.27 cpu
1071.98/1078.51 s UNSATISFIABLE
1071.98/1078.51 d NODES 169741
1071.98/1078.51 d CHECKS 795023567
1071.98/1078.51 c CDC-added-constraints: 0
1071.98/1078.51 c CDC-nbsingletontests: 3917
1071.98/1078.51 c CDC-nogoods: 6821
1071.98/1078.51 c heuristic-cpu: 0.0
1071.98/1078.51 c prepro-constraint-ccks: 64770446
1071.98/1078.51 c prepro-constraint-presenceccks: 129468776
1071.98/1078.51 c prepro-cpu: 83.06
1071.98/1078.51 c prepro-matrix2d-ccks: 6108503
1071.98/1078.51 c prepro-matrix2d-presenceccks: 0
1071.98/1078.51 c prepro-removed: 200
1071.98/1078.51 c search-cpu: 910.89
1071.98/1078.51 c search-nps: 186.34631
1071.98/1078.51 c total-assgn: 169741
1071.98/1078.51 c total-constraint-ccks: 746710174
1071.98/1078.51 c total-constraint-presence-ccks: 1537662289
1071.98/1078.51 c total-cpu: 994.0
1071.98/1078.51 c total-matrix2d-ccks: 48313393
1071.98/1078.51 c total-matrix2d-presence-ccks: 0
1071.98/1078.51 c TOTAL-NODES 169741
1071.98/1078.51 c TOTAL-CPU 994.0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2071156-1247709637/watcher-2071156-1247709637 -o /tmp/evaluation-result-2071156-1247709637/solver-2071156-1247709637 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN HOME/instance-2071156-1247709637.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.01 2.18 2.22 4/81 9180
/proc/meminfo: memFree=1179816/2055920 swapFree=4192812/4192956
[pid=9180] ppid=9178 vsize=5256 CPUtime=0
/proc/9180/stat : 9180 (concrete.sh) R 9178 9180 9017 0 -1 4194304 57 0 0 0 0 0 0 0 20 0 1 0 58026998 5382144 42 996147200 4194304 4889804 548682068736 18446744073709551615 251252507344 0 0 4096 0 0 0 0 17 1 0 0
/proc/9180/statm: 1314 42 31 169 0 9 0
[startup+0.0953951 s]
/proc/loadavg: 2.01 2.18 2.22 4/81 9180
/proc/meminfo: memFree=1179816/2055920 swapFree=4192812/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (concrete.sh) S 9178 9180 9017 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58026998 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101392 s]
/proc/loadavg: 2.01 2.18 2.22 4/81 9180
/proc/meminfo: memFree=1179816/2055920 swapFree=4192812/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (concrete.sh) S 9178 9180 9017 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58026998 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301417 s]
/proc/loadavg: 2.01 2.18 2.22 4/81 9180
/proc/meminfo: memFree=1179816/2055920 swapFree=4192812/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (concrete.sh) S 9178 9180 9017 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58026998 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701461 s]
/proc/loadavg: 2.01 2.18 2.22 4/81 9180
/proc/meminfo: memFree=1179816/2055920 swapFree=4192812/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (concrete.sh) S 9178 9180 9017 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58026998 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50155 s]
/proc/loadavg: 2.01 2.18 2.22 4/91 9193
/proc/meminfo: memFree=1165272/2055920 swapFree=4192812/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (concrete.sh) S 9178 9180 9017 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58026998 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 244 201 169 0 50 0
[pid=9185] ppid=9180 vsize=848828 CPUtime=1.46
/proc/9185/stat : 9185 (java) S 9180 9180 9017 0 -1 0 7011 0 1 0 141 5 0 0 18 0 10 0 58027000 869199872 6173 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/9185/statm: 212207 6173 2019 9 0 206685 0
[pid=9185/tid=9186] ppid=9180 vsize=848828 CPUtime=0.92
/proc/9185/task/9186/stat : 9186 (java) R 9180 9180 9017 0 -1 64 3939 0 1 0 89 3 0 0 22 0 10 0 58027001 869199872 6173 996147200 134512640 134550932 4294955344 18446744073709551615 4126626792 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9187] ppid=9180 vsize=848828 CPUtime=0.05
/proc/9185/task/9187/stat : 9187 (java) S 9180 9180 9017 0 -1 64 772 0 0 0 5 0 0 0 16 0 10 0 58027002 869199872 6173 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9188] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9188/stat : 9188 (java) S 9180 9180 9017 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 58027002 869199872 6173 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9189] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9189/stat : 9189 (java) S 9180 9180 9017 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58027002 869199872 6173 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9190] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9190/stat : 9190 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58027005 869199872 6173 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9191] ppid=9180 vsize=848828 CPUtime=0.45
/proc/9185/task/9191/stat : 9191 (java) S 9180 9180 9017 0 -1 64 1600 0 0 0 45 0 0 0 15 0 10 0 58027008 869199872 6173 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9192] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9192/stat : 9192 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58027008 869199872 6173 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9193] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9193/stat : 9193 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58027009 869199872 6173 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 854184
[startup+3.10272 s]
/proc/loadavg: 2.01 2.18 2.22 3/92 9194
/proc/meminfo: memFree=1159568/2055920 swapFree=4192812/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (concrete.sh) S 9178 9180 9017 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58026998 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 244 201 169 0 50 0
[pid=9185] ppid=9180 vsize=848828 CPUtime=3.06
/proc/9185/stat : 9185 (java) S 9180 9180 9017 0 -1 0 15129 0 1 0 297 9 0 0 18 0 10 0 58027000 869199872 13893 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/9185/statm: 212207 13893 2632 9 0 206685 0
[pid=9185/tid=9186] ppid=9180 vsize=848828 CPUtime=1.71
/proc/9185/task/9186/stat : 9186 (java) R 9180 9180 9017 0 -1 64 5108 0 1 0 167 4 0 0 25 0 10 0 58027001 869199872 13893 996147200 134512640 134550932 4294955344 18446744073709551615 4127241680 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9187] ppid=9180 vsize=848828 CPUtime=0.76
/proc/9185/task/9187/stat : 9187 (java) S 9180 9180 9017 0 -1 64 7649 0 0 0 73 3 0 0 16 0 10 0 58027002 869199872 13893 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9188] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9188/stat : 9188 (java) S 9180 9180 9017 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 58027002 869199872 13893 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9189] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9189/stat : 9189 (java) S 9180 9180 9017 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58027002 869199872 13893 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9190] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9190/stat : 9190 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58027005 869199872 13893 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9191] ppid=9180 vsize=848828 CPUtime=0.56
/proc/9185/task/9191/stat : 9191 (java) S 9180 9180 9017 0 -1 64 1672 0 0 0 55 1 0 0 15 0 10 0 58027008 869199872 13893 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9192] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9192/stat : 9192 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58027008 869199872 13893 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9193] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9193/stat : 9193 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58027009 869199872 13893 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9194] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9194/stat : 9194 (java) S 9180 9180 9017 0 -1 64 4 0 0 0 0 0 0 0 21 0 10 0 58027111 869199872 13893 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 854184
[startup+6.31207 s]
/proc/loadavg: 2.09 2.19 2.23 3/92 9194
/proc/meminfo: memFree=1071824/2055920 swapFree=4192812/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (concrete.sh) S 9178 9180 9017 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58026998 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 244 201 169 0 50 0
[pid=9185] ppid=9180 vsize=848828 CPUtime=6.25
/proc/9185/stat : 9185 (java) S 9180 9180 9017 0 -1 0 37093 0 1 0 607 18 0 0 18 0 10 0 58027000 869199872 35830 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/9185/statm: 212207 35830 2632 9 0 206685 0
[pid=9185/tid=9186] ppid=9180 vsize=848828 CPUtime=3.07
/proc/9185/task/9186/stat : 9186 (java) R 9180 9180 9017 0 -1 64 8475 0 1 0 302 5 0 0 25 0 10 0 58027001 869199872 35830 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9187] ppid=9180 vsize=848828 CPUtime=2.6
/proc/9185/task/9187/stat : 9187 (java) R 9180 9180 9017 0 -1 64 26246 0 0 0 249 11 0 0 16 0 10 0 58027002 869199872 35830 996147200 134512640 134550932 4294955344 18446744073709551615 103826290 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9188] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9188/stat : 9188 (java) S 9180 9180 9017 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 58027002 869199872 35830 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9189] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9189/stat : 9189 (java) S 9180 9180 9017 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58027002 869199872 35830 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9190] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9190/stat : 9190 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58027005 869199872 35830 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9191] ppid=9180 vsize=848828 CPUtime=0.56
/proc/9185/task/9191/stat : 9191 (java) S 9180 9180 9017 0 -1 64 1672 0 0 0 55 1 0 0 15 0 10 0 58027008 869199872 35830 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9192] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9192/stat : 9192 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58027008 869199872 35830 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9193] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9193/stat : 9193 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58027009 869199872 35830 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9194] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9194/stat : 9194 (java) S 9180 9180 9017 0 -1 64 4 0 0 0 0 0 0 0 21 0 10 0 58027111 869199872 35830 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 854184
[startup+12.7028 s]
/proc/loadavg: 2.08 2.19 2.23 3/92 9194
/proc/meminfo: memFree=1018704/2055920 swapFree=4192812/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (concrete.sh) S 9178 9180 9017 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58026998 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 244 201 169 0 50 0
[pid=9185] ppid=9180 vsize=848828 CPUtime=12.61
/proc/9185/stat : 9185 (java) S 9180 9180 9017 0 -1 0 44860 0 1 0 1239 22 0 0 18 0 10 0 58027000 869199872 43001 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/9185/statm: 212207 43001 2632 9 0 206685 0
[pid=9185/tid=9186] ppid=9180 vsize=848828 CPUtime=6.95
/proc/9185/task/9186/stat : 9186 (java) R 9180 9180 9017 0 -1 64 8526 0 1 0 690 5 0 0 25 0 10 0 58027001 869199872 43001 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9187] ppid=9180 vsize=848828 CPUtime=5.07
/proc/9185/task/9187/stat : 9187 (java) R 9180 9180 9017 0 -1 64 33962 0 0 0 492 15 0 0 16 0 10 0 58027002 869199872 43001 996147200 134512640 134550932 4294955344 18446744073709551615 102509994 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9188] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9188/stat : 9188 (java) S 9180 9180 9017 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 58027002 869199872 43001 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9189] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9189/stat : 9189 (java) S 9180 9180 9017 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58027002 869199872 43001 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9190] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9190/stat : 9190 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58027005 869199872 43001 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9191] ppid=9180 vsize=848828 CPUtime=0.57
/proc/9185/task/9191/stat : 9191 (java) S 9180 9180 9017 0 -1 64 1672 0 0 0 56 1 0 0 15 0 10 0 58027008 869199872 43001 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9192] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9192/stat : 9192 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58027008 869199872 43001 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9193] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9193/stat : 9193 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58027009 869199872 43001 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9194] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9194/stat : 9194 (java) S 9180 9180 9017 0 -1 64 4 0 0 0 0 0 0 0 21 0 10 0 58027111 869199872 43001 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 854184
[startup+25.5012 s]
/proc/loadavg: 2.06 2.18 2.22 3/92 9201
/proc/meminfo: memFree=1016176/2055920 swapFree=4192812/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (concrete.sh) S 9178 9180 9017 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58026998 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 244 201 169 0 50 0
[pid=9185] ppid=9180 vsize=848828 CPUtime=25.33
/proc/9185/stat : 9185 (java) S 9180 9180 9017 0 -1 0 45041 0 1 0 2510 23 0 0 18 0 10 0 58027000 869199872 43122 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/9185/statm: 212207 43122 2633 9 0 206685 0
[pid=9185/tid=9186] ppid=9180 vsize=848828 CPUtime=18.87
/proc/9185/task/9186/stat : 9186 (java) R 9180 9180 9017 0 -1 64 8614 0 1 0 1882 5 0 0 25 0 10 0 58027001 869199872 43122 996147200 134512640 134550932 4294955344 18446744073709551615 4127326629 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9187] ppid=9180 vsize=848828 CPUtime=5.81
/proc/9185/task/9187/stat : 9187 (java) S 9180 9180 9017 0 -1 64 34027 0 0 0 566 15 0 0 16 0 10 0 58027002 869199872 43122 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9188] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9188/stat : 9188 (java) S 9180 9180 9017 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 58027002 869199872 43122 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9189] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9189/stat : 9189 (java) S 9180 9180 9017 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 58027002 869199872 43122 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9190] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9190/stat : 9190 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58027005 869199872 43122 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9191] ppid=9180 vsize=848828 CPUtime=0.62
/proc/9185/task/9191/stat : 9191 (java) S 9180 9180 9017 0 -1 64 1699 0 0 0 61 1 0 0 16 0 10 0 58027008 869199872 43122 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9192] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9192/stat : 9192 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58027008 869199872 43122 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9193] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9193/stat : 9193 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58027009 869199872 43122 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9195] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9195/stat : 9195 (java) S 9180 9180 9017 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 58028357 869199872 43122 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
################
# More data... #
################
Solver just ended. Dumping a history of the last processes samples
[startup+1068.7 s]
/proc/loadavg: 2.11 2.11 2.11 3/91 9677
/proc/meminfo: memFree=1140808/2055920 swapFree=4192812/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (concrete.sh) S 9178 9180 9017 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58026998 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 244 201 169 0 50 0
[pid=9185] ppid=9180 vsize=848828 CPUtime=1062.23
/proc/9185/stat : 9185 (java) S 9180 9180 9017 0 -1 0 67101 0 1 0 106029 194 0 0 18 0 9 0 58027000 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/9185/statm: 212207 11314 2634 9 0 206685 0
[pid=9185/tid=9186] ppid=9180 vsize=848828 CPUtime=992.73
/proc/9185/task/9186/stat : 9186 (java) R 9180 9180 9017 0 -1 64 23987 0 1 0 99214 59 0 0 25 0 9 0 58027001 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4127326597 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9187] ppid=9180 vsize=848828 CPUtime=68.81
/proc/9185/task/9187/stat : 9187 (java) S 9180 9180 9017 0 -1 64 40696 0 0 0 6749 132 0 0 16 0 9 0 58027002 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9188] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9188/stat : 9188 (java) S 9180 9180 9017 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 58027002 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9189] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9189/stat : 9189 (java) S 9180 9180 9017 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58027002 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9190] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9190/stat : 9190 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58027005 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9191] ppid=9180 vsize=848828 CPUtime=0.65
/proc/9185/task/9191/stat : 9191 (java) S 9180 9180 9017 0 -1 64 1716 0 0 0 64 1 0 0 16 0 9 0 58027008 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9192] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9192/stat : 9192 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58027008 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9193] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9193/stat : 9193 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58027009 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1062.23
Current children cumulated vsize (KiB) 854184
[startup+1075.1 s]
/proc/loadavg: 2.10 2.11 2.11 3/91 9677
/proc/meminfo: memFree=1140744/2055920 swapFree=4192812/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (concrete.sh) S 9178 9180 9017 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58026998 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 244 201 169 0 50 0
[pid=9185] ppid=9180 vsize=848828 CPUtime=1068.6
/proc/9185/stat : 9185 (java) S 9180 9180 9017 0 -1 0 67430 0 1 0 106664 196 0 0 18 0 9 0 58027000 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/9185/statm: 212207 11314 2634 9 0 206685 0
[pid=9185/tid=9186] ppid=9180 vsize=848828 CPUtime=998.46
/proc/9185/task/9186/stat : 9186 (java) R 9180 9180 9017 0 -1 64 24155 0 1 0 99786 60 0 0 25 0 9 0 58027001 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4125182270 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9187] ppid=9180 vsize=848828 CPUtime=69.46
/proc/9185/task/9187/stat : 9187 (java) S 9180 9180 9017 0 -1 64 40857 0 0 0 6812 134 0 0 16 0 9 0 58027002 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9188] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9188/stat : 9188 (java) S 9180 9180 9017 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 58027002 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9189] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9189/stat : 9189 (java) S 9180 9180 9017 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58027002 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9190] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9190/stat : 9190 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58027005 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9191] ppid=9180 vsize=848828 CPUtime=0.65
/proc/9185/task/9191/stat : 9191 (java) S 9180 9180 9017 0 -1 64 1716 0 0 0 64 1 0 0 16 0 9 0 58027008 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9192] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9192/stat : 9192 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58027008 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9193] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9193/stat : 9193 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58027009 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1068.6
Current children cumulated vsize (KiB) 854184
[startup+1076.7 s]
/proc/loadavg: 2.09 2.11 2.11 3/91 9677
/proc/meminfo: memFree=1140808/2055920 swapFree=4192812/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (concrete.sh) S 9178 9180 9017 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58026998 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 244 201 169 0 50 0
[pid=9185] ppid=9180 vsize=848828 CPUtime=1070.2
/proc/9185/stat : 9185 (java) S 9180 9180 9017 0 -1 0 67531 0 1 0 106823 197 0 0 18 0 9 0 58027000 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/9185/statm: 212207 11314 2634 9 0 206685 0
[pid=9185/tid=9186] ppid=9180 vsize=848828 CPUtime=999.87
/proc/9185/task/9186/stat : 9186 (java) R 9180 9180 9017 0 -1 64 24196 0 1 0 99927 60 0 0 25 0 9 0 58027001 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4127326005 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9187] ppid=9180 vsize=848828 CPUtime=69.64
/proc/9185/task/9187/stat : 9187 (java) S 9180 9180 9017 0 -1 64 40917 0 0 0 6830 134 0 0 16 0 9 0 58027002 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9188] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9188/stat : 9188 (java) S 9180 9180 9017 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 58027002 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9189] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9189/stat : 9189 (java) S 9180 9180 9017 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58027002 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9190] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9190/stat : 9190 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58027005 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9191] ppid=9180 vsize=848828 CPUtime=0.65
/proc/9185/task/9191/stat : 9191 (java) S 9180 9180 9017 0 -1 64 1716 0 0 0 64 1 0 0 16 0 9 0 58027008 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9192] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9192/stat : 9192 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58027008 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9193] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9193/stat : 9193 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58027009 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1070.2
Current children cumulated vsize (KiB) 854184
[startup+1077.5 s]
/proc/loadavg: 2.09 2.11 2.11 3/91 9677
/proc/meminfo: memFree=1140744/2055920 swapFree=4192812/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (concrete.sh) S 9178 9180 9017 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58026998 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 244 201 169 0 50 0
[pid=9185] ppid=9180 vsize=848828 CPUtime=1070.99
/proc/9185/stat : 9185 (java) S 9180 9180 9017 0 -1 0 67553 0 1 0 106902 197 0 0 18 0 9 0 58027000 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/9185/statm: 212207 11314 2634 9 0 206685 0
[pid=9185/tid=9186] ppid=9180 vsize=848828 CPUtime=1000.6
/proc/9185/task/9186/stat : 9186 (java) R 9180 9180 9017 0 -1 64 24218 0 1 0 100000 60 0 0 25 0 9 0 58027001 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 103211381 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9187] ppid=9180 vsize=848828 CPUtime=69.7
/proc/9185/task/9187/stat : 9187 (java) S 9180 9180 9017 0 -1 64 40917 0 0 0 6836 134 0 0 16 0 9 0 58027002 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9188] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9188/stat : 9188 (java) S 9180 9180 9017 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 58027002 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9189] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9189/stat : 9189 (java) S 9180 9180 9017 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58027002 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9190] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9190/stat : 9190 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58027005 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9191] ppid=9180 vsize=848828 CPUtime=0.65
/proc/9185/task/9191/stat : 9191 (java) S 9180 9180 9017 0 -1 64 1716 0 0 0 64 1 0 0 16 0 9 0 58027008 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9192] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9192/stat : 9192 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58027008 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9193] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9193/stat : 9193 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58027009 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1070.99
Current children cumulated vsize (KiB) 854184
[startup+1078.3 s]
/proc/loadavg: 2.09 2.11 2.11 3/91 9677
/proc/meminfo: memFree=1140808/2055920 swapFree=4192812/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (concrete.sh) S 9178 9180 9017 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58026998 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 244 201 169 0 50 0
[pid=9185] ppid=9180 vsize=848828 CPUtime=1071.79
/proc/9185/stat : 9185 (java) S 9180 9180 9017 0 -1 0 67614 0 1 0 106982 197 0 0 18 0 9 0 58027000 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/9185/statm: 212207 11314 2634 9 0 206685 0
[pid=9185/tid=9186] ppid=9180 vsize=848828 CPUtime=1001.27
/proc/9185/task/9186/stat : 9186 (java) R 9180 9180 9017 0 -1 64 24238 0 1 0 100067 60 0 0 25 0 9 0 58027001 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 102523994 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9187] ppid=9180 vsize=848828 CPUtime=69.82
/proc/9185/task/9187/stat : 9187 (java) S 9180 9180 9017 0 -1 64 40958 0 0 0 6848 134 0 0 16 0 9 0 58027002 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9188] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9188/stat : 9188 (java) S 9180 9180 9017 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 58027002 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9189] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9189/stat : 9189 (java) S 9180 9180 9017 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58027002 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9190] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9190/stat : 9190 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58027005 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9191] ppid=9180 vsize=848828 CPUtime=0.65
/proc/9185/task/9191/stat : 9191 (java) S 9180 9180 9017 0 -1 64 1716 0 0 0 64 1 0 0 16 0 9 0 58027008 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9192] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9192/stat : 9192 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58027008 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9193] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9193/stat : 9193 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58027009 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1071.79
Current children cumulated vsize (KiB) 854184
[startup+1078.5 s]
/proc/loadavg: 2.09 2.11 2.11 3/91 9677
/proc/meminfo: memFree=1140808/2055920 swapFree=4192812/4192956
[pid=9180] ppid=9178 vsize=5356 CPUtime=0
/proc/9180/stat : 9180 (concrete.sh) S 9178 9180 9017 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58026998 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9180/statm: 1339 244 201 169 0 50 0
[pid=9185] ppid=9180 vsize=848828 CPUtime=1071.98
/proc/9185/stat : 9185 (java) S 9180 9180 9017 0 -1 0 67620 0 1 0 107001 197 0 0 18 0 9 0 58027000 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/9185/statm: 212207 11314 2634 9 0 206685 0
[pid=9185/tid=9186] ppid=9180 vsize=848828 CPUtime=1001.45
/proc/9185/task/9186/stat : 9186 (java) R 9180 9180 9017 0 -1 64 24244 0 1 0 100085 60 0 0 25 0 9 0 58027001 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 103211376 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9187] ppid=9180 vsize=848828 CPUtime=69.84
/proc/9185/task/9187/stat : 9187 (java) S 9180 9180 9017 0 -1 64 40958 0 0 0 6850 134 0 0 16 0 9 0 58027002 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9188] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9188/stat : 9188 (java) S 9180 9180 9017 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 58027002 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9189] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9189/stat : 9189 (java) S 9180 9180 9017 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58027002 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9190] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9190/stat : 9190 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58027005 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9191] ppid=9180 vsize=848828 CPUtime=0.65
/proc/9185/task/9191/stat : 9191 (java) S 9180 9180 9017 0 -1 64 1716 0 0 0 64 1 0 0 16 0 9 0 58027008 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9185/tid=9192] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9192/stat : 9192 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58027008 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9185/tid=9193] ppid=9180 vsize=848828 CPUtime=0
/proc/9185/task/9193/stat : 9193 (java) S 9180 9180 9017 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58027009 869199872 11314 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1071.98
Current children cumulated vsize (KiB) 854184
Child status: 0
Real time (s): 1078.54
CPU time (s): 1072.02
CPU user time (s): 1070.03
CPU system time (s): 1.9877
CPU usage (%): 99.395
Max. virtual memory (cumulated for all children) (KiB): 854184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1070.03
system time used= 1.9877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68270
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= 166108
involuntary context switches= 177776
runsolver used 1.24781 second user time and 3.76943 second system time
The end
Begin job on node64 at 2009-07-16 04:00:37
IDJOB=2071156
IDBENCH=55440
IDSOLVER=736
FILE ID=node64/2071156-1247709637
PBS_JOBID= 9521362
Free space on /tmp= 66332 MiB
SOLVER NAME= Concrete DC 2009-06-10
BENCH NAME= CPAI08/csp/golombRulerArity4/normalized-ruler-55-11-a4.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-2071156-1247709637/watcher-2071156-1247709637 -o /tmp/evaluation-result-2071156-1247709637/solver-2071156-1247709637 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN HOME/instance-2071156-1247709637.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b810140e7939220fd6eb4ada33e287a7
RANDOM SEED=822265162
node64.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: 1180296 kB
Buffers: 80200 kB
Cached: 345820 kB
SwapCached: 0 kB
Active: 397584 kB
Inactive: 391428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1180296 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1368 kB
Writeback: 0 kB
Mapped: 383376 kB
Slab: 70872 kB
Committed_AS: 878564 kB
PageTables: 2524 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66328 MiB
End job on node64 at 2009-07-16 04:18:36