0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/275924-1169229362/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=45 nbDomainTypes=2 minDomainSize=34 maxDomainSize=35
0.43 => wckTime=0.107 cpuTime=0.08 mem=6M887
0.43
0.43 predicates being loaded...
0.44
0.44 constraints being loaded...
0.73 nbConstraints=702 nbConvertedConstraints=666 nbConvertConstraintsChecks=44031 nbExtensionStructures=2
0.73 nbSharedExtensionStructures=664 nbConflictsStructures=3 nbSharedConflictsStructures=699
0.73 nbSharedBinaryRepresentations=36 nbEvaluationManagers=1 nbSharedEvaluationManagers=35 maxDegree=36 maxArity=3
0.73 => wckTime=0.411 cpuTime=0.3 mem=9M813
0.78
0.78 solver LocalSearchSolver being built...
0.82 => wckTime=0.496 cpuTime=0.34 mem=5M728
0.83
0.83 s SATISFIABLE
0.83 o 645
0.83 c 57
0.83 o 649
0.83 c 53
0.83 o 652
0.83 c 50
0.83 o 655
0.83 c 47
0.83 o 658
0.83 c 44
0.83 o 660
0.83 c 42
0.84 o 662
0.84 c 40
0.84 o 663
0.84 c 39
0.84 o 665
0.84 c 37
0.84 o 667
0.84 c 35
0.84 o 668
0.84 c 34
0.84 o 669
0.84 c 33
0.84 o 670
0.84 c 32
0.85 o 671
0.85 c 31
0.85 o 672
0.85 c 30
0.85 o 673
0.85 c 29
0.85 o 674
0.85 c 28
0.85 o 676
0.85 c 26
0.85 o 679
0.85 c 23
0.85 o 680
0.85 c 22
0.86 o 681
0.86 c 21
0.86 o 682
0.86 c 20
0.87 o 683
0.87 c 19
0.87 o 684
0.87 c 18
0.87 o 685
0.87 c 17
0.94 o 686
0.94 c 16
0.95 o 687
0.95 c 15
0.95 o 688
0.95 c 14
1.47 o 689
1.47 c 13
7.71 o 690
7.71 c 12
7.71 o 691
7.71 c 11
7.72 o 692
7.72 c 10
7.72 o 693
7.72 c 9
10.98
10.98 search
10.98 run=0 nbConstraintChecks=48660801 nbAssignments=10000
10.98 => wckTime=10.165 cpuTime=10.05 mem=5M728
17.10 o 694
17.10 c 8
17.10 o 695
17.10 c 7
19.21
19.21 search
19.21 run=1 nbConstraintChecks=88447146 nbAssignments=20000
19.21 => wckTime=18.393 cpuTime=18.2 mem=5M728
28.40
28.40 search
28.40 run=2 nbConstraintChecks=133890456 nbAssignments=30000
28.40 => wckTime=27.58 cpuTime=27.3 mem=5M728
36.89
36.89 search
36.89 run=3 nbConstraintChecks=175474405 nbAssignments=40000
36.89 => wckTime=36.07 cpuTime=35.71 mem=5M728
46.22
46.22 search
46.22 run=4 nbConstraintChecks=221561942 nbAssignments=50000
46.22 => wckTime=45.4 cpuTime=44.96 mem=5M728
47.39
47.39 search
47.39 run=5 nbConstraintChecks=227143720 nbAssignments=51139
47.39 => wckTime=46.574 cpuTime=46.12 mem=5M728
47.39
47.39 global
47.39 nbConstraintChecks=227143720 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.39 solvingWckTime=46.573 solvingCpuTime=46.12 expiredTime=no totalExploration=no nbFoundSolutions=0
47.39 globalCpuTime=46.51
47.39 => wckTime=47.071 cpuTime=46.46 mem=5M728
47.39
47.39 solver IterativeSystematicSolver being built...
47.54 => wckTime=47.218 cpuTime=46.57 mem=16M708
49.80
49.81 preprocessing
49.81 nbConstraintChecks=7226827 nbValidityChecks=301001 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
49.81 nbRemovedValues=13 detectedInconsistency=no
49.81 => wckTime=2.263 cpuTime=2.21 mem=16M708
53.30
53.30 search
53.31 run=0 nbConstraintChecks=12382025 nbValidityChecks=572594 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
53.31 nbAssignments=91 nbFailedAssignments=68 nbBacktracks=10 nbVisitedNodes=170 nbRestartNogoods=0
53.31 => wckTime=5.763 cpuTime=5.67 mem=16M708
59.15
59.15 search
59.15 run=1 nbConstraintChecks=33295972 nbValidityChecks=1506927 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
59.15 nbAssignments=254 nbFailedAssignments=201 nbBacktracks=25 nbVisitedNodes=481 nbRestartNogoods=20
59.15 => wckTime=11.614 cpuTime=11.46 mem=16M708
71.18
71.18 search
71.18 run=2 nbConstraintChecks=70594840 nbValidityChecks=3549571 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
71.18 nbAssignments=588 nbFailedAssignments=505 nbBacktracks=47 nbVisitedNodes=1141 nbRestartNogoods=36
71.18 => wckTime=23.638 cpuTime=23.38 mem=16M708
74.06
74.06 search
74.06 run=3 nbConstraintChecks=80461595 nbValidityChecks=4099471 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
74.06 nbAssignments=679 nbFailedAssignments=550 nbBacktracks=80 nbVisitedNodes=1310 nbRestartNogoods=59
74.06 => wckTime=26.524 cpuTime=26.24 mem=16M708
78.12
78.12 search
78.12 run=4 nbConstraintChecks=94941020 nbValidityChecks=4729074 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
78.12 nbAssignments=816 nbFailedAssignments=620 nbBacktracks=130 nbVisitedNodes=1567 nbRestartNogoods=104
78.12 => wckTime=30.58 cpuTime=30.26 mem=16M708
91.67
91.67 search
91.67 run=5 nbConstraintChecks=141560803 nbValidityChecks=6919512 nbPropagations=0 nbRevisions=0
91.67 nbUselessRevisions=0 nbAssignments=1246 nbFailedAssignments=965 nbBacktracks=205 nbVisitedNodes=2417
91.67 nbRestartNogoods=142
91.67 => wckTime=44.134 cpuTime=43.68 mem=16M708
110.51
110.51 search
110.51 run=6 nbConstraintChecks=198200470 nbValidityChecks=10499670 nbPropagations=0 nbRevisions=0
110.51 nbUselessRevisions=0 nbAssignments=2294 nbFailedAssignments=1890 nbBacktracks=318 nbVisitedNodes=4501
110.51 nbRestartNogoods=155
110.51 => wckTime=62.967 cpuTime=62.32 mem=16M708
162.47
162.47 search
162.47 run=7 nbConstraintChecks=363402319 nbValidityChecks=19419958 nbPropagations=0 nbRevisions=0
162.47 nbUselessRevisions=0 nbAssignments=3915 nbFailedAssignments=3335 nbBacktracks=488 nbVisitedNodes=7723
162.47 nbRestartNogoods=234
162.47 => wckTime=114.929 cpuTime=113.8 mem=16M708
182.41
182.41 search
182.41 run=8 nbConstraintChecks=422324013 nbValidityChecks=23417530 nbPropagations=0 nbRevisions=0
182.41 nbUselessRevisions=0 nbAssignments=4830 nbFailedAssignments=3987 nbBacktracks=744 nbVisitedNodes=9545
182.41 nbRestartNogoods=267
182.41 => wckTime=134.872 cpuTime=133.56 mem=16M708
288.01
288.01 search
288.01 run=9 nbConstraintChecks=771624411 nbValidityChecks=44476507 nbPropagations=0 nbRevisions=0
288.01 nbUselessRevisions=0 nbAssignments=8767 nbFailedAssignments=7532 nbBacktracks=1128 nbVisitedNodes=17411
288.01 nbRestartNogoods=312
288.01 => wckTime=240.472 cpuTime=238.19 mem=16M708
341.30
341.30 search
341.30 run=10 nbConstraintChecks=932953208 nbValidityChecks=53967665 nbPropagations=0 nbRevisions=0
341.30 nbUselessRevisions=0 nbAssignments=10732 nbFailedAssignments=8913 nbBacktracks=1704 nbVisitedNodes=21333
341.30 nbRestartNogoods=353
341.30 => wckTime=293.756 cpuTime=290.83 mem=16M708
409.75
409.75 search
409.75 run=11 nbConstraintChecks=1136895492 nbValidityChecks=65897301 nbPropagations=0 nbRevisions=0
409.75 nbUselessRevisions=0 nbAssignments=15026 nbFailedAssignments=12334 nbBacktracks=2568 nbVisitedNodes=29852
409.75 nbRestartNogoods=427
409.75 => wckTime=362.213 cpuTime=358.59 mem=16M708
460.00
460.00 search
460.00 run=12 nbConstraintChecks=1283120617 nbValidityChecks=74330859 nbPropagations=0 nbRevisions=0
460.00 nbUselessRevisions=0 nbAssignments=18693 nbFailedAssignments=14699 nbBacktracks=3865 nbVisitedNodes=36861
460.00 nbRestartNogoods=489
460.00 => wckTime=412.458 cpuTime=408.37 mem=16M708
560.25
560.25 search
560.25 run=13 nbConstraintChecks=1551549414 nbValidityChecks=97525005 nbPropagations=0 nbRevisions=0
560.25 nbUselessRevisions=0 nbAssignments=28306 nbFailedAssignments=22357 nbBacktracks=5811 nbVisitedNodes=55878
560.25 nbRestartNogoods=524
560.25 => wckTime=512.711 cpuTime=507.7 mem=17M683
750.98
750.98 search
750.98 run=14 nbConstraintChecks=2139534384 nbValidityChecks=137402600 nbPropagations=0 nbRevisions=0
750.98 nbUselessRevisions=0 nbAssignments=40867 nbFailedAssignments=31991 nbBacktracks=8730 nbVisitedNodes=80937
750.98 nbRestartNogoods=596
750.98 => wckTime=703.442 cpuTime=696.68 mem=17M683
944.67
944.67 search
944.67 run=15 nbConstraintChecks=2684475701 nbValidityChecks=184484369 nbPropagations=0 nbRevisions=0
944.67 nbUselessRevisions=0 nbAssignments=61881 nbFailedAssignments=48617 nbBacktracks=13108 nbVisitedNodes=122730
944.67 nbRestartNogoods=669
944.67 => wckTime=897.131 cpuTime=888.6 mem=17M683
1345.90
1345.90 search
1345.90 run=16 nbConstraintChecks=3760301246 nbValidityChecks=274887297 nbPropagations=0 nbRevisions=0
1345.90 nbUselessRevisions=0 nbAssignments=89803 nbFailedAssignments=69963 nbBacktracks=19676 nbVisitedNodes=178559
1345.90 nbRestartNogoods=721
1345.90 => wckTime=1298.357 cpuTime=1286.13 mem=17M683
1787.19
1787.19 search
1787.19 run=17 nbConstraintChecks=5077297104 nbValidityChecks=366742541 nbPropagations=0 nbRevisions=0
1787.19 nbUselessRevisions=0 nbAssignments=123625 nbFailedAssignments=93921 nbBacktracks=29528 nbVisitedNodes=245707
1787.19 nbRestartNogoods=786
1787.19 => wckTime=1739.651 cpuTime=1723.37 mem=17M683
2174.86
2174.86 search
2174.86 run=18 nbConstraintChecks=6209837800 nbValidityChecks=452118416 nbPropagations=0 nbRevisions=0
2174.86 nbUselessRevisions=0 nbAssignments=165985 nbFailedAssignments=121495 nbBacktracks=44306 nbVisitedNodes=328540
2174.86 nbRestartNogoods=864
2174.86 => wckTime=2127.318 cpuTime=2107.47 mem=17M683
2420.97 v 1 4 14 16 25 28 32 33 34 3 13 15 24 27 31 32 33 10 12 21 24 28 29 30 2 11 14 18 19 20 9 12 16 17 18 3 7 8 9 4 5 6 34 2 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node50/watcher-275924-1169229362 -o ROOT/results/node50/solver-275924-1169229362 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275924-1169229362/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.98 2.00 1.92 2/81 3486
/proc/meminfo: memFree=1398712/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=18540 CPUtime=0
/proc/3485/stat : 3485 (runsolver) R 3483 3485 3043 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271334747 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3485/statm: 4635 279 244 17 0 2626 0
[startup+0.102403 s]
/proc/loadavg: 1.98 2.00 1.92 2/81 3486
/proc/meminfo: memFree=1398712/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=913068 CPUtime=0.08
/proc/3485/stat : 3485 (java) S 3483 3485 3043 0 -1 0 2887 0 1 0 7 1 0 0 19 0 8 0 271334747 934981632 2633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228267 2633 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.514471 s]
/proc/loadavg: 1.98 2.00 1.92 2/81 3486
/proc/meminfo: memFree=1398712/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915332 CPUtime=0.49
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 6340 0 1 0 45 4 0 0 18 0 8 0 271334747 937299968 6079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228833 6079 2150 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.3396 s]
/proc/loadavg: 1.98 2.00 1.92 3/88 3493
/proc/meminfo: memFree=1379264/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=1.3
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 7543 0 1 0 120 10 0 0 25 0 8 0 271334747 937406464 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073705605 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228859 7281 2499 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.16
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 354 0 0 0 16 0 0 0 16 0 8 0 271334755 937406464 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915436
[startup+2.97688 s]
/proc/loadavg: 1.98 2.00 1.92 3/88 3493
/proc/meminfo: memFree=1379264/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=2.93
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 7548 0 1 0 276 17 0 0 25 0 8 0 271334747 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073781406 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228859 7285 2499 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.17
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 358 0 0 0 17 0 0 0 16 0 8 0 271334755 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915436
[startup+6.27343 s]
/proc/loadavg: 1.98 2.00 1.92 3/88 3493
/proc/meminfo: memFree=1379136/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=6.2
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 7548 0 1 0 590 30 0 0 25 0 8 0 271334747 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783862 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228859 7285 2499 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.17
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 358 0 0 0 17 0 0 0 16 0 8 0 271334755 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915436
[startup+12.7475 s]
/proc/loadavg: 1.98 2.00 1.92 3/88 3493
/proc/meminfo: memFree=1379136/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=12.61
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 7550 0 1 0 1204 57 0 0 25 0 8 0 271334747 937406464 7287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786509 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228859 7287 2499 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 7287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 7287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 7287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 7287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.17
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 360 0 0 0 17 0 0 0 16 0 8 0 271334755 937406464 7287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 7287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 7287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915436
[startup+25.5987 s]
/proc/loadavg: 1.99 2.00 1.92 3/88 3493
/proc/meminfo: memFree=1379264/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=25.34
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 7551 0 1 0 2417 117 0 0 25 0 8 0 271334747 937406464 7288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073705447 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228859 7288 2499 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 7288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 7288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 7288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 7288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.17
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 361 0 0 0 17 0 0 0 17 0 8 0 271334755 937406464 7288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 7288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) R 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 7288 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915436
[startup+51.201 s]
/proc/loadavg: 1.99 2.00 1.92 3/88 3493
/proc/meminfo: memFree=1372864/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=50.7
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 9204 0 1 0 4855 215 0 0 25 0 8 0 271334747 937406464 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073697779 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228859 8938 2548 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.24
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 399 0 0 0 24 0 0 0 15 0 8 0 271334755 937406464 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 8938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915436
[startup+102.41 s]
/proc/loadavg: 2.07 2.01 1.93 3/88 3493
/proc/meminfo: memFree=1372800/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=101.44
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 9253 0 1 0 9928 216 0 0 25 0 8 0 271334747 937406464 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228859 8978 2551 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 210 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.28
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 422 0 0 0 27 1 0 0 15 0 8 0 271334755 937406464 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 8978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915436
[startup+162.446 s]
/proc/loadavg: 2.02 2.01 1.93 3/88 3493
/proc/meminfo: memFree=1372736/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=160.92
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 9260 0 1 0 15876 216 0 0 25 0 8 0 271334747 937406464 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2005.85
Current children cumulated vsize (KiB) 915436
[startup+2084.78 s]
/proc/loadavg: 2.10 2.03 1.97 3/88 3693
/proc/meminfo: memFree=1372288/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=2065.38
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 9302 0 1 0 206317 221 0 0 25 0 8 0 271334747 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073938554 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228859 9022 2551 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 210 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.29
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 429 0 0 0 28 1 0 0 16 0 8 0 271334755 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2065.38
Current children cumulated vsize (KiB) 915436
[startup+2144.86 s]
/proc/loadavg: 2.03 2.02 1.97 3/88 3693
/proc/meminfo: memFree=1372224/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=2124.91
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 9302 0 1 0 212270 221 0 0 25 0 8 0 271334747 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228859 9022 2551 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 210 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.29
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 429 0 0 0 28 1 0 0 16 0 8 0 271334755 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2124.91
Current children cumulated vsize (KiB) 915436
[startup+2204.94 s]
/proc/loadavg: 2.01 2.02 1.97 3/88 3693
/proc/meminfo: memFree=1372224/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=2184.45
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 9305 0 1 0 218223 222 0 0 25 0 8 0 271334747 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073700711 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3485/statm: 228859 9025 2551 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 210 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.29
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 429 0 0 0 28 1 0 0 16 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2184.45
Current children cumulated vsize (KiB) 915436
[startup+2265 s]
/proc/loadavg: 2.00 2.01 1.97 3/87 3753
/proc/meminfo: memFree=1387536/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=2244.21
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 9305 0 1 0 224198 223 0 0 25 0 8 0 271334747 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073938554 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3485/statm: 228859 9025 2551 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.02
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 210 0 0 0 2 0 0 0 16 0 8 0 271334751 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.29
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 429 0 0 0 28 1 0 0 16 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2244.21
Current children cumulated vsize (KiB) 915436
[startup+2325.04 s]
/proc/loadavg: 2.00 2.00 1.97 3/87 3753
/proc/meminfo: memFree=1387408/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=2304.2
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 9305 0 1 0 230197 223 0 0 25 0 8 0 271334747 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073902321 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3485/statm: 228859 9025 2551 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.03
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 210 0 0 0 3 0 0 0 16 0 8 0 271334751 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.29
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 429 0 0 0 28 1 0 0 16 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2304.2
Current children cumulated vsize (KiB) 915436
[startup+2385.08 s]
/proc/loadavg: 2.00 2.00 1.97 3/87 3753
/proc/meminfo: memFree=1387408/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=2364.18
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 9305 0 1 0 236195 223 0 0 25 0 8 0 271334747 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073961109 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3485/statm: 228859 9025 2551 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.03
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 210 0 0 0 3 0 0 0 16 0 8 0 271334751 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.29
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 429 0 0 0 28 1 0 0 16 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2364.18
Current children cumulated vsize (KiB) 915436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2420.96 s]
/proc/loadavg: 2.08 2.02 1.97 3/87 3753
/proc/meminfo: memFree=1387408/2055920 swapFree=4191892/4192956
[pid=3485] ppid=3483 vsize=915436 CPUtime=2400.03
/proc/3485/stat : 3485 (java) R 3483 3485 3043 0 -1 0 9305 0 1 0 239780 223 0 0 25 0 8 0 271334747 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073700811 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3485/statm: 228859 9025 2551 14 0 215329 0
[pid=3485/tid=3487] ppid=3483 vsize=915436 CPUtime=0.03
/proc/3485/task/3487/stat : 3487 (java) S 3483 3485 3043 0 -1 64 210 0 0 0 3 0 0 0 16 0 8 0 271334751 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3488] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3488/stat : 3488 (java) S 3483 3485 3043 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271334752 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3489] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3489/stat : 3489 (java) S 3483 3485 3043 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271334752 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3490] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3490/stat : 3490 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3491] ppid=3483 vsize=915436 CPUtime=0.29
/proc/3485/task/3491/stat : 3491 (java) S 3483 3485 3043 0 -1 64 429 0 0 0 28 1 0 0 16 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3492] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3492/stat : 3492 (java) S 3483 3485 3043 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3485/tid=3493] ppid=3483 vsize=915436 CPUtime=0
/proc/3485/task/3493/stat : 3493 (java) S 3483 3485 3043 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271334755 937406464 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2421
CPU time (s): 2400.08
CPU user time (s): 2397.84
CPU system time (s): 2.23966
CPU usage (%): 99.1356
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.84
system time used= 2.23966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9332
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= 50323
involuntary context switches= 119221
runsolver used 3.10453 s user time and 7.56285 s system time
The end
Begin job on node50 on Fri Jan 19 17:56:02 UTC 2007
IDJOB= 275924
IDBENCH= 5170
IDSOLVER= 68
FILE ID= node50/275924-1169229362
PBS_JOBID= 3589251
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-34-9-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275924-1169229362/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-275924-1169229362 -o ROOT/results/node50/solver-275924-1169229362 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275924-1169229362/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7302e3529255c5622666d6e0c9c49944
RANDOM SEED= 844460971
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.263
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 : 5931.00
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.263
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: 1399192 kB
Buffers: 45844 kB
Cached: 468708 kB
SwapCached: 276 kB
Active: 185052 kB
Inactive: 394468 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1399192 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1816 kB
Writeback: 0 kB
Mapped: 81804 kB
Slab: 62404 kB
Committed_AS: 5370468 kB
PageTables: 2008 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node50 on Fri Jan 19 18:36:23 UTC 2007