0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/280477-1169306100/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.40 => wckTime=0.095 cpuTime=0.08 mem=6M887
0.40
0.40 relations being loaded...
0.61
0.61 constraints being loaded...
0.71 nbConstraints=5 nbRelationTypes=5 nbExtensionStructures=5 nbSharedExtensionStructures=0
0.71 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 maxDegree=5 maxArity=10
0.71 => wckTime=0.407 cpuTime=0.36 mem=38M338
0.77
0.77 solver LocalSearchSolver being built...
0.81 => wckTime=0.512 cpuTime=0.41 mem=10M983
0.82
0.82 s SATISFIABLE
0.82 o 0
0.82 c 5
1.97 o 1
1.97 c 4
6.24
6.24 search
6.24 run=0 nbConstraintChecks=4294623 nbAssignments=10000
6.24 => wckTime=5.425 cpuTime=5.4 mem=10M983
7.84 o 2
7.84 c 3
11.31
11.32 search
11.32 run=1 nbConstraintChecks=8443139 nbAssignments=20000
11.32 => wckTime=10.505 cpuTime=10.48 mem=10M983
16.59
16.59 search
16.59 run=2 nbConstraintChecks=12713144 nbAssignments=30000
16.59 => wckTime=15.784 cpuTime=15.75 mem=10M983
21.86
21.86 search
21.86 run=3 nbConstraintChecks=16983140 nbAssignments=40000
21.86 => wckTime=21.051 cpuTime=21.02 mem=10M983
27.09
27.09 search
27.09 run=4 nbConstraintChecks=21253154 nbAssignments=50000
27.09 => wckTime=26.284 cpuTime=26.25 mem=10M983
32.34
32.34 search
32.34 run=5 nbConstraintChecks=25523159 nbAssignments=60000
32.34 => wckTime=31.534 cpuTime=31.5 mem=10M983
37.63
37.63 search
37.63 run=6 nbConstraintChecks=29793164 nbAssignments=70000
37.63 => wckTime=36.816 cpuTime=36.77 mem=10M983
37.87
37.87 search
37.87 run=7 nbConstraintChecks=29989155 nbAssignments=70459
37.87 => wckTime=37.059 cpuTime=37.02 mem=10M983
37.87
37.87 global
37.87 nbConstraintChecks=29989155 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.87 solvingWckTime=37.057 solvingCpuTime=37.02 expiredTime=no totalExploration=no nbFoundSolutions=0
37.87 globalCpuTime=37.48
37.87 => wckTime=37.57 cpuTime=37.43 mem=10M983
37.87
37.87 solver IterativeSystematicSolver being built...
38.01 => wckTime=37.709 cpuTime=37.54 mem=21M787
38.67
38.67 preprocessing
38.67 nbConstraintChecks=580368 nbValidityChecks=589571 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.67 nbRemovedValues=0 detectedInconsistency=no
38.67 => wckTime=0.659 cpuTime=0.64 mem=21M787
38.78
38.78 search
38.78 run=0 nbConstraintChecks=70359 nbValidityChecks=85645 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.78 nbAssignments=31 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=55 nbRestartNogoods=0
38.78 => wckTime=0.768 cpuTime=0.74 mem=22M750
39.02
39.02 search
39.02 run=1 nbConstraintChecks=262485 nbValidityChecks=306682 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.02 nbAssignments=87 nbFailedAssignments=52 nbBacktracks=25 nbVisitedNodes=158 nbRestartNogoods=4
39.02 => wckTime=1.007 cpuTime=0.97 mem=22M750
39.45
39.45 search
39.45 run=2 nbConstraintChecks=598003 nbValidityChecks=688363 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.45 nbAssignments=170 nbFailedAssignments=108 nbBacktracks=47 nbVisitedNodes=317 nbRestartNogoods=7
39.45 => wckTime=1.435 cpuTime=1.39 mem=22M750
40.04
40.04 search
40.04 run=3 nbConstraintChecks=1104247 nbValidityChecks=1256762 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.04 nbAssignments=290 nbFailedAssignments=190 nbBacktracks=80 nbVisitedNodes=546 nbRestartNogoods=14
40.04 => wckTime=2.026 cpuTime=1.98 mem=22M750
40.76
40.76 search
40.76 run=4 nbConstraintChecks=1684097 nbValidityChecks=1934935 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.76 nbAssignments=480 nbFailedAssignments=326 nbBacktracks=130 nbVisitedNodes=910 nbRestartNogoods=20
40.76 => wckTime=2.75 cpuTime=2.7 mem=22M750
41.17
41.17 search
41.17 run=5 nbConstraintChecks=1993773 nbValidityChecks=2386403 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.17 nbAssignments=742 nbFailedAssignments=507 nbBacktracks=205 nbVisitedNodes=1414 nbRestartNogoods=39
41.17 => wckTime=3.164 cpuTime=3.11 mem=22M750
43.11
43.11 search
43.11 run=6 nbConstraintChecks=3620352 nbValidityChecks=4195878 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.11 nbAssignments=1098 nbFailedAssignments=744 nbBacktracks=320 nbVisitedNodes=2098 nbRestartNogoods=47
43.11 => wckTime=5.096 cpuTime=5.03 mem=22M750
44.27
44.27 search
44.27 run=7 nbConstraintChecks=4519709 nbValidityChecks=5402161 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.27 nbAssignments=1661 nbFailedAssignments=1133 nbBacktracks=490 nbVisitedNodes=3193 nbRestartNogoods=55
44.27 => wckTime=6.261 cpuTime=6.18 mem=22M750
46.07
46.07 search
46.07 run=8 nbConstraintChecks=5933252 nbValidityChecks=7309796 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.07 nbAssignments=2612 nbFailedAssignments=1822 nbBacktracks=748 nbVisitedNodes=5036 nbRestartNogoods=67
46.07 => wckTime=8.056 cpuTime=7.97 mem=22M750
50.06
50.06 search
50.06 run=9 nbConstraintChecks=9277299 nbValidityChecks=11344085 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
50.06 nbAssignments=3906 nbFailedAssignments=2727 nbBacktracks=1132 nbVisitedNodes=7534 nbRestartNogoods=83
50.06 => wckTime=12.045 cpuTime=11.95 mem=22M750
55.81
55.81 search
55.81 run=10 nbConstraintChecks=14108910 nbValidityChecks=17198181 nbPropagations=0 nbRevisions=0
55.81 nbUselessRevisions=0 nbAssignments=5896 nbFailedAssignments=4135 nbBacktracks=1708 nbVisitedNodes=11388
55.81 nbRestartNogoods=103
55.81 => wckTime=17.799 cpuTime=17.7 mem=22M750
62.78
62.78 search
62.78 run=11 nbConstraintChecks=19836179 nbValidityChecks=24354266 nbPropagations=0 nbRevisions=0
62.78 nbUselessRevisions=0 nbAssignments=8600 nbFailedAssignments=5972 nbBacktracks=2572 nbVisitedNodes=16626
62.78 nbRestartNogoods=125
62.78 => wckTime=24.772 cpuTime=24.67 mem=22M750
72.40
72.40 search
72.40 run=12 nbConstraintChecks=27684976 nbValidityChecks=34513077 nbPropagations=0 nbRevisions=0
72.40 nbUselessRevisions=0 nbAssignments=13001 nbFailedAssignments=9071 nbBacktracks=3869 nbVisitedNodes=25175
72.40 nbRestartNogoods=149
72.40 => wckTime=34.391 cpuTime=34.28 mem=22M750
75.01 o 3
75.01 c 2
97.64
97.64 search
97.64 run=13 nbConstraintChecks=49408497 nbValidityChecks=59822685 nbPropagations=0 nbRevisions=0
97.64 nbUselessRevisions=0 nbAssignments=19159 nbFailedAssignments=13279 nbBacktracks=5816 nbVisitedNodes=37119
97.64 nbRestartNogoods=166
97.64 => wckTime=59.628 cpuTime=59.51 mem=22M750
118.11
118.11 search
118.11 run=14 nbConstraintChecks=65945104 nbValidityChecks=81778817 nbPropagations=0 nbRevisions=0
118.11 nbUselessRevisions=0 nbAssignments=28306 nbFailedAssignments=19504 nbBacktracks=8735 nbVisitedNodes=54937
118.11 nbRestartNogoods=179
118.11 => wckTime=80.095 cpuTime=79.97 mem=22M750
160.71
160.71 search
160.71 run=15 nbConstraintChecks=101872047 nbValidityChecks=125788213 nbPropagations=0 nbRevisions=0
160.71 nbUselessRevisions=0 nbAssignments=41759 nbFailedAssignments=28575 nbBacktracks=13113 nbVisitedNodes=81186
160.71 nbRestartNogoods=201
160.71 => wckTime=122.696 cpuTime=122.56 mem=22M750
233.13
233.13 search
233.13 run=16 nbConstraintChecks=163101113 nbValidityChecks=199489395 nbPropagations=0 nbRevisions=0
233.13 nbUselessRevisions=0 nbAssignments=62509 nbFailedAssignments=42754 nbBacktracks=19681 nbVisitedNodes=121810
233.13 nbRestartNogoods=216
233.13 => wckTime=195.119 cpuTime=194.96 mem=22M750
316.51
316.51 search
316.51 run=17 nbConstraintChecks=231474645 nbValidityChecks=286476313 nbPropagations=0 nbRevisions=0
316.51 nbUselessRevisions=0 nbAssignments=94254 nbFailedAssignments=64644 nbBacktracks=29533 nbVisitedNodes=183679
316.51 nbRestartNogoods=243
316.51 => wckTime=278.498 cpuTime=278.31 mem=22M750
440.85
440.85 search
440.85 run=18 nbConstraintChecks=336349705 nbValidityChecks=417690832 nbPropagations=0 nbRevisions=0
440.85 nbUselessRevisions=0 nbAssignments=139462 nbFailedAssignments=95071 nbBacktracks=44311 nbVisitedNodes=271481
440.85 nbRestartNogoods=251
440.85 => wckTime=402.84 cpuTime=402.5 mem=22M750
634.65
634.65 search
634.65 run=19 nbConstraintChecks=500061095 nbValidityChecks=619144889 nbPropagations=0 nbRevisions=0
634.65 nbUselessRevisions=0 nbAssignments=205061 nbFailedAssignments=138500 nbBacktracks=66479 nbVisitedNodes=398519
634.65 nbRestartNogoods=265
634.65 => wckTime=596.639 cpuTime=596.15 mem=22M750
681.99
681.99 search
681.99 run=20 nbConstraintChecks=541838957 nbValidityChecks=667764956 nbPropagations=0 nbRevisions=0
681.99 nbUselessRevisions=0 nbAssignments=217566 nbFailedAssignments=146352 nbBacktracks=71133 nbVisitedNodes=422509
681.99 nbRestartNogoods=274
681.99 => wckTime=643.983 cpuTime=643.48 mem=22M750
681.99
681.99 global
681.99 nbConstraintChecks=542419325 nbValidityChecks=668354527 nbRestartNogoods=274 solvingWckTime=643.985
681.99 solvingCpuTime=643.48 expiredTime=no totalExploration=yes nbFoundSolutions=1 globalCpuTime=681.07
681.99 => wckTime=681.694 cpuTime=681.02 mem=22M750
682.00
682.00 s OPTIMUM FOUND
682.00 v 0 0 8 2 1 3 0 5 6 5 2 9 0 8 6 9 8 8 2 7
682.00
682.00 totalWckTime=681.771 totalCpuTime=681.07
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node51/watcher-280477-1169306100 -o ROOT/results/node51/solver-280477-1169306100 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280477-1169306100/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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
/proc/loadavg: 0.93 0.98 0.99 4/68 30071
/proc/meminfo: memFree=1347112/2055920 swapFree=4191892/4192956
[pid=30070] ppid=30067 vsize=172 CPUtime=0
/proc/30070/stat : 30070 (java) R 30067 30070 29598 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 279008537 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2617643 0 0 4096 0 0 0 0 17 1 0 0
/proc/30070/statm: 43 24 18 14 0 3 0
[startup+0.10352 s]
/proc/loadavg: 0.93 0.98 0.99 4/68 30071
/proc/meminfo: memFree=1347112/2055920 swapFree=4191892/4192956
[pid=30070] ppid=30067 vsize=914988 CPUtime=0.08
/proc/30070/stat : 30070 (java) R 30067 30070 29598 0 -1 0 3020 0 1 0 7 1 0 0 16 0 8 0 279008537 936947712 2766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153799154 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30070/statm: 228747 2766 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511586 s]
/proc/loadavg: 0.93 0.98 0.99 4/68 30071
/proc/meminfo: memFree=1347112/2055920 swapFree=4191892/4192956
[pid=30070] ppid=30067 vsize=915332 CPUtime=0.5
/proc/30070/stat : 30070 (java) R 30067 30070 29598 0 -1 0 8507 0 1 0 45 5 0 0 17 0 8 0 279008537 937299968 8246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30070/statm: 228833 8247 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33373 s]
/proc/loadavg: 0.93 0.98 0.99 2/75 30083
/proc/meminfo: memFree=1299440/2055920 swapFree=4191892/4192956
[pid=30070] ppid=30067 vsize=915436 CPUtime=1.31
/proc/30070/stat : 30070 (java) R 30067 30070 29598 0 -1 0 15702 0 1 0 121 10 0 0 17 0 8 0 279008537 937406464 15440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30070/statm: 228859 15440 2480 14 0 215329 0
[pid=30070/tid=30072] ppid=30067 vsize=915436 CPUtime=0.04
/proc/30070/task/30072/stat : 30072 (java) S 30067 30070 29598 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 279008540 937406464 15440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30070/tid=30073] ppid=30067 vsize=915440 CPUtime=0
/proc/30070/task/30073/stat : 30073 (java) S 30067 30070 29598 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279008541 937410560 15440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30074] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30074/stat : 30074 (java) S 30067 30070 29598 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30076] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30076/stat : 30076 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279008544 937406464 15440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30077] ppid=30067 vsize=915436 CPUtime=0.08
/proc/30070/task/30077/stat : 30077 (java) S 30067 30070 29598 0 -1 64 318 0 0 0 8 0 0 0 16 0 8 0 279008544 937406464 15440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30078] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30078/stat : 30078 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279008544 937406464 15440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30079] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30079/stat : 30079 (java) S 30067 30070 29598 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279008544 937406464 15440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915436
[startup+2.97901 s]
/proc/loadavg: 0.93 0.98 0.99 3/87 30128
/proc/meminfo: memFree=1244048/2055920 swapFree=4191892/4192956
[pid=30070] ppid=30067 vsize=915436 CPUtime=2.96
/proc/30070/stat : 30070 (java) R 30067 30070 29598 0 -1 0 15706 0 1 0 274 22 0 0 19 0 8 0 279008537 937406464 15443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30070/statm: 228859 15443 2480 14 0 215329 0
[pid=30070/tid=30072] ppid=30067 vsize=915436 CPUtime=0.04
/proc/30070/task/30072/stat : 30072 (java) S 30067 30070 29598 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 279008540 937406464 15443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30070/tid=30073] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30073/stat : 30073 (java) S 30067 30070 29598 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30074] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30074/stat : 30074 (java) S 30067 30070 29598 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30076] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30076/stat : 30076 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279008544 937406464 15443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30077] ppid=30067 vsize=915436 CPUtime=0.09
/proc/30070/task/30077/stat : 30077 (java) S 30067 30070 29598 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 279008544 937406464 15443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30070/tid=30078] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30078/stat : 30078 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279008544 937406464 15443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30079] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30079/stat : 30079 (java) S 30067 30070 29598 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279008544 937406464 15443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915436
[startup+6.26456 s]
/proc/loadavg: 1.02 1.00 1.00 3/87 30128
/proc/meminfo: memFree=1243984/2055920 swapFree=4191892/4192956
[pid=30070] ppid=30067 vsize=915436 CPUtime=6.25
/proc/30070/stat : 30070 (java) R 30067 30070 29598 0 -1 0 15710 0 1 0 578 47 0 0 25 0 8 0 279008537 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30070/statm: 228859 15447 2480 14 0 215329 0
[pid=30070/tid=30072] ppid=30067 vsize=915436 CPUtime=0.04
/proc/30070/task/30072/stat : 30072 (java) S 30067 30070 29598 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 279008540 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30070/tid=30073] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30073/stat : 30073 (java) S 30067 30070 29598 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30074] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30074/stat : 30074 (java) S 30067 30070 29598 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30076] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30076/stat : 30076 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279008544 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30077] ppid=30067 vsize=915440 CPUtime=0.09
/proc/30070/task/30077/stat : 30077 (java) S 30067 30070 29598 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 279008544 937410560 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30070/tid=30078] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30078/stat : 30078 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279008544 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30079] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30079/stat : 30079 (java) S 30067 30070 29598 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279008544 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915436
[startup+12.7457 s]
/proc/loadavg: 1.10 1.02 1.01 3/87 30128
/proc/meminfo: memFree=1243936/2055920 swapFree=4191892/4192956
[pid=30070] ppid=30067 vsize=915436 CPUtime=12.73
/proc/30070/stat : 30070 (java) R 30067 30070 29598 0 -1 0 15710 0 1 0 1172 101 0 0 20 0 8 0 279008537 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30070/statm: 228859 15447 2480 14 0 215329 0
[pid=30070/tid=30072] ppid=30067 vsize=915436 CPUtime=0.04
/proc/30070/task/30072/stat : 30072 (java) S 30067 30070 29598 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 279008540 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30070/tid=30073] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30073/stat : 30073 (java) S 30067 30070 29598 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30074] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30074/stat : 30074 (java) S 30067 30070 29598 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30076] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30076/stat : 30076 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279008544 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30077] ppid=30067 vsize=915436 CPUtime=0.09
/proc/30070/task/30077/stat : 30077 (java) S 30067 30070 29598 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 279008544 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30070/tid=30078] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30078/stat : 30078 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279008544 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30079] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30079/stat : 30079 (java) S 30067 30070 29598 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279008544 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915436
[startup+25.5808 s]
/proc/loadavg: 1.30 1.06 1.02 3/87 30128
/proc/meminfo: memFree=1244128/2055920 swapFree=4191892/4192956
[pid=30070] ppid=30067 vsize=915440 CPUtime=25.55
/proc/30070/stat : 30070 (java) R 30067 30070 29598 0 -1 0 15710 0 1 0 2356 199 0 0 25 0 8 0 279008537 937410560 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30070/statm: 228859 15447 2480 14 0 215329 0
[pid=30070/tid=30072] ppid=30067 vsize=915436 CPUtime=0.04
/proc/30070/task/30072/stat : 30072 (java) S 30067 30070 29598 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 279008540 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30070/tid=30073] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30073/stat : 30073 (java) S 30067 30070 29598 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30074] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30074/stat : 30074 (java) S 30067 30070 29598 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30076] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30076/stat : 30076 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279008544 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30077] ppid=30067 vsize=915436 CPUtime=0.09
/proc/30070/task/30077/stat : 30077 (java) S 30067 30070 29598 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 279008544 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30070/tid=30078] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30078/stat : 30078 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279008544 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30079] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30079/stat : 30079 (java) S 30067 30070 29598 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279008544 937406464 15447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915440
[startup+51.2832 s]
/proc/loadavg: 1.54 1.14 1.04 3/87 30128
/proc/meminfo: memFree=1243552/2055920 swapFree=4191892/4192956
[pid=30070] ppid=30067 vsize=915436 CPUtime=51.24
/proc/30070/stat : 30070 (java) R 30067 30070 29598 0 -1 0 15879 0 1 0 4826 298 0 0 25 0 8 0 279008537 937406464 15608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073778492 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30070/statm: 228859 15608 2535 14 0 215329 0
[pid=30070/tid=30072] ppid=30067 vsize=915436 CPUtime=0.04
/proc/30070/task/30072/stat : 30072 (java) S 30067 30070 29598 0 -1 64 1538 0 0 0 4 0 0 0 16 0 8 0 279008540 937406464 15608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30070/tid=30073] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30073/stat : 30073 (java) S 30067 30070 29598 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30074] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30074/stat : 30074 (java) S 30067 30070 29598 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30076] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30076/stat : 30076 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279008544 937406464 15608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30077] ppid=30067 vsize=915436 CPUtime=0.21
/proc/30070/task/30077/stat : 30077 (java) S 30067 30070 29598 0 -1 64 385 0 0 0 20 1 0 0 15 0 8 0 279008544 937406464 15608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30070/tid=30078] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30078/stat : 30078 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279008544 937406464 15608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30079] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30079/stat : 30079 (java) S 30067 30070 29598 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279008544 937406464 15608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.24
Current children cumulated vsize (KiB) 915436
[startup+102.496 s]
/proc/loadavg: 1.80 1.27 1.09 3/87 30128
/proc/meminfo: memFree=1243552/2055920 swapFree=4191892/4192956
[pid=30070] ppid=30067 vsize=915436 CPUtime=102.43
/proc/30070/stat : 30070 (java) R 30067 30070 29598 0 -1 0 15883 0 1 0 9945 298 0 0 25 0 8 0 279008537 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750864 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30070/statm: 228859 15610 2535 14 0 215329 0
[pid=30070/tid=30072] ppid=30067 vsize=915436 CPUtime=0.04
/proc/30070/task/30072/stat : 30072 (java) S 30067 30070 29598 0 -1 64 1538 0 0 0 4 0 0 0 16 0 8 0 279008540 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30070/tid=30073] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30073/stat : 30073 (java) S 30067 30070 29598 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30074] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30074/stat : 30074 (java) S 30067 30070 29598 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30076] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30076/stat : 30076 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30077] ppid=30067 vsize=915436 CPUtime=0.21
/proc/30070/task/30077/stat : 30077 (java) S 30067 30070 29598 0 -1 64 387 0 0 0 20 1 0 0 15 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30070/tid=30078] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30078/stat : 30078 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30079] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30079/stat : 30079 (java) S 30067 30070 29598 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.43
Current children cumulated vsize (KiB) 915436
[startup+162.541 s]
/proc/loadavg: 1.96 1.41 1.15 3/87 30128
/proc/meminfo: memFree=1243488/2055920 swapFree=4191892/4192956
[pid=30070] ppid=30067 vsize=915436 CPUtime=162.47
/proc/30070/stat : 30070 (java) R 30067 30070 29598 0 -1 0 15883 0 1 0 15948 299 0 0 25 0 8 0 279008537 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/30070/task/30076/stat : 30076 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30077] ppid=30067 vsize=915436 CPUtime=0.21
/proc/30070/task/30077/stat : 30077 (java) S 30067 30070 29598 0 -1 64 387 0 0 0 20 1 0 0 15 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30070/tid=30078] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30078/stat : 30078 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30079] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30079/stat : 30079 (java) S 30067 30070 29598 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.5
Current children cumulated vsize (KiB) 915436
[startup+282.652 s]
/proc/loadavg: 1.99 1.60 1.25 3/87 30128
/proc/meminfo: memFree=1243488/2055920 swapFree=4191892/4192956
[pid=30070] ppid=30067 vsize=915436 CPUtime=282.54
/proc/30070/stat : 30070 (java) R 30067 30070 29598 0 -1 0 15883 0 1 0 27955 299 0 0 25 0 8 0 279008537 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630058 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30070/statm: 228859 15610 2535 14 0 215329 0
[pid=30070/tid=30072] ppid=30067 vsize=915436 CPUtime=0.04
/proc/30070/task/30072/stat : 30072 (java) S 30067 30070 29598 0 -1 64 1538 0 0 0 4 0 0 0 16 0 8 0 279008540 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30070/tid=30073] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30073/stat : 30073 (java) S 30067 30070 29598 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30074] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30074/stat : 30074 (java) S 30067 30070 29598 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30076] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30076/stat : 30076 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30077] ppid=30067 vsize=915436 CPUtime=0.21
/proc/30070/task/30077/stat : 30077 (java) S 30067 30070 29598 0 -1 64 387 0 0 0 20 1 0 0 15 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30070/tid=30078] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30078/stat : 30078 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30079] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30079/stat : 30079 (java) S 30067 30070 29598 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.54
Current children cumulated vsize (KiB) 915436
[startup+342.695 s]
/proc/loadavg: 1.99 1.67 1.29 3/87 30130
/proc/meminfo: memFree=1243360/2055920 swapFree=4191892/4192956
[pid=30070] ppid=30067 vsize=915436 CPUtime=342.57
/proc/30070/stat : 30070 (java) R 30067 30070 29598 0 -1 0 15883 0 1 0 33958 299 0 0 25 0 8 0 279008537 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073636992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30070/statm: 228859 15610 2535 14 0 215329 0
[pid=30070/tid=30072] ppid=30067 vsize=915436 CPUtime=0.04
/proc/30070/task/30072/stat : 30072 (java) S 30067 30070 29598 0 -1 64 1538 0 0 0 4 0 0 0 16 0 8 0 279008540 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30070/tid=30073] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30073/stat : 30073 (java) S 30067 30070 29598 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30074] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30074/stat : 30074 (java) S 30067 30070 29598 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30076] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30076/stat : 30076 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30077] ppid=30067 vsize=915436 CPUtime=0.21
/proc/30070/task/30077/stat : 30077 (java) S 30067 30070 29598 0 -1 64 387 0 0 0 20 1 0 0 15 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30070/tid=30078] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30078/stat : 30078 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30079] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30079/stat : 30079 (java) S 30067 30070 29598 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.57
Current children cumulated vsize (KiB) 915436
[startup+402.74 s]
/proc/loadavg: 1.99 1.73 1.33 3/87 30130
/proc/meminfo: memFree=1243360/2055920 swapFree=4191892/4192956
[pid=30070] ppid=30067 vsize=915436 CPUtime=402.59
/proc/30070/stat : 30070 (java) R 30067 30070 29598 0 -1 0 15883 0 1 0 39960 299 0 0 25 0 8 0 279008537 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596023 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30070/statm: 228859 15610 2535 14 0 215329 0
[pid=30070/tid=30072] ppid=30067 vsize=915436 CPUtime=0.04
/proc/30070/task/30072/stat : 30072 (java) S 30067 30070 29598 0 -1 64 1538 0 0 0 4 0 0 0 16 0 8 0 279008540 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30070/tid=30073] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30073/stat : 30073 (java) S 30067 30070 29598 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30074] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30074/stat : 30074 (java) S 30067 30070 29598 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30076] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30076/stat : 30076 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30077] ppid=30067 vsize=915436 CPUtime=0.21
/proc/30070/task/30077/stat : 30077 (java) S 30067 30070 29598 0 -1 64 387 0 0 0 20 1 0 0 15 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30070/tid=30078] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30078/stat : 30078 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30079] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30079/stat : 30079 (java) S 30067 30070 29598 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.59
Current children cumulated vsize (KiB) 915436
[startup+462.775 s]
/proc/loadavg: 1.86 1.74 1.36 2/72 30251
/proc/meminfo: memFree=1304416/2055920 swapFree=4191892/4192956
[pid=30070] ppid=30067 vsize=915436 CPUtime=462.41
/proc/30070/stat : 30070 (java) R 30067 30070 29598 0 -1 0 15884 0 1 0 45941 300 0 0 25 0 8 0 279008537 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073595952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30070/statm: 228859 15610 2535 14 0 215329 0
[pid=30070/tid=30072] ppid=30067 vsize=915436 CPUtime=0.04
/proc/30070/task/30072/stat : 30072 (java) S 30067 30070 29598 0 -1 64 1538 0 0 0 4 0 0 0 16 0 8 0 279008540 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30073] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30073/stat : 30073 (java) S 30067 30070 29598 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30074] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30074/stat : 30074 (java) S 30067 30070 29598 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30076] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30076/stat : 30076 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30077] ppid=30067 vsize=915436 CPUtime=0.22
/proc/30070/task/30077/stat : 30077 (java) S 30067 30070 29598 0 -1 64 387 0 0 0 21 1 0 0 16 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30078] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30078/stat : 30078 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30079] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30079/stat : 30079 (java) S 30067 30070 29598 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.41
Current children cumulated vsize (KiB) 915436
[startup+522.861 s]
/proc/loadavg: 1.32 1.61 1.34 2/72 30251
/proc/meminfo: memFree=1304672/2055920 swapFree=4191892/4192956
[pid=30070] ppid=30067 vsize=915436 CPUtime=522.47
/proc/30070/stat : 30070 (java) R 30067 30070 29598 0 -1 0 15884 0 1 0 51947 300 0 0 25 0 8 0 279008537 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30070/statm: 228859 15610 2535 14 0 215329 0
[pid=30070/tid=30072] ppid=30067 vsize=915436 CPUtime=0.04
/proc/30070/task/30072/stat : 30072 (java) S 30067 30070 29598 0 -1 64 1538 0 0 0 4 0 0 0 16 0 8 0 279008540 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30073] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30073/stat : 30073 (java) S 30067 30070 29598 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30074] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30074/stat : 30074 (java) S 30067 30070 29598 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30076] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30076/stat : 30076 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30077] ppid=30067 vsize=915436 CPUtime=0.22
/proc/30070/task/30077/stat : 30077 (java) S 30067 30070 29598 0 -1 64 387 0 0 0 21 1 0 0 16 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30078] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30078/stat : 30078 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30079] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30079/stat : 30079 (java) S 30067 30070 29598 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.47
Current children cumulated vsize (KiB) 915436
[startup+582.951 s]
/proc/loadavg: 1.11 1.49 1.32 2/72 30251
/proc/meminfo: memFree=1304672/2055920 swapFree=4191892/4192956
[pid=30070] ppid=30067 vsize=915436 CPUtime=582.54
/proc/30070/stat : 30070 (java) R 30067 30070 29598 0 -1 0 15884 0 1 0 57954 300 0 0 25 0 8 0 279008537 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757200 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30070/statm: 228859 15610 2535 14 0 215329 0
[pid=30070/tid=30072] ppid=30067 vsize=915436 CPUtime=0.04
/proc/30070/task/30072/stat : 30072 (java) S 30067 30070 29598 0 -1 64 1538 0 0 0 4 0 0 0 16 0 8 0 279008540 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30073] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30073/stat : 30073 (java) S 30067 30070 29598 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30074] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30074/stat : 30074 (java) S 30067 30070 29598 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30076] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30076/stat : 30076 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30077] ppid=30067 vsize=915436 CPUtime=0.22
/proc/30070/task/30077/stat : 30077 (java) S 30067 30070 29598 0 -1 64 387 0 0 0 21 1 0 0 16 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30078] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30078/stat : 30078 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30079] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30079/stat : 30079 (java) S 30067 30070 29598 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.54
Current children cumulated vsize (KiB) 915436
[startup+643.038 s]
/proc/loadavg: 1.04 1.40 1.29 2/72 30251
/proc/meminfo: memFree=1304672/2055920 swapFree=4191892/4192956
[pid=30070] ppid=30067 vsize=915436 CPUtime=642.61
/proc/30070/stat : 30070 (java) R 30067 30070 29598 0 -1 0 15884 0 1 0 63961 300 0 0 25 0 8 0 279008537 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819928 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30070/statm: 228859 15610 2535 14 0 215329 0
[pid=30070/tid=30072] ppid=30067 vsize=915436 CPUtime=0.04
/proc/30070/task/30072/stat : 30072 (java) S 30067 30070 29598 0 -1 64 1538 0 0 0 4 0 0 0 16 0 8 0 279008540 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30073] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30073/stat : 30073 (java) S 30067 30070 29598 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30074] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30074/stat : 30074 (java) S 30067 30070 29598 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279008541 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30076] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30076/stat : 30076 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30077] ppid=30067 vsize=915436 CPUtime=0.22
/proc/30070/task/30077/stat : 30077 (java) S 30067 30070 29598 0 -1 64 387 0 0 0 21 1 0 0 16 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30078] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30078/stat : 30078 (java) S 30067 30070 29598 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30070/tid=30079] ppid=30067 vsize=915436 CPUtime=0
/proc/30070/task/30079/stat : 30079 (java) S 30067 30070 29598 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279008544 937406464 15610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 642.61
Current children cumulated vsize (KiB) 915436
Child status: 0
Real time (s): 682.031
CPU time (s): 681.578
CPU user time (s): 678.562
CPU system time (s): 3.01654
CPU usage (%): 99.9336
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 678.562
system time used= 3.01654
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15896
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= 14659
involuntary context switches= 3012
runsolver used 0.6529 s user time and 1.77273 s system time
The end
Begin job on node51 on Sat Jan 20 15:15:00 UTC 2007
IDJOB= 280477
IDBENCH= 11098
IDSOLVER= 68
FILE ID= node51/280477-1169306100
PBS_JOBID= 3610161
Free space on /tmp= 66558 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-4_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280477-1169306100/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-280477-1169306100 -o ROOT/results/node51/solver-280477-1169306100 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280477-1169306100/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bed848b5e4b0ae09bdc9f699d08dc4bf
RANDOM SEED= 148955431
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/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.277
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.277
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: 1347320 kB
Buffers: 50004 kB
Cached: 561416 kB
SwapCached: 512 kB
Active: 142692 kB
Inactive: 488692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1347320 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 7196 kB
Writeback: 0 kB
Mapped: 28648 kB
Slab: 62724 kB
Committed_AS: 5400964 kB
PageTables: 1656 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= 66562 MiB
End job on node51 on Sat Jan 20 15:26:22 UTC 2007