9.12/9.29 c CPU-LOAD 6.5
9.12/9.29 c LOADED 400 V (1310 E), 7600 DTConstraint, arity 2, 6.5 cpu
771.29/776.61 c [ 776.215] WARNING : java.lang.OutOfMemoryError: Java heap space
771.29/776.61 cspfj.util.LargeBitVector.<init>(LargeBitVector.java:17)
771.29/776.61 cspfj.util.BitVector.factory(BitVector.java:36)
771.29/776.61 cspfj.constraint.extension.Matrix2D.<init>(Matrix2D.java:14)
771.29/776.61 cspfj.problem.Problem.learnConstraint(Problem.java:405)
771.29/776.61 cspfj.filter.DC2.noGoods(DC2.java:263)
771.29/776.61 cspfj.filter.DC2.singletonTest(DC2.java:206)
771.29/776.61 cspfj.filter.DC2.cdcReduce(DC2.java:125)
771.29/776.61 cspfj.filter.DC2.reduceAll(DC2.java:92)
771.29/776.61 cspfj.AbstractSolver.preprocess(AbstractSolver.java:226)
771.29/776.61 cspfj.MGACIter.runSolver(MGACIter.java:206)
771.29/776.61 concrete.AbstractLauncher.solve(AbstractLauncher.java:401)
771.29/776.61 concrete.Concrete.solve(Concrete.java:187)
771.29/776.61 concrete.Concrete.run(Concrete.java:112)
771.29/776.61 concrete.Concrete.main(Concrete.java:105) (cspfj.ResultHandler.result)
771.29/776.61 s UNKNOWN
771.29/776.61 d NODES 0
771.29/776.61 d CHECKS 1551102232
771.29/776.61 c java.lang.OutOfMemoryError: Java heap space[cspfj.util.LargeBitVector.<init>(LargeBitVector.java:17), cspfj.util.BitVector.factory(BitVector.java:36), cspfj.constraint.extension.Matrix2D.<init>(Matrix2D.java:14), cspfj.problem.Problem.learnConstraint(Problem.java:405), cspfj.filter.DC2.noGoods(DC2.java:263), cspfj.filter.DC2.singletonTest(DC2.java:206), cspfj.filter.DC2.cdcReduce(DC2.java:125), cspfj.filter.DC2.reduceAll(DC2.java:92), cspfj.AbstractSolver.preprocess(AbstractSolver.java:226), cspfj.MGACIter.runSolver(MGACIter.java:206), concrete.AbstractLauncher.solve(AbstractLauncher.java:401), concrete.Concrete.solve(Concrete.java:187), concrete.Concrete.run(Concrete.java:112), concrete.Concrete.main(Concrete.java:105)]
771.29/776.61 c CDC-added-constraints: 1321
771.29/776.61 c CDC-nbsingletontests: 57952
771.29/776.61 c CDC-nogoods: 164126965
771.29/776.61 c prepro-constraint-ccks: 0
771.29/776.61 c prepro-constraint-presenceccks: 0
771.29/776.61 c prepro-cpu: 696.9099
771.29/776.61 c prepro-matrix2d-ccks: 1551102232
771.29/776.61 c prepro-matrix2d-presenceccks: 2770353816
771.29/776.61 c prepro-removed: 2975
771.29/776.61 c total-assgn: 0
771.29/776.61 c total-constraint-ccks: 0
771.29/776.61 c total-constraint-presence-ccks: 0
771.29/776.61 c total-cpu: 696.95
771.29/776.61 c total-matrix2d-ccks: 1551102232
771.29/776.61 c total-matrix2d-presence-ccks: 2770353816
771.29/776.61 c TOTAL-NODES 0
771.29/776.61 c TOTAL-CPU 0.0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076491-1247714208/watcher-2076491-1247714208 -o /tmp/evaluation-result-2076491-1247714208/solver-2076491-1247714208 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN HOME/instance-2076491-1247714208.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.20 2.06 2.02 4/81 10419
/proc/meminfo: memFree=1661744/2055920 swapFree=4191904/4192956
[pid=10419] ppid=10417 vsize=18576 CPUtime=0
/proc/10419/stat : 10419 (runsolver) R 10417 10419 9816 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58483347 19021824 284 996147200 4194304 4302564 548682068432 18446744073709551615 244276849959 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10419/statm: 4644 284 249 26 0 2626 0
[startup+0.0408141 s]
/proc/loadavg: 2.20 2.06 2.02 4/81 10419
/proc/meminfo: memFree=1661744/2055920 swapFree=4191904/4192956
[pid=10419] ppid=10417 vsize=5356 CPUtime=0
/proc/10419/stat : 10419 (concrete.sh) S 10417 10419 9816 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58483347 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10419/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101821 s]
/proc/loadavg: 2.20 2.06 2.02 4/81 10419
/proc/meminfo: memFree=1661744/2055920 swapFree=4191904/4192956
[pid=10419] ppid=10417 vsize=5356 CPUtime=0
/proc/10419/stat : 10419 (concrete.sh) S 10417 10419 9816 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58483347 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10419/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301843 s]
/proc/loadavg: 2.20 2.06 2.02 4/81 10419
/proc/meminfo: memFree=1661744/2055920 swapFree=4191904/4192956
[pid=10419] ppid=10417 vsize=5356 CPUtime=0
/proc/10419/stat : 10419 (concrete.sh) S 10417 10419 9816 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58483347 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10419/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701889 s]
/proc/loadavg: 2.20 2.06 2.02 4/81 10419
/proc/meminfo: memFree=1661744/2055920 swapFree=4191904/4192956
[pid=10419] ppid=10417 vsize=5356 CPUtime=0
/proc/10419/stat : 10419 (concrete.sh) S 10417 10419 9816 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58483347 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10419/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50198 s]
/proc/loadavg: 2.20 2.06 2.02 3/91 10432
/proc/meminfo: memFree=1646752/2055920 swapFree=4191904/4192956
[pid=10419] ppid=10417 vsize=5356 CPUtime=0
/proc/10419/stat : 10419 (concrete.sh) S 10417 10419 9816 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58483347 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10419/statm: 1339 244 201 169 0 50 0
[pid=10424] ppid=10419 vsize=847600 CPUtime=1.47
/proc/10424/stat : 10424 (java) S 10419 10419 9816 0 -1 0 8099 0 1 0 143 4 0 0 23 0 9 0 58483349 867942400 7158 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10424/statm: 211900 7158 2624 9 0 206378 0
[pid=10424/tid=10425] ppid=10419 vsize=847600 CPUtime=1.03
/proc/10424/task/10425/stat : 10425 (java) R 10419 10419 9816 0 -1 64 3888 0 1 0 101 2 0 0 25 0 9 0 58483350 867942400 7158 996147200 134512640 134550932 4294955344 18446744073709551615 4126204031 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10426] ppid=10419 vsize=847600 CPUtime=0.12
/proc/10424/task/10426/stat : 10426 (java) S 10419 10419 9816 0 -1 64 2156 0 0 0 12 0 0 0 16 0 9 0 58483351 867942400 7158 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10427] ppid=10419 vsize=847600 CPUtime=0
/proc/10424/task/10427/stat : 10427 (java) S 10419 10419 9816 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58483351 867942400 7158 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10428] ppid=10419 vsize=847600 CPUtime=0
/proc/10424/task/10428/stat : 10428 (java) S 10419 10419 9816 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 58483351 867942400 7158 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10429] ppid=10419 vsize=847600 CPUtime=0
/proc/10424/task/10429/stat : 10429 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58483353 867942400 7158 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10430] ppid=10419 vsize=847600 CPUtime=0.28
/proc/10424/task/10430/stat : 10430 (java) S 10419 10419 9816 0 -1 64 1358 0 0 0 28 0 0 0 16 0 9 0 58483356 867942400 7158 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10431] ppid=10419 vsize=847600 CPUtime=0
/proc/10424/task/10431/stat : 10431 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58483356 867942400 7158 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10432] ppid=10419 vsize=847600 CPUtime=0
/proc/10424/task/10432/stat : 10432 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58483357 867942400 7158 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 852956
[startup+3.10216 s]
/proc/loadavg: 2.20 2.06 2.02 4/91 10432
/proc/meminfo: memFree=1640992/2055920 swapFree=4191904/4192956
[pid=10419] ppid=10417 vsize=5356 CPUtime=0
/proc/10419/stat : 10419 (concrete.sh) S 10417 10419 9816 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58483347 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10419/statm: 1339 244 201 169 0 50 0
[pid=10424] ppid=10419 vsize=847600 CPUtime=3.07
/proc/10424/stat : 10424 (java) S 10419 10419 9816 0 -1 0 9201 0 1 0 302 5 0 0 23 0 9 0 58483349 867942400 8241 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10424/statm: 211900 8241 2624 9 0 206378 0
[pid=10424/tid=10425] ppid=10419 vsize=847600 CPUtime=2.49
/proc/10424/task/10425/stat : 10425 (java) R 10419 10419 9816 0 -1 64 3907 0 1 0 247 2 0 0 25 0 9 0 58483350 867942400 8241 996147200 134512640 134550932 4294955344 18446744073709551615 4125182270 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10426] ppid=10419 vsize=847600 CPUtime=0.26
/proc/10424/task/10426/stat : 10426 (java) S 10419 10419 9816 0 -1 64 3239 0 0 0 25 1 0 0 16 0 9 0 58483351 867942400 8241 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10427] ppid=10419 vsize=847600 CPUtime=0
/proc/10424/task/10427/stat : 10427 (java) S 10419 10419 9816 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58483351 867942400 8241 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10428] ppid=10419 vsize=847600 CPUtime=0
/proc/10424/task/10428/stat : 10428 (java) S 10419 10419 9816 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 58483351 867942400 8241 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10429] ppid=10419 vsize=847600 CPUtime=0
/proc/10424/task/10429/stat : 10429 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58483353 867942400 8241 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10430] ppid=10419 vsize=847600 CPUtime=0.28
/proc/10424/task/10430/stat : 10430 (java) S 10419 10419 9816 0 -1 64 1358 0 0 0 28 0 0 0 16 0 9 0 58483356 867942400 8241 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10431] ppid=10419 vsize=847600 CPUtime=0
/proc/10424/task/10431/stat : 10431 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58483356 867942400 8241 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10432] ppid=10419 vsize=847600 CPUtime=0
/proc/10424/task/10432/stat : 10432 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58483357 867942400 8241 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 852956
[startup+6.30253 s]
/proc/loadavg: 2.18 2.06 2.02 3/92 10433
/proc/meminfo: memFree=1596632/2055920 swapFree=4191904/4192956
[pid=10419] ppid=10417 vsize=5356 CPUtime=0
/proc/10419/stat : 10419 (concrete.sh) S 10417 10419 9816 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58483347 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10419/statm: 1339 244 201 169 0 50 0
[pid=10424] ppid=10419 vsize=851292 CPUtime=6.24
/proc/10424/stat : 10424 (java) S 10419 10419 9816 0 -1 0 26477 0 1 0 611 13 0 0 23 0 10 0 58483349 871723008 20331 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10424/statm: 212823 20331 2629 9 0 207301 0
[pid=10424/tid=10425] ppid=10419 vsize=851292 CPUtime=4.43
/proc/10424/task/10425/stat : 10425 (java) R 10419 10419 9816 0 -1 64 4481 0 1 0 440 3 0 0 25 0 10 0 58483350 871723008 20331 996147200 134512640 134550932 4294955344 18446744073709551615 4125621907 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10426] ppid=10419 vsize=851292 CPUtime=1.16
/proc/10424/task/10426/stat : 10426 (java) S 10419 10419 9816 0 -1 64 18975 0 0 0 108 8 0 0 16 0 10 0 58483351 871723008 20331 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10427] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10427/stat : 10427 (java) S 10419 10419 9816 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58483351 871723008 20331 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10428] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10428/stat : 10428 (java) S 10419 10419 9816 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 58483351 871723008 20331 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10429] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10429/stat : 10429 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58483353 871723008 20331 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10430] ppid=10419 vsize=851292 CPUtime=0.63
/proc/10424/task/10430/stat : 10430 (java) S 10419 10419 9816 0 -1 64 2320 0 0 0 62 1 0 0 16 0 10 0 58483356 871723008 20331 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10431] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10431/stat : 10431 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58483356 871723008 20331 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10432] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10432/stat : 10432 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58483357 871723008 20331 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10433] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10433/stat : 10433 (java) S 10419 10419 9816 0 -1 64 4 0 0 0 0 0 0 0 25 0 10 0 58483726 871723008 20331 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 856648
[startup+12.7023 s]
/proc/loadavg: 2.17 2.06 2.02 3/92 10434
/proc/meminfo: memFree=1578192/2055920 swapFree=4191904/4192956
[pid=10419] ppid=10417 vsize=5356 CPUtime=0
/proc/10419/stat : 10419 (concrete.sh) S 10417 10419 9816 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58483347 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10419/statm: 1339 244 201 169 0 50 0
[pid=10424] ppid=10419 vsize=851292 CPUtime=12.61
/proc/10424/stat : 10424 (java) S 10419 10419 9816 0 -1 0 34475 0 1 0 1243 18 0 0 23 0 10 0 58483349 871723008 23207 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10424/statm: 212823 23207 2628 9 0 207301 0
[pid=10424/tid=10425] ppid=10419 vsize=851292 CPUtime=9.84
/proc/10424/task/10425/stat : 10425 (java) R 10419 10419 9816 0 -1 64 4982 0 1 0 981 3 0 0 25 0 10 0 58483350 871723008 23207 996147200 134512640 134550932 4294955344 18446744073709551615 4127774705 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10426] ppid=10419 vsize=851292 CPUtime=1.99
/proc/10424/task/10426/stat : 10426 (java) S 10419 10419 9816 0 -1 64 26400 0 0 0 188 11 0 0 17 0 10 0 58483351 871723008 23207 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10427] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10427/stat : 10427 (java) S 10419 10419 9816 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58483351 871723008 23207 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10428] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10428/stat : 10428 (java) S 10419 10419 9816 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 58483351 871723008 23207 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10429] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10429/stat : 10429 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58483353 871723008 23207 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10430] ppid=10419 vsize=851292 CPUtime=0.73
/proc/10424/task/10430/stat : 10430 (java) S 10419 10419 9816 0 -1 64 2391 0 0 0 72 1 0 0 15 0 10 0 58483356 871723008 23207 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10431] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10431/stat : 10431 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58483356 871723008 23207 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10432] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10432/stat : 10432 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58483357 871723008 23207 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10434] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10434/stat : 10434 (java) S 10419 10419 9816 0 -1 64 0 0 0 0 0 0 0 0 23 0 10 0 58484296 871723008 23207 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 856648
[startup+25.5017 s]
/proc/loadavg: 2.13 2.05 2.01 3/92 10434
/proc/meminfo: memFree=1572688/2055920 swapFree=4191904/4192956
[pid=10419] ppid=10417 vsize=5356 CPUtime=0
/proc/10419/stat : 10419 (concrete.sh) S 10417 10419 9816 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58483347 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10419/statm: 1339 244 201 169 0 50 0
[pid=10424] ppid=10419 vsize=851292 CPUtime=25.34
/proc/10424/stat : 10424 (java) S 10419 10419 9816 0 -1 0 35871 0 1 0 2515 19 0 0 23 0 10 0 58483349 871723008 24583 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10424/statm: 212823 24583 2628 9 0 207301 0
[pid=10424/tid=10425] ppid=10419 vsize=851292 CPUtime=22.51
/proc/10424/task/10425/stat : 10425 (java) R 10419 10419 9816 0 -1 64 5002 0 1 0 2247 4 0 0 25 0 10 0 58483350 871723008 24583 996147200 134512640 134550932 4294955344 18446744073709551615 4127809352 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10426] ppid=10419 vsize=851292 CPUtime=2.07
/proc/10424/task/10426/stat : 10426 (java) S 10419 10419 9816 0 -1 64 27776 0 0 0 195 12 0 0 16 0 10 0 58483351 871723008 24583 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10427] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10427/stat : 10427 (java) S 10419 10419 9816 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58483351 871723008 24583 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10428] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10428/stat : 10428 (java) S 10419 10419 9816 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 58483351 871723008 24583 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10429] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10429/stat : 10429 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58483353 871723008 24583 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10430] ppid=10419 vsize=851292 CPUtime=0.74
/proc/10424/task/10430/stat : 10430 (java) S 10419 10419 9816 0 -1 64 2391 0 0 0 73 1 0 0 16 0 10 0 58483356 871723008 24583 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10431] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10431/stat : 10431 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58483356 871723008 24583 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10432] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10432/stat : 10432 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58483357 871723008 24583 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10434] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10434/stat : 10434 (java) S 10419 10419 9816 0 -1 64 0 0 0 0 0 0 0 0 23 0 10 0 58484296 871723008 24583 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 856648
################
# More data... #
################
[pid=10424/tid=10429] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10429/stat : 10429 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58483353 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10430] ppid=10419 vsize=851292 CPUtime=0.75
/proc/10424/task/10430/stat : 10430 (java) S 10419 10419 9816 0 -1 64 2398 0 0 0 74 1 0 0 16 0 10 0 58483356 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10431] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10431/stat : 10431 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58483356 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10432] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10432/stat : 10432 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58483357 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10434] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10434/stat : 10434 (java) S 10419 10419 9816 0 -1 64 0 0 0 0 0 0 0 0 23 0 10 0 58484296 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 757.11
Current children cumulated vsize (KiB) 856648
Solver just ended. Dumping a history of the last processes samples
[startup+767.903 s]
/proc/loadavg: 2.36 2.13 2.04 3/83 10499
/proc/meminfo: memFree=932832/2055920 swapFree=4191904/4192956
[pid=10419] ppid=10417 vsize=5356 CPUtime=0
/proc/10419/stat : 10419 (concrete.sh) S 10417 10419 9816 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58483347 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10419/statm: 1339 244 201 169 0 50 0
[pid=10424] ppid=10419 vsize=851292 CPUtime=762.66
/proc/10424/stat : 10424 (java) S 10419 10419 9816 0 -1 0 202457 0 1 0 76184 82 0 0 23 0 10 0 58483349 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10424/statm: 212823 190897 2628 9 0 207301 0
[pid=10424/tid=10425] ppid=10419 vsize=851292 CPUtime=703.67
/proc/10424/task/10425/stat : 10425 (java) S 10419 10419 9816 0 -1 64 11209 0 1 0 70358 9 0 0 25 0 10 0 58483350 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10426] ppid=10419 vsize=851292 CPUtime=58.21
/proc/10424/task/10426/stat : 10426 (java) R 10419 10419 9816 0 -1 64 188148 0 0 0 5751 70 0 0 20 0 10 0 58483351 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 103830994 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10427] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10427/stat : 10427 (java) S 10419 10419 9816 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58483351 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10428] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10428/stat : 10428 (java) S 10419 10419 9816 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 58483351 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10429] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10429/stat : 10429 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58483353 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10430] ppid=10419 vsize=851292 CPUtime=0.75
/proc/10424/task/10430/stat : 10430 (java) S 10419 10419 9816 0 -1 64 2398 0 0 0 74 1 0 0 16 0 10 0 58483356 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10431] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10431/stat : 10431 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58483356 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10432] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10432/stat : 10432 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58483357 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10434] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10434/stat : 10434 (java) S 10419 10419 9816 0 -1 64 0 0 0 0 0 0 0 0 23 0 10 0 58484296 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 762.66
Current children cumulated vsize (KiB) 856648
[startup+771.107 s]
/proc/loadavg: 2.34 2.12 2.04 3/83 10499
/proc/meminfo: memFree=932832/2055920 swapFree=4191904/4192956
[pid=10419] ppid=10417 vsize=5356 CPUtime=0
/proc/10419/stat : 10419 (concrete.sh) S 10417 10419 9816 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58483347 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10419/statm: 1339 244 201 169 0 50 0
[pid=10424] ppid=10419 vsize=851292 CPUtime=765.83
/proc/10424/stat : 10424 (java) S 10419 10419 9816 0 -1 0 202458 0 1 0 76501 82 0 0 23 0 10 0 58483349 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10424/statm: 212823 190897 2628 9 0 207301 0
[pid=10424/tid=10425] ppid=10419 vsize=851292 CPUtime=703.67
/proc/10424/task/10425/stat : 10425 (java) S 10419 10419 9816 0 -1 64 11210 0 1 0 70358 9 0 0 16 0 10 0 58483350 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10426] ppid=10419 vsize=851292 CPUtime=61.38
/proc/10424/task/10426/stat : 10426 (java) R 10419 10419 9816 0 -1 64 188148 0 0 0 6068 70 0 0 25 0 10 0 58483351 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 104189919 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10427] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10427/stat : 10427 (java) S 10419 10419 9816 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58483351 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10428] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10428/stat : 10428 (java) S 10419 10419 9816 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 58483351 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10429] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10429/stat : 10429 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58483353 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10430] ppid=10419 vsize=851292 CPUtime=0.75
/proc/10424/task/10430/stat : 10430 (java) S 10419 10419 9816 0 -1 64 2398 0 0 0 74 1 0 0 16 0 10 0 58483356 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10431] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10431/stat : 10431 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58483356 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10432] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10432/stat : 10432 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58483357 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10434] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10434/stat : 10434 (java) S 10419 10419 9816 0 -1 64 0 0 0 0 0 0 0 0 23 0 10 0 58484296 871723008 190897 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 765.83
Current children cumulated vsize (KiB) 856648
[startup+774.302 s]
/proc/loadavg: 2.31 2.12 2.04 3/82 10499
/proc/meminfo: memFree=932832/2055920 swapFree=4191904/4192956
[pid=10419] ppid=10417 vsize=5356 CPUtime=0
/proc/10419/stat : 10419 (concrete.sh) S 10417 10419 9816 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58483347 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10419/statm: 1339 244 201 169 0 50 0
[pid=10424] ppid=10419 vsize=851292 CPUtime=769.01
/proc/10424/stat : 10424 (java) S 10419 10419 9816 0 -1 0 202460 0 1 0 76819 82 0 0 23 0 9 0 58483349 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10424/statm: 212823 190898 2629 9 0 207301 0
[pid=10424/tid=10425] ppid=10419 vsize=851292 CPUtime=703.67
/proc/10424/task/10425/stat : 10425 (java) S 10419 10419 9816 0 -1 64 11212 0 1 0 70358 9 0 0 17 0 9 0 58483350 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10426] ppid=10419 vsize=851292 CPUtime=64.55
/proc/10424/task/10426/stat : 10426 (java) R 10419 10419 9816 0 -1 64 188148 0 0 0 6385 70 0 0 25 0 9 0 58483351 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 102758168 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10427] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10427/stat : 10427 (java) S 10419 10419 9816 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58483351 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10428] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10428/stat : 10428 (java) S 10419 10419 9816 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58483351 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10429] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10429/stat : 10429 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58483353 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10430] ppid=10419 vsize=851292 CPUtime=0.75
/proc/10424/task/10430/stat : 10430 (java) S 10419 10419 9816 0 -1 64 2398 0 0 0 74 1 0 0 16 0 9 0 58483356 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10431] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10431/stat : 10431 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58483356 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10432] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10432/stat : 10432 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58483357 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 769.01
Current children cumulated vsize (KiB) 856648
[startup+775.902 s]
/proc/loadavg: 2.31 2.12 2.04 3/82 10499
/proc/meminfo: memFree=932832/2055920 swapFree=4191904/4192956
[pid=10419] ppid=10417 vsize=5356 CPUtime=0
/proc/10419/stat : 10419 (concrete.sh) S 10417 10419 9816 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58483347 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10419/statm: 1339 244 201 169 0 50 0
[pid=10424] ppid=10419 vsize=851292 CPUtime=770.59
/proc/10424/stat : 10424 (java) S 10419 10419 9816 0 -1 0 202460 0 1 0 76977 82 0 0 23 0 9 0 58483349 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10424/statm: 212823 190898 2629 9 0 207301 0
[pid=10424/tid=10425] ppid=10419 vsize=851292 CPUtime=703.67
/proc/10424/task/10425/stat : 10425 (java) S 10419 10419 9816 0 -1 64 11212 0 1 0 70358 9 0 0 17 0 9 0 58483350 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10426] ppid=10419 vsize=851292 CPUtime=66.13
/proc/10424/task/10426/stat : 10426 (java) R 10419 10419 9816 0 -1 64 188148 0 0 0 6543 70 0 0 25 0 9 0 58483351 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 102768021 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10427] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10427/stat : 10427 (java) S 10419 10419 9816 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58483351 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10428] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10428/stat : 10428 (java) S 10419 10419 9816 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58483351 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10429] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10429/stat : 10429 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58483353 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10430] ppid=10419 vsize=851292 CPUtime=0.75
/proc/10424/task/10430/stat : 10430 (java) S 10419 10419 9816 0 -1 64 2398 0 0 0 74 1 0 0 16 0 9 0 58483356 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10431] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10431/stat : 10431 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58483356 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10432] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10432/stat : 10432 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58483357 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 770.59
Current children cumulated vsize (KiB) 856648
[startup+776.302 s]
/proc/loadavg: 2.31 2.12 2.04 3/82 10499
/proc/meminfo: memFree=932832/2055920 swapFree=4191904/4192956
[pid=10419] ppid=10417 vsize=5356 CPUtime=0
/proc/10419/stat : 10419 (concrete.sh) S 10417 10419 9816 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58483347 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10419/statm: 1339 244 201 169 0 50 0
[pid=10424] ppid=10419 vsize=851292 CPUtime=770.99
/proc/10424/stat : 10424 (java) S 10419 10419 9816 0 -1 0 202460 0 1 0 77017 82 0 0 23 0 9 0 58483349 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10424/statm: 212823 190898 2629 9 0 207301 0
[pid=10424/tid=10425] ppid=10419 vsize=851292 CPUtime=703.67
/proc/10424/task/10425/stat : 10425 (java) S 10419 10419 9816 0 -1 64 11212 0 1 0 70358 9 0 0 17 0 9 0 58483350 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10426] ppid=10419 vsize=851292 CPUtime=66.53
/proc/10424/task/10426/stat : 10426 (java) R 10419 10419 9816 0 -1 64 188148 0 0 0 6583 70 0 0 25 0 9 0 58483351 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 104191142 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10427] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10427/stat : 10427 (java) S 10419 10419 9816 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58483351 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10428] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10428/stat : 10428 (java) S 10419 10419 9816 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58483351 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10429] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10429/stat : 10429 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58483353 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10430] ppid=10419 vsize=851292 CPUtime=0.75
/proc/10424/task/10430/stat : 10430 (java) S 10419 10419 9816 0 -1 64 2398 0 0 0 74 1 0 0 16 0 9 0 58483356 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10431] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10431/stat : 10431 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58483356 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=10424/tid=10432] ppid=10419 vsize=851292 CPUtime=0
/proc/10424/task/10432/stat : 10432 (java) S 10419 10419 9816 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58483357 871723008 190898 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 770.99
Current children cumulated vsize (KiB) 856648
[startup+776.703 s]
/proc/loadavg: 2.31 2.12 2.04 3/82 10499
/proc/meminfo: memFree=932832/2055920 swapFree=4191904/4192956
[pid=10419] ppid=10417 vsize=5356 CPUtime=0
/proc/10419/stat : 10419 (concrete.sh) S 10417 10419 9816 0 -1 4194304 341 294 0 0 0 0 0 0 21 0 1 0 58483347 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10419/statm: 1339 244 201 169 0 50 0
[pid=10424] ppid=10419 vsize=0 CPUtime=771.37
/proc/10424/stat : 10424 (java) Z 10419 10419 9816 0 -1 12 202491 0 1 0 77048 89 0 0 16 0 2 0 58483349 0 0 996147200 0 0 0 0 0 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/10424/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 771.37
Current children cumulated vsize (KiB) 5356
Child status: 0
Real time (s): 776.745
CPU time (s): 771.426
CPU user time (s): 770.485
CPU system time (s): 0.940856
CPU usage (%): 99.3151
Max. virtual memory (cumulated for all children) (KiB): 866900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 770.485
system time used= 0.940856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203134
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= 22287
involuntary context switches= 36065
runsolver used 0.923859 second user time and 2.6356 second system time
The end
Begin job on node63 at 2009-07-16 05:16:48
IDJOB=2076491
IDBENCH=56436
IDSOLVER=736
FILE ID=node63/2076491-1247714208
PBS_JOBID= 9521395
Free space on /tmp= 66204 MiB
SOLVER NAME= Concrete DC 2009-06-10
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-100-3.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-2076491-1247714208/watcher-2076491-1247714208 -o /tmp/evaluation-result-2076491-1247714208/solver-2076491-1247714208 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN HOME/instance-2076491-1247714208.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b03ce6bb41b3c7eeec8edd1190e4268e
RANDOM SEED=250948504
node63.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.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1662224 kB
Buffers: 80116 kB
Cached: 169796 kB
SwapCached: 260 kB
Active: 109340 kB
Inactive: 193676 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1662224 kB
SwapTotal: 4192956 kB
SwapFree: 4191904 kB
Dirty: 2316 kB
Writeback: 0 kB
Mapped: 72880 kB
Slab: 75560 kB
Committed_AS: 581548 kB
PageTables: 2004 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= 66204 MiB
End job on node63 at 2009-07-16 05:29:45