0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/275402-1169221310/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.39 => wckTime=0.098 cpuTime=0.08 mem=6M910
0.39
0.39 relations being loaded...
0.50
0.50 constraints being loaded...
0.60 nbConstraints=346 nbRelationTypes=346 nbExtensionStructures=346 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=346 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3145 maxDegree=24
0.60 maxArity=2
0.60 => wckTime=0.31 cpuTime=0.21 mem=13M739
0.65
0.65 solver LocalSearchSolver being built...
0.69 => wckTime=0.395 cpuTime=0.25 mem=6M71
0.70
0.70 s SATISFIABLE
0.70 o 261
0.70 c 85
0.70 o 266
0.70 c 80
0.70 o 272
0.70 c 74
0.70 o 275
0.70 c 71
0.70 o 277
0.70 c 69
0.70 o 280
0.70 c 66
0.70 o 283
0.70 c 63
0.70 o 285
0.70 c 61
0.70 o 288
0.70 c 58
0.70 o 290
0.70 c 56
0.71 o 293
0.71 c 53
0.71 o 295
0.71 c 51
0.71 o 296
0.71 c 50
0.71 o 297
0.71 c 49
0.71 o 298
0.71 c 48
0.71 o 300
0.71 c 46
0.71 o 302
0.71 c 44
0.71 o 305
0.71 c 41
0.71 o 307
0.71 c 39
0.71 o 309
0.71 c 37
0.71 o 310
0.71 c 36
0.72 o 311
0.72 c 35
0.72 o 314
0.72 c 32
0.72 o 315
0.72 c 31
0.72 o 317
0.72 c 29
0.72 o 319
0.72 c 27
0.72 o 321
0.72 c 25
0.72 o 322
0.72 c 24
0.72 o 324
0.72 c 22
0.72 o 325
0.72 c 21
0.73 o 326
0.73 c 20
0.73 o 327
0.73 c 19
0.74 o 329
0.74 c 17
0.74 o 330
0.74 c 16
0.74 o 331
0.74 c 15
0.75 o 332
0.75 c 14
0.76 o 333
0.76 c 13
0.76 o 334
0.76 c 12
0.76 o 335
0.76 c 11
0.77 o 336
0.77 c 10
0.77 o 337
0.77 c 9
0.77 o 338
0.77 c 8
0.78 o 339
0.78 c 7
0.85 o 340
0.85 c 6
0.91 o 341
0.91 c 5
1.05 o 342
1.05 c 4
1.05 o 343
1.05 c 3
1.11 o 344
1.11 c 2
2.98 o 345
2.98 c 1
2.98
2.98 search
2.98 run=0 nbConstraintChecks=17170681 nbAssignments=7367
2.98 => wckTime=2.29 cpuTime=2.25 mem=6M71
2.98
2.98 global
2.98 nbConstraintChecks=17170681 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.98 solvingWckTime=2.288 solvingCpuTime=2.24 expiredTime=no totalExploration=no nbFoundSolutions=0
2.98 globalCpuTime=2.56
2.98 => wckTime=2.686 cpuTime=2.5 mem=6M71
2.98
2.98 solver IterativeSystematicSolver being built...
3.10 => wckTime=2.808 cpuTime=2.6 mem=16M946
3.11
3.11 preprocessing
3.11 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
3.11 detectedInconsistency=no
3.11 => wckTime=0.0060 cpuTime=0.01 mem=16M946
3.18
3.18 search
3.18 run=0 nbConstraintChecks=132934 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=29
3.18 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=52 nbRestartNogoods=0
3.18 => wckTime=0.077 cpuTime=0.06 mem=16M946
3.28
3.28 search
3.28 run=1 nbConstraintChecks=430555 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=95
3.28 nbFailedAssignments=56 nbBacktracks=25 nbVisitedNodes=177 nbRestartNogoods=11
3.28 => wckTime=0.179 cpuTime=0.14 mem=16M946
3.37
3.37 search
3.37 run=2 nbConstraintChecks=822399 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=180
3.37 nbFailedAssignments=113 nbBacktracks=47 nbVisitedNodes=341 nbRestartNogoods=20
3.37 => wckTime=0.271 cpuTime=0.23 mem=16M946
3.52
3.52 search
3.52 run=3 nbConstraintChecks=1502380 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=316
3.52 nbFailedAssignments=210 nbBacktracks=80 nbVisitedNodes=607 nbRestartNogoods=26
3.52 => wckTime=0.418 cpuTime=0.37 mem=16M946
3.71
3.71 search
3.71 run=4 nbConstraintChecks=2346584 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=488
3.71 nbFailedAssignments=326 nbBacktracks=130 nbVisitedNodes=945 nbRestartNogoods=39
3.71 => wckTime=0.607 cpuTime=0.56 mem=16M946
4.01
4.01 search
4.01 run=5 nbConstraintChecks=3728478 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=747
4.01 nbFailedAssignments=503 nbBacktracks=205 nbVisitedNodes=1456 nbRestartNogoods=61
4.01 => wckTime=0.902 cpuTime=0.85 mem=16M946
4.43
4.43 search
4.43 run=6 nbConstraintChecks=5598092 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1130
4.43 nbFailedAssignments=767 nbBacktracks=318 nbVisitedNodes=2216 nbRestartNogoods=83
4.43 => wckTime=1.324 cpuTime=1.26 mem=16M946
4.97
4.97 search
4.97 run=7 nbConstraintChecks=8146947 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1646
4.97 nbFailedAssignments=1107 nbBacktracks=488 nbVisitedNodes=3242 nbRestartNogoods=95
4.97 => wckTime=1.87 cpuTime=1.79 mem=16M946
6.10
6.10 search
6.10 run=8 nbConstraintChecks=13270479 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2634
6.10 nbFailedAssignments=1832 nbBacktracks=744 nbVisitedNodes=5209 nbRestartNogoods=113
6.10 => wckTime=3.0 cpuTime=2.9 mem=16M946
7.39
7.39 search
7.39 run=9 nbConstraintChecks=19379427 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3817
7.39 nbFailedAssignments=2623 nbBacktracks=1128 nbVisitedNodes=7567 nbRestartNogoods=156
7.39 => wckTime=4.286 cpuTime=4.17 mem=16M946
9.32
9.32 search
9.32 run=10 nbConstraintChecks=28328954 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5674
9.32 nbFailedAssignments=3897 nbBacktracks=1704 nbVisitedNodes=11271 nbRestartNogoods=188
9.32 => wckTime=6.221 cpuTime=6.08 mem=16M946
12.01
12.01 search
12.01 run=11 nbConstraintChecks=40528978 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8107
12.01 nbFailedAssignments=5459 nbBacktracks=2568 nbVisitedNodes=16080 nbRestartNogoods=224
12.01 => wckTime=8.91 cpuTime=8.73 mem=16M946
16.00
16.00 search
16.00 run=12 nbConstraintChecks=58843028 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11756
16.00 nbFailedAssignments=7804 nbBacktracks=3865 nbVisitedNodes=23284 nbRestartNogoods=258
16.00 => wckTime=12.894 cpuTime=12.67 mem=16M946
22.38
22.38 search
22.38 run=13 nbConstraintChecks=85560056 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16640
22.38 nbFailedAssignments=10734 nbBacktracks=5811 nbVisitedNodes=32651 nbRestartNogoods=270
22.38 => wckTime=19.28 cpuTime=19.01 mem=16M946
31.02
31.02 search
31.02 run=14 nbConstraintChecks=121922546 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23326
31.02 nbFailedAssignments=14493 nbBacktracks=8730 nbVisitedNodes=44946 nbRestartNogoods=287
31.02 => wckTime=27.921 cpuTime=27.57 mem=16M946
42.71
42.71 search
42.71 run=15 nbConstraintChecks=170753234 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32607
42.71 nbFailedAssignments=19389 nbBacktracks=13109 nbVisitedNodes=61310 nbRestartNogoods=305
42.71 => wckTime=39.611 cpuTime=39.17 mem=16M946
57.69
57.69 search
57.69 run=16 nbConstraintChecks=233669090 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44902
57.69 nbFailedAssignments=25110 nbBacktracks=19678 nbVisitedNodes=81363 nbRestartNogoods=320
57.69 => wckTime=54.59 cpuTime=54.0 mem=16M946
77.79
77.79 search
77.79 run=17 nbConstraintChecks=319018849 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=62409
77.79 nbFailedAssignments=32757 nbBacktracks=29531 nbVisitedNodes=109196 nbRestartNogoods=329
77.79 => wckTime=74.687 cpuTime=73.93 mem=16M946
106.61
106.61 search
106.61 run=18 nbConstraintChecks=443271840 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=87550
106.61 nbFailedAssignments=43114 nbBacktracks=44309 nbVisitedNodes=147822 nbRestartNogoods=339
106.61 => wckTime=103.508 cpuTime=102.46 mem=16M946
147.52
147.52 search
147.52 run=19 nbConstraintChecks=619672659 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=124371
147.52 nbFailedAssignments=57757 nbBacktracks=66479 nbVisitedNodes=203455 nbRestartNogoods=354
147.52 => wckTime=144.415 cpuTime=143.0 mem=16M946
203.52
203.52 search
203.52 run=20 nbConstraintChecks=866188835 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=178686
203.52 nbFailedAssignments=78811 nbBacktracks=99732 nbVisitedNodes=284838 nbRestartNogoods=364
203.52 => wckTime=200.419 cpuTime=198.51 mem=16M946
290.74
290.74 search
290.74 run=21 nbConstraintChecks=1247283051 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=259926
290.74 nbFailedAssignments=110163 nbBacktracks=149610 nbVisitedNodes=406281 nbRestartNogoods=386
290.74 => wckTime=287.639 cpuTime=284.96 mem=16M946
418.82
418.82 search
418.82 run=22 nbConstraintChecks=1809845339 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=381090
418.82 nbFailedAssignments=156501 nbBacktracks=224428 nbVisitedNodes=586765 nbRestartNogoods=401
418.82 => wckTime=415.716 cpuTime=411.91 mem=16M946
616.63
616.63 search
616.63 run=23 nbConstraintChecks=2665711471 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=561490
616.63 nbFailedAssignments=224669 nbBacktracks=336655 nbVisitedNodes=853890 nbRestartNogoods=432
616.63 => wckTime=613.527 cpuTime=607.99 mem=16M946
895.17
895.17 search
895.17 run=24 nbConstraintChecks=3872405571 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=812320
895.17 nbFailedAssignments=321651 nbBacktracks=490504 nbVisitedNodes=1228422 nbRestartNogoods=444
895.17 => wckTime=892.063 cpuTime=884.06 mem=16M946
895.17
895.17 global
895.17 nbConstraintChecks=3872405571 nbRestartNogoods=444 solvingWckTime=892.064 solvingCpuTime=884.07 expiredTime=no
895.17 totalExploration=yes nbFoundSolutions=0 globalCpuTime=886.73
895.17 => wckTime=894.874 cpuTime=886.67 mem=16M946
895.17
895.17 s OPTIMUM FOUND
895.17 v 8 9 18 14 12 5 5 2 10 15 15 8 9 3 15 5 14 18 2 6 12 0 10 10 16 0 7 18 6 6 14 10 8 6 11 8 16 7 13 0
895.17
895.17 totalWckTime=894.95 totalCpuTime=886.73
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-275402-1169221310 -o ROOT/results/node9/solver-275402-1169221310 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275402-1169221310/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.77 1.96 1.98 4/94 24856
/proc/meminfo: memFree=1323224/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=18540 CPUtime=0
/proc/24855/stat : 24855 (runsolver) R 24853 24855 23863 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 270526250 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 215418989863 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24855/statm: 4635 279 244 17 0 2626 0
[startup+0.102932 s]
/proc/loadavg: 1.77 1.96 1.98 4/94 24856
/proc/meminfo: memFree=1323224/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=914988 CPUtime=0.08
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 3012 0 1 0 7 1 0 0 24 0 8 0 270526250 936947712 2758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155069664 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228747 2758 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510978 s]
/proc/loadavg: 1.77 1.96 1.98 4/94 24856
/proc/meminfo: memFree=1323224/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915332 CPUtime=0.48
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 6944 0 1 0 45 3 0 0 25 0 8 0 270526250 937299968 6683 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228833 6683 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33207 s]
/proc/loadavg: 1.77 1.96 1.98 3/101 24863
/proc/meminfo: memFree=1300320/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=1.29
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 8375 0 1 0 116 13 0 0 25 0 8 0 270526250 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8113 2476 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 295 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.15
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 350 0 0 0 15 0 0 0 16 0 8 0 270526258 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
[startup+2.97825 s]
/proc/loadavg: 1.79 1.96 1.98 3/101 24863
/proc/meminfo: memFree=1300256/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=2.94
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 8376 0 1 0 263 31 0 0 25 0 8 0 270526250 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775833 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8113 2476 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 295 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.15
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 350 0 0 0 15 0 0 0 16 0 8 0 270526258 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.27763 s]
/proc/loadavg: 1.79 1.96 1.98 3/101 24863
/proc/meminfo: memFree=1297248/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=6.2
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9190 0 1 0 588 32 0 0 25 0 8 0 270526250 937435136 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073894840 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8924 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 17 0 8 0 270526254 937435136 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.24
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 270526258 937435136 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915464
[startup+12.7524 s]
/proc/loadavg: 1.82 1.96 1.98 3/101 24863
/proc/meminfo: memFree=1297256/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=12.59
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9205 0 1 0 1227 32 0 0 25 0 8 0 270526250 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073869362 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8936 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915464
[startup+25.5948 s]
/proc/loadavg: 1.85 1.96 1.98 3/101 24863
/proc/meminfo: memFree=1297320/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=25.33
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9210 0 1 0 2501 32 0 0 25 0 8 0 270526250 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842795 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8941 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915464
[startup+51.1967 s]
/proc/loadavg: 1.97 1.98 1.99 3/101 24863
/proc/meminfo: memFree=1297320/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=50.72
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9215 0 1 0 5040 32 0 0 25 0 8 0 270526250 937435136 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073894135 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8946 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915464
[startup+102.418 s]
/proc/loadavg: 1.99 1.98 1.99 3/101 24863
/proc/meminfo: memFree=1297384/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=101.44
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9221 0 1 0 10112 32 0 0 25 0 8 0 270526250 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073894126 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8952 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915464
[startup+162.468 s]
/proc/loadavg: 2.07 1.99 1.99 3/101 24863
/proc/meminfo: memFree=1297384/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=160.97
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9226 0 1 0 16064 33 0 0 25 0 8 0 270526250 937435136 8956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 458.5
Current children cumulated vsize (KiB) 915464
[startup+522.698 s]
/proc/loadavg: 2.09 2.03 2.00 3/101 24863
/proc/meminfo: memFree=1297448/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=518.01
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9235 0 1 0 51767 34 0 0 25 0 8 0 270526250 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073869519 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8964 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 518.01
Current children cumulated vsize (KiB) 915464
[startup+582.756 s]
/proc/loadavg: 2.03 2.02 2.00 3/101 24863
/proc/meminfo: memFree=1297448/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=577.57
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9235 0 1 0 57722 35 0 0 25 0 8 0 270526250 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073906414 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8964 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 577.57
Current children cumulated vsize (KiB) 915464
[startup+642.822 s]
/proc/loadavg: 2.01 2.01 2.00 3/101 24863
/proc/meminfo: memFree=1297384/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=637.09
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9237 0 1 0 63674 35 0 0 25 0 8 0 270526250 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747622 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8966 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 637.09
Current children cumulated vsize (KiB) 915464
[startup+702.893 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 24863
/proc/meminfo: memFree=1297384/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=696.63
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9237 0 1 0 69628 35 0 0 25 0 8 0 270526250 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073869610 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8966 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 696.63
Current children cumulated vsize (KiB) 915464
[startup+762.965 s]
/proc/loadavg: 2.04 2.02 2.00 3/101 24863
/proc/meminfo: memFree=1297384/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=756.19
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9237 0 1 0 75583 36 0 0 25 0 8 0 270526250 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073883063 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8966 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 756.19
Current children cumulated vsize (KiB) 915464
[startup+823.034 s]
/proc/loadavg: 2.06 2.03 2.00 3/101 24863
/proc/meminfo: memFree=1297448/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=815.71
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9237 0 1 0 81535 36 0 0 25 0 8 0 270526250 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073869602 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8966 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 815.71
Current children cumulated vsize (KiB) 915464
[startup+883.1 s]
/proc/loadavg: 2.02 2.02 2.00 4/101 24863
/proc/meminfo: memFree=1297384/2055920 swapFree=4191880/4192956
[pid=24855] ppid=24853 vsize=915464 CPUtime=875.25
/proc/24855/stat : 24855 (java) R 24853 24855 23863 0 -1 0 9237 0 1 0 87488 37 0 0 25 0 8 0 270526250 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842823 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24855/statm: 228866 8966 2527 14 0 215336 0
[pid=24855/tid=24857] ppid=24853 vsize=915464 CPUtime=0.03
/proc/24855/task/24857/stat : 24857 (java) S 24853 24855 23863 0 -1 64 296 0 0 0 3 0 0 0 16 0 8 0 270526254 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24858] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24858/stat : 24858 (java) S 24853 24855 23863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270526255 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24859] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24859/stat : 24859 (java) S 24853 24855 23863 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270526255 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24860] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24860/stat : 24860 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24861] ppid=24853 vsize=915464 CPUtime=0.25
/proc/24855/task/24861/stat : 24861 (java) S 24853 24855 23863 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24862] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24862/stat : 24862 (java) S 24853 24855 23863 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24855/tid=24863] ppid=24853 vsize=915464 CPUtime=0
/proc/24855/task/24863/stat : 24863 (java) S 24853 24855 23863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270526258 937435136 8966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 875.25
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 895.229
CPU time (s): 887.242
CPU user time (s): 886.865
CPU system time (s): 0.376942
CPU usage (%): 99.1079
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 886.865
system time used= 0.376942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9333
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= 19327
involuntary context switches= 52613
runsolver used 1.08683 s user time and 2.45763 s system time
The end
Begin job on node9 on Fri Jan 19 15:41:51 UTC 2007
IDJOB= 275402
IDBENCH= 3870
IDSOLVER= 69
FILE ID= node9/275402-1169221310
PBS_JOBID= 3588922
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275402-1169221310/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-275402-1169221310 -o ROOT/results/node9/solver-275402-1169221310 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275402-1169221310/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 745238c24d77c42b64b045bb1e956fec
RANDOM SEED= 822309461
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1323704 kB
Buffers: 57012 kB
Cached: 532552 kB
SwapCached: 268 kB
Active: 252596 kB
Inactive: 395860 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1323704 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2400 kB
Writeback: 0 kB
Mapped: 78224 kB
Slab: 68380 kB
Committed_AS: 7821288 kB
PageTables: 2396 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66562 MiB
End job on node9 on Fri Jan 19 15:56:46 UTC 2007