836.21/843.44 c [ 843.029] WARNING : Could not free more memory in relations (concrete.relationconverter.RelationManager.strongOptimizeMemory)
838.92/846.14 c [ 845.740] SEVERE : Out of mem with 3583 constraints remaining (concrete.CspOM.generate)
838.92/846.14 c [ 845.745] WARNING : java.lang.OutOfMemoryError: Java heap space
838.92/846.14 cspfj.constraint.AbstractAC3Constraint.<init>(AbstractAC3Constraint.java:28)
838.92/846.14 concrete.predicate.PredicateConstraint.<init>(PredicateConstraint.java:40)
838.92/846.14 concrete.ConstraintGenerator.predicateConstraint(ConstraintGenerator.java:224)
838.92/846.14 concrete.ConstraintGenerator.add(ConstraintGenerator.java:69)
838.92/846.14 concrete.CspOM.generate(CspOM.java:110)
838.92/846.14 cspfj.problem.Problem.load(Problem.java:108)
838.92/846.14 concrete.Concrete.solve(Concrete.java:159)
838.92/846.14 concrete.Concrete.run(Concrete.java:112)
838.92/846.14 concrete.Concrete.main(Concrete.java:105) (cspfj.ResultHandler.result)
839.02/846.24 c CPU-LOAD 721.97
839.02/846.24 s UNKNOWN
839.02/846.24 c java.lang.OutOfMemoryError: Java heap space[cspfj.constraint.AbstractAC3Constraint.<init>(AbstractAC3Constraint.java:28), concrete.predicate.PredicateConstraint.<init>(PredicateConstraint.java:40), concrete.ConstraintGenerator.predicateConstraint(ConstraintGenerator.java:224), concrete.ConstraintGenerator.add(ConstraintGenerator.java:69), concrete.CspOM.generate(CspOM.java:110), cspfj.problem.Problem.load(Problem.java:108), concrete.Concrete.solve(Concrete.java:159), concrete.Concrete.run(Concrete.java:112), concrete.Concrete.main(Concrete.java:105)]
839.02/846.24 c TOTAL-NODES 0
839.02/846.24 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-2065061-1247703310/watcher-2065061-1247703310 -o /tmp/evaluation-result-2065061-1247703310/solver-2065061-1247703310 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2065061-1247703310.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.25 2.11 1.92 4/72 12784
/proc/meminfo: memFree=1377824/2055920 swapFree=4192812/4192956
[pid=12784] ppid=12782 vsize=18576 CPUtime=0
/proc/12784/stat : 12784 (runsolver) R 12782 12784 11915 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 57022691 19021824 284 996147200 4194304 4302564 548682068512 18446744073709551615 209135922471 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12784/statm: 4644 284 249 26 0 2626 0
[startup+0.010332 s]
/proc/loadavg: 2.25 2.11 1.92 4/72 12784
/proc/meminfo: memFree=1377824/2055920 swapFree=4192812/4192956
[pid=12784] ppid=12782 vsize=5356 CPUtime=0
/proc/12784/stat : 12784 (concrete.sh) S 12782 12784 11915 0 -1 4194304 299 127 0 0 0 0 0 0 21 0 1 0 57022691 5484544 238 996147200 4194304 4889804 548682068816 18446744073709551615 209136091218 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/12784/statm: 1339 238 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101341 s]
/proc/loadavg: 2.25 2.11 1.92 4/72 12784
/proc/meminfo: memFree=1377824/2055920 swapFree=4192812/4192956
[pid=12784] ppid=12782 vsize=5356 CPUtime=0
/proc/12784/stat : 12784 (concrete.sh) S 12782 12784 11915 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 57022691 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12784/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30136 s]
/proc/loadavg: 2.25 2.11 1.92 4/72 12784
/proc/meminfo: memFree=1377824/2055920 swapFree=4192812/4192956
[pid=12784] ppid=12782 vsize=5356 CPUtime=0
/proc/12784/stat : 12784 (concrete.sh) S 12782 12784 11915 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 57022691 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12784/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701397 s]
/proc/loadavg: 2.25 2.11 1.92 4/72 12784
/proc/meminfo: memFree=1377824/2055920 swapFree=4192812/4192956
[pid=12784] ppid=12782 vsize=5356 CPUtime=0
/proc/12784/stat : 12784 (concrete.sh) S 12782 12784 11915 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 57022691 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12784/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50265 s]
/proc/loadavg: 2.25 2.11 1.92 3/82 12797
/proc/meminfo: memFree=1360528/2055920 swapFree=4192812/4192956
[pid=12784] ppid=12782 vsize=5356 CPUtime=0
/proc/12784/stat : 12784 (concrete.sh) S 12782 12784 11915 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 57022691 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12784/statm: 1339 244 201 169 0 50 0
[pid=12789] ppid=12784 vsize=847580 CPUtime=1.46
/proc/12789/stat : 12789 (java) S 12784 12784 11915 0 -1 0 7459 0 1 0 140 6 0 0 18 0 9 0 57022692 867921920 6432 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12789/statm: 211895 6432 2054 9 0 206373 0
[pid=12789/tid=12790] ppid=12784 vsize=847580 CPUtime=1.01
/proc/12789/task/12790/stat : 12790 (java) R 12784 12784 11915 0 -1 64 3912 0 1 0 97 4 0 0 22 0 9 0 57022693 867921920 6432 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12791] ppid=12784 vsize=847580 CPUtime=0.09
/proc/12789/task/12791/stat : 12791 (java) R 12784 12784 11915 0 -1 64 1315 0 0 0 9 0 0 0 16 0 9 0 57022695 867921920 6432 996147200 134512640 134550932 4294955408 18446744073709551615 102722356 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12792] ppid=12784 vsize=847580 CPUtime=0
/proc/12789/task/12792/stat : 12792 (java) S 12784 12784 11915 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 57022695 867921920 6432 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12793] ppid=12784 vsize=847580 CPUtime=0
/proc/12789/task/12793/stat : 12793 (java) S 12784 12784 11915 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 57022695 867921920 6432 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12794] ppid=12784 vsize=847580 CPUtime=0
/proc/12789/task/12794/stat : 12794 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 57022697 867921920 6432 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12795] ppid=12784 vsize=847580 CPUtime=0.34
/proc/12789/task/12795/stat : 12795 (java) S 12784 12784 11915 0 -1 64 1534 0 0 0 33 1 0 0 16 0 9 0 57022701 867921920 6432 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12796] ppid=12784 vsize=847580 CPUtime=0
/proc/12789/task/12796/stat : 12796 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 57022701 867921920 6432 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12797] ppid=12784 vsize=847580 CPUtime=0
/proc/12789/task/12797/stat : 12797 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 57022701 867921920 6432 996147200 134512640 134550932 4294955408 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) 852936
[startup+3.10261 s]
/proc/loadavg: 2.31 2.12 1.93 5/83 12798
/proc/meminfo: memFree=1353032/2055920 swapFree=4192812/4192956
[pid=12784] ppid=12782 vsize=5356 CPUtime=0
/proc/12784/stat : 12784 (concrete.sh) S 12782 12784 11915 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 57022691 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12784/statm: 1339 244 201 169 0 50 0
[pid=12789] ppid=12784 vsize=848932 CPUtime=3.04
/proc/12789/stat : 12789 (java) S 12784 12784 11915 0 -1 0 11484 0 1 0 295 9 0 0 18 0 10 0 57022692 869306368 9151 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12789/statm: 212233 9151 2624 9 0 206711 0
[pid=12789/tid=12790] ppid=12784 vsize=848932 CPUtime=1.7
/proc/12789/task/12790/stat : 12790 (java) R 12784 12784 11915 0 -1 64 3998 0 1 0 166 4 0 0 25 0 10 0 57022693 869306368 9151 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12791] ppid=12784 vsize=848932 CPUtime=0.97
/proc/12789/task/12791/stat : 12791 (java) R 12784 12784 11915 0 -1 64 5244 0 0 0 95 2 0 0 19 0 10 0 57022695 869306368 9151 996147200 134512640 134550932 4294955408 18446744073709551615 102138485 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12792] ppid=12784 vsize=848932 CPUtime=0
/proc/12789/task/12792/stat : 12792 (java) S 12784 12784 11915 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 57022695 869306368 9151 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12793] ppid=12784 vsize=848932 CPUtime=0
/proc/12789/task/12793/stat : 12793 (java) S 12784 12784 11915 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 57022695 869306368 9151 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12794] ppid=12784 vsize=848932 CPUtime=0
/proc/12789/task/12794/stat : 12794 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 57022697 869306368 9151 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12795] ppid=12784 vsize=848932 CPUtime=0.34
/proc/12789/task/12795/stat : 12795 (java) S 12784 12784 11915 0 -1 64 1540 0 0 0 33 1 0 0 15 0 10 0 57022701 869306368 9151 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12796] ppid=12784 vsize=848932 CPUtime=0
/proc/12789/task/12796/stat : 12796 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 57022701 869306368 9151 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12797] ppid=12784 vsize=848932 CPUtime=0
/proc/12789/task/12797/stat : 12797 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 57022701 869306368 9151 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12798] ppid=12784 vsize=848932 CPUtime=0
/proc/12789/task/12798/stat : 12798 (java) S 12784 12784 11915 0 -1 64 4 0 0 0 0 0 0 0 25 0 10 0 57022898 869306368 9151 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 854288
[startup+6.30289 s]
/proc/loadavg: 2.31 2.12 1.93 5/83 12798
/proc/meminfo: memFree=1343048/2055920 swapFree=4192812/4192956
[pid=12784] ppid=12782 vsize=5356 CPUtime=0
/proc/12784/stat : 12784 (concrete.sh) S 12782 12784 11915 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 57022691 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12784/statm: 1339 244 201 169 0 50 0
[pid=12789] ppid=12784 vsize=848680 CPUtime=6.21
/proc/12789/stat : 12789 (java) S 12784 12784 11915 0 -1 0 20266 0 1 0 605 16 0 0 18 0 10 0 57022692 869048320 9007 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12789/statm: 212170 9007 2625 9 0 206648 0
[pid=12789/tid=12790] ppid=12784 vsize=848680 CPUtime=2.21
/proc/12789/task/12790/stat : 12790 (java) S 12784 12784 11915 0 -1 64 4178 0 1 0 217 4 0 0 16 0 10 0 57022693 869048320 9007 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12791] ppid=12784 vsize=848680 CPUtime=3.62
/proc/12789/task/12791/stat : 12791 (java) R 12784 12784 11915 0 -1 64 13846 0 0 0 353 9 0 0 25 0 10 0 57022695 869048320 9007 996147200 134512640 134550932 4294955408 18446744073709551615 103826288 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12792] ppid=12784 vsize=848680 CPUtime=0
/proc/12789/task/12792/stat : 12792 (java) S 12784 12784 11915 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 57022695 869048320 9007 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12793] ppid=12784 vsize=848680 CPUtime=0
/proc/12789/task/12793/stat : 12793 (java) S 12784 12784 11915 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 57022695 869048320 9007 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12794] ppid=12784 vsize=848680 CPUtime=0
/proc/12789/task/12794/stat : 12794 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 57022697 869048320 9007 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12795] ppid=12784 vsize=848680 CPUtime=0.34
/proc/12789/task/12795/stat : 12795 (java) S 12784 12784 11915 0 -1 64 1540 0 0 0 33 1 0 0 16 0 10 0 57022701 869048320 9007 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12796] ppid=12784 vsize=848680 CPUtime=0
/proc/12789/task/12796/stat : 12796 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 57022701 869048320 9007 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12797] ppid=12784 vsize=848680 CPUtime=0
/proc/12789/task/12797/stat : 12797 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 57022701 869048320 9007 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12798] ppid=12784 vsize=848680 CPUtime=0
/proc/12789/task/12798/stat : 12798 (java) S 12784 12784 11915 0 -1 64 4 0 0 0 0 0 0 0 25 0 10 0 57022898 869048320 9007 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 854036
[startup+12.7015 s]
/proc/loadavg: 2.26 2.12 1.93 4/83 12798
/proc/meminfo: memFree=1339784/2055920 swapFree=4192812/4192956
[pid=12784] ppid=12782 vsize=5356 CPUtime=0
/proc/12784/stat : 12784 (concrete.sh) S 12782 12784 11915 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 57022691 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12784/statm: 1339 244 201 169 0 50 0
[pid=12789] ppid=12784 vsize=848680 CPUtime=12.55
/proc/12789/stat : 12789 (java) S 12784 12784 11915 0 -1 0 25480 0 1 0 1233 22 0 0 18 0 10 0 57022692 869048320 9110 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12789/statm: 212170 9110 2625 9 0 206648 0
[pid=12789/tid=12790] ppid=12784 vsize=848680 CPUtime=3.23
/proc/12789/task/12790/stat : 12790 (java) S 12784 12784 11915 0 -1 64 4530 0 1 0 318 5 0 0 15 0 10 0 57022693 869048320 9110 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12791] ppid=12784 vsize=848680 CPUtime=8.94
/proc/12789/task/12791/stat : 12791 (java) R 12784 12784 11915 0 -1 64 18708 0 0 0 880 14 0 0 25 0 10 0 57022695 869048320 9110 996147200 134512640 134550932 4294955408 18446744073709551615 102525268 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12792] ppid=12784 vsize=848680 CPUtime=0
/proc/12789/task/12792/stat : 12792 (java) S 12784 12784 11915 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 57022695 869048320 9110 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12793] ppid=12784 vsize=848680 CPUtime=0
/proc/12789/task/12793/stat : 12793 (java) S 12784 12784 11915 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 57022695 869048320 9110 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12794] ppid=12784 vsize=848680 CPUtime=0
/proc/12789/task/12794/stat : 12794 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 57022697 869048320 9110 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12795] ppid=12784 vsize=848680 CPUtime=0.34
/proc/12789/task/12795/stat : 12795 (java) S 12784 12784 11915 0 -1 64 1540 0 0 0 33 1 0 0 16 0 10 0 57022701 869048320 9110 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12796] ppid=12784 vsize=848680 CPUtime=0
/proc/12789/task/12796/stat : 12796 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 57022701 869048320 9110 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12797] ppid=12784 vsize=848680 CPUtime=0
/proc/12789/task/12797/stat : 12797 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 57022701 869048320 9110 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12798] ppid=12784 vsize=848680 CPUtime=0
/proc/12789/task/12798/stat : 12798 (java) S 12784 12784 11915 0 -1 64 4 0 0 0 0 0 0 0 25 0 10 0 57022898 869048320 9110 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 854036
[startup+25.5028 s]
/proc/loadavg: 2.22 2.11 1.93 4/83 12798
/proc/meminfo: memFree=1325000/2055920 swapFree=4192812/4192956
[pid=12784] ppid=12782 vsize=5356 CPUtime=0
/proc/12784/stat : 12784 (concrete.sh) S 12782 12784 11915 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 57022691 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12784/statm: 1339 244 201 169 0 50 0
[pid=12789] ppid=12784 vsize=848680 CPUtime=25.22
/proc/12789/stat : 12789 (java) S 12784 12784 11915 0 -1 0 35950 0 1 0 2489 33 0 0 18 0 10 0 57022692 869048320 9121 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12789/statm: 212170 9121 2625 9 0 206648 0
[pid=12789/tid=12790] ppid=12784 vsize=848680 CPUtime=5.25
/proc/12789/task/12790/stat : 12790 (java) S 12784 12784 11915 0 -1 64 5243 0 1 0 519 6 0 0 15 0 10 0 57022693 869048320 9121 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12791] ppid=12784 vsize=848680 CPUtime=19.59
/proc/12789/task/12791/stat : 12791 (java) R 12784 12784 11915 0 -1 64 28465 0 0 0 1935 24 0 0 25 0 10 0 57022695 869048320 9121 996147200 134512640 134550932 4294955408 18446744073709551615 102784573 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12792] ppid=12784 vsize=848680 CPUtime=0
/proc/12789/task/12792/stat : 12792 (java) S 12784 12784 11915 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 57022695 869048320 9121 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12793] ppid=12784 vsize=848680 CPUtime=0
/proc/12789/task/12793/stat : 12793 (java) S 12784 12784 11915 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 57022695 869048320 9121 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12794] ppid=12784 vsize=848680 CPUtime=0
/proc/12789/task/12794/stat : 12794 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 57022697 869048320 9121 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12795] ppid=12784 vsize=848680 CPUtime=0.34
/proc/12789/task/12795/stat : 12795 (java) S 12784 12784 11915 0 -1 64 1540 0 0 0 33 1 0 0 16 0 10 0 57022701 869048320 9121 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12796] ppid=12784 vsize=848680 CPUtime=0
/proc/12789/task/12796/stat : 12796 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 57022701 869048320 9121 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12797] ppid=12784 vsize=848680 CPUtime=0
/proc/12789/task/12797/stat : 12797 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 57022701 869048320 9121 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12798] ppid=12784 vsize=848680 CPUtime=0
/proc/12789/task/12798/stat : 12798 (java) S 12784 12784 11915 0 -1 64 4 0 0 0 0 0 0 0 25 0 10 0 57022898 869048320 9121 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=12784] ppid=12782 vsize=5356 CPUtime=0
/proc/12784/stat : 12784 (concrete.sh) S 12782 12784 11915 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 57022691 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12784/statm: 1339 244 201 169 0 50 0
[pid=12789] ppid=12784 vsize=851196 CPUtime=831.12
/proc/12789/stat : 12789 (java) S 12784 12784 11915 0 -1 0 296470 0 1 0 82911 201 0 0 18 0 10 0 57022692 871624704 182375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12789/statm: 212799 182375 2635 9 0 207277 0
[pid=12789/tid=12790] ppid=12784 vsize=851196 CPUtime=720.04
/proc/12789/task/12790/stat : 12790 (java) R 12784 12784 11915 0 -1 64 18189 0 1 0 71980 24 0 0 25 0 10 0 57022693 871624704 182375 996147200 134512640 134550932 4294955408 18446744073709551615 4125643204 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12791] ppid=12784 vsize=851196 CPUtime=110.34
/proc/12789/task/12791/stat : 12791 (java) S 12784 12784 11915 0 -1 64 275071 0 0 0 10860 174 0 0 16 0 10 0 57022695 871624704 182375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12792] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12792/stat : 12792 (java) S 12784 12784 11915 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 57022695 871624704 182375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12793] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12793/stat : 12793 (java) S 12784 12784 11915 0 -1 64 7 0 0 0 0 0 0 0 16 0 10 0 57022695 871624704 182375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12794] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12794/stat : 12794 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 57022697 871624704 182375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12795] ppid=12784 vsize=851196 CPUtime=0.71
/proc/12789/task/12795/stat : 12795 (java) S 12784 12784 11915 0 -1 64 2505 0 0 0 69 2 0 0 16 0 10 0 57022701 871624704 182375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12796] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12796/stat : 12796 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 57022701 871624704 182375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12797] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12797/stat : 12797 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 57022701 871624704 182375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12798] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12798/stat : 12798 (java) S 12784 12784 11915 0 -1 64 4 0 0 0 0 0 0 0 25 0 10 0 57022898 871624704 182375 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 831.12
Current children cumulated vsize (KiB) 856552
[startup+841.509 s]
/proc/loadavg: 1.97 2.03 1.99 4/83 12873
/proc/meminfo: memFree=838920/2055920 swapFree=4192812/4192956
[pid=12784] ppid=12782 vsize=5356 CPUtime=0
/proc/12784/stat : 12784 (concrete.sh) S 12782 12784 11915 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 57022691 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12784/statm: 1339 244 201 169 0 50 0
[pid=12789] ppid=12784 vsize=851196 CPUtime=834.33
/proc/12789/stat : 12789 (java) S 12784 12784 11915 0 -1 0 298772 0 1 0 83231 202 0 0 18 0 10 0 57022692 871624704 184664 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12789/statm: 212799 184664 2633 9 0 207277 0
[pid=12789/tid=12790] ppid=12784 vsize=851196 CPUtime=722.06
/proc/12789/task/12790/stat : 12790 (java) R 12784 12784 11915 0 -1 64 18202 0 1 0 72182 24 0 0 25 0 10 0 57022693 871624704 184664 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12791] ppid=12784 vsize=851196 CPUtime=111.51
/proc/12789/task/12791/stat : 12791 (java) R 12784 12784 11915 0 -1 64 277356 0 0 0 10977 174 0 0 16 0 10 0 57022695 871624704 184664 996147200 134512640 134550932 4294955408 18446744073709551615 104191090 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12792] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12792/stat : 12792 (java) S 12784 12784 11915 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 57022695 871624704 184664 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12793] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12793/stat : 12793 (java) S 12784 12784 11915 0 -1 64 7 0 0 0 0 0 0 0 16 0 10 0 57022695 871624704 184664 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12794] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12794/stat : 12794 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 57022697 871624704 184664 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12795] ppid=12784 vsize=851196 CPUtime=0.72
/proc/12789/task/12795/stat : 12795 (java) S 12784 12784 11915 0 -1 64 2509 0 0 0 70 2 0 0 16 0 10 0 57022701 871624704 184664 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12796] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12796/stat : 12796 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 57022701 871624704 184664 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12797] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12797/stat : 12797 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 57022701 871624704 184664 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12798] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12798/stat : 12798 (java) S 12784 12784 11915 0 -1 64 4 0 0 0 0 0 0 0 25 0 10 0 57022898 871624704 184664 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 834.33
Current children cumulated vsize (KiB) 856552
[startup+844.703 s]
/proc/loadavg: 2.05 2.05 2.00 3/83 12873
/proc/meminfo: memFree=813960/2055920 swapFree=4192812/4192956
[pid=12784] ppid=12782 vsize=5356 CPUtime=0
/proc/12784/stat : 12784 (concrete.sh) S 12782 12784 11915 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 57022691 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12784/statm: 1339 244 201 169 0 50 0
[pid=12789] ppid=12784 vsize=851196 CPUtime=837.53
/proc/12789/stat : 12789 (java) S 12784 12784 11915 0 -1 0 305020 0 1 0 83548 205 0 0 18 0 10 0 57022692 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12789/statm: 212799 190903 2634 9 0 207277 0
[pid=12789/tid=12790] ppid=12784 vsize=851196 CPUtime=722.18
/proc/12789/task/12790/stat : 12790 (java) S 12784 12784 11915 0 -1 64 18223 0 1 0 72194 24 0 0 16 0 10 0 57022693 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12791] ppid=12784 vsize=851196 CPUtime=114.57
/proc/12789/task/12791/stat : 12791 (java) R 12784 12784 11915 0 -1 64 283576 0 0 0 11280 177 0 0 19 0 10 0 57022695 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 104191090 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12792] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12792/stat : 12792 (java) S 12784 12784 11915 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 57022695 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12793] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12793/stat : 12793 (java) S 12784 12784 11915 0 -1 64 7 0 0 0 0 0 0 0 16 0 10 0 57022695 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12794] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12794/stat : 12794 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 57022697 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12795] ppid=12784 vsize=851196 CPUtime=0.74
/proc/12789/task/12795/stat : 12795 (java) S 12784 12784 11915 0 -1 64 2516 0 0 0 72 2 0 0 15 0 10 0 57022701 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12796] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12796/stat : 12796 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 57022701 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12797] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12797/stat : 12797 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 57022701 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12798] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12798/stat : 12798 (java) S 12784 12784 11915 0 -1 64 4 0 0 0 0 0 0 0 25 0 10 0 57022898 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 837.53
Current children cumulated vsize (KiB) 856552
[startup+845.503 s]
/proc/loadavg: 2.05 2.05 2.00 3/83 12873
/proc/meminfo: memFree=813960/2055920 swapFree=4192812/4192956
[pid=12784] ppid=12782 vsize=5356 CPUtime=0
/proc/12784/stat : 12784 (concrete.sh) S 12782 12784 11915 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 57022691 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12784/statm: 1339 244 201 169 0 50 0
[pid=12789] ppid=12784 vsize=851196 CPUtime=838.32
/proc/12789/stat : 12789 (java) S 12784 12784 11915 0 -1 0 305021 0 1 0 83627 205 0 0 18 0 10 0 57022692 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12789/statm: 212799 190903 2634 9 0 207277 0
[pid=12789/tid=12790] ppid=12784 vsize=851196 CPUtime=722.19
/proc/12789/task/12790/stat : 12790 (java) S 12784 12784 11915 0 -1 64 18224 0 1 0 72195 24 0 0 16 0 10 0 57022693 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12791] ppid=12784 vsize=851196 CPUtime=115.36
/proc/12789/task/12791/stat : 12791 (java) R 12784 12784 11915 0 -1 64 283576 0 0 0 11359 177 0 0 21 0 10 0 57022695 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 103831000 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12792] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12792/stat : 12792 (java) S 12784 12784 11915 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 57022695 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12793] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12793/stat : 12793 (java) S 12784 12784 11915 0 -1 64 7 0 0 0 0 0 0 0 16 0 10 0 57022695 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12794] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12794/stat : 12794 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 57022697 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12795] ppid=12784 vsize=851196 CPUtime=0.74
/proc/12789/task/12795/stat : 12795 (java) S 12784 12784 11915 0 -1 64 2516 0 0 0 72 2 0 0 15 0 10 0 57022701 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12796] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12796/stat : 12796 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 57022701 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12797] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12797/stat : 12797 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 57022701 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12798] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12798/stat : 12798 (java) S 12784 12784 11915 0 -1 64 4 0 0 0 0 0 0 0 25 0 10 0 57022898 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 838.32
Current children cumulated vsize (KiB) 856552
[startup+845.907 s]
/proc/loadavg: 2.05 2.05 2.00 3/83 12873
/proc/meminfo: memFree=813960/2055920 swapFree=4192812/4192956
[pid=12784] ppid=12782 vsize=5356 CPUtime=0
/proc/12784/stat : 12784 (concrete.sh) S 12782 12784 11915 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 57022691 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12784/statm: 1339 244 201 169 0 50 0
[pid=12789] ppid=12784 vsize=851196 CPUtime=838.72
/proc/12789/stat : 12789 (java) S 12784 12784 11915 0 -1 0 305021 0 1 0 83667 205 0 0 18 0 10 0 57022692 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/12789/statm: 212799 190903 2634 9 0 207277 0
[pid=12789/tid=12790] ppid=12784 vsize=851196 CPUtime=722.19
/proc/12789/task/12790/stat : 12790 (java) S 12784 12784 11915 0 -1 64 18224 0 1 0 72195 24 0 0 16 0 10 0 57022693 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12791] ppid=12784 vsize=851196 CPUtime=115.76
/proc/12789/task/12791/stat : 12791 (java) R 12784 12784 11915 0 -1 64 283576 0 0 0 11399 177 0 0 22 0 10 0 57022695 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 104191090 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12792] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12792/stat : 12792 (java) S 12784 12784 11915 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 57022695 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12793] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12793/stat : 12793 (java) S 12784 12784 11915 0 -1 64 7 0 0 0 0 0 0 0 16 0 10 0 57022695 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12794] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12794/stat : 12794 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 57022697 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12795] ppid=12784 vsize=851196 CPUtime=0.74
/proc/12789/task/12795/stat : 12795 (java) S 12784 12784 11915 0 -1 64 2516 0 0 0 72 2 0 0 15 0 10 0 57022701 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12796] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12796/stat : 12796 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 57022701 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=12789/tid=12797] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12797/stat : 12797 (java) S 12784 12784 11915 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 57022701 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=12789/tid=12798] ppid=12784 vsize=851196 CPUtime=0
/proc/12789/task/12798/stat : 12798 (java) S 12784 12784 11915 0 -1 64 4 0 0 0 0 0 0 0 25 0 10 0 57022898 871624704 190903 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 838.72
Current children cumulated vsize (KiB) 856552
[startup+846.302 s]
/proc/loadavg: 2.05 2.05 2.00 3/83 12873
/proc/meminfo: memFree=813960/2055920 swapFree=4192812/4192956
[pid=12784] ppid=12782 vsize=5356 CPUtime=0
/proc/12784/stat : 12784 (concrete.sh) S 12782 12784 11915 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 57022691 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12784/statm: 1339 244 201 169 0 50 0
[pid=12789] ppid=12784 vsize=0 CPUtime=839.07
/proc/12789/stat : 12789 (java) Z 12784 12784 11915 0 -1 12 305041 0 1 0 83701 206 0 0 16 0 2 0 57022692 0 0 996147200 0 0 0 0 0 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/12789/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 839.07
Current children cumulated vsize (KiB) 5356
[startup+846.401 s]
/proc/loadavg: 2.05 2.05 2.00 3/83 12873
/proc/meminfo: memFree=813960/2055920 swapFree=4192812/4192956
[pid=12784] ppid=12782 vsize=5356 CPUtime=0
/proc/12784/stat : 12784 (concrete.sh) S 12782 12784 11915 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 57022691 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12784/statm: 1339 244 201 169 0 50 0
[pid=12789] ppid=12784 vsize=0 CPUtime=839.17
/proc/12789/stat : 12789 (java) Z 12784 12784 11915 0 -1 12 305041 0 1 0 83701 216 0 0 16 0 2 0 57022692 0 0 996147200 0 0 0 0 0 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/12789/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 839.17
Current children cumulated vsize (KiB) 5356
Child status: 0
Real time (s): 846.403
CPU time (s): 839.186
CPU user time (s): 837.016
CPU system time (s): 2.17067
CPU usage (%): 99.1474
Max. virtual memory (cumulated for all children) (KiB): 856552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 837.016
system time used= 2.17067
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305683
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= 42435
involuntary context switches= 44316
runsolver used 1.12283 second user time and 2.95855 second system time
The end
Begin job on node41 at 2009-07-16 02:15:10
IDJOB=2065061
IDBENCH=54271
IDSOLVER=735
FILE ID=node41/2065061-1247703310
PBS_JOBID= 9521228
Free space on /tmp= 65788 MiB
SOLVER NAME= Concrete 2009-06-10
BENCH NAME= CPAI08/csp/fischer/normalized-fischer-8-2-fair.xml
COMMAND LINE= HOME/concrete.sh -c BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2065061-1247703310/watcher-2065061-1247703310 -o /tmp/evaluation-result-2065061-1247703310/solver-2065061-1247703310 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2065061-1247703310.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3e56d59c7d80b7d2709032b217c8cabc
RANDOM SEED=22697150
node41.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.212
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 : 5931.00
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.212
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: 1378240 kB
Buffers: 58892 kB
Cached: 388412 kB
SwapCached: 0 kB
Active: 193968 kB
Inactive: 405848 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1378240 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2104 kB
Writeback: 0 kB
Mapped: 164108 kB
Slab: 63080 kB
Committed_AS: 590436 kB
PageTables: 1960 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= 65792 MiB
End job on node41 at 2009-07-16 02:29:16