0.36
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=pfc.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/277202-1169259831/unknown.xml
0.42
0.42 domains being loaded...
0.43
0.43 variables being loaded...
0.46 nbVariables=25 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.46 => wckTime=0.102 cpuTime=0.08 mem=6M910
0.46
0.46 relations being loaded...
0.57
0.57 constraints being loaded...
0.70 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=896 maxDegree=24
0.70 maxArity=2
0.70 => wckTime=0.339 cpuTime=0.25 mem=14M712
0.74
0.74 solver LocalSearchSolver being built...
0.78 => wckTime=0.427 cpuTime=0.29 mem=6M200
0.79
0.79 s SATISFIABLE
0.79 o 235
0.79 c 65
0.79 o 242
0.79 c 58
0.79 o 248
0.79 c 52
0.79 o 252
0.79 c 48
0.80 o 258
0.80 c 42
0.80 o 263
0.80 c 37
0.80 o 270
0.80 c 30
0.80 o 276
0.80 c 24
0.80 o 279
0.80 c 21
0.80 o 281
0.80 c 19
0.80 o 282
0.80 c 18
0.80 o 283
0.80 c 17
0.81 o 284
0.81 c 16
0.81 o 285
0.81 c 15
0.81 o 288
0.81 c 12
0.81 o 289
0.81 c 11
0.81 o 290
0.81 c 10
0.81 o 291
0.81 c 9
0.81 o 292
0.81 c 8
0.86 o 293
0.86 c 7
0.86 o 294
0.86 c 6
0.87 o 295
0.87 c 5
0.91 o 296
0.91 c 4
0.95 o 297
0.95 c 3
1.61 o 298
1.61 c 2
4.28
4.28 search
4.28 run=0 nbConstraintChecks=25431533 nbAssignments=10000
4.28 => wckTime=3.498 cpuTime=3.45 mem=6M200
7.72
7.72 search
7.72 run=1 nbConstraintChecks=51337915 nbAssignments=20000
7.72 => wckTime=6.937 cpuTime=6.85 mem=6M200
11.20
11.20 search
11.20 run=2 nbConstraintChecks=77229669 nbAssignments=30000
11.20 => wckTime=10.412 cpuTime=10.29 mem=6M200
11.53 o 299
11.53 c 1
11.53
11.53 search
11.53 run=3 nbConstraintChecks=79718283 nbAssignments=30982
11.53 => wckTime=10.751 cpuTime=10.63 mem=6M200
11.54
11.54 global
11.54 nbConstraintChecks=79718283 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
11.54 solvingWckTime=10.749 solvingCpuTime=10.63 expiredTime=no totalExploration=no nbFoundSolutions=0
11.54 globalCpuTime=10.97
11.54 => wckTime=11.179 cpuTime=10.92 mem=6M200
11.54
11.54 solver IterativeSystematicSolver being built...
11.66 => wckTime=11.306 cpuTime=11.02 mem=17M108
11.67
11.67 preprocessing
11.67 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
11.67 detectedInconsistency=no
11.67 => wckTime=0.0070 cpuTime=0.0 mem=17M108
11.78
11.78 search
11.78 run=0 nbConstraintChecks=267631 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=68
11.78 nbFailedAssignments=52 nbBacktracks=10 nbVisitedNodes=131 nbRestartNogoods=0
11.78 => wckTime=0.112 cpuTime=0.08 mem=17M108
11.86
11.86 search
11.86 run=1 nbConstraintChecks=575502 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=142
11.86 nbFailedAssignments=106 nbBacktracks=25 nbVisitedNodes=274 nbRestartNogoods=11
11.86 => wckTime=0.196 cpuTime=0.15 mem=17M108
11.97
11.97 search
11.97 run=2 nbConstraintChecks=1043626 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=259
11.97 nbFailedAssignments=196 nbBacktracks=47 nbVisitedNodes=503 nbRestartNogoods=18
11.97 => wckTime=0.306 cpuTime=0.25 mem=17M108
12.11
12.11 search
12.11 run=3 nbConstraintChecks=1684135 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=422
12.11 nbFailedAssignments=321 nbBacktracks=80 nbVisitedNodes=824 nbRestartNogoods=42
12.11 => wckTime=0.441 cpuTime=0.39 mem=17M108
12.28
12.28 search
12.28 run=4 nbConstraintChecks=2527662 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=631
12.28 nbFailedAssignments=475 nbBacktracks=130 nbVisitedNodes=1237 nbRestartNogoods=52
12.28 => wckTime=0.62 cpuTime=0.57 mem=17M108
12.62
12.62 search
12.62 run=5 nbConstraintChecks=4014407 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=995
12.62 nbFailedAssignments=759 nbBacktracks=205 nbVisitedNodes=1960 nbRestartNogoods=62
12.62 => wckTime=0.952 cpuTime=0.89 mem=17M108
12.98
12.98 search
12.98 run=6 nbConstraintChecks=5766765 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1451
12.98 nbFailedAssignments=1096 nbBacktracks=318 nbVisitedNodes=2866 nbRestartNogoods=68
12.98 => wckTime=1.316 cpuTime=1.25 mem=17M108
13.62
13.62 search
13.62 run=7 nbConstraintChecks=8666190 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2233
13.62 nbFailedAssignments=1703 nbBacktracks=488 nbVisitedNodes=4425 nbRestartNogoods=90
13.62 => wckTime=1.954 cpuTime=1.86 mem=17M108
14.40
14.40 search
14.40 run=8 nbConstraintChecks=12490104 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3245
14.40 nbFailedAssignments=2454 nbBacktracks=744 nbVisitedNodes=6444 nbRestartNogoods=124
14.40 => wckTime=2.738 cpuTime=2.64 mem=17M108
15.81
15.81 search
15.81 run=9 nbConstraintChecks=19379238 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4949
15.81 nbFailedAssignments=3768 nbBacktracks=1128 nbVisitedNodes=9846 nbRestartNogoods=132
15.81 => wckTime=4.149 cpuTime=4.03 mem=17M108
17.66
17.66 search
17.66 run=10 nbConstraintChecks=28570938 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7163
17.66 nbFailedAssignments=5401 nbBacktracks=1704 nbVisitedNodes=14269 nbRestartNogoods=169
17.66 => wckTime=5.998 cpuTime=5.86 mem=17M108
20.37
20.37 search
20.37 run=11 nbConstraintChecks=42110053 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10401
20.37 nbFailedAssignments=7770 nbBacktracks=2568 nbVisitedNodes=20740 nbRestartNogoods=194
20.37 => wckTime=8.698 cpuTime=8.54 mem=17M108
24.26
24.26 search
24.26 run=12 nbConstraintChecks=61976283 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14878
24.26 nbFailedAssignments=10947 nbBacktracks=3865 nbVisitedNodes=29675 nbRestartNogoods=209
24.26 => wckTime=12.591 cpuTime=12.39 mem=17M108
29.85
29.85 search
29.85 run=13 nbConstraintChecks=89894122 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21279
29.85 nbFailedAssignments=15399 nbBacktracks=5811 nbVisitedNodes=42359 nbRestartNogoods=211
29.85 => wckTime=18.186 cpuTime=17.94 mem=17M108
36.59
36.59 search
36.59 run=14 nbConstraintChecks=123747599 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28707
36.59 nbFailedAssignments=19903 nbBacktracks=8731 nbVisitedNodes=56298 nbRestartNogoods=220
36.59 => wckTime=24.928 cpuTime=24.62 mem=17M108
45.84
45.84 search
45.84 run=15 nbConstraintChecks=170095486 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39197
45.84 nbFailedAssignments=26010 nbBacktracks=13109 nbVisitedNodes=75493 nbRestartNogoods=230
45.84 => wckTime=34.175 cpuTime=33.78 mem=17M108
58.29
58.29 search
58.29 run=16 nbConstraintChecks=233160388 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=53039
58.29 nbFailedAssignments=33279 nbBacktracks=19677 nbVisitedNodes=99789 nbRestartNogoods=239
58.29 => wckTime=46.63 cpuTime=46.12 mem=17M108
76.02
76.02 search
76.02 run=17 nbConstraintChecks=323084532 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=72941
76.02 nbFailedAssignments=43325 nbBacktracks=29530 nbVisitedNodes=133974 nbRestartNogoods=257
76.02 => wckTime=64.36 cpuTime=63.69 mem=17M108
101.91
101.91 search
101.91 run=18 nbConstraintChecks=454553171 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=102120
101.91 nbFailedAssignments=57721 nbBacktracks=44308 nbVisitedNodes=183702 nbRestartNogoods=263
101.91 => wckTime=90.245 cpuTime=89.33 mem=17M108
140.06
140.06 search
140.06 run=19 nbConstraintChecks=647502308 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=145322
140.06 nbFailedAssignments=78749 nbBacktracks=66476 nbVisitedNodes=256866 nbRestartNogoods=282
140.06 => wckTime=128.397 cpuTime=127.12 mem=17M108
197.24
197.24 search
197.24 run=20 nbConstraintChecks=940034319 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=209853
197.24 nbFailedAssignments=110024 nbBacktracks=99728 nbVisitedNodes=366422 nbRestartNogoods=292
197.24 => wckTime=185.572 cpuTime=183.93 mem=17M108
280.32
280.32 search
280.32 run=21 nbConstraintChecks=1365338971 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=306129
280.32 nbFailedAssignments=156417 nbBacktracks=149606 nbVisitedNodes=528402 nbRestartNogoods=312
280.32 => wckTime=268.659 cpuTime=266.62 mem=17M108
406.67
406.67 search
406.67 run=22 nbConstraintChecks=2013828916 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=449080
406.67 nbFailedAssignments=224544 nbBacktracks=224424 nbVisitedNodes=769461 nbRestartNogoods=337
406.67 => wckTime=395.006 cpuTime=392.37 mem=17M108
589.35
589.36 search
589.36 run=23 nbConstraintChecks=2946854782 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=663585
589.36 nbFailedAssignments=326815 nbBacktracks=336651 nbVisitedNodes=1129223 nbRestartNogoods=345
589.36 => wckTime=577.69 cpuTime=574.17 mem=17M108
858.11
858.11 search
858.11 run=24 nbConstraintChecks=4320754979 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=980126
858.11 nbFailedAssignments=475007 nbBacktracks=504993 nbVisitedNodes=1656885 nbRestartNogoods=363
858.11 => wckTime=846.447 cpuTime=841.64 mem=17M108
1267.18
1267.18 search
1267.18 run=25 nbConstraintChecks=6417763688 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1456917
1267.18 nbFailedAssignments=699282 nbBacktracks=757504 nbVisitedNodes=2454172 nbRestartNogoods=388
1267.18 => wckTime=1255.512 cpuTime=1248.75 mem=17M108
1884.39
1884.39 search
1884.39 run=26 nbConstraintChecks=9581225861 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2173357
1884.39 nbFailedAssignments=1036950 nbBacktracks=1136271 nbVisitedNodes=3652646 nbRestartNogoods=406
1884.39 => wckTime=1872.727 cpuTime=1863.01 mem=17M108
2413.27 v 9 20 4 17 13 22 6 0 17 12 6 11 16 8 14 19 24 4 13 19 8 20 20 9 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-277202-1169259831 -o ROOT/results/node19/solver-277202-1169259831 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277202-1169259831/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: 1.87 1.54 1.22 4/94 15296
/proc/meminfo: memFree=1169120/2055920 swapFree=4171264/4192956
[pid=15295] ppid=15293 vsize=18540 CPUtime=0
/proc/15295/stat : 15295 (runsolver) R 15293 15295 14954 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 274377701 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15295/statm: 4635 279 244 17 0 2626 0
[startup+0.109747 s]
/proc/loadavg: 1.87 1.54 1.22 4/94 15296
/proc/meminfo: memFree=1169120/2055920 swapFree=4171264/4192956
[pid=15295] ppid=15293 vsize=907676 CPUtime=0.04
/proc/15295/stat : 15295 (java) R 15293 15295 14954 0 -1 0 2362 0 1 0 3 1 0 0 16 0 4 0 274377701 929460224 2109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155476533 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 226919 2109 1179 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676
[startup+0.517822 s]
/proc/loadavg: 1.87 1.54 1.22 4/94 15296
/proc/meminfo: memFree=1169120/2055920 swapFree=4171264/4192956
[pid=15295] ppid=15293 vsize=915332 CPUtime=0.45
/proc/15295/stat : 15295 (java) R 15293 15295 14954 0 -1 0 6409 0 1 0 41 4 0 0 18 0 8 0 274377701 937299968 6148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073586075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 228833 6148 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915332
[startup+1.34097 s]
/proc/loadavg: 1.87 1.54 1.22 3/101 15303
/proc/meminfo: memFree=1145192/2055920 swapFree=4171264/4192956
[pid=15295] ppid=15293 vsize=915464 CPUtime=1.26
/proc/15295/stat : 15295 (java) R 15293 15295 14954 0 -1 0 8642 0 1 0 113 13 0 0 25 0 8 0 274377701 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735465 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 228866 8380 2476 14 0 215336 0
[pid=15295/tid=15297] ppid=15293 vsize=915464 CPUtime=0.03
/proc/15295/task/15297/stat : 15297 (java) S 15293 15295 14954 0 -1 64 327 0 0 0 3 0 0 0 16 0 8 0 274377710 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 14954 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274377711 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 14954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274377711 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274377714 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=915464 CPUtime=0.14
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 14954 0 -1 64 347 0 0 0 14 0 0 0 16 0 8 0 274377714 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274377714 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 14954 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274377714 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915464
[startup+2.99428 s]
/proc/loadavg: 1.87 1.54 1.22 4/101 15303
/proc/meminfo: memFree=1145064/2055920 swapFree=4171264/4192956
[pid=15295] ppid=15293 vsize=915464 CPUtime=2.9
/proc/15295/stat : 15295 (java) R 15293 15295 14954 0 -1 0 8643 0 1 0 260 30 0 0 25 0 8 0 274377701 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 228866 8380 2476 14 0 215336 0
[pid=15295/tid=15297] ppid=15293 vsize=915464 CPUtime=0.03
/proc/15295/task/15297/stat : 15297 (java) S 15293 15295 14954 0 -1 64 327 0 0 0 3 0 0 0 16 0 8 0 274377710 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 14954 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274377711 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 14954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274377711 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274377714 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=915464 CPUtime=0.14
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 14954 0 -1 64 347 0 0 0 14 0 0 0 16 0 8 0 274377714 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274377714 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 14954 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274377714 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915464
[startup+6.2759 s]
/proc/loadavg: 1.88 1.55 1.23 3/101 15303
/proc/meminfo: memFree=1145080/2055920 swapFree=4171264/4192956
[pid=15295] ppid=15293 vsize=915464 CPUtime=6.15
/proc/15295/stat : 15295 (java) R 15293 15295 14954 0 -1 0 8645 0 1 0 544 71 0 0 25 0 8 0 274377701 937435136 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073737890 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 228866 8382 2476 14 0 215336 0
[pid=15295/tid=15297] ppid=15293 vsize=915464 CPUtime=0.03
/proc/15295/task/15297/stat : 15297 (java) S 15293 15295 14954 0 -1 64 327 0 0 0 3 0 0 0 16 0 8 0 274377710 937435136 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 14954 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274377711 937435136 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 14954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274377711 937435136 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274377714 937435136 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=915464 CPUtime=0.14
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 14954 0 -1 64 349 0 0 0 14 0 0 0 16 0 8 0 274377714 937435136 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274377714 937435136 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 14954 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274377714 937435136 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915464
[startup+12.7641 s]
/proc/loadavg: 1.89 1.56 1.23 4/101 15303
/proc/meminfo: memFree=1143224/2055920 swapFree=4171264/4192956
[pid=15295] ppid=15293 vsize=915464 CPUtime=12.57
/proc/15295/stat : 15295 (java) R 15293 15295 14954 0 -1 0 9162 0 1 0 1124 133 0 0 25 0 8 0 274377701 937435136 8897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843632 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 228866 8897 2527 14 0 215336 0
[pid=15295/tid=15297] ppid=15293 vsize=915464 CPUtime=0.03
/proc/15295/task/15297/stat : 15297 (java) S 15293 15295 14954 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274377710 937435136 8897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 14954 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274377711 937435136 8897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 14954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274377711 937435136 8897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274377714 937435136 8897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=915464 CPUtime=0.22
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 14954 0 -1 64 391 0 0 0 21 1 0 0 15 0 8 0 274377714 937435136 8897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274377714 937435136 8897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 14954 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274377714 937435136 8897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915464
[startup+25.6145 s]
/proc/loadavg: 1.91 1.58 1.24 3/101 15303
/proc/meminfo: memFree=1143096/2055920 swapFree=4171264/4192956
[pid=15295] ppid=15293 vsize=915464 CPUtime=25.31
/proc/15295/stat : 15295 (java) R 15293 15295 14954 0 -1 0 9195 0 1 0 2397 134 0 0 25 0 8 0 274377701 937435136 8926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073693125 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 228866 8926 2527 14 0 215336 0
[pid=15295/tid=15297] ppid=15293 vsize=915464 CPUtime=0.03
/proc/15295/task/15297/stat : 15297 (java) S 15293 15295 14954 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274377710 937435136 8926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 14954 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274377711 937435136 8926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 14954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274377711 937435136 8926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274377714 937435136 8926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=915464 CPUtime=0.25
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 14954 0 -1 64 404 0 0 0 24 1 0 0 15 0 8 0 274377714 937435136 8926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274377714 937435136 8926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 14954 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274377714 937435136 8926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915464
[startup+51.2354 s]
/proc/loadavg: 1.94 1.61 1.26 3/101 15303
/proc/meminfo: memFree=1143040/2055920 swapFree=4171264/4192956
[pid=15295] ppid=15293 vsize=915464 CPUtime=50.69
/proc/15295/stat : 15295 (java) R 15293 15295 14954 0 -1 0 9204 0 1 0 4935 134 0 0 25 0 8 0 274377701 937435136 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073737831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 228866 8934 2527 14 0 215336 0
[pid=15295/tid=15297] ppid=15293 vsize=915464 CPUtime=0.03
/proc/15295/task/15297/stat : 15297 (java) S 15293 15295 14954 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274377710 937435136 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 14954 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274377711 937435136 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 14954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274377711 937435136 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274377714 937435136 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=915464 CPUtime=0.25
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 14954 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 274377714 937435136 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274377714 937435136 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 14954 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274377714 937435136 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915464
[startup+102.458 s]
/proc/loadavg: 1.97 1.67 1.30 4/101 15303
/proc/meminfo: memFree=1143040/2055920 swapFree=4171264/4192956
[pid=15295] ppid=15293 vsize=915464 CPUtime=101.44
/proc/15295/stat : 15295 (java) R 15293 15295 14954 0 -1 0 9212 0 1 0 10010 134 0 0 25 0 8 0 274377701 937435136 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073864785 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 228866 8942 2527 14 0 215336 0
[pid=15295/tid=15297] ppid=15293 vsize=915464 CPUtime=0.03
/proc/15295/task/15297/stat : 15297 (java) S 15293 15295 14954 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274377710 937435136 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 14954 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274377711 937435136 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 14954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274377711 937435136 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274377714 937435136 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=915464 CPUtime=0.25
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 14954 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 274377714 937435136 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274377714 937435136 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 14954 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274377714 937435136 8942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915464
[startup+162.521 s]
/proc/loadavg: 1.99 1.73 1.34 3/101 15303
/proc/meminfo: memFree=1143040/2055920 swapFree=4171264/4192956
[pid=15295] ppid=15293 vsize=915464 CPUtime=160.95
/proc/15295/stat : 15295 (java) R 15293 15295 14954 0 -1 0 9215 0 1 0 15960 135 0 0 25 0 8 0 274377701 937435136 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073899709 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2014.11
Current children cumulated vsize (KiB) 915464
[startup+2084.66 s]
/proc/loadavg: 2.01 2.03 1.91 3/101 15303
/proc/meminfo: memFree=1142784/2055920 swapFree=4171264/4192956
[pid=15295] ppid=15293 vsize=915464 CPUtime=2073.89
/proc/15295/stat : 15295 (java) R 15293 15295 14954 0 -1 0 9233 0 1 0 207238 151 0 0 25 0 8 0 274377701 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073910304 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 228866 8962 2527 14 0 215336 0
[pid=15295/tid=15297] ppid=15293 vsize=915464 CPUtime=0.03
/proc/15295/task/15297/stat : 15297 (java) S 15293 15295 14954 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274377710 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 14954 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274377711 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 14954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274377711 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=915464 CPUtime=0.25
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 14954 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 14954 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2073.89
Current children cumulated vsize (KiB) 915464
[startup+2144.73 s]
/proc/loadavg: 2.00 2.02 1.91 3/101 15303
/proc/meminfo: memFree=1142784/2055920 swapFree=4171264/4192956
[pid=15295] ppid=15293 vsize=915464 CPUtime=2133.67
/proc/15295/stat : 15295 (java) R 15293 15295 14954 0 -1 0 9233 0 1 0 213216 151 0 0 25 0 8 0 274377701 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849341 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 228866 8962 2527 14 0 215336 0
[pid=15295/tid=15297] ppid=15293 vsize=915464 CPUtime=0.03
/proc/15295/task/15297/stat : 15297 (java) S 15293 15295 14954 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274377710 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 14954 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274377711 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 14954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274377711 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=915464 CPUtime=0.25
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 14954 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 14954 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2133.67
Current children cumulated vsize (KiB) 915464
[startup+2204.8 s]
/proc/loadavg: 2.00 2.01 1.91 3/101 15303
/proc/meminfo: memFree=1142784/2055920 swapFree=4171264/4192956
[pid=15295] ppid=15293 vsize=915464 CPUtime=2193.46
/proc/15295/stat : 15295 (java) R 15293 15295 14954 0 -1 0 9233 0 1 0 219194 152 0 0 25 0 8 0 274377701 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866338 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 228866 8962 2527 14 0 215336 0
[pid=15295/tid=15297] ppid=15293 vsize=915464 CPUtime=0.03
/proc/15295/task/15297/stat : 15297 (java) S 15293 15295 14954 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274377710 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 14954 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274377711 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 14954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274377711 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=915464 CPUtime=0.25
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 14954 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 14954 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2193.46
Current children cumulated vsize (KiB) 915464
[startup+2264.89 s]
/proc/loadavg: 2.14 2.05 1.93 3/107 15421
/proc/meminfo: memFree=1141472/2055920 swapFree=4171264/4192956
[pid=15295] ppid=15293 vsize=915464 CPUtime=2253.15
/proc/15295/stat : 15295 (java) R 15293 15295 14954 0 -1 0 9233 0 1 0 225163 152 0 0 25 0 8 0 274377701 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073864779 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 228866 8962 2527 14 0 215336 0
[pid=15295/tid=15297] ppid=15293 vsize=915464 CPUtime=0.03
/proc/15295/task/15297/stat : 15297 (java) S 15293 15295 14954 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274377710 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 14954 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274377711 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 14954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274377711 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=915464 CPUtime=0.25
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 14954 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 14954 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2253.15
Current children cumulated vsize (KiB) 915464
[startup+2324.96 s]
/proc/loadavg: 2.16 2.07 1.94 3/101 15977
/proc/meminfo: memFree=1142136/2055920 swapFree=4171264/4192956
[pid=15295] ppid=15293 vsize=915464 CPUtime=2312.18
/proc/15295/stat : 15295 (java) R 15293 15295 14954 0 -1 0 9233 0 1 0 231064 154 0 0 25 0 8 0 274377701 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866052 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15295/statm: 228866 8962 2527 14 0 215336 0
[pid=15295/tid=15297] ppid=15293 vsize=915464 CPUtime=0.03
/proc/15295/task/15297/stat : 15297 (java) S 15293 15295 14954 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274377710 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 14954 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274377711 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 14954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274377711 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=915464 CPUtime=0.25
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 14954 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 14954 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2312.18
Current children cumulated vsize (KiB) 915464
[startup+2384.99 s]
/proc/loadavg: 2.06 2.06 1.94 3/100 16037
/proc/meminfo: memFree=1074176/2055920 swapFree=4171264/4192956
[pid=15295] ppid=15293 vsize=915464 CPUtime=2371.9
/proc/15295/stat : 15295 (java) R 15293 15295 14954 0 -1 0 9233 0 1 0 237033 157 0 0 25 0 8 0 274377701 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866346 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15295/statm: 228866 8962 2527 14 0 215336 0
[pid=15295/tid=15297] ppid=15293 vsize=915464 CPUtime=0.03
/proc/15295/task/15297/stat : 15297 (java) S 15293 15295 14954 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274377710 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 14954 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274377711 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 14954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274377711 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=915464 CPUtime=0.25
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 14954 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 14954 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2371.9
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2413.26 s]
/proc/loadavg: 2.03 2.05 1.94 3/100 16037
/proc/meminfo: memFree=1031872/2055920 swapFree=4171264/4192956
[pid=15295] ppid=15293 vsize=915464 CPUtime=2400.02
/proc/15295/stat : 15295 (java) R 15293 15295 14954 0 -1 0 9233 0 1 0 239845 157 0 0 25 0 8 0 274377701 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865941 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15295/statm: 228866 8962 2527 14 0 215336 0
[pid=15295/tid=15297] ppid=15293 vsize=915464 CPUtime=0.03
/proc/15295/task/15297/stat : 15297 (java) S 15293 15295 14954 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274377710 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 14954 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274377711 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 14954 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274377711 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=915464 CPUtime=0.25
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 14954 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 14954 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=915464 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 14954 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274377714 937435136 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2413.29
CPU time (s): 2400.05
CPU user time (s): 2398.47
CPU system time (s): 1.58076
CPU usage (%): 99.4514
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.47
system time used= 1.58076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9255
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= 49984
involuntary context switches= 116209
runsolver used 2.74958 s user time and 7.8918 s system time
The end
Begin job on node19 on Sat Jan 20 02:23:51 UTC 2007
IDJOB= 277202
IDBENCH= 6493
IDSOLVER= 69
FILE ID= node19/277202-1169259831
PBS_JOBID= 3607290
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-50021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277202-1169259831/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-277202-1169259831 -o ROOT/results/node19/solver-277202-1169259831 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277202-1169259831/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6e0cd599045b4119b48c7ab3c5e0399c
RANDOM SEED= 124673440
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.260
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.260
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: 1169600 kB
Buffers: 62084 kB
Cached: 699136 kB
SwapCached: 10172 kB
Active: 348648 kB
Inactive: 458468 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1169600 kB
SwapTotal: 4192956 kB
SwapFree: 4171264 kB
Dirty: 1956 kB
Writeback: 0 kB
Mapped: 62316 kB
Slab: 63788 kB
Committed_AS: 7450292 kB
PageTables: 2476 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= 66561 MiB
End job on node19 on Sat Jan 20 03:04:04 UTC 2007