0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=epfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/280307-1169304663/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=36 nbDomainTypes=2 minDomainSize=36 maxDomainSize=44
0.39 => wckTime=0.093 cpuTime=0.08 mem=6M877
0.39
0.39 predicates being loaded...
0.40
0.40 constraints being loaded...
0.67 nbConstraints=439 nbConvertedConstraints=439 nbConvertConstraintsChecks=210400 nbExtensionStructures=116
0.67 nbSharedExtensionStructures=323 nbConflictsStructures=116 nbSharedConflictsStructures=323
0.67 nbSharedBinaryRepresentations=9157 maxDegree=35 maxArity=2
0.67 => wckTime=0.372 cpuTime=0.27 mem=9M852
0.71
0.71 solver LocalSearchSolver being built...
0.74 => wckTime=0.45 cpuTime=0.31 mem=5M730
0.75
0.75 s SATISFIABLE
0.75 o 268
0.75 c 171
0.75 o 279
0.75 c 160
0.76 o 287
0.76 c 152
0.76 o 294
0.76 c 145
0.76 o 299
0.76 c 140
0.76 o 300
0.76 c 139
0.76 o 305
0.76 c 134
0.76 o 310
0.76 c 129
0.77 o 314
0.77 c 125
0.77 o 320
0.77 c 119
0.77 o 326
0.77 c 113
0.77 o 334
0.77 c 105
0.77 o 340
0.77 c 99
0.77 o 347
0.77 c 92
0.77 o 350
0.77 c 89
0.77 o 353
0.77 c 86
0.77 o 356
0.77 c 83
0.77 o 361
0.77 c 78
0.77 o 364
0.77 c 75
0.78 o 367
0.78 c 72
0.78 o 368
0.78 c 71
0.78 o 371
0.78 c 68
0.78 o 373
0.78 c 66
0.78 o 375
0.78 c 64
0.78 o 376
0.78 c 63
0.78 o 378
0.78 c 61
0.79 o 381
0.79 c 58
0.79 o 385
0.79 c 54
0.79 o 386
0.79 c 53
0.79 o 387
0.79 c 52
0.79 o 393
0.79 c 46
0.80 o 396
0.80 c 43
0.80 o 399
0.80 c 40
0.80 o 400
0.80 c 39
0.80 o 408
0.80 c 31
0.81 o 410
0.81 c 29
0.81 o 413
0.81 c 26
0.91 o 414
0.91 c 25
1.21 o 415
1.21 c 24
1.23 o 416
1.23 c 23
4.01 o 417
4.01 c 22
17.35
17.35 search
17.35 run=0 nbConstraintChecks=166713962 nbAssignments=10000
17.35 => wckTime=16.607 cpuTime=16.57 mem=5M730
30.72 o 418
30.72 c 21
33.90
33.90 search
33.90 run=1 nbConstraintChecks=334203662 nbAssignments=20000
33.90 => wckTime=33.159 cpuTime=33.09 mem=5M730
41.90 o 419
41.90 c 20
41.91 o 420
41.91 c 19
50.10
50.10 search
50.10 run=2 nbConstraintChecks=497758840 nbAssignments=30000
50.10 => wckTime=49.358 cpuTime=49.29 mem=5M730
67.00
67.00 search
67.00 run=3 nbConstraintChecks=668725878 nbAssignments=40000
67.00 => wckTime=66.257 cpuTime=66.15 mem=5M730
71.95
71.95 search
71.95 run=4 nbConstraintChecks=718746884 nbAssignments=43115
71.95 => wckTime=71.21 cpuTime=71.1 mem=5M730
71.95
71.95 global
71.95 nbConstraintChecks=718746884 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
71.95 solvingWckTime=71.209 solvingCpuTime=71.09 expiredTime=no totalExploration=no nbFoundSolutions=0
71.96 globalCpuTime=71.46
71.96 => wckTime=71.661 cpuTime=71.41 mem=5M730
71.96
71.96 solver IterativeSystematicSolver being built...
72.09 => wckTime=71.793 cpuTime=71.51 mem=16M695
72.19
72.19 preprocessing
72.19 nbConstraintChecks=327917 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
72.19 detectedInconsistency=no
72.19 => wckTime=0.105 cpuTime=0.09 mem=16M695
73.10
73.10 search
73.10 run=0 nbConstraintChecks=5928195 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=250
73.10 nbFailedAssignments=231 nbBacktracks=10 nbVisitedNodes=492 nbRestartNogoods=0
73.10 => wckTime=1.015 cpuTime=0.99 mem=16M695
74.41
74.41 search
74.41 run=1 nbConstraintChecks=13948264 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=644
74.41 nbFailedAssignments=603 nbBacktracks=25 nbVisitedNodes=1273 nbRestartNogoods=9
74.41 => wckTime=2.325 cpuTime=2.29 mem=16M695
75.31
75.31 search
75.31 run=2 nbConstraintChecks=19155354 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=883
75.31 nbFailedAssignments=811 nbBacktracks=47 nbVisitedNodes=1742 nbRestartNogoods=40
75.31 => wckTime=3.217 cpuTime=3.18 mem=16M695
76.25
76.25 search
76.25 run=3 nbConstraintChecks=24142251 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1094
76.25 nbFailedAssignments=983 nbBacktracks=80 nbVisitedNodes=2158 nbRestartNogoods=49
76.25 => wckTime=4.164 cpuTime=4.12 mem=16M695
78.25
78.25 search
78.25 run=4 nbConstraintChecks=36247726 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1700
78.25 nbFailedAssignments=1533 nbBacktracks=130 nbVisitedNodes=3364 nbRestartNogoods=57
78.25 => wckTime=6.166 cpuTime=6.1 mem=16M695
80.41
80.41 search
80.41 run=5 nbConstraintChecks=49580069 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2341
80.41 nbFailedAssignments=2094 nbBacktracks=205 nbVisitedNodes=4641 nbRestartNogoods=76
80.41 => wckTime=8.321 cpuTime=8.25 mem=16M695
86.16
86.16 search
86.16 run=6 nbConstraintChecks=87381403 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4141
86.16 nbFailedAssignments=3774 nbBacktracks=318 nbVisitedNodes=8234 nbRestartNogoods=95
86.16 => wckTime=14.073 cpuTime=14.0 mem=16M695
93.26
93.26 search
93.26 run=7 nbConstraintChecks=129238135 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6198
93.26 nbFailedAssignments=5655 nbBacktracks=488 nbVisitedNodes=12342 nbRestartNogoods=106
93.26 => wckTime=21.167 cpuTime=21.09 mem=16M695
106.74
106.74 search
106.74 run=8 nbConstraintChecks=207456555 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9950
106.74 nbFailedAssignments=9147 nbBacktracks=744 nbVisitedNodes=19842 nbRestartNogoods=129
106.74 => wckTime=34.649 cpuTime=34.55 mem=16M695
126.54
126.54 search
126.54 run=9 nbConstraintChecks=309664471 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14846
126.54 nbFailedAssignments=13656 nbBacktracks=1128 nbVisitedNodes=29631 nbRestartNogoods=194
126.54 => wckTime=54.453 cpuTime=54.33 mem=16M695
145.26
145.26 search
145.26 run=10 nbConstraintChecks=408860862 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19693
145.26 nbFailedAssignments=17922 nbBacktracks=1704 nbVisitedNodes=39319 nbRestartNogoods=217
145.26 => wckTime=73.176 cpuTime=73.05 mem=16M695
177.52
177.52 search
177.52 run=11 nbConstraintChecks=588126693 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26329
177.52 nbFailedAssignments=23689 nbBacktracks=2568 nbVisitedNodes=52586 nbRestartNogoods=231
177.52 => wckTime=105.434 cpuTime=105.26 mem=16M695
200.55
200.55 search
200.55 run=12 nbConstraintChecks=727028956 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33538
200.55 nbFailedAssignments=29594 nbBacktracks=3865 nbVisitedNodes=66997 nbRestartNogoods=286
200.55 => wckTime=128.459 cpuTime=128.28 mem=16M695
243.05
243.05 search
243.05 run=13 nbConstraintChecks=959119164 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46206
243.05 nbFailedAssignments=40311 nbBacktracks=5811 nbVisitedNodes=92316 nbRestartNogoods=314
243.05 => wckTime=170.96 cpuTime=170.77 mem=16M695
331.69
331.69 search
331.69 run=14 nbConstraintChecks=1454086665 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=71419
331.69 nbFailedAssignments=62598 nbBacktracks=8730 nbVisitedNodes=142728 nbRestartNogoods=329
331.69 => wckTime=259.597 cpuTime=259.37 mem=16M695
463.88
463.88 search
463.88 run=15 nbConstraintChecks=2217996758 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=112783
463.88 nbFailedAssignments=99580 nbBacktracks=13108 nbVisitedNodes=225438 nbRestartNogoods=401
463.88 => wckTime=391.795 cpuTime=391.52 mem=16M695
556.76
556.76 search
556.76 run=16 nbConstraintChecks=2742440223 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=142079
556.76 nbFailedAssignments=122300 nbBacktracks=19676 nbVisitedNodes=284007 nbRestartNogoods=454
556.76 => wckTime=484.676 cpuTime=484.37 mem=16M695
695.30
695.30 search
695.30 run=17 nbConstraintChecks=3518342668 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=186573
695.30 nbFailedAssignments=156935 nbBacktracks=29528 nbVisitedNodes=372884 nbRestartNogoods=482
695.30 => wckTime=623.208 cpuTime=622.84 mem=16M695
1198.15
1198.15 search
1198.15 run=18 nbConstraintChecks=6377007119 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=335125
1198.15 nbFailedAssignments=290706 nbBacktracks=44306 nbVisitedNodes=669885 nbRestartNogoods=527
1198.15 => wckTime=1126.057 cpuTime=1125.51 mem=16M695
1901.58
1901.59 search
1901.59 run=19 nbConstraintChecks=10226868131 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=537560
1901.59 nbFailedAssignments=470970 nbBacktracks=66474 nbVisitedNodes=1074595 nbRestartNogoods=591
1901.59 => wckTime=1829.497 cpuTime=1828.7 mem=16M695
2401.10 v 16 254 16 254 764 394 694 456 722 484 792 554 680 442 540 778 540 778 764 526 764 526 268 30 338 100 680 442 792 414 722 484 128 366 268 30
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-280307-1169304663 -o ROOT/results/node45/solver-280307-1169304663 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280307-1169304663/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.94 2.02 1.99 4/80 15593
/proc/meminfo: memFree=1401528/2055920 swapFree=4184076/4192956
[pid=15592] ppid=15590 vsize=172 CPUtime=0
/proc/15592/stat : 15592 (java) R 15590 15592 14739 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 278865255 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4727083 0 0 4096 0 0 0 0 17 0 0 0
/proc/15592/statm: 43 24 18 14 0 3 0
[startup+0.107533 s]
/proc/loadavg: 1.94 2.02 1.99 4/80 15593
/proc/meminfo: memFree=1401528/2055920 swapFree=4184076/4192956
[pid=15592] ppid=15590 vsize=914988 CPUtime=0.09
/proc/15592/stat : 15592 (java) R 15590 15592 14739 0 -1 0 3072 0 1 0 7 2 0 0 22 0 8 0 278865255 936947712 2818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15592/statm: 228747 2818 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515606 s]
/proc/loadavg: 1.94 2.02 1.99 4/80 15593
/proc/meminfo: memFree=1401528/2055920 swapFree=4184076/4192956
[pid=15592] ppid=15590 vsize=915332 CPUtime=0.49
/proc/15592/stat : 15592 (java) R 15590 15592 14739 0 -1 0 6545 0 1 0 45 4 0 0 25 0 8 0 278865255 937299968 6284 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153788138 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15592/statm: 228833 6285 2155 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33676 s]
/proc/loadavg: 1.94 2.02 1.99 3/87 15600
/proc/meminfo: memFree=1381952/2055920 swapFree=4184076/4192956
[pid=15592] ppid=15590 vsize=915424 CPUtime=1.31
/proc/15592/stat : 15592 (java) R 15590 15592 14739 0 -1 0 7583 0 1 0 122 9 0 0 25 0 8 0 278865255 937394176 7321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758374 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15592/statm: 228856 7321 2499 14 0 215326 0
[pid=15592/tid=15594] ppid=15590 vsize=915424 CPUtime=0.02
/proc/15592/task/15594/stat : 15594 (java) S 15590 15592 14739 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 278865258 937394176 7321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15595] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15595/stat : 15595 (java) S 15590 15592 14739 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278865259 937394176 7321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15596] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15596/stat : 15596 (java) S 15590 15592 14739 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278865259 937394176 7321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15597] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15597/stat : 15597 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278865262 937394176 7321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15598] ppid=15590 vsize=915424 CPUtime=0.14
/proc/15592/task/15598/stat : 15598 (java) S 15590 15592 14739 0 -1 64 350 0 0 0 14 0 0 0 16 0 8 0 278865262 937394176 7321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15599] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15599/stat : 15599 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278865262 937394176 7321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15600] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15600/stat : 15600 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278865262 937394176 7321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915424
[startup+2.98205 s]
/proc/loadavg: 1.94 2.02 1.99 3/87 15600
/proc/meminfo: memFree=1381888/2055920 swapFree=4184076/4192956
[pid=15592] ppid=15590 vsize=915424 CPUtime=2.96
/proc/15592/stat : 15592 (java) R 15590 15592 14739 0 -1 0 7586 0 1 0 282 14 0 0 25 0 8 0 278865255 937394176 7323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15592/statm: 228856 7323 2499 14 0 215326 0
[pid=15592/tid=15594] ppid=15590 vsize=915424 CPUtime=0.02
/proc/15592/task/15594/stat : 15594 (java) S 15590 15592 14739 0 -1 64 209 0 0 0 2 0 0 0 17 0 8 0 278865258 937394176 7323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15595] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15595/stat : 15595 (java) S 15590 15592 14739 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278865259 937394176 7323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15596] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15596/stat : 15596 (java) S 15590 15592 14739 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278865259 937394176 7323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15597] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15597/stat : 15597 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278865262 937394176 7323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15598] ppid=15590 vsize=915424 CPUtime=0.14
/proc/15592/task/15598/stat : 15598 (java) S 15590 15592 14739 0 -1 64 352 0 0 0 14 0 0 0 16 0 8 0 278865262 937394176 7323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15599] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15599/stat : 15599 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278865262 937394176 7323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15600] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15600/stat : 15600 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278865262 937394176 7323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915424
[startup+6.27065 s]
/proc/loadavg: 1.94 2.02 1.99 3/87 15600
/proc/meminfo: memFree=1381824/2055920 swapFree=4184076/4192956
[pid=15592] ppid=15590 vsize=915424 CPUtime=6.24
/proc/15592/stat : 15592 (java) R 15590 15592 14739 0 -1 0 7588 0 1 0 602 22 0 0 25 0 8 0 278865255 937394176 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15592/statm: 228856 7325 2499 14 0 215326 0
[pid=15592/tid=15594] ppid=15590 vsize=915424 CPUtime=0.02
/proc/15592/task/15594/stat : 15594 (java) S 15590 15592 14739 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 278865258 937394176 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15595] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15595/stat : 15595 (java) S 15590 15592 14739 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278865259 937394176 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15596] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15596/stat : 15596 (java) S 15590 15592 14739 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278865259 937394176 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15597] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15597/stat : 15597 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278865262 937394176 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15598] ppid=15590 vsize=915424 CPUtime=0.15
/proc/15592/task/15598/stat : 15598 (java) S 15590 15592 14739 0 -1 64 354 0 0 0 15 0 0 0 15 0 8 0 278865262 937394176 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15599] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15599/stat : 15599 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278865262 937394176 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15600] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15600/stat : 15600 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278865262 937394176 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915424
[startup+12.7498 s]
/proc/loadavg: 1.95 2.02 1.99 3/87 15600
/proc/meminfo: memFree=1381824/2055920 swapFree=4184076/4192956
[pid=15592] ppid=15590 vsize=915424 CPUtime=12.72
/proc/15592/stat : 15592 (java) R 15590 15592 14739 0 -1 0 7588 0 1 0 1235 37 0 0 25 0 8 0 278865255 937394176 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073761564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15592/statm: 228856 7325 2499 14 0 215326 0
[pid=15592/tid=15594] ppid=15590 vsize=915424 CPUtime=0.02
/proc/15592/task/15594/stat : 15594 (java) S 15590 15592 14739 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 278865258 937394176 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15595] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15595/stat : 15595 (java) S 15590 15592 14739 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278865259 937394176 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15596] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15596/stat : 15596 (java) S 15590 15592 14739 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278865259 937394176 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15597] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15597/stat : 15597 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278865262 937394176 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15598] ppid=15590 vsize=915424 CPUtime=0.15
/proc/15592/task/15598/stat : 15598 (java) S 15590 15592 14739 0 -1 64 354 0 0 0 15 0 0 0 15 0 8 0 278865262 937394176 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15599] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15599/stat : 15599 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278865262 937394176 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15600] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15600/stat : 15600 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278865262 937394176 7325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915424
[startup+25.6012 s]
/proc/loadavg: 1.96 2.02 1.99 3/87 15600
/proc/meminfo: memFree=1381824/2055920 swapFree=4184076/4192956
[pid=15592] ppid=15590 vsize=915424 CPUtime=25.55
/proc/15592/stat : 15592 (java) R 15590 15592 14739 0 -1 0 7590 0 1 0 2491 64 0 0 25 0 8 0 278865255 937394176 7327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15592/statm: 228856 7327 2499 14 0 215326 0
[pid=15592/tid=15594] ppid=15590 vsize=915424 CPUtime=0.02
/proc/15592/task/15594/stat : 15594 (java) S 15590 15592 14739 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 278865258 937394176 7327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15595] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15595/stat : 15595 (java) S 15590 15592 14739 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278865259 937394176 7327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15596] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15596/stat : 15596 (java) S 15590 15592 14739 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278865259 937394176 7327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15597] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15597/stat : 15597 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278865262 937394176 7327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15598] ppid=15590 vsize=915424 CPUtime=0.15
/proc/15592/task/15598/stat : 15598 (java) S 15590 15592 14739 0 -1 64 356 0 0 0 15 0 0 0 16 0 8 0 278865262 937394176 7327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15599] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15599/stat : 15599 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278865262 937394176 7327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15600] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15600/stat : 15600 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278865262 937394176 7327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915424
[startup+51.2038 s]
/proc/loadavg: 2.05 2.04 2.00 3/87 15600
/proc/meminfo: memFree=1381888/2055920 swapFree=4184076/4192956
[pid=15592] ppid=15590 vsize=915424 CPUtime=51.13
/proc/15592/stat : 15592 (java) R 15590 15592 14739 0 -1 0 7591 0 1 0 4993 120 0 0 25 0 8 0 278865255 937394176 7328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758367 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15592/statm: 228856 7328 2499 14 0 215326 0
[pid=15592/tid=15594] ppid=15590 vsize=915424 CPUtime=0.02
/proc/15592/task/15594/stat : 15594 (java) S 15590 15592 14739 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 278865258 937394176 7328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15595] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15595/stat : 15595 (java) S 15590 15592 14739 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278865259 937394176 7328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15596] ppid=15590 vsize=915428 CPUtime=0
/proc/15592/task/15596/stat : 15596 (java) S 15590 15592 14739 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278865259 937398272 7328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15597] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15597/stat : 15597 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278865262 937394176 7328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15598] ppid=15590 vsize=915424 CPUtime=0.15
/proc/15592/task/15598/stat : 15598 (java) S 15590 15592 14739 0 -1 64 357 0 0 0 15 0 0 0 16 0 8 0 278865262 937394176 7328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15599] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15599/stat : 15599 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278865262 937394176 7328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15600] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15600/stat : 15600 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278865262 937394176 7328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915424
[startup+102.407 s]
/proc/loadavg: 2.02 2.03 2.00 3/87 15600
/proc/meminfo: memFree=1376000/2055920 swapFree=4184076/4192956
[pid=15592] ppid=15590 vsize=915424 CPUtime=102.28
/proc/15592/stat : 15592 (java) R 15590 15592 14739 0 -1 0 9158 0 1 0 10058 170 0 0 25 0 8 0 278865255 937394176 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073885071 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15592/statm: 228856 8888 2549 14 0 215326 0
[pid=15592/tid=15594] ppid=15590 vsize=915424 CPUtime=0.02
/proc/15592/task/15594/stat : 15594 (java) S 15590 15592 14739 0 -1 64 210 0 0 0 2 0 0 0 16 0 8 0 278865258 937394176 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15595] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15595/stat : 15595 (java) S 15590 15592 14739 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278865259 937394176 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15596] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15596/stat : 15596 (java) S 15590 15592 14739 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278865259 937394176 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15597] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15597/stat : 15597 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278865262 937394176 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15598] ppid=15590 vsize=915424 CPUtime=0.25
/proc/15592/task/15598/stat : 15598 (java) S 15590 15592 14739 0 -1 64 414 0 0 0 24 1 0 0 16 0 8 0 278865262 937394176 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15599] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15599/stat : 15599 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278865262 937394176 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15600] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15600/stat : 15600 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278865262 937394176 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 915424
[startup+162.453 s]
/proc/loadavg: 2.01 2.02 2.00 3/87 15600
/proc/meminfo: memFree=1375936/2055920 swapFree=4184076/4192956
[pid=15592] ppid=15590 vsize=915424 CPUtime=162.25
/proc/15592/stat : 15592 (java) R 15590 15592 14739 0 -1 0 9169 0 1 0 16055 170 0 0 25 0 8 0 278865255 937394176 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918585 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2022.17
Current children cumulated vsize (KiB) 915424
[startup+2083.06 s]
/proc/loadavg: 1.00 1.00 1.09 2/72 15817
/proc/meminfo: memFree=1410048/2055920 swapFree=4184076/4192956
[pid=15592] ppid=15590 vsize=915424 CPUtime=2082.16
/proc/15592/stat : 15592 (java) R 15590 15592 14739 0 -1 0 9200 0 1 0 208034 182 0 0 25 0 8 0 278865255 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073930705 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15592/statm: 228856 8924 2549 14 0 215326 0
[pid=15592/tid=15594] ppid=15590 vsize=915424 CPUtime=0.02
/proc/15592/task/15594/stat : 15594 (java) S 15590 15592 14739 0 -1 64 210 0 0 0 2 0 0 0 16 0 8 0 278865258 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15595] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15595/stat : 15595 (java) S 15590 15592 14739 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278865259 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15596] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15596/stat : 15596 (java) S 15590 15592 14739 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278865259 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15597] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15597/stat : 15597 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15598] ppid=15590 vsize=915424 CPUtime=0.26
/proc/15592/task/15598/stat : 15598 (java) S 15590 15592 14739 0 -1 64 418 0 0 0 25 1 0 0 16 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15599] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15599/stat : 15599 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15600] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15600/stat : 15600 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2082.16
Current children cumulated vsize (KiB) 915424
[startup+2143.07 s]
/proc/loadavg: 1.00 1.00 1.09 2/72 15817
/proc/meminfo: memFree=1410048/2055920 swapFree=4184076/4192956
[pid=15592] ppid=15590 vsize=915424 CPUtime=2142.15
/proc/15592/stat : 15592 (java) R 15590 15592 14739 0 -1 0 9200 0 1 0 214033 182 0 0 25 0 8 0 278865255 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073891081 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15592/statm: 228856 8924 2549 14 0 215326 0
[pid=15592/tid=15594] ppid=15590 vsize=915424 CPUtime=0.02
/proc/15592/task/15594/stat : 15594 (java) S 15590 15592 14739 0 -1 64 210 0 0 0 2 0 0 0 16 0 8 0 278865258 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15595] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15595/stat : 15595 (java) S 15590 15592 14739 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278865259 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15596] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15596/stat : 15596 (java) S 15590 15592 14739 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278865259 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15597] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15597/stat : 15597 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15598] ppid=15590 vsize=915424 CPUtime=0.26
/proc/15592/task/15598/stat : 15598 (java) S 15590 15592 14739 0 -1 64 418 0 0 0 25 1 0 0 16 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15599] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15599/stat : 15599 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15600] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15600/stat : 15600 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2142.15
Current children cumulated vsize (KiB) 915424
[startup+2203.08 s]
/proc/loadavg: 1.00 1.00 1.08 2/72 15817
/proc/meminfo: memFree=1410048/2055920 swapFree=4184076/4192956
[pid=15592] ppid=15590 vsize=915424 CPUtime=2202.14
/proc/15592/stat : 15592 (java) R 15590 15592 14739 0 -1 0 9200 0 1 0 220032 182 0 0 25 0 8 0 278865255 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954464 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15592/statm: 228856 8924 2549 14 0 215326 0
[pid=15592/tid=15594] ppid=15590 vsize=915424 CPUtime=0.02
/proc/15592/task/15594/stat : 15594 (java) S 15590 15592 14739 0 -1 64 210 0 0 0 2 0 0 0 16 0 8 0 278865258 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15595] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15595/stat : 15595 (java) S 15590 15592 14739 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278865259 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15596] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15596/stat : 15596 (java) S 15590 15592 14739 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278865259 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15597] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15597/stat : 15597 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15598] ppid=15590 vsize=915424 CPUtime=0.26
/proc/15592/task/15598/stat : 15598 (java) S 15590 15592 14739 0 -1 64 418 0 0 0 25 1 0 0 16 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15599] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15599/stat : 15599 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15600] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15600/stat : 15600 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2202.14
Current children cumulated vsize (KiB) 915424
[startup+2263.09 s]
/proc/loadavg: 1.00 1.00 1.07 2/72 15817
/proc/meminfo: memFree=1410048/2055920 swapFree=4184076/4192956
[pid=15592] ppid=15590 vsize=915424 CPUtime=2262.12
/proc/15592/stat : 15592 (java) R 15590 15592 14739 0 -1 0 9200 0 1 0 226030 182 0 0 25 0 8 0 278865255 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954101 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15592/statm: 228856 8924 2549 14 0 215326 0
[pid=15592/tid=15594] ppid=15590 vsize=915424 CPUtime=0.02
/proc/15592/task/15594/stat : 15594 (java) S 15590 15592 14739 0 -1 64 210 0 0 0 2 0 0 0 16 0 8 0 278865258 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15595] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15595/stat : 15595 (java) S 15590 15592 14739 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278865259 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15596] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15596/stat : 15596 (java) S 15590 15592 14739 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278865259 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15597] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15597/stat : 15597 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15598] ppid=15590 vsize=915424 CPUtime=0.26
/proc/15592/task/15598/stat : 15598 (java) S 15590 15592 14739 0 -1 64 418 0 0 0 25 1 0 0 16 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15599] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15599/stat : 15599 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15600] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15600/stat : 15600 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2262.12
Current children cumulated vsize (KiB) 915424
[startup+2323.1 s]
/proc/loadavg: 1.00 1.00 1.07 2/72 15817
/proc/meminfo: memFree=1410112/2055920 swapFree=4184076/4192956
[pid=15592] ppid=15590 vsize=915424 CPUtime=2322.1
/proc/15592/stat : 15592 (java) R 15590 15592 14739 0 -1 0 9200 0 1 0 232028 182 0 0 25 0 8 0 278865255 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073890113 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15592/statm: 228856 8924 2549 14 0 215326 0
[pid=15592/tid=15594] ppid=15590 vsize=915424 CPUtime=0.02
/proc/15592/task/15594/stat : 15594 (java) S 15590 15592 14739 0 -1 64 210 0 0 0 2 0 0 0 16 0 8 0 278865258 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15595] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15595/stat : 15595 (java) S 15590 15592 14739 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278865259 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15596] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15596/stat : 15596 (java) S 15590 15592 14739 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278865259 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15597] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15597/stat : 15597 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15598] ppid=15590 vsize=915424 CPUtime=0.26
/proc/15592/task/15598/stat : 15598 (java) S 15590 15592 14739 0 -1 64 418 0 0 0 25 1 0 0 16 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15599] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15599/stat : 15599 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15600] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15600/stat : 15600 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2322.1
Current children cumulated vsize (KiB) 915424
[startup+2383.11 s]
/proc/loadavg: 1.00 1.00 1.06 2/72 15817
/proc/meminfo: memFree=1410112/2055920 swapFree=4184076/4192956
[pid=15592] ppid=15590 vsize=915424 CPUtime=2382.09
/proc/15592/stat : 15592 (java) R 15590 15592 14739 0 -1 0 9200 0 1 0 238027 182 0 0 25 0 8 0 278865255 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073884945 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15592/statm: 228856 8924 2549 14 0 215326 0
[pid=15592/tid=15594] ppid=15590 vsize=915424 CPUtime=0.02
/proc/15592/task/15594/stat : 15594 (java) S 15590 15592 14739 0 -1 64 210 0 0 0 2 0 0 0 16 0 8 0 278865258 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15595] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15595/stat : 15595 (java) S 15590 15592 14739 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278865259 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15596] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15596/stat : 15596 (java) S 15590 15592 14739 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278865259 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15597] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15597/stat : 15597 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15598] ppid=15590 vsize=915424 CPUtime=0.26
/proc/15592/task/15598/stat : 15598 (java) S 15590 15592 14739 0 -1 64 418 0 0 0 25 1 0 0 16 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15599] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15599/stat : 15599 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15600] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15600/stat : 15600 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2382.09
Current children cumulated vsize (KiB) 915424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.09 s]
/proc/loadavg: 1.00 1.00 1.06 2/72 15817
/proc/meminfo: memFree=1410048/2055920 swapFree=4184076/4192956
[pid=15592] ppid=15590 vsize=915424 CPUtime=2400.08
/proc/15592/stat : 15592 (java) R 15590 15592 14739 0 -1 0 9200 0 1 0 239826 182 0 0 25 0 8 0 278865255 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073927756 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15592/statm: 228856 8924 2549 14 0 215326 0
[pid=15592/tid=15594] ppid=15590 vsize=915424 CPUtime=0.02
/proc/15592/task/15594/stat : 15594 (java) S 15590 15592 14739 0 -1 64 210 0 0 0 2 0 0 0 16 0 8 0 278865258 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15595] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15595/stat : 15595 (java) S 15590 15592 14739 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278865259 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15596] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15596/stat : 15596 (java) S 15590 15592 14739 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278865259 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15597] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15597/stat : 15597 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15598] ppid=15590 vsize=915424 CPUtime=0.26
/proc/15592/task/15598/stat : 15598 (java) S 15590 15592 14739 0 -1 64 418 0 0 0 25 1 0 0 16 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15599] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15599/stat : 15599 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15592/tid=15600] ppid=15590 vsize=915424 CPUtime=0
/proc/15592/task/15600/stat : 15600 (java) S 15590 15592 14739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278865262 937394176 8924 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2401.13
CPU time (s): 2400.12
CPU user time (s): 2398.28
CPU system time (s): 1.83372
CPU usage (%): 99.9579
Max. virtual memory (cumulated for all children) (KiB): 915428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.28
system time used= 1.83372
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9224
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= 49942
involuntary context switches= 39412
runsolver used 2.18267 s user time and 6.42402 s system time
The end
Begin job on node45 on Sat Jan 20 14:51:03 UTC 2007
IDJOB= 280307
IDBENCH= 11076
IDSOLVER= 68
FILE ID= node45/280307-1169304663
PBS_JOBID= 3609868
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapSubs/scen07-sub3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280307-1169304663/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-280307-1169304663 -o ROOT/results/node45/solver-280307-1169304663 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280307-1169304663/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 593b05b52349a32e9ff1176b4d320f52
RANDOM SEED= 825553785
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.259
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.259
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: 1402008 kB
Buffers: 51840 kB
Cached: 486912 kB
SwapCached: 2868 kB
Active: 164000 kB
Inactive: 416828 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1402008 kB
SwapTotal: 4192956 kB
SwapFree: 4184076 kB
Dirty: 1696 kB
Writeback: 0 kB
Mapped: 58112 kB
Slab: 58468 kB
Committed_AS: 5781124 kB
PageTables: 1864 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= 66563 MiB
End job on node45 on Sat Jan 20 15:31:05 UTC 2007