0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/280433-1169305746/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.098 cpuTime=0.08 mem=6M910
0.41
0.41 relations being loaded...
0.62
0.62 constraints being loaded...
0.72 nbConstraints=5 nbRelationTypes=5 nbDisconnectedVariables=1 nbExtensionStructures=5
0.72 nbSharedExtensionStructures=0 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 maxDegree=4
0.72 maxArity=10
0.72 => wckTime=0.417 cpuTime=0.37 mem=37M821
0.79
0.79 solver LocalSearchSolver being built...
0.83 => wckTime=0.524 cpuTime=0.42 mem=10M983
0.84
0.84 s SATISFIABLE
0.84 o 0
0.84 c 5
6.48
6.48 search
6.48 run=0 nbConstraintChecks=4300005 nbAssignments=10000
6.48 => wckTime=5.652 cpuTime=5.58 mem=10M983
11.29 o 1
11.29 c 4
12.11
12.11 search
12.11 run=1 nbConstraintChecks=8604867 nbAssignments=20000
12.11 => wckTime=11.28 cpuTime=11.15 mem=10M983
12.28 o 2
12.28 c 3
17.22
17.22 search
17.22 run=2 nbConstraintChecks=12794906 nbAssignments=30000
17.22 => wckTime=16.389 cpuTime=16.2 mem=10M983
22.27
22.27 search
22.27 run=3 nbConstraintChecks=16976636 nbAssignments=40000
22.27 => wckTime=21.438 cpuTime=21.22 mem=10M983
27.36
27.36 search
27.36 run=4 nbConstraintChecks=21159851 nbAssignments=50000
27.36 => wckTime=26.532 cpuTime=26.26 mem=10M983
32.48
32.48 search
32.48 run=5 nbConstraintChecks=25344030 nbAssignments=60000
32.48 => wckTime=31.646 cpuTime=31.34 mem=10M983
37.61
37.61 search
37.61 run=6 nbConstraintChecks=29526947 nbAssignments=70000
37.61 => wckTime=36.778 cpuTime=36.41 mem=10M983
42.54
42.54 search
42.54 run=7 nbConstraintChecks=33586831 nbAssignments=79699
42.54 => wckTime=41.711 cpuTime=41.32 mem=10M983
42.54
42.54 global
42.54 nbConstraintChecks=33586831 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.54 solvingWckTime=41.71 solvingCpuTime=41.32 expiredTime=no totalExploration=no nbFoundSolutions=0
42.54 globalCpuTime=41.79
42.54 => wckTime=42.236 cpuTime=41.74 mem=10M983
42.54
42.54 solver IterativeSystematicSolver being built...
42.68 => wckTime=42.373 cpuTime=41.84 mem=21M801
42.69
42.69 preprocessing
42.69 nbConstraintChecks=176 nbValidityChecks=500 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.69 nbRemovedValues=0 detectedInconsistency=no
42.69 => wckTime=0.0080 cpuTime=0.0 mem=21M801
43.07
43.07 search
43.07 run=0 nbConstraintChecks=298405 nbValidityChecks=311837 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.07 nbAssignments=28 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=48 nbRestartNogoods=0
43.07 => wckTime=0.388 cpuTime=0.36 mem=22M757
43.15
43.15 search
43.15 run=1 nbConstraintChecks=339564 nbValidityChecks=377291 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.15 nbAssignments=79 nbFailedAssignments=43 nbBacktracks=25 nbVisitedNodes=135 nbRestartNogoods=5
43.15 => wckTime=0.467 cpuTime=0.42 mem=22M757
43.60
43.60 search
43.60 run=2 nbConstraintChecks=723356 nbValidityChecks=795173 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.60 nbAssignments=148 nbFailedAssignments=84 nbBacktracks=47 nbVisitedNodes=256 nbRestartNogoods=10
43.60 => wckTime=0.916 cpuTime=0.86 mem=22M757
43.70
43.70 search
43.70 run=3 nbConstraintChecks=787473 nbValidityChecks=913748 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.70 nbAssignments=263 nbFailedAssignments=160 nbBacktracks=80 nbVisitedNodes=465 nbRestartNogoods=20
43.70 => wckTime=1.02 cpuTime=0.97 mem=22M757
44.50
44.50 search
44.50 run=4 nbConstraintChecks=1471426 nbValidityChecks=1661112 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.50 nbAssignments=393 nbFailedAssignments=233 nbBacktracks=130 nbVisitedNodes=689 nbRestartNogoods=24
44.50 => wckTime=1.823 cpuTime=1.75 mem=22M757
45.45
45.45 search
45.45 run=5 nbConstraintChecks=2251913 nbValidityChecks=2566492 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.45 nbAssignments=647 nbFailedAssignments=405 nbBacktracks=205 nbVisitedNodes=1147 nbRestartNogoods=34
45.45 => wckTime=2.764 cpuTime=2.68 mem=22M757
46.01
46.01 search
46.01 run=6 nbConstraintChecks=2702649 nbValidityChecks=3137610 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.01 nbAssignments=900 nbFailedAssignments=537 nbBacktracks=318 nbVisitedNodes=1591 nbRestartNogoods=49
46.01 => wckTime=3.325 cpuTime=3.24 mem=22M757
47.26
47.26 search
47.26 run=7 nbConstraintChecks=3676266 nbValidityChecks=4386710 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.26 nbAssignments=1412 nbFailedAssignments=874 nbBacktracks=488 nbVisitedNodes=2552 nbRestartNogoods=55
47.26 => wckTime=4.583 cpuTime=4.48 mem=22M757
48.29
48.29 search
48.29 run=8 nbConstraintChecks=4459767 nbValidityChecks=5459977 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
48.29 nbAssignments=2007 nbFailedAssignments=1207 nbBacktracks=744 nbVisitedNodes=3569 nbRestartNogoods=63
48.29 => wckTime=5.61 cpuTime=5.48 mem=22M757
50.30
50.30 search
50.30 run=9 nbConstraintChecks=6075021 nbValidityChecks=7497344 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
50.30 nbAssignments=2906 nbFailedAssignments=1716 nbBacktracks=1128 nbVisitedNodes=5160 nbRestartNogoods=72
50.30 => wckTime=7.618 cpuTime=7.46 mem=22M757
52.20
52.20 search
52.20 run=10 nbConstraintChecks=7510278 nbValidityChecks=9556905 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
52.20 nbAssignments=4199 nbFailedAssignments=2427 nbBacktracks=1704 nbVisitedNodes=7407 nbRestartNogoods=84
52.20 => wckTime=9.522 cpuTime=9.34 mem=22M757
57.71
57.71 search
57.71 run=11 nbConstraintChecks=11910081 nbValidityChecks=15030244 nbPropagations=0 nbRevisions=0
57.71 nbUselessRevisions=0 nbAssignments=6319 nbFailedAssignments=3677 nbBacktracks=2568 nbVisitedNodes=11221
57.71 nbRestartNogoods=99
57.71 => wckTime=15.03 cpuTime=14.8 mem=22M757
67.77
67.77 search
67.77 run=12 nbConstraintChecks=20275062 nbValidityChecks=24942308 nbPropagations=0 nbRevisions=0
67.77 nbUselessRevisions=0 nbAssignments=9480 nbFailedAssignments=5534 nbBacktracks=3866 nbVisitedNodes=16747
67.77 nbRestartNogoods=112
67.77 => wckTime=25.087 cpuTime=24.77 mem=22M757
75.23
75.23 search
75.23 run=13 nbConstraintChecks=25789365 nbValidityChecks=33039657 nbPropagations=0 nbRevisions=0
75.23 nbUselessRevisions=0 nbAssignments=14428 nbFailedAssignments=8531 nbBacktracks=5812 nbVisitedNodes=25754
75.23 nbRestartNogoods=122
75.23 => wckTime=32.544 cpuTime=32.16 mem=22M757
92.43
92.43 search
92.43 run=14 nbConstraintChecks=40060200 nbValidityChecks=50525845 nbPropagations=0 nbRevisions=0
92.43 nbUselessRevisions=0 nbAssignments=21206 nbFailedAssignments=12384 nbBacktracks=8732 nbVisitedNodes=37346
92.43 nbRestartNogoods=132
92.43 => wckTime=49.749 cpuTime=49.21 mem=22M757
108.75
108.75 search
108.75 run=15 nbConstraintChecks=52672039 nbValidityChecks=68726305 nbPropagations=0 nbRevisions=0
108.75 nbUselessRevisions=0 nbAssignments=32267 nbFailedAssignments=19062 nbBacktracks=13110 nbVisitedNodes=57057
108.75 nbRestartNogoods=142
108.75 => wckTime=66.069 cpuTime=65.37 mem=22M757
159.43
159.43 search
159.43 run=16 nbConstraintChecks=94889761 nbValidityChecks=118396258 nbPropagations=0 nbRevisions=0
159.43 nbUselessRevisions=0 nbAssignments=47687 nbFailedAssignments=27908 nbBacktracks=19678 nbVisitedNodes=83909
159.43 nbRestartNogoods=151
159.43 => wckTime=116.75 cpuTime=115.6 mem=22M757
207.28
207.28 search
207.28 run=17 nbConstraintChecks=132449238 nbValidityChecks=169345241 nbPropagations=0 nbRevisions=0
207.28 nbUselessRevisions=0 nbAssignments=74041 nbFailedAssignments=44404 nbBacktracks=29530 nbVisitedNodes=131425
207.28 nbRestartNogoods=167
207.28 => wckTime=164.601 cpuTime=163.01 mem=22M757
270.62
270.62 search
270.62 run=18 nbConstraintChecks=181284768 nbValidityChecks=235763377 nbPropagations=0 nbRevisions=0
270.62 nbUselessRevisions=0 nbAssignments=109578 nbFailedAssignments=65157 nbBacktracks=44308 nbVisitedNodes=193833
270.62 nbRestartNogoods=189
270.62 => wckTime=227.935 cpuTime=225.77 mem=22M757
422.71
422.71 search
422.71 run=19 nbConstraintChecks=307578114 nbValidityChecks=388866896 nbPropagations=0 nbRevisions=0
422.71 nbUselessRevisions=0 nbAssignments=163606 nbFailedAssignments=97010 nbBacktracks=66477 nbVisitedNodes=289178
422.71 nbRestartNogoods=209
422.71 => wckTime=380.031 cpuTime=376.48 mem=22M757
568.34
568.34 search
568.34 run=20 nbConstraintChecks=416718725 nbValidityChecks=540794615 nbPropagations=0 nbRevisions=0
568.34 nbUselessRevisions=0 nbAssignments=247401 nbFailedAssignments=147547 nbBacktracks=99729 nbVisitedNodes=439133
568.35 nbRestartNogoods=224
568.35 => wckTime=525.663 cpuTime=520.8 mem=22M757
970.07
970.07 search
970.07 run=21 nbConstraintChecks=754453770 nbValidityChecks=939889196 nbPropagations=0 nbRevisions=0
970.07 nbUselessRevisions=0 nbAssignments=371602 nbFailedAssignments=221866 nbBacktracks=149607 nbVisitedNodes=661312
970.07 nbRestartNogoods=250
970.07 => wckTime=927.387 cpuTime=918.88 mem=22M757
1362.36
1362.36 search
1362.36 run=22 nbConstraintChecks=1066135448 nbValidityChecks=1351799811 nbPropagations=0 nbRevisions=0
1362.36 nbUselessRevisions=0 nbAssignments=568461 nbFailedAssignments=343901 nbBacktracks=224425 nbVisitedNodes=1016040
1362.36 nbRestartNogoods=264
1362.36 => wckTime=1319.677 cpuTime=1307.61 mem=22M757
2134.52
2134.52 search
2134.52 run=23 nbConstraintChecks=1700183295 nbValidityChecks=2130855863 nbPropagations=0 nbRevisions=0
2134.52 nbUselessRevisions=0 nbAssignments=855781 nbFailedAssignments=518988 nbBacktracks=336652 nbVisitedNodes=1529392
2134.52 nbRestartNogoods=280
2134.52 => wckTime=2091.837 cpuTime=2072.75 mem=22M757
2421.87 v 3 5 9 1 8 1 2 8 9 2 5 4 4 8 2 9 3 8 6 7
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-280433-1169305746 -o ROOT/results/node41/solver-280433-1169305746 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280433-1169305746/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.86 0.97 0.99 5/80 15095
/proc/meminfo: memFree=1378416/2055920 swapFree=4191892/4192956
[pid=15094] ppid=15092 vsize=1784 CPUtime=0
/proc/15094/stat : 15094 (java) R 15092 15094 14617 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 278973826 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/15094/statm: 446 140 106 14 0 91 0
[startup+0.104852 s]
/proc/loadavg: 0.86 0.97 0.99 5/80 15095
/proc/meminfo: memFree=1378416/2055920 swapFree=4191892/4192956
[pid=15094] ppid=15092 vsize=914988 CPUtime=0.09
/proc/15094/stat : 15094 (java) R 15092 15094 14617 0 -1 0 3003 0 1 0 8 1 0 0 17 0 8 0 278973826 936947712 2749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 228747 2749 1429 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512885 s]
/proc/loadavg: 0.86 0.97 0.99 5/80 15095
/proc/meminfo: memFree=1378416/2055920 swapFree=4191892/4192956
[pid=15094] ppid=15092 vsize=915332 CPUtime=0.5
/proc/15094/stat : 15094 (java) R 15092 15094 14617 0 -1 0 8176 0 1 0 46 4 0 0 19 0 8 0 278973826 937299968 7915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567681 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 228833 7915 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33395 s]
/proc/loadavg: 0.86 0.97 0.99 3/87 15102
/proc/meminfo: memFree=1326264/2055920 swapFree=4191892/4192956
[pid=15094] ppid=15092 vsize=915332 CPUtime=1.31
/proc/15094/stat : 15094 (java) R 15092 15094 14617 0 -1 0 15680 0 1 0 120 11 0 0 25 0 8 0 278973826 937299968 15418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073631017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 228833 15418 2477 14 0 215303 0
[pid=15094/tid=15096] ppid=15092 vsize=915332 CPUtime=0.04
/proc/15094/task/15096/stat : 15096 (java) S 15092 15094 14617 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278973830 937299968 15418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15097/stat : 15097 (java) S 15092 15094 14617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278973831 937299968 15418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15098] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15098/stat : 15098 (java) S 15092 15094 14617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278973831 937299968 15418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15099] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15099/stat : 15099 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278973834 937299968 15418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15100] ppid=15092 vsize=915332 CPUtime=0.09
/proc/15094/task/15100/stat : 15100 (java) S 15092 15094 14617 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 278973834 937299968 15418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15101] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15101/stat : 15101 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278973834 937299968 15418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15102] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15102/stat : 15102 (java) S 15092 15094 14617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278973834 937299968 15418 18446744073709551615 134512640 134570532 4294956480 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) 915332
[startup+2.97211 s]
/proc/loadavg: 0.86 0.97 0.99 3/87 15102
/proc/meminfo: memFree=1326264/2055920 swapFree=4191892/4192956
[pid=15094] ppid=15092 vsize=915336 CPUtime=2.94
/proc/15094/stat : 15094 (java) R 15092 15094 14617 0 -1 0 15684 0 1 0 272 22 0 0 25 0 8 0 278973826 937304064 15421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 228834 15421 2477 14 0 215304 0
[pid=15094/tid=15096] ppid=15092 vsize=915336 CPUtime=0.04
/proc/15094/task/15096/stat : 15096 (java) S 15092 15094 14617 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278973830 937304064 15421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=915336 CPUtime=0
/proc/15094/task/15097/stat : 15097 (java) S 15092 15094 14617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278973831 937304064 15421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15098] ppid=15092 vsize=915336 CPUtime=0
/proc/15094/task/15098/stat : 15098 (java) S 15092 15094 14617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278973831 937304064 15421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15099] ppid=15092 vsize=915336 CPUtime=0
/proc/15094/task/15099/stat : 15099 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278973834 937304064 15421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15100] ppid=15092 vsize=915336 CPUtime=0.1
/proc/15094/task/15100/stat : 15100 (java) S 15092 15094 14617 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 278973834 937304064 15421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15101] ppid=15092 vsize=915336 CPUtime=0
/proc/15094/task/15101/stat : 15101 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278973834 937304064 15421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15102] ppid=15092 vsize=915336 CPUtime=0
/proc/15094/task/15102/stat : 15102 (java) S 15092 15094 14617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278973834 937304064 15421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915336
[startup+6.17837 s]
/proc/loadavg: 0.95 0.98 0.99 4/87 15102
/proc/meminfo: memFree=1326200/2055920 swapFree=4191892/4192956
[pid=15094] ppid=15092 vsize=915332 CPUtime=6.1
/proc/15094/stat : 15094 (java) R 15092 15094 14617 0 -1 0 15684 0 1 0 565 45 0 0 25 0 8 0 278973826 937299968 15421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073596046 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 228833 15421 2477 14 0 215303 0
[pid=15094/tid=15096] ppid=15092 vsize=915332 CPUtime=0.04
/proc/15094/task/15096/stat : 15096 (java) S 15092 15094 14617 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278973830 937299968 15421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15097/stat : 15097 (java) S 15092 15094 14617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278973831 937299968 15421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15098] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15098/stat : 15098 (java) S 15092 15094 14617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278973831 937299968 15421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15099] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15099/stat : 15099 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278973834 937299968 15421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15100] ppid=15092 vsize=915332 CPUtime=0.1
/proc/15094/task/15100/stat : 15100 (java) S 15092 15094 14617 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 278973834 937299968 15421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15101] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15101/stat : 15101 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278973834 937299968 15421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15102] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15102/stat : 15102 (java) S 15092 15094 14617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278973834 937299968 15421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915332
[startup+12.6469 s]
/proc/loadavg: 1.04 1.00 1.00 3/87 15102
/proc/meminfo: memFree=1326200/2055920 swapFree=4191892/4192956
[pid=15094] ppid=15092 vsize=915332 CPUtime=12.52
/proc/15094/stat : 15094 (java) R 15092 15094 14617 0 -1 0 15688 0 1 0 1161 91 0 0 25 0 8 0 278973826 937299968 15425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 228833 15425 2477 14 0 215303 0
[pid=15094/tid=15096] ppid=15092 vsize=915332 CPUtime=0.04
/proc/15094/task/15096/stat : 15096 (java) S 15092 15094 14617 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278973830 937299968 15425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15097/stat : 15097 (java) S 15092 15094 14617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278973831 937299968 15425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15098] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15098/stat : 15098 (java) S 15092 15094 14617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278973831 937299968 15425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15099] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15099/stat : 15099 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278973834 937299968 15425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15100] ppid=15092 vsize=915332 CPUtime=0.1
/proc/15094/task/15100/stat : 15100 (java) S 15092 15094 14617 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 278973834 937299968 15425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15101] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15101/stat : 15101 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278973834 937299968 15425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15102] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15102/stat : 15102 (java) S 15092 15094 14617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278973834 937299968 15425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915332
[startup+25.5011 s]
/proc/loadavg: 1.25 1.05 1.02 3/87 15102
/proc/meminfo: memFree=1326392/2055920 swapFree=4191892/4192956
[pid=15094] ppid=15092 vsize=915332 CPUtime=25.27
/proc/15094/stat : 15094 (java) R 15092 15094 14617 0 -1 0 15688 0 1 0 2336 191 0 0 25 0 8 0 278973826 937299968 15425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073596067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 228833 15425 2477 14 0 215303 0
[pid=15094/tid=15096] ppid=15092 vsize=915332 CPUtime=0.04
/proc/15094/task/15096/stat : 15096 (java) S 15092 15094 14617 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278973830 937299968 15425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15097/stat : 15097 (java) S 15092 15094 14617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278973831 937299968 15425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15098] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15098/stat : 15098 (java) S 15092 15094 14617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278973831 937299968 15425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15099] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15099/stat : 15099 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278973834 937299968 15425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15100] ppid=15092 vsize=915332 CPUtime=0.1
/proc/15094/task/15100/stat : 15100 (java) S 15092 15094 14617 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 278973834 937299968 15425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15101] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15101/stat : 15101 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278973834 937299968 15425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15102] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15102/stat : 15102 (java) S 15092 15094 14617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278973834 937299968 15425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915332
[startup+51.1093 s]
/proc/loadavg: 1.51 1.12 1.04 3/87 15102
/proc/meminfo: memFree=1325944/2055920 swapFree=4191892/4192956
[pid=15094] ppid=15092 vsize=915332 CPUtime=50.64
/proc/15094/stat : 15094 (java) R 15092 15094 14617 0 -1 0 15852 0 1 0 4718 346 0 0 25 0 8 0 278973826 937299968 15581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757205 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 228833 15581 2530 14 0 215303 0
[pid=15094/tid=15096] ppid=15092 vsize=915332 CPUtime=0.04
/proc/15094/task/15096/stat : 15096 (java) S 15092 15094 14617 0 -1 64 1537 0 0 0 4 0 0 0 17 0 8 0 278973830 937299968 15581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15097/stat : 15097 (java) S 15092 15094 14617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278973831 937299968 15581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15098] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15098/stat : 15098 (java) S 15092 15094 14617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278973831 937299968 15581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15099] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15099/stat : 15099 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278973834 937299968 15581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15100] ppid=15092 vsize=915332 CPUtime=0.21
/proc/15094/task/15100/stat : 15100 (java) S 15092 15094 14617 0 -1 64 386 0 0 0 20 1 0 0 17 0 8 0 278973834 937299968 15581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15101] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15101/stat : 15101 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278973834 937299968 15581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15102] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15102/stat : 15102 (java) S 15092 15094 14617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278973834 937299968 15581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915332
[startup+102.34 s]
/proc/loadavg: 1.78 1.26 1.09 3/87 15102
/proc/meminfo: memFree=1325880/2055920 swapFree=4191892/4192956
[pid=15094] ppid=15092 vsize=915332 CPUtime=101.41
/proc/15094/stat : 15094 (java) R 15092 15094 14617 0 -1 0 15856 0 1 0 9795 346 0 0 25 0 8 0 278973826 937299968 15583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073596046 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 228833 15583 2530 14 0 215303 0
[pid=15094/tid=15096] ppid=15092 vsize=915332 CPUtime=0.04
/proc/15094/task/15096/stat : 15096 (java) S 15092 15094 14617 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278973830 937299968 15583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15097/stat : 15097 (java) S 15092 15094 14617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278973831 937299968 15583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15098] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15098/stat : 15098 (java) S 15092 15094 14617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278973831 937299968 15583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15099] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15099/stat : 15099 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278973834 937299968 15583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15100] ppid=15092 vsize=915332 CPUtime=0.22
/proc/15094/task/15100/stat : 15100 (java) S 15092 15094 14617 0 -1 64 389 0 0 0 21 1 0 0 16 0 8 0 278973834 937299968 15583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15101] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15101/stat : 15101 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278973834 937299968 15583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15102] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15102/stat : 15102 (java) S 15092 15094 14617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278973834 937299968 15583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 915332
[startup+162.424 s]
/proc/loadavg: 2.00 1.41 1.15 3/87 15102
/proc/meminfo: memFree=1325880/2055920 swapFree=4191892/4192956
[pid=15094] ppid=15092 vsize=915332 CPUtime=160.94
/proc/15094/stat : 15094 (java) R 15092 15094 14617 0 -1 0 15856 0 1 0 15748 346 0 0 25 0 8 0 278973826 937299968 15583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073596033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2006.53
Current children cumulated vsize (KiB) 915332
[startup+2085.01 s]
/proc/loadavg: 2.08 2.02 1.86 3/87 15104
/proc/meminfo: memFree=1325624/2055920 swapFree=4191892/4192956
[pid=15094] ppid=15092 vsize=915332 CPUtime=2066.06
/proc/15094/stat : 15094 (java) R 15092 15094 14617 0 -1 0 15860 0 1 0 206255 351 0 0 25 0 8 0 278973826 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073859870 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 228833 15585 2530 14 0 215303 0
[pid=15094/tid=15096] ppid=15092 vsize=915332 CPUtime=0.04
/proc/15094/task/15096/stat : 15096 (java) S 15092 15094 14617 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278973830 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15097/stat : 15097 (java) S 15092 15094 14617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278973831 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15098] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15098/stat : 15098 (java) S 15092 15094 14617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278973831 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15099] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15099/stat : 15099 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15100] ppid=15092 vsize=915332 CPUtime=0.22
/proc/15094/task/15100/stat : 15100 (java) S 15092 15094 14617 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15101] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15101/stat : 15101 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15102] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15102/stat : 15102 (java) S 15092 15094 14617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2066.06
Current children cumulated vsize (KiB) 915332
[startup+2145.08 s]
/proc/loadavg: 2.03 2.01 1.86 3/87 15104
/proc/meminfo: memFree=1325624/2055920 swapFree=4191892/4192956
[pid=15094] ppid=15092 vsize=915332 CPUtime=2125.6
/proc/15094/stat : 15094 (java) R 15092 15094 14617 0 -1 0 15860 0 1 0 212209 351 0 0 25 0 8 0 278973826 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073600899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 228833 15585 2530 14 0 215303 0
[pid=15094/tid=15096] ppid=15092 vsize=915332 CPUtime=0.04
/proc/15094/task/15096/stat : 15096 (java) S 15092 15094 14617 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278973830 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15097/stat : 15097 (java) S 15092 15094 14617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278973831 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15098] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15098/stat : 15098 (java) S 15092 15094 14617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278973831 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15099] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15099/stat : 15099 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15100] ppid=15092 vsize=915332 CPUtime=0.22
/proc/15094/task/15100/stat : 15100 (java) S 15092 15094 14617 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15101] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15101/stat : 15101 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15102] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15102/stat : 15102 (java) S 15092 15094 14617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2125.6
Current children cumulated vsize (KiB) 915332
[startup+2205.15 s]
/proc/loadavg: 2.01 2.00 1.87 3/87 15104
/proc/meminfo: memFree=1325560/2055920 swapFree=4191892/4192956
[pid=15094] ppid=15092 vsize=915332 CPUtime=2185.12
/proc/15094/stat : 15094 (java) R 15092 15094 14617 0 -1 0 15860 0 1 0 218161 351 0 0 25 0 8 0 278973826 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759503 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 228833 15585 2530 14 0 215303 0
[pid=15094/tid=15096] ppid=15092 vsize=915332 CPUtime=0.04
/proc/15094/task/15096/stat : 15096 (java) S 15092 15094 14617 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278973830 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15097/stat : 15097 (java) S 15092 15094 14617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278973831 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15098] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15098/stat : 15098 (java) S 15092 15094 14617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278973831 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15099] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15099/stat : 15099 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15100] ppid=15092 vsize=915332 CPUtime=0.22
/proc/15094/task/15100/stat : 15100 (java) S 15092 15094 14617 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15101] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15101/stat : 15101 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15102] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15102/stat : 15102 (java) S 15092 15094 14617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2185.12
Current children cumulated vsize (KiB) 915332
[startup+2265.22 s]
/proc/loadavg: 2.00 2.00 1.88 3/87 15104
/proc/meminfo: memFree=1325560/2055920 swapFree=4191892/4192956
[pid=15094] ppid=15092 vsize=915332 CPUtime=2244.66
/proc/15094/stat : 15094 (java) R 15092 15094 14617 0 -1 0 15860 0 1 0 224114 352 0 0 25 0 8 0 278973826 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073637150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 228833 15585 2530 14 0 215303 0
[pid=15094/tid=15096] ppid=15092 vsize=915332 CPUtime=0.04
/proc/15094/task/15096/stat : 15096 (java) S 15092 15094 14617 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278973830 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15097/stat : 15097 (java) S 15092 15094 14617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278973831 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15098] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15098/stat : 15098 (java) S 15092 15094 14617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278973831 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15099] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15099/stat : 15099 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15100] ppid=15092 vsize=915332 CPUtime=0.22
/proc/15094/task/15100/stat : 15100 (java) S 15092 15094 14617 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15101] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15101/stat : 15101 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15102] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15102/stat : 15102 (java) S 15092 15094 14617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2244.66
Current children cumulated vsize (KiB) 915332
[startup+2325.29 s]
/proc/loadavg: 2.07 2.02 1.89 3/87 15104
/proc/meminfo: memFree=1325560/2055920 swapFree=4191892/4192956
[pid=15094] ppid=15092 vsize=915332 CPUtime=2304.17
/proc/15094/stat : 15094 (java) R 15092 15094 14617 0 -1 0 15860 0 1 0 230065 352 0 0 25 0 8 0 278973826 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073636976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 228833 15585 2530 14 0 215303 0
[pid=15094/tid=15096] ppid=15092 vsize=915332 CPUtime=0.04
/proc/15094/task/15096/stat : 15096 (java) S 15092 15094 14617 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278973830 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15097/stat : 15097 (java) S 15092 15094 14617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278973831 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15098] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15098/stat : 15098 (java) S 15092 15094 14617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278973831 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15099] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15099/stat : 15099 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15100] ppid=15092 vsize=915332 CPUtime=0.22
/proc/15094/task/15100/stat : 15100 (java) S 15092 15094 14617 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15101] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15101/stat : 15101 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15102] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15102/stat : 15102 (java) S 15092 15094 14617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2304.17
Current children cumulated vsize (KiB) 915332
[startup+2385.34 s]
/proc/loadavg: 2.02 2.01 1.89 3/87 15104
/proc/meminfo: memFree=1325560/2055920 swapFree=4191892/4192956
[pid=15094] ppid=15092 vsize=915332 CPUtime=2363.68
/proc/15094/stat : 15094 (java) R 15092 15094 14617 0 -1 0 15860 0 1 0 236016 352 0 0 25 0 8 0 278973826 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073596005 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15094/statm: 228833 15585 2530 14 0 215303 0
[pid=15094/tid=15096] ppid=15092 vsize=915332 CPUtime=0.04
/proc/15094/task/15096/stat : 15096 (java) S 15092 15094 14617 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278973830 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15097/stat : 15097 (java) S 15092 15094 14617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278973831 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15098] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15098/stat : 15098 (java) S 15092 15094 14617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278973831 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15099] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15099/stat : 15099 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15100] ppid=15092 vsize=915332 CPUtime=0.22
/proc/15094/task/15100/stat : 15100 (java) S 15092 15094 14617 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15101] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15101/stat : 15101 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15102] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15102/stat : 15102 (java) S 15092 15094 14617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2363.68
Current children cumulated vsize (KiB) 915332
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2421.86 s]
/proc/loadavg: 1.95 1.99 1.89 3/81 15194
/proc/meminfo: memFree=1313768/2055920 swapFree=4191892/4192956
[pid=15094] ppid=15092 vsize=915332 CPUtime=2400.04
/proc/15094/stat : 15094 (java) R 15092 15094 14617 0 -1 0 15860 0 1 0 239652 352 0 0 25 0 8 0 278973826 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073636976 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15094/statm: 228833 15585 2530 14 0 215303 0
[pid=15094/tid=15096] ppid=15092 vsize=915332 CPUtime=0.04
/proc/15094/task/15096/stat : 15096 (java) S 15092 15094 14617 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278973830 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15097] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15097/stat : 15097 (java) S 15092 15094 14617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278973831 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15098] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15098/stat : 15098 (java) S 15092 15094 14617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278973831 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15099] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15099/stat : 15099 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15100] ppid=15092 vsize=915332 CPUtime=0.22
/proc/15094/task/15100/stat : 15100 (java) S 15092 15094 14617 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15101] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15101/stat : 15101 (java) S 15092 15094 14617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15094/tid=15102] ppid=15092 vsize=915332 CPUtime=0
/proc/15094/task/15102/stat : 15102 (java) S 15092 15094 14617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278973834 937299968 15585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915332
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2421.93
CPU time (s): 2400.12
CPU user time (s): 2396.58
CPU system time (s): 3.53646
CPU usage (%): 99.0991
Max. virtual memory (cumulated for all children) (KiB): 915336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.58
system time used= 3.53646
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15879
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= 49946
involuntary context switches= 93522
runsolver used 3.03054 s user time and 7.68583 s system time
The end
Begin job on node41 on Sat Jan 20 15:09:06 UTC 2007
IDJOB= 280433
IDBENCH= 11093
IDSOLVER= 69
FILE ID= node41/280433-1169305746
PBS_JOBID= 3610159
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-16_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280433-1169305746/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-280433-1169305746 -o ROOT/results/node41/solver-280433-1169305746 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280433-1169305746/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d5d6da89e8c9c33b3f91230b61ee4a27
RANDOM SEED= 568605171
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.234
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.234
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: 1378896 kB
Buffers: 51168 kB
Cached: 472088 kB
SwapCached: 276 kB
Active: 267076 kB
Inactive: 328040 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1378896 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 5716 kB
Writeback: 0 kB
Mapped: 90804 kB
Slab: 67196 kB
Committed_AS: 5959440 kB
PageTables: 2020 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 node41 on Sat Jan 20 15:49:28 UTC 2007