0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276248-1169233846/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.1 cpuTime=0.09 mem=6M910
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.63 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=862 maxDegree=23
0.64 maxArity=2
0.64 => wckTime=0.32 cpuTime=0.24 mem=13M769
0.68
0.68 solver LocalSearchSolver being built...
0.72 => wckTime=0.41 cpuTime=0.28 mem=6M128
0.73
0.73 s SATISFIABLE
0.73 o 218
0.73 c 58
0.73 o 225
0.73 c 51
0.73 o 230
0.73 c 46
0.73 o 234
0.73 c 42
0.73 o 239
0.73 c 37
0.74 o 244
0.74 c 32
0.74 o 247
0.74 c 29
0.74 o 249
0.74 c 27
0.74 o 250
0.74 c 26
0.74 o 253
0.74 c 23
0.74 o 255
0.74 c 21
0.74 o 257
0.74 c 19
0.74 o 258
0.74 c 18
0.75 o 259
0.75 c 17
0.75 o 260
0.75 c 16
0.75 o 261
0.75 c 15
0.75 o 265
0.75 c 11
0.75 o 266
0.75 c 10
0.75 o 267
0.75 c 9
0.78 o 268
0.78 c 8
0.78 o 269
0.78 c 7
0.78 o 271
0.78 c 5
0.81 o 272
0.81 c 4
0.82 o 273
0.82 c 3
1.09 o 274
1.09 c 2
2.61 o 275
2.61 c 1
2.61
2.61 search
2.61 run=0 nbConstraintChecks=13308013 nbAssignments=5786
2.61 => wckTime=1.888 cpuTime=1.86 mem=6M128
2.61
2.61 global
2.61 nbConstraintChecks=13308013 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.61 solvingWckTime=1.884 solvingCpuTime=1.86 expiredTime=no totalExploration=no nbFoundSolutions=0
2.61 globalCpuTime=2.2
2.61 => wckTime=2.298 cpuTime=2.14 mem=6M128
2.61
2.61 solver IterativeSystematicSolver being built...
2.74 => wckTime=2.424 cpuTime=2.23 mem=17M52
2.75
2.75 preprocessing
2.75 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.75 detectedInconsistency=no
2.75 => wckTime=0.0060 cpuTime=0.0 mem=17M52
2.81
2.81 search
2.81 run=0 nbConstraintChecks=115464 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30
2.81 nbFailedAssignments=15 nbBacktracks=10 nbVisitedNodes=56 nbRestartNogoods=0
2.81 => wckTime=0.07 cpuTime=0.05 mem=17M52
2.91
2.91 search
2.91 run=1 nbConstraintChecks=442081 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=120
2.91 nbFailedAssignments=85 nbBacktracks=25 nbVisitedNodes=231 nbRestartNogoods=10
2.91 => wckTime=0.17 cpuTime=0.14 mem=17M52
2.97
2.97 search
2.97 run=2 nbConstraintChecks=711007 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=194
2.97 nbFailedAssignments=132 nbBacktracks=47 nbVisitedNodes=374 nbRestartNogoods=12
2.97 => wckTime=0.227 cpuTime=0.19 mem=17M52
3.08
3.08 search
3.08 run=3 nbConstraintChecks=1222772 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=334
3.08 nbFailedAssignments=234 nbBacktracks=80 nbVisitedNodes=649 nbRestartNogoods=37
3.08 => wckTime=0.337 cpuTime=0.3 mem=17M52
3.25
3.25 search
3.25 run=4 nbConstraintChecks=2054746 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=578
3.25 nbFailedAssignments=423 nbBacktracks=130 nbVisitedNodes=1132 nbRestartNogoods=61
3.25 => wckTime=0.511 cpuTime=0.47 mem=17M52
3.49
3.49 search
3.49 run=5 nbConstraintChecks=3188025 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=882
3.49 nbFailedAssignments=647 nbBacktracks=205 nbVisitedNodes=1735 nbRestartNogoods=85
3.49 => wckTime=0.748 cpuTime=0.7 mem=17M52
3.92
3.92 search
3.92 run=6 nbConstraintChecks=5321029 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1450
3.92 nbFailedAssignments=1098 nbBacktracks=318 nbVisitedNodes=2867 nbRestartNogoods=104
3.92 => wckTime=1.184 cpuTime=1.13 mem=17M52
4.44
4.44 search
4.44 run=7 nbConstraintChecks=7773136 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2098
4.44 nbFailedAssignments=1572 nbBacktracks=488 nbVisitedNodes=4159 nbRestartNogoods=144
4.44 => wckTime=1.701 cpuTime=1.63 mem=17M52
5.27
5.27 search
5.27 run=8 nbConstraintChecks=11875911 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3167
5.27 nbFailedAssignments=2381 nbBacktracks=744 nbVisitedNodes=6293 nbRestartNogoods=161
5.27 => wckTime=2.533 cpuTime=2.46 mem=17M52
6.32
6.32 search
6.32 run=9 nbConstraintChecks=17027892 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4561
6.32 nbFailedAssignments=3386 nbBacktracks=1128 nbVisitedNodes=9076 nbRestartNogoods=182
6.32 => wckTime=3.576 cpuTime=3.49 mem=17M52
7.98
7.98 search
7.98 run=10 nbConstraintChecks=25381432 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6676
7.98 nbFailedAssignments=4920 nbBacktracks=1704 nbVisitedNodes=13297 nbRestartNogoods=190
7.98 => wckTime=5.239 cpuTime=5.14 mem=17M52
10.17
10.17 search
10.17 run=11 nbConstraintChecks=36314403 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9492
10.17 nbFailedAssignments=6866 nbBacktracks=2568 nbVisitedNodes=18892 nbRestartNogoods=206
10.17 => wckTime=7.426 cpuTime=7.32 mem=17M52
13.13
13.13 search
13.13 run=12 nbConstraintChecks=51204612 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13060
13.13 nbFailedAssignments=9132 nbBacktracks=3866 nbVisitedNodes=25724 nbRestartNogoods=218
13.13 => wckTime=10.388 cpuTime=10.27 mem=17M52
16.99
16.99 search
16.99 run=13 nbConstraintChecks=70782706 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17656
16.99 nbFailedAssignments=11779 nbBacktracks=5813 nbVisitedNodes=34150 nbRestartNogoods=229
16.99 => wckTime=14.252 cpuTime=14.11 mem=17M52
22.36
22.36 search
22.36 run=14 nbConstraintChecks=97930526 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=24037
22.36 nbFailedAssignments=15237 nbBacktracks=8732 nbVisitedNodes=45526 nbRestartNogoods=236
22.36 => wckTime=19.625 cpuTime=19.46 mem=17M52
29.53
29.53 search
29.53 run=15 nbConstraintChecks=134426228 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32966
29.53 nbFailedAssignments=19782 nbBacktracks=13110 nbVisitedNodes=60896 nbRestartNogoods=248
29.53 => wckTime=26.789 cpuTime=26.59 mem=17M52
40.34
40.34 search
40.34 run=16 nbConstraintChecks=189550988 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46325
40.34 nbFailedAssignments=26567 nbBacktracks=19680 nbVisitedNodes=83764 nbRestartNogoods=266
40.34 => wckTime=37.601 cpuTime=37.34 mem=17M52
56.05
56.05 search
56.05 run=17 nbConstraintChecks=270005200 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=65675
56.05 nbFailedAssignments=36060 nbBacktracks=29532 nbVisitedNodes=116718 nbRestartNogoods=283
56.05 => wckTime=53.313 cpuTime=52.99 mem=17M52
79.37
79.37 search
79.37 run=18 nbConstraintChecks=389072366 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=94570
79.37 nbFailedAssignments=50173 nbBacktracks=44310 nbVisitedNodes=165655 nbRestartNogoods=305
79.37 => wckTime=76.628 cpuTime=76.19 mem=17M52
113.30
113.30 search
113.30 run=19 nbConstraintChecks=563118563 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=137368
113.30 nbFailedAssignments=70798 nbBacktracks=66479 nbVisitedNodes=237603 nbRestartNogoods=317
113.30 => wckTime=110.563 cpuTime=110.01 mem=17M52
164.92
164.92 search
164.92 run=20 nbConstraintChecks=828522579 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=201944
164.92 nbFailedAssignments=102119 nbBacktracks=99732 nbVisitedNodes=346758 nbRestartNogoods=333
164.92 => wckTime=162.176 cpuTime=161.61 mem=17M52
240.48
240.48 search
240.48 run=21 nbConstraintChecks=1217861557 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=297470
240.48 nbFailedAssignments=147761 nbBacktracks=149612 nbVisitedNodes=507479 nbRestartNogoods=338
240.48 => wckTime=237.745 cpuTime=237.16 mem=17M52
353.62
353.62 search
353.62 run=22 nbConstraintChecks=1802153176 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=440466
353.62 nbFailedAssignments=215936 nbBacktracks=224430 nbVisitedNodes=747451 nbRestartNogoods=356
353.62 => wckTime=350.877 cpuTime=350.26 mem=17M52
517.98
517.98 search
517.98 run=23 nbConstraintChecks=2675294707 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=654595
517.98 nbFailedAssignments=317832 nbBacktracks=336658 nbVisitedNodes=1106835 nbRestartNogoods=364
517.98 => wckTime=515.241 cpuTime=514.21 mem=17M52
756.82
756.82 search
756.82 run=24 nbConstraintChecks=3985701119 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=974329
756.82 nbFailedAssignments=469221 nbBacktracks=504999 nbVisitedNodes=1642039 nbRestartNogoods=396
756.82 => wckTime=754.077 cpuTime=751.89 mem=17M52
1116.63
1116.63 search
1116.63 run=25 nbConstraintChecks=5956489041 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1455986
1116.63 nbFailedAssignments=698364 nbBacktracks=757510 nbVisitedNodes=2449935 nbRestartNogoods=416
1116.63 => wckTime=1113.894 cpuTime=1109.97 mem=17M52
1453.43
1453.43 search
1453.43 run=26 nbConstraintChecks=7802541527 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1902750
1453.43 nbFailedAssignments=911558 nbBacktracks=991081 nbVisitedNodes=3201184 nbRestartNogoods=431
1453.43 => wckTime=1450.694 cpuTime=1445.17 mem=17M52
1453.43
1453.43 global
1453.43 nbConstraintChecks=7802541527 nbRestartNogoods=431 solvingWckTime=1450.695 solvingCpuTime=1445.17
1453.43 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1447.46
1453.44 => wckTime=1453.12 cpuTime=1447.4 mem=17M52
1453.44
1453.44 s OPTIMUM FOUND
1453.44 v 0 12 13 11 22 5 5 13 0 6 9 15 13 23 12 15 8 3 9 15 15 6 9 21
1453.44
1453.44 totalWckTime=1453.201 totalCpuTime=1447.46
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-276248-1169233846 -o ROOT/results/node9/solver-276248-1169233846 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276248-1169233846/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: 2.06 2.00 2.00 4/86 26844
/proc/meminfo: memFree=1291672/2055920 swapFree=4191880/4192956
[pid=26843] ppid=26841 vsize=18540 CPUtime=0
/proc/26843/stat : 26843 (runsolver) R 26841 26843 26775 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271779753 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26843/statm: 4635 279 244 17 0 2626 0
[startup+0.103078 s]
/proc/loadavg: 2.06 2.00 2.00 4/86 26844
/proc/meminfo: memFree=1291672/2055920 swapFree=4191880/4192956
[pid=26843] ppid=26841 vsize=914988 CPUtime=0.08
/proc/26843/stat : 26843 (java) R 26841 26843 26775 0 -1 0 2958 0 1 0 7 1 0 0 19 0 8 0 271779753 936947712 2704 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153609849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26843/statm: 228747 2704 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511123 s]
/proc/loadavg: 2.06 2.00 2.00 4/86 26844
/proc/meminfo: memFree=1291672/2055920 swapFree=4191880/4192956
[pid=26843] ppid=26841 vsize=915332 CPUtime=0.49
/proc/26843/stat : 26843 (java) R 26841 26843 26775 0 -1 0 6868 0 1 0 46 3 0 0 18 0 8 0 271779753 937299968 6607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073555463 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26843/statm: 228833 6607 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33421 s]
/proc/loadavg: 2.06 2.00 2.00 3/93 26851
/proc/meminfo: memFree=1268576/2055920 swapFree=4191880/4192956
[pid=26843] ppid=26841 vsize=915464 CPUtime=1.31
/proc/26843/stat : 26843 (java) R 26841 26843 26775 0 -1 0 8447 0 1 0 119 12 0 0 25 0 8 0 271779753 937435136 8185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073735509 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26843/statm: 228866 8185 2476 14 0 215336 0
[pid=26843/tid=26845] ppid=26841 vsize=915464 CPUtime=0.03
/proc/26843/task/26845/stat : 26845 (java) S 26841 26843 26775 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 271779757 937435136 8185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26846] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26846/stat : 26846 (java) S 26841 26843 26775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271779758 937435136 8185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26847] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26847/stat : 26847 (java) S 26841 26843 26775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271779758 937435136 8185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26848] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26848/stat : 26848 (java) S 26841 26843 26775 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271779761 937435136 8185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26849] ppid=26841 vsize=915464 CPUtime=0.14
/proc/26843/task/26849/stat : 26849 (java) S 26841 26843 26775 0 -1 64 348 0 0 0 14 0 0 0 16 0 8 0 271779761 937435136 8185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26850] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26850/stat : 26850 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271779761 937435136 8185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26851] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26851/stat : 26851 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 16 0 8 0 271779761 937435136 8185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464
[startup+2.9874 s]
/proc/loadavg: 2.05 2.00 2.00 3/93 26851
/proc/meminfo: memFree=1268512/2055920 swapFree=4191880/4192956
[pid=26843] ppid=26841 vsize=915464 CPUtime=2.95
/proc/26843/stat : 26843 (java) R 26841 26843 26775 0 -1 0 9153 0 1 0 267 28 0 0 25 0 8 0 271779753 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073859271 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26843/statm: 228866 8888 2528 14 0 215336 0
[pid=26843/tid=26845] ppid=26841 vsize=915464 CPUtime=0.03
/proc/26843/task/26845/stat : 26845 (java) S 26841 26843 26775 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271779757 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26846] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26846/stat : 26846 (java) S 26841 26843 26775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271779758 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26847] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26847/stat : 26847 (java) S 26841 26843 26775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271779758 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26848] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26848/stat : 26848 (java) S 26841 26843 26775 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271779761 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26849] ppid=26841 vsize=915464 CPUtime=0.22
/proc/26843/task/26849/stat : 26849 (java) S 26841 26843 26775 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 271779761 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26850] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26850/stat : 26850 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271779761 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26851] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26851/stat : 26851 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271779761 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915464
[startup+6.26877 s]
/proc/loadavg: 2.05 2.00 2.00 3/93 26851
/proc/meminfo: memFree=1265696/2055920 swapFree=4191880/4192956
[pid=26843] ppid=26841 vsize=915464 CPUtime=6.21
/proc/26843/stat : 26843 (java) R 26841 26843 26775 0 -1 0 9186 0 1 0 593 28 0 0 25 0 8 0 271779753 937435136 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073880532 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26843/statm: 228866 8918 2528 14 0 215336 0
[pid=26843/tid=26845] ppid=26841 vsize=915464 CPUtime=0.03
/proc/26843/task/26845/stat : 26845 (java) S 26841 26843 26775 0 -1 64 310 0 0 0 3 0 0 0 17 0 8 0 271779757 937435136 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26846] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26846/stat : 26846 (java) S 26841 26843 26775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271779758 937435136 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26847] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26847/stat : 26847 (java) S 26841 26843 26775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271779758 937435136 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26848] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26848/stat : 26848 (java) S 26841 26843 26775 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271779761 937435136 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26849] ppid=26841 vsize=915464 CPUtime=0.24
/proc/26843/task/26849/stat : 26849 (java) S 26841 26843 26775 0 -1 64 400 0 0 0 23 1 0 0 15 0 8 0 271779761 937435136 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26850] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26850/stat : 26850 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271779761 937435136 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26851] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26851/stat : 26851 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271779761 937435136 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915464
[startup+12.7575 s]
/proc/loadavg: 2.04 2.00 2.00 3/93 26851
/proc/meminfo: memFree=1265696/2055920 swapFree=4191880/4192956
[pid=26843] ppid=26841 vsize=915464 CPUtime=12.67
/proc/26843/stat : 26843 (java) R 26841 26843 26775 0 -1 0 9197 0 1 0 1239 28 0 0 25 0 8 0 271779753 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26843/statm: 228866 8927 2528 14 0 215336 0
[pid=26843/tid=26845] ppid=26841 vsize=915464 CPUtime=0.03
/proc/26843/task/26845/stat : 26845 (java) S 26841 26843 26775 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271779757 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26846] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26846/stat : 26846 (java) S 26841 26843 26775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271779758 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26847] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26847/stat : 26847 (java) S 26841 26843 26775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271779758 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26848] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26848/stat : 26848 (java) S 26841 26843 26775 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271779761 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26849] ppid=26841 vsize=915464 CPUtime=0.25
/proc/26843/task/26849/stat : 26849 (java) S 26841 26843 26775 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 271779761 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26850] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26850/stat : 26850 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271779761 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26851] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26851/stat : 26851 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271779761 937435136 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915464
[startup+25.596 s]
/proc/loadavg: 2.04 2.00 2.00 3/93 26851
/proc/meminfo: memFree=1265696/2055920 swapFree=4191880/4192956
[pid=26843] ppid=26841 vsize=915464 CPUtime=25.46
/proc/26843/stat : 26843 (java) R 26841 26843 26775 0 -1 0 9204 0 1 0 2517 29 0 0 25 0 8 0 271779753 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854927 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26843/statm: 228866 8934 2528 14 0 215336 0
[pid=26843/tid=26845] ppid=26841 vsize=915464 CPUtime=0.03
/proc/26843/task/26845/stat : 26845 (java) S 26841 26843 26775 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271779757 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26846] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26846/stat : 26846 (java) S 26841 26843 26775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271779758 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26847] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26847/stat : 26847 (java) S 26841 26843 26775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271779758 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26848] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26848/stat : 26848 (java) S 26841 26843 26775 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271779761 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26849] ppid=26841 vsize=915464 CPUtime=0.25
/proc/26843/task/26849/stat : 26849 (java) S 26841 26843 26775 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 271779761 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26850] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26850/stat : 26850 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271779761 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26851] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26851/stat : 26851 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271779761 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915464
[startup+51.2049 s]
/proc/loadavg: 2.02 2.00 2.00 3/93 26851
/proc/meminfo: memFree=1265760/2055920 swapFree=4191880/4192956
[pid=26843] ppid=26841 vsize=915464 CPUtime=50.94
/proc/26843/stat : 26843 (java) R 26841 26843 26775 0 -1 0 9210 0 1 0 5065 29 0 0 25 0 8 0 271779753 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741098 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26843/statm: 228866 8939 2528 14 0 215336 0
[pid=26843/tid=26845] ppid=26841 vsize=915464 CPUtime=0.03
/proc/26843/task/26845/stat : 26845 (java) S 26841 26843 26775 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271779757 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26846] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26846/stat : 26846 (java) S 26841 26843 26775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271779758 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26847] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26847/stat : 26847 (java) S 26841 26843 26775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271779758 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26848] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26848/stat : 26848 (java) S 26841 26843 26775 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271779761 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26849] ppid=26841 vsize=915464 CPUtime=0.25
/proc/26843/task/26849/stat : 26849 (java) S 26841 26843 26775 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 271779761 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26850] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26850/stat : 26850 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271779761 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26851] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26851/stat : 26851 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271779761 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915464
[startup+102.417 s]
/proc/loadavg: 2.01 2.00 2.00 3/93 26851
/proc/meminfo: memFree=1265696/2055920 swapFree=4191880/4192956
[pid=26843] ppid=26841 vsize=915464 CPUtime=101.91
/proc/26843/stat : 26843 (java) R 26841 26843 26775 0 -1 0 9216 0 1 0 10161 30 0 0 25 0 8 0 271779753 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26843/statm: 228866 8945 2528 14 0 215336 0
[pid=26843/tid=26845] ppid=26841 vsize=915464 CPUtime=0.03
/proc/26843/task/26845/stat : 26845 (java) S 26841 26843 26775 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271779757 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26846] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26846/stat : 26846 (java) S 26841 26843 26775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271779758 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26847] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26847/stat : 26847 (java) S 26841 26843 26775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271779758 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26848] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26848/stat : 26848 (java) S 26841 26843 26775 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271779761 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26849] ppid=26841 vsize=915464 CPUtime=0.25
/proc/26843/task/26849/stat : 26849 (java) S 26841 26843 26775 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 271779761 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26850] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26850/stat : 26850 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271779761 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26851] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26851/stat : 26851 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271779761 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915464
[startup+162.517 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 26851
/proc/meminfo: memFree=1265760/2055920 swapFree=4191880/4192956
[pid=26843] ppid=26841 vsize=915464 CPUtime=161.99
/proc/26843/stat : 26843 (java) R 26841 26843 26775 0 -1 0 9220 0 1 0 16169 30 0 0 25 0 8 0 271779753 937435136 8948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/26843/task/26848/stat : 26848 (java) S 26841 26843 26775 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271779761 937435136 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26849] ppid=26841 vsize=915464 CPUtime=0.25
/proc/26843/task/26849/stat : 26849 (java) S 26841 26843 26775 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 271779761 937435136 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26850] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26850/stat : 26850 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271779761 937435136 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26851] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26851/stat : 26851 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271779761 937435136 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 999.65
Current children cumulated vsize (KiB) 915464
[startup+1063 s]
/proc/loadavg: 2.03 2.00 2.00 3/93 26902
/proc/meminfo: memFree=1265440/2055920 swapFree=4191880/4192956
[pid=26843] ppid=26841 vsize=915464 CPUtime=1059.39
/proc/26843/stat : 26843 (java) R 26841 26843 26775 0 -1 0 9232 0 1 0 105904 35 0 0 25 0 8 0 271779753 937435136 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839367 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26843/statm: 228866 8960 2528 14 0 215336 0
[pid=26843/tid=26845] ppid=26841 vsize=915464 CPUtime=0.03
/proc/26843/task/26845/stat : 26845 (java) S 26841 26843 26775 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271779757 937435136 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26846] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26846/stat : 26846 (java) S 26841 26843 26775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271779758 937435136 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26847] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26847/stat : 26847 (java) S 26841 26843 26775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271779758 937435136 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26848] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26848/stat : 26848 (java) S 26841 26843 26775 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271779761 937435136 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26849] ppid=26841 vsize=915464 CPUtime=0.25
/proc/26843/task/26849/stat : 26849 (java) S 26841 26843 26775 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 271779761 937435136 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26850] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26850/stat : 26850 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271779761 937435136 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26851] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26851/stat : 26851 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271779761 937435136 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1059.39
Current children cumulated vsize (KiB) 915464
[startup+1123.03 s]
/proc/loadavg: 2.01 2.00 2.00 3/93 26902
/proc/meminfo: memFree=1265440/2055920 swapFree=4191880/4192956
[pid=26843] ppid=26841 vsize=915464 CPUtime=1119.12
/proc/26843/stat : 26843 (java) R 26841 26843 26775 0 -1 0 9234 0 1 0 111877 35 0 0 25 0 8 0 271779753 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854927 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26843/statm: 228866 8962 2528 14 0 215336 0
[pid=26843/tid=26845] ppid=26841 vsize=915464 CPUtime=0.03
/proc/26843/task/26845/stat : 26845 (java) S 26841 26843 26775 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271779757 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26846] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26846/stat : 26846 (java) S 26841 26843 26775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271779758 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26847] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26847/stat : 26847 (java) S 26841 26843 26775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271779758 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26848] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26848/stat : 26848 (java) S 26841 26843 26775 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26849] ppid=26841 vsize=915464 CPUtime=0.25
/proc/26843/task/26849/stat : 26849 (java) S 26841 26843 26775 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26850] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26850/stat : 26850 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26851] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26851/stat : 26851 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1119.12
Current children cumulated vsize (KiB) 915464
[startup+1183.07 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 26902
/proc/meminfo: memFree=1265504/2055920 swapFree=4191880/4192956
[pid=26843] ppid=26841 vsize=915464 CPUtime=1178.87
/proc/26843/stat : 26843 (java) R 26841 26843 26775 0 -1 0 9234 0 1 0 117851 36 0 0 25 0 8 0 271779753 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828605 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26843/statm: 228866 8962 2528 14 0 215336 0
[pid=26843/tid=26845] ppid=26841 vsize=915464 CPUtime=0.03
/proc/26843/task/26845/stat : 26845 (java) S 26841 26843 26775 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271779757 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26846] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26846/stat : 26846 (java) S 26841 26843 26775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271779758 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26847] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26847/stat : 26847 (java) S 26841 26843 26775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271779758 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26848] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26848/stat : 26848 (java) S 26841 26843 26775 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26849] ppid=26841 vsize=915464 CPUtime=0.25
/proc/26843/task/26849/stat : 26849 (java) S 26841 26843 26775 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26850] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26850/stat : 26850 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26851] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26851/stat : 26851 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1178.87
Current children cumulated vsize (KiB) 915464
[startup+1243.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/93 26902
/proc/meminfo: memFree=1265440/2055920 swapFree=4191880/4192956
[pid=26843] ppid=26841 vsize=915464 CPUtime=1238.62
/proc/26843/stat : 26843 (java) R 26841 26843 26775 0 -1 0 9234 0 1 0 123826 36 0 0 25 0 8 0 271779753 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26843/statm: 228866 8962 2528 14 0 215336 0
[pid=26843/tid=26845] ppid=26841 vsize=915464 CPUtime=0.03
/proc/26843/task/26845/stat : 26845 (java) S 26841 26843 26775 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271779757 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26846] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26846/stat : 26846 (java) S 26841 26843 26775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271779758 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26847] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26847/stat : 26847 (java) S 26841 26843 26775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271779758 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26848] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26848/stat : 26848 (java) S 26841 26843 26775 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26849] ppid=26841 vsize=915464 CPUtime=0.25
/proc/26843/task/26849/stat : 26849 (java) S 26841 26843 26775 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26850] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26850/stat : 26850 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26851] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26851/stat : 26851 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1238.62
Current children cumulated vsize (KiB) 915464
[startup+1303.13 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 26902
/proc/meminfo: memFree=1265440/2055920 swapFree=4191880/4192956
[pid=26843] ppid=26841 vsize=915464 CPUtime=1298.35
/proc/26843/stat : 26843 (java) R 26841 26843 26775 0 -1 0 9234 0 1 0 129799 36 0 0 25 0 8 0 271779753 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26843/statm: 228866 8962 2528 14 0 215336 0
[pid=26843/tid=26845] ppid=26841 vsize=915464 CPUtime=0.03
/proc/26843/task/26845/stat : 26845 (java) S 26841 26843 26775 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271779757 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26846] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26846/stat : 26846 (java) S 26841 26843 26775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271779758 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26847] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26847/stat : 26847 (java) S 26841 26843 26775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271779758 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26848] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26848/stat : 26848 (java) S 26841 26843 26775 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26849] ppid=26841 vsize=915464 CPUtime=0.25
/proc/26843/task/26849/stat : 26849 (java) S 26841 26843 26775 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26850] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26850/stat : 26850 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26851] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26851/stat : 26851 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1298.35
Current children cumulated vsize (KiB) 915464
[startup+1363.16 s]
/proc/loadavg: 2.01 2.00 2.00 3/93 26902
/proc/meminfo: memFree=1265504/2055920 swapFree=4191880/4192956
[pid=26843] ppid=26841 vsize=915464 CPUtime=1358.1
/proc/26843/stat : 26843 (java) R 26841 26843 26775 0 -1 0 9234 0 1 0 135774 36 0 0 25 0 8 0 271779753 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741286 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26843/statm: 228866 8962 2528 14 0 215336 0
[pid=26843/tid=26845] ppid=26841 vsize=915464 CPUtime=0.03
/proc/26843/task/26845/stat : 26845 (java) S 26841 26843 26775 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271779757 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26846] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26846/stat : 26846 (java) S 26841 26843 26775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271779758 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26847] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26847/stat : 26847 (java) S 26841 26843 26775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271779758 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26848] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26848/stat : 26848 (java) S 26841 26843 26775 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26849] ppid=26841 vsize=915464 CPUtime=0.25
/proc/26843/task/26849/stat : 26849 (java) S 26841 26843 26775 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26850] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26850/stat : 26850 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26851] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26851/stat : 26851 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1358.1
Current children cumulated vsize (KiB) 915464
[startup+1423.19 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 26902
/proc/meminfo: memFree=1265440/2055920 swapFree=4191880/4192956
[pid=26843] ppid=26841 vsize=915464 CPUtime=1417.85
/proc/26843/stat : 26843 (java) R 26841 26843 26775 0 -1 0 9234 0 1 0 141749 36 0 0 25 0 8 0 271779753 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073880644 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26843/statm: 228866 8962 2528 14 0 215336 0
[pid=26843/tid=26845] ppid=26841 vsize=915464 CPUtime=0.03
/proc/26843/task/26845/stat : 26845 (java) S 26841 26843 26775 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 271779757 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26846] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26846/stat : 26846 (java) S 26841 26843 26775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271779758 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26847] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26847/stat : 26847 (java) S 26841 26843 26775 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271779758 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26848] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26848/stat : 26848 (java) S 26841 26843 26775 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26849] ppid=26841 vsize=915464 CPUtime=0.25
/proc/26843/task/26849/stat : 26849 (java) S 26841 26843 26775 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26850] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26850/stat : 26850 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26843/tid=26851] ppid=26841 vsize=915464 CPUtime=0
/proc/26843/task/26851/stat : 26851 (java) S 26841 26843 26775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271779761 937435136 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1417.85
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 1453.46
CPU time (s): 1447.97
CPU user time (s): 1447.6
CPU system time (s): 0.375942
CPU usage (%): 99.6228
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1447.6
system time used= 0.375942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9330
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= 30572
involuntary context switches= 37651
runsolver used 1.55876 s user time and 3.90841 s system time
The end
Begin job on node9 on Fri Jan 19 19:10:46 UTC 2007
IDJOB= 276248
IDBENCH= 5471
IDSOLVER= 69
FILE ID= node9/276248-1169233846
PBS_JOBID= 3589007
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-52021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276248-1169233846/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-276248-1169233846 -o ROOT/results/node9/solver-276248-1169233846 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276248-1169233846/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 71cffa533269446990ab132413efce2d
RANDOM SEED= 918097831
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.231
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.231
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: 1292088 kB
Buffers: 57664 kB
Cached: 570660 kB
SwapCached: 268 kB
Active: 267492 kB
Inactive: 412528 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1292088 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1920 kB
Writeback: 0 kB
Mapped: 64752 kB
Slab: 68636 kB
Committed_AS: 7871108 kB
PageTables: 2252 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= 66560 MiB
End job on node9 on Fri Jan 19 19:35:00 UTC 2007