0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/277030-1169253156/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.40 => wckTime=0.095 cpuTime=0.07 mem=6M887
0.40
0.40 relations being loaded...
0.49
0.49 constraints being loaded...
0.59 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8191 maxDegree=27
0.59 maxArity=2
0.59 => wckTime=0.283 cpuTime=0.19 mem=10M790
0.63
0.63 solver LocalSearchSolver being built...
0.67 => wckTime=0.366 cpuTime=0.23 mem=5M815
0.68
0.68 s SATISFIABLE
0.68 o 338
0.68 c 76
0.68 o 344
0.68 c 70
0.68 o 349
0.68 c 65
0.68 o 354
0.68 c 60
0.68 o 356
0.68 c 58
0.68 o 358
0.68 c 56
0.68 o 362
0.68 c 52
0.68 o 365
0.68 c 49
0.68 o 369
0.68 c 45
0.68 o 370
0.68 c 44
0.69 o 373
0.69 c 41
0.69 o 375
0.69 c 39
0.69 o 376
0.69 c 38
0.69 o 377
0.69 c 37
0.69 o 378
0.69 c 36
0.69 o 379
0.69 c 35
0.69 o 380
0.69 c 34
0.69 o 382
0.69 c 32
0.69 o 385
0.69 c 29
0.69 o 387
0.70 c 27
0.70 o 389
0.70 c 25
0.70 o 391
0.70 c 23
0.70 o 393
0.70 c 21
0.70 o 395
0.70 c 19
0.71 o 396
0.71 c 18
0.71 o 397
0.71 c 17
0.71 o 399
0.71 c 15
0.71 o 400
0.71 c 14
0.72 o 401
0.72 c 13
0.72 o 402
0.72 c 12
0.73 o 403
0.73 c 11
0.73 o 404
0.73 c 10
0.74 o 405
0.74 c 9
0.74 o 406
0.74 c 8
0.75 o 407
0.75 c 7
0.76 o 408
0.76 c 6
0.77 o 409
0.77 c 5
0.77 o 410
0.77 c 4
0.85 o 411
0.85 c 3
1.63 o 412
1.63 c 2
3.09
3.09 search
3.09 run=0 nbConstraintChecks=16911179 nbAssignments=10000
3.09 => wckTime=2.423 cpuTime=2.41 mem=5M815
5.44
5.44 search
5.44 run=1 nbConstraintChecks=33938792 nbAssignments=20000
5.44 => wckTime=4.768 cpuTime=4.75 mem=5M815
5.98 o 413
5.98 c 1
5.98
5.98 search
5.98 run=2 nbConstraintChecks=37730099 nbAssignments=22607
5.98 => wckTime=5.311 cpuTime=5.29 mem=5M815
5.98
5.98 global
5.98 nbConstraintChecks=37730099 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
5.98 solvingWckTime=5.308 solvingCpuTime=5.28 expiredTime=no totalExploration=no nbFoundSolutions=0
5.98 globalCpuTime=5.57
5.98 => wckTime=5.677 cpuTime=5.51 mem=5M815
5.98
5.98 solver IterativeSystematicSolver being built...
6.11 => wckTime=5.802 cpuTime=5.62 mem=16M707
6.19
6.19 preprocessing
6.19 nbConstraintChecks=75018 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
6.19 detectedInconsistency=no
6.19 => wckTime=0.08 cpuTime=0.05 mem=16M707
6.24
6.24 search
6.24 run=0 nbConstraintChecks=140070 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36
6.24 nbFailedAssignments=21 nbBacktracks=10 nbVisitedNodes=68 nbRestartNogoods=0
6.24 => wckTime=0.129 cpuTime=0.09 mem=16M707
6.31
6.31 search
6.31 run=1 nbConstraintChecks=393970 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=99
6.31 nbFailedAssignments=62 nbBacktracks=25 nbVisitedNodes=187 nbRestartNogoods=5
6.31 => wckTime=0.203 cpuTime=0.16 mem=16M707
6.39
6.39 search
6.39 run=2 nbConstraintChecks=691189 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=170
6.39 nbFailedAssignments=105 nbBacktracks=47 nbVisitedNodes=323 nbRestartNogoods=29
6.39 => wckTime=0.28 cpuTime=0.24 mem=16M707
6.48
6.48 search
6.48 run=3 nbConstraintChecks=1088018 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=265
6.49 nbFailedAssignments=160 nbBacktracks=80 nbVisitedNodes=504 nbRestartNogoods=40
6.49 => wckTime=0.377 cpuTime=0.33 mem=16M707
6.65
6.65 search
6.65 run=4 nbConstraintChecks=1711728 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=409
6.65 nbFailedAssignments=248 nbBacktracks=130 nbVisitedNodes=777 nbRestartNogoods=60
6.65 => wckTime=0.542 cpuTime=0.49 mem=16M707
6.87
6.87 search
6.87 run=5 nbConstraintChecks=2632023 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=618
6.87 nbFailedAssignments=375 nbBacktracks=205 nbVisitedNodes=1187 nbRestartNogoods=71
6.87 => wckTime=0.762 cpuTime=0.71 mem=16M707
7.18
7.18 search
7.18 run=6 nbConstraintChecks=3855448 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=910
7.18 nbFailedAssignments=547 nbBacktracks=318 nbVisitedNodes=1757 nbRestartNogoods=78
7.18 => wckTime=1.075 cpuTime=1.02 mem=16M707
7.65
7.65 search
7.65 run=7 nbConstraintChecks=5694510 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1354
7.65 nbFailedAssignments=814 nbBacktracks=488 nbVisitedNodes=2616 nbRestartNogoods=98
7.65 => wckTime=1.544 cpuTime=1.49 mem=16M707
8.37
8.37 search
8.37 run=8 nbConstraintChecks=8720502 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2080
8.37 nbFailedAssignments=1278 nbBacktracks=744 nbVisitedNodes=4023 nbRestartNogoods=111
8.37 => wckTime=2.265 cpuTime=2.19 mem=16M707
9.41
9.41 search
9.41 run=9 nbConstraintChecks=12994562 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3059
9.41 nbFailedAssignments=1868 nbBacktracks=1128 nbVisitedNodes=5932 nbRestartNogoods=140
9.41 => wckTime=3.301 cpuTime=3.22 mem=16M707
10.86
10.86 search
10.87 run=10 nbConstraintChecks=18847510 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4444
10.87 nbFailedAssignments=2673 nbBacktracks=1704 nbVisitedNodes=8582 nbRestartNogoods=157
10.87 => wckTime=4.757 cpuTime=4.67 mem=16M707
12.84
12.84 search
12.84 run=11 nbConstraintChecks=26690580 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6341
12.84 nbFailedAssignments=3698 nbBacktracks=2569 nbVisitedNodes=12020 nbRestartNogoods=172
12.84 => wckTime=6.736 cpuTime=6.65 mem=16M707
15.76
15.76 search
15.76 run=12 nbConstraintChecks=37555099 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9052
15.76 nbFailedAssignments=5105 nbBacktracks=3866 nbVisitedNodes=16700 nbRestartNogoods=188
15.76 => wckTime=9.651 cpuTime=9.55 mem=16M707
19.68
19.68 search
19.68 run=13 nbConstraintChecks=52142407 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12850
19.68 nbFailedAssignments=6949 nbBacktracks=5815 nbVisitedNodes=23045 nbRestartNogoods=194
19.68 => wckTime=13.572 cpuTime=13.47 mem=16M707
24.72
24.72 search
24.72 run=14 nbConstraintChecks=71477138 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18267
24.72 nbFailedAssignments=9441 nbBacktracks=8735 nbVisitedNodes=31833 nbRestartNogoods=206
24.72 => wckTime=18.617 cpuTime=18.52 mem=16M707
32.42
32.42 search
32.42 run=15 nbConstraintChecks=100579912 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26225
32.42 nbFailedAssignments=13016 nbBacktracks=13113 nbVisitedNodes=44521 nbRestartNogoods=225
32.42 => wckTime=26.311 cpuTime=26.2 mem=16M707
43.59
43.59 search
43.59 run=16 nbConstraintChecks=142292927 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37871
43.59 nbFailedAssignments=18088 nbBacktracks=19682 nbVisitedNodes=62822 nbRestartNogoods=247
43.59 => wckTime=37.48 cpuTime=37.34 mem=16M707
59.83
59.83 search
59.83 run=17 nbConstraintChecks=201095281 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=54732
59.83 nbFailedAssignments=25093 nbBacktracks=29535 nbVisitedNodes=88904 nbRestartNogoods=263
59.83 => wckTime=53.726 cpuTime=53.58 mem=16M707
84.88
84.88 search
84.88 run=18 nbConstraintChecks=291885323 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=80365
84.88 nbFailedAssignments=35945 nbBacktracks=44313 nbVisitedNodes=128886 nbRestartNogoods=301
84.88 => wckTime=78.775 cpuTime=78.61 mem=16M707
121.65
121.65 search
121.65 run=19 nbConstraintChecks=428546811 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=118643
121.65 nbFailedAssignments=52051 nbBacktracks=66481 nbVisitedNodes=188486 nbRestartNogoods=319
121.65 => wckTime=115.547 cpuTime=115.33 mem=16M707
175.75
175.75 search
175.75 run=20 nbConstraintChecks=630608457 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=175830
175.75 nbFailedAssignments=75980 nbBacktracks=99734 nbVisitedNodes=277303 nbRestartNogoods=332
175.75 => wckTime=169.646 cpuTime=169.38 mem=16M707
258.03
258.03 search
258.03 run=21 nbConstraintChecks=937659104 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=261960
258.03 nbFailedAssignments=112226 nbBacktracks=149612 nbVisitedNodes=411080 nbRestartNogoods=366
258.03 => wckTime=251.919 cpuTime=251.55 mem=16M707
384.64
384.64 search
384.64 run=22 nbConstraintChecks=1405480269 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=392144
384.64 nbFailedAssignments=167585 nbBacktracks=224432 nbVisitedNodes=614331 nbRestartNogoods=383
384.64 => wckTime=378.537 cpuTime=378.02 mem=16M707
571.38
571.38 search
571.38 run=23 nbConstraintChecks=2092056184 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=585339
571.38 nbFailedAssignments=248547 nbBacktracks=336662 nbVisitedNodes=913740 nbRestartNogoods=391
571.38 => wckTime=565.271 cpuTime=564.55 mem=16M707
731.80
731.80 search
731.80 run=24 nbConstraintChecks=2667855503 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=747983
731.80 nbFailedAssignments=316113 nbBacktracks=431741 nbVisitedNodes=1164743 nbRestartNogoods=402
731.80 => wckTime=725.695 cpuTime=724.79 mem=16M707
731.80
731.80 global
731.80 nbConstraintChecks=2667930521 nbRestartNogoods=402 solvingWckTime=725.697 solvingCpuTime=724.79 expiredTime=no
731.80 totalExploration=yes nbFoundSolutions=0 globalCpuTime=730.47
731.80 => wckTime=731.499 cpuTime=730.41 mem=16M707
731.81
731.81 s OPTIMUM FOUND
731.81 v 7 5 2 4 2 4 0 0 2 5 8 3 2 8 6 10 8 2 0 7 6 6 6 2 8 6 8 6 3 1 9 0 8 0 1 2 4 6 6 1
731.81
731.81 totalWckTime=731.576 totalCpuTime=730.47
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-277030-1169253156 -o ROOT/results/node3/solver-277030-1169253156 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277030-1169253156/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.00 2.00 4/94 25130
/proc/meminfo: memFree=1304096/2055920 swapFree=4191880/4192956
[pid=25129] ppid=25127 vsize=0 CPUtime=0
/proc/25129/stat : 25129 (java) R 25127 25129 24229 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 273711292 0 0 18446744073709551615 0 0 0 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/25129/statm: 41 3 0 0 0 1 0
[startup+0.107593 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 25130
/proc/meminfo: memFree=1304096/2055920 swapFree=4191880/4192956
[pid=25129] ppid=25127 vsize=914988 CPUtime=0.07
/proc/25129/stat : 25129 (java) R 25127 25129 24229 0 -1 0 2982 0 1 0 6 1 0 0 23 0 8 0 273711292 936947712 2728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582906 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25129/statm: 228747 2730 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.515659 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 25130
/proc/meminfo: memFree=1304096/2055920 swapFree=4191880/4192956
[pid=25129] ppid=25127 vsize=915332 CPUtime=0.48
/proc/25129/stat : 25129 (java) R 25127 25129 24229 0 -1 0 6540 0 1 0 44 4 0 0 25 0 8 0 273711292 937299968 6279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073648868 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25129/statm: 228833 6279 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33879 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 25137
/proc/meminfo: memFree=1284072/2055920 swapFree=4191880/4192956
[pid=25129] ppid=25127 vsize=915464 CPUtime=1.3
/proc/25129/stat : 25129 (java) R 25127 25129 24229 0 -1 0 7734 0 1 0 113 17 0 0 25 0 8 0 273711292 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25129/statm: 228866 7472 2479 14 0 215336 0
[pid=25129/tid=25131] ppid=25127 vsize=915464 CPUtime=0.03
/proc/25129/task/25131/stat : 25131 (java) S 25127 25129 24229 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273711297 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25132/stat : 25132 (java) S 25127 25129 24229 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273711297 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25133] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25133/stat : 25133 (java) S 25127 25129 24229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273711297 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25134] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25134/stat : 25134 (java) S 25127 25129 24229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273711300 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25135] ppid=25127 vsize=915464 CPUtime=0.15
/proc/25129/task/25135/stat : 25135 (java) S 25127 25129 24229 0 -1 64 350 0 0 0 14 1 0 0 16 0 8 0 273711300 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25136] ppid=25127 vsize=915468 CPUtime=0
/proc/25129/task/25136/stat : 25136 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273711300 937439232 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25137] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25137/stat : 25137 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273711300 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.98606 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 25137
/proc/meminfo: memFree=1284008/2055920 swapFree=4191880/4192956
[pid=25129] ppid=25127 vsize=915464 CPUtime=2.95
/proc/25129/stat : 25129 (java) R 25127 25129 24229 0 -1 0 7735 0 1 0 255 40 0 0 25 0 8 0 273711292 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741344 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25129/statm: 228866 7472 2479 14 0 215336 0
[pid=25129/tid=25131] ppid=25127 vsize=915464 CPUtime=0.03
/proc/25129/task/25131/stat : 25131 (java) S 25127 25129 24229 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273711297 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=915468 CPUtime=0
/proc/25129/task/25132/stat : 25132 (java) S 25127 25129 24229 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273711297 937439232 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25133] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25133/stat : 25133 (java) S 25127 25129 24229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273711297 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25134] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25134/stat : 25134 (java) S 25127 25129 24229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273711300 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25135] ppid=25127 vsize=915464 CPUtime=0.15
/proc/25129/task/25135/stat : 25135 (java) S 25127 25129 24229 0 -1 64 350 0 0 0 14 1 0 0 16 0 8 0 273711300 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25136] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25136/stat : 25136 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273711300 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25137] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25137/stat : 25137 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273711300 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915464
[startup+6.27359 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 25137
/proc/meminfo: memFree=1283944/2055920 swapFree=4191880/4192956
[pid=25129] ppid=25127 vsize=915464 CPUtime=6.23
/proc/25129/stat : 25129 (java) R 25127 25129 24229 0 -1 0 9083 0 1 0 533 90 0 0 25 0 8 0 273711292 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073916073 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25129/statm: 228866 8819 2532 14 0 215336 0
[pid=25129/tid=25131] ppid=25127 vsize=915464 CPUtime=0.03
/proc/25129/task/25131/stat : 25131 (java) S 25127 25129 24229 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273711297 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25132/stat : 25132 (java) S 25127 25129 24229 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273711297 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25133] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25133/stat : 25133 (java) S 25127 25129 24229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273711297 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25134] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25134/stat : 25134 (java) S 25127 25129 24229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273711300 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25135] ppid=25127 vsize=915464 CPUtime=0.21
/proc/25129/task/25135/stat : 25135 (java) S 25127 25129 24229 0 -1 64 387 0 0 0 20 1 0 0 15 0 8 0 273711300 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25136] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25136/stat : 25136 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273711300 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25137] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25137/stat : 25137 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273711300 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915464
[startup+12.7636 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 25137
/proc/meminfo: memFree=1278632/2055920 swapFree=4191880/4192956
[pid=25129] ppid=25127 vsize=915464 CPUtime=12.72
/proc/25129/stat : 25129 (java) R 25127 25129 24229 0 -1 0 9129 0 1 0 1181 91 0 0 25 0 8 0 273711292 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25129/statm: 228866 8862 2532 14 0 215336 0
[pid=25129/tid=25131] ppid=25127 vsize=915464 CPUtime=0.03
/proc/25129/task/25131/stat : 25131 (java) S 25127 25129 24229 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273711297 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25132/stat : 25132 (java) S 25127 25129 24229 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273711297 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25133] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25133/stat : 25133 (java) S 25127 25129 24229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273711297 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25134] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25134/stat : 25134 (java) S 25127 25129 24229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273711300 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25135] ppid=25127 vsize=915464 CPUtime=0.24
/proc/25129/task/25135/stat : 25135 (java) S 25127 25129 24229 0 -1 64 407 0 0 0 23 1 0 0 15 0 8 0 273711300 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25136] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25136/stat : 25136 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273711300 937435136 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25137] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25137/stat : 25137 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273711300 937435136 8862 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) 915464
[startup+25.6158 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 25137
/proc/meminfo: memFree=1278632/2055920 swapFree=4191880/4192956
[pid=25129] ppid=25127 vsize=915464 CPUtime=25.56
/proc/25129/stat : 25129 (java) R 25127 25129 24229 0 -1 0 9139 0 1 0 2465 91 0 0 25 0 8 0 273711292 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856712 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25129/statm: 228866 8871 2532 14 0 215336 0
[pid=25129/tid=25131] ppid=25127 vsize=915464 CPUtime=0.03
/proc/25129/task/25131/stat : 25131 (java) S 25127 25129 24229 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273711297 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25132/stat : 25132 (java) S 25127 25129 24229 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273711297 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25133] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25133/stat : 25133 (java) S 25127 25129 24229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273711297 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25134] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25134/stat : 25134 (java) S 25127 25129 24229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273711300 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25135] ppid=25127 vsize=915464 CPUtime=0.25
/proc/25129/task/25135/stat : 25135 (java) S 25127 25129 24229 0 -1 64 407 0 0 0 24 1 0 0 16 0 8 0 273711300 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25136] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25136/stat : 25136 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273711300 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25137] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25137/stat : 25137 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273711300 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915464
[startup+51.2419 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 25137
/proc/meminfo: memFree=1278632/2055920 swapFree=4191880/4192956
[pid=25129] ppid=25127 vsize=915464 CPUtime=51.15
/proc/25129/stat : 25129 (java) R 25127 25129 24229 0 -1 0 9145 0 1 0 5024 91 0 0 25 0 8 0 273711292 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073916475 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25129/statm: 228866 8877 2532 14 0 215336 0
[pid=25129/tid=25131] ppid=25127 vsize=915464 CPUtime=0.03
/proc/25129/task/25131/stat : 25131 (java) S 25127 25129 24229 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273711297 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25132/stat : 25132 (java) S 25127 25129 24229 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273711297 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25133] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25133/stat : 25133 (java) S 25127 25129 24229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273711297 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25134] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25134/stat : 25134 (java) S 25127 25129 24229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273711300 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25135] ppid=25127 vsize=915464 CPUtime=0.25
/proc/25129/task/25135/stat : 25135 (java) S 25127 25129 24229 0 -1 64 408 0 0 0 24 1 0 0 16 0 8 0 273711300 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25136] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25136/stat : 25136 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273711300 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25137] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25137/stat : 25137 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273711300 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 915464
[startup+102.479 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 25137
/proc/meminfo: memFree=1278568/2055920 swapFree=4191880/4192956
[pid=25129] ppid=25127 vsize=915464 CPUtime=102.33
/proc/25129/stat : 25129 (java) R 25127 25129 24229 0 -1 0 9152 0 1 0 10142 91 0 0 25 0 8 0 273711292 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849993 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25129/statm: 228866 8883 2532 14 0 215336 0
[pid=25129/tid=25131] ppid=25127 vsize=915464 CPUtime=0.03
/proc/25129/task/25131/stat : 25131 (java) S 25127 25129 24229 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273711297 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25132/stat : 25132 (java) S 25127 25129 24229 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273711297 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25133] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25133/stat : 25133 (java) S 25127 25129 24229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273711297 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25134] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25134/stat : 25134 (java) S 25127 25129 24229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273711300 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25135] ppid=25127 vsize=915464 CPUtime=0.25
/proc/25129/task/25135/stat : 25135 (java) S 25127 25129 24229 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 273711300 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25136] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25136/stat : 25136 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273711300 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25137] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25137/stat : 25137 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273711300 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 915464
[startup+162.552 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 25137
/proc/meminfo: memFree=1278504/2055920 swapFree=4191880/4192956
[pid=25129] ppid=25127 vsize=915464 CPUtime=162.34
/proc/25129/stat : 25129 (java) R 25127 25129 24229 0 -1 0 9154 0 1 0 16142 92 0 0 25 0 8 0 273711292 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751398 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/25129/task/25134/stat : 25134 (java) S 25127 25129 24229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273711300 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25135] ppid=25127 vsize=915464 CPUtime=0.25
/proc/25129/task/25135/stat : 25135 (java) S 25127 25129 24229 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 273711300 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25136] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25136/stat : 25136 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273711300 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25137] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25137/stat : 25137 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273711300 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 915464
[startup+342.617 s]
/proc/loadavg: 2.04 2.01 2.00 3/101 25137
/proc/meminfo: memFree=1278504/2055920 swapFree=4191880/4192956
[pid=25129] ppid=25127 vsize=915464 CPUtime=342.19
/proc/25129/stat : 25129 (java) R 25127 25129 24229 0 -1 0 9160 0 1 0 34127 92 0 0 25 0 8 0 273711292 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073892116 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25129/statm: 228866 8890 2532 14 0 215336 0
[pid=25129/tid=25131] ppid=25127 vsize=915464 CPUtime=0.03
/proc/25129/task/25131/stat : 25131 (java) S 25127 25129 24229 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273711297 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25132/stat : 25132 (java) S 25127 25129 24229 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273711297 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25133] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25133/stat : 25133 (java) S 25127 25129 24229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273711297 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25134] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25134/stat : 25134 (java) S 25127 25129 24229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273711300 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25135] ppid=25127 vsize=915464 CPUtime=0.25
/proc/25129/task/25135/stat : 25135 (java) S 25127 25129 24229 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 273711300 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25136] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25136/stat : 25136 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273711300 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25137] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25137/stat : 25137 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273711300 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 915464
[startup+402.633 s]
/proc/loadavg: 2.01 2.01 2.00 3/101 25137
/proc/meminfo: memFree=1278440/2055920 swapFree=4191880/4192956
[pid=25129] ppid=25127 vsize=915464 CPUtime=402.15
/proc/25129/stat : 25129 (java) R 25127 25129 24229 0 -1 0 9163 0 1 0 40123 92 0 0 25 0 8 0 273711292 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850054 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25129/statm: 228866 8893 2532 14 0 215336 0
[pid=25129/tid=25131] ppid=25127 vsize=915464 CPUtime=0.03
/proc/25129/task/25131/stat : 25131 (java) S 25127 25129 24229 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273711297 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25132/stat : 25132 (java) S 25127 25129 24229 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273711297 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25133] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25133/stat : 25133 (java) S 25127 25129 24229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273711297 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25134] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25134/stat : 25134 (java) S 25127 25129 24229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273711300 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25135] ppid=25127 vsize=915464 CPUtime=0.25
/proc/25129/task/25135/stat : 25135 (java) S 25127 25129 24229 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 273711300 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25136] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25136/stat : 25136 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273711300 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25137] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25137/stat : 25137 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273711300 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 915464
[startup+462.656 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 25137
/proc/meminfo: memFree=1278440/2055920 swapFree=4191880/4192956
[pid=25129] ppid=25127 vsize=915464 CPUtime=462.1
/proc/25129/stat : 25129 (java) R 25127 25129 24229 0 -1 0 9163 0 1 0 46117 93 0 0 25 0 8 0 273711292 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849993 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25129/statm: 228866 8893 2532 14 0 215336 0
[pid=25129/tid=25131] ppid=25127 vsize=915464 CPUtime=0.03
/proc/25129/task/25131/stat : 25131 (java) S 25127 25129 24229 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273711297 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25132/stat : 25132 (java) S 25127 25129 24229 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273711297 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25133] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25133/stat : 25133 (java) S 25127 25129 24229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273711297 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25134] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25134/stat : 25134 (java) S 25127 25129 24229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273711300 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25135] ppid=25127 vsize=915464 CPUtime=0.25
/proc/25129/task/25135/stat : 25135 (java) S 25127 25129 24229 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 273711300 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25136] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25136/stat : 25136 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273711300 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25137] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25137/stat : 25137 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273711300 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 915464
[startup+522.656 s]
/proc/loadavg: 2.06 2.01 2.00 3/101 25137
/proc/meminfo: memFree=1278504/2055920 swapFree=4191880/4192956
[pid=25129] ppid=25127 vsize=915464 CPUtime=522.03
/proc/25129/stat : 25129 (java) R 25127 25129 24229 0 -1 0 9163 0 1 0 52110 93 0 0 25 0 8 0 273711292 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850090 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25129/statm: 228866 8893 2532 14 0 215336 0
[pid=25129/tid=25131] ppid=25127 vsize=915464 CPUtime=0.03
/proc/25129/task/25131/stat : 25131 (java) S 25127 25129 24229 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273711297 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25132/stat : 25132 (java) S 25127 25129 24229 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273711297 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25133] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25133/stat : 25133 (java) S 25127 25129 24229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273711297 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25134] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25134/stat : 25134 (java) S 25127 25129 24229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273711300 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25135] ppid=25127 vsize=915464 CPUtime=0.25
/proc/25129/task/25135/stat : 25135 (java) S 25127 25129 24229 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 273711300 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25136] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25136/stat : 25136 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273711300 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25137] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25137/stat : 25137 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273711300 937435136 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 915464
[startup+582.746 s]
/proc/loadavg: 2.05 2.02 2.00 3/101 25137
/proc/meminfo: memFree=1278440/2055920 swapFree=4191880/4192956
[pid=25129] ppid=25127 vsize=915464 CPUtime=582.07
/proc/25129/stat : 25129 (java) R 25127 25129 24229 0 -1 0 9165 0 1 0 58114 93 0 0 25 0 8 0 273711292 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878869 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25129/statm: 228866 8895 2532 14 0 215336 0
[pid=25129/tid=25131] ppid=25127 vsize=915464 CPUtime=0.03
/proc/25129/task/25131/stat : 25131 (java) S 25127 25129 24229 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273711297 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25132/stat : 25132 (java) S 25127 25129 24229 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273711297 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25133] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25133/stat : 25133 (java) S 25127 25129 24229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273711297 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25134] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25134/stat : 25134 (java) S 25127 25129 24229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273711300 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25135] ppid=25127 vsize=915464 CPUtime=0.25
/proc/25129/task/25135/stat : 25135 (java) S 25127 25129 24229 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 273711300 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25136] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25136/stat : 25136 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273711300 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25137] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25137/stat : 25137 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273711300 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 915464
[startup+642.83 s]
/proc/loadavg: 2.07 2.03 2.00 3/101 25137
/proc/meminfo: memFree=1278440/2055920 swapFree=4191880/4192956
[pid=25129] ppid=25127 vsize=915464 CPUtime=642.07
/proc/25129/stat : 25129 (java) R 25127 25129 24229 0 -1 0 9165 0 1 0 64114 93 0 0 25 0 8 0 273711292 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073917378 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25129/statm: 228866 8895 2532 14 0 215336 0
[pid=25129/tid=25131] ppid=25127 vsize=915464 CPUtime=0.03
/proc/25129/task/25131/stat : 25131 (java) S 25127 25129 24229 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273711297 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25132/stat : 25132 (java) S 25127 25129 24229 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273711297 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25133] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25133/stat : 25133 (java) S 25127 25129 24229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273711297 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25134] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25134/stat : 25134 (java) S 25127 25129 24229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273711300 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25135] ppid=25127 vsize=915464 CPUtime=0.25
/proc/25129/task/25135/stat : 25135 (java) S 25127 25129 24229 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 273711300 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25136] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25136/stat : 25136 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273711300 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25137] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25137/stat : 25137 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273711300 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 915464
[startup+702.924 s]
/proc/loadavg: 2.06 2.04 2.00 3/101 25137
/proc/meminfo: memFree=1278440/2055920 swapFree=4191880/4192956
[pid=25129] ppid=25127 vsize=915464 CPUtime=702.11
/proc/25129/stat : 25129 (java) R 25127 25129 24229 0 -1 0 9165 0 1 0 70118 93 0 0 25 0 8 0 273711292 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751210 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25129/statm: 228866 8895 2532 14 0 215336 0
[pid=25129/tid=25131] ppid=25127 vsize=915464 CPUtime=0.03
/proc/25129/task/25131/stat : 25131 (java) S 25127 25129 24229 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273711297 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25132] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25132/stat : 25132 (java) S 25127 25129 24229 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273711297 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25133] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25133/stat : 25133 (java) S 25127 25129 24229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273711297 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25134] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25134/stat : 25134 (java) S 25127 25129 24229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 273711300 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25135] ppid=25127 vsize=915464 CPUtime=0.25
/proc/25129/task/25135/stat : 25135 (java) S 25127 25129 24229 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 273711300 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25136] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25136/stat : 25136 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273711300 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25129/tid=25137] ppid=25127 vsize=915464 CPUtime=0
/proc/25129/task/25137/stat : 25137 (java) S 25127 25129 24229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273711300 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 731.832
CPU time (s): 730.971
CPU user time (s): 730.025
CPU system time (s): 0.945856
CPU usage (%): 99.8823
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 730.025
system time used= 0.945856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9263
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= 16094
involuntary context switches= 31623
runsolver used 1.06784 s user time and 2.18367 s system time
The end
Begin job on node3 on Sat Jan 20 00:32:37 UTC 2007
IDJOB= 277030
IDBENCH= 6213
IDSOLVER= 68
FILE ID= node3/277030-1169253156
PBS_JOBID= 3589066
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277030-1169253156/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-277030-1169253156 -o ROOT/results/node3/solver-277030-1169253156 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277030-1169253156/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7b1ac7753e34047d49fc9d8bbfd33308
RANDOM SEED= 483268328
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.279
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.279
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: 1304576 kB
Buffers: 55764 kB
Cached: 555408 kB
SwapCached: 284 kB
Active: 195016 kB
Inactive: 481112 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1304576 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1844 kB
Writeback: 0 kB
Mapped: 84112 kB
Slab: 59980 kB
Committed_AS: 7340200 kB
PageTables: 2148 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 node3 on Sat Jan 20 00:44:48 UTC 2007