0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/215666-1168078657/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.46 nbVariables=464 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.47 => wckTime=0.145 cpuTime=0.11 mem=7M50
0.47
0.47 predicates being loaded...
0.52
0.52 constraints being loaded...
0.99 nbConstraints=555 nbMergedConstraints=514 nbConvertedConstraints=168 nbConvertConstraintsChecks=524
0.99 nbExtensionStructures=1 nbSharedExtensionStructures=167 nbConflictsStructures=5 nbSharedConflictsStructures=540
0.99 nbUnbuiltConflictsStructures=9 nbSharedBinaryRepresentations=2 nbEvaluationManagers=13
0.99 nbSharedEvaluationManagers=374 maxDegree=30 maxArity=128
0.99 => wckTime=0.672 cpuTime=0.49 mem=10M150
1.03
1.04 solver IterativeSystematicSolver being built...
1.26 => wckTime=0.943 cpuTime=0.68 mem=22M17
1.28
1.28 preprocessing
1.28 nbConstraintChecks=0 nbPropagations=464 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.28 detectedInconsistency=no
1.28 => wckTime=0.015 cpuTime=0.01 mem=22M17
2.88
2.88 search
2.88 run=0 nbConstraintChecks=501072 nbValidityChecks=22064 nbPropagations=810 nbRevisions=12795
2.88 nbUselessRevisions=12456 nbAssignments=78 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=97
2.88 nbRestartNogoods=0 mapSize=6 nbInferences=0 nbTooLargeKeys=0
2.88 => wckTime=1.617 cpuTime=1.55 mem=23M12
5.60
5.60 search
5.60 run=1 nbConstraintChecks=1384304 nbValidityChecks=50189 nbPropagations=2110 nbRevisions=41067
5.60 nbUselessRevisions=39812 nbAssignments=172 nbFailedAssignments=29 nbBacktracks=32 nbVisitedNodes=216
5.60 nbRestartNogoods=12 mapSize=19 nbInferences=0 nbTooLargeKeys=0
5.60 => wckTime=4.334 cpuTime=4.24 mem=23M12
6.98
6.98 search
6.98 run=2 nbConstraintChecks=1824161 nbValidityChecks=76889 nbPropagations=3857 nbRevisions=84015
6.98 nbUselessRevisions=81374 nbAssignments=259 nbFailedAssignments=42 nbBacktracks=54 nbVisitedNodes=324
6.98 nbRestartNogoods=24 mapSize=30 nbInferences=0 nbTooLargeKeys=0
6.98 => wckTime=5.717 cpuTime=5.61 mem=23M12
8.90
8.90 search
8.90 run=3 nbConstraintChecks=2431911 nbValidityChecks=110369 nbPropagations=6303 nbRevisions=145960
8.90 nbUselessRevisions=141096 nbAssignments=371 nbFailedAssignments=59 nbBacktracks=93 nbVisitedNodes=469
8.90 nbRestartNogoods=34 mapSize=51 nbInferences=0 nbTooLargeKeys=0
8.90 => wckTime=7.639 cpuTime=7.51 mem=23M12
9.87
9.87 search
9.87 run=4 nbConstraintChecks=2732788 nbValidityChecks=145886 nbPropagations=9336 nbRevisions=227803
9.87 nbUselessRevisions=220039 nbAssignments=491 nbFailedAssignments=77 nbBacktracks=147 nbVisitedNodes=625
9.87 nbRestartNogoods=46 mapSize=79 nbInferences=0 nbTooLargeKeys=0
9.87 => wckTime=8.607 cpuTime=8.47 mem=23M12
11.28
11.28 search
11.28 run=5 nbConstraintChecks=3183631 nbValidityChecks=186810 nbPropagations=13325 nbRevisions=332864
11.28 nbUselessRevisions=321206 nbAssignments=644 nbFailedAssignments=104 nbBacktracks=227 nbVisitedNodes=830
11.28 nbRestartNogoods=54 mapSize=121 nbInferences=0 nbTooLargeKeys=0
11.28 => wckTime=10.016 cpuTime=9.86 mem=23M12
13.29
13.29 search
13.29 run=6 nbConstraintChecks=3817902 nbValidityChecks=240616 nbPropagations=18639 nbRevisions=469245
13.29 nbUselessRevisions=452290 nbAssignments=864 nbFailedAssignments=140 nbBacktracks=340 nbVisitedNodes=1111
13.29 nbRestartNogoods=64 mapSize=170 nbInferences=0 nbTooLargeKeys=0
13.29 => wckTime=12.023 cpuTime=11.85 mem=23M12
15.76
15.76 search
15.76 run=7 nbConstraintChecks=4501361 nbValidityChecks=328329 nbPropagations=25705 nbRevisions=656614
15.76 nbUselessRevisions=632359 nbAssignments=1140 nbFailedAssignments=198 nbBacktracks=513 nbVisitedNodes=1496
15.76 nbRestartNogoods=76 mapSize=268 nbInferences=0 nbTooLargeKeys=0
15.76 => wckTime=14.497 cpuTime=14.3 mem=23M12
21.12
21.12 search
21.12 run=8 nbConstraintChecks=5905300 nbValidityChecks=439278 nbPropagations=35179 nbRevisions=909104
21.12 nbUselessRevisions=873382 nbAssignments=1513 nbFailedAssignments=273 nbBacktracks=783 nbVisitedNodes=2018
21.12 nbRestartNogoods=87 mapSize=412 nbInferences=0 nbTooLargeKeys=0
21.12 => wckTime=19.858 cpuTime=19.59 mem=24M6
25.14
25.14 search
25.14 run=9 nbConstraintChecks=7146729 nbValidityChecks=547121 nbPropagations=47397 nbRevisions=1224688
25.15 nbUselessRevisions=1174109 nbAssignments=2066 nbFailedAssignments=362 nbBacktracks=1168 nbVisitedNodes=2738
25.15 nbRestartNogoods=92 mapSize=560 nbInferences=0 nbTooLargeKeys=0
25.15 => wckTime=23.879 cpuTime=23.57 mem=24M6
30.74
30.74 search
30.74 run=10 nbConstraintChecks=8890337 nbValidityChecks=718448 nbPropagations=63730 nbRevisions=1640511
30.74 nbUselessRevisions=1569868 nbAssignments=2872 nbFailedAssignments=500 nbBacktracks=1774 nbVisitedNodes=3804
30.74 nbRestartNogoods=111 mapSize=807 nbInferences=0 nbTooLargeKeys=0
30.74 => wckTime=29.473 cpuTime=29.1 mem=24M6
33.24
33.24 INFO : Stopping hyperNogood (mapSize=1015, nbTooLargekeys=0, mem=25M1)
34.68
34.68 search
34.68 run=11 nbConstraintChecks=9959983 nbValidityChecks=944850 nbPropagations=85931 nbRevisions=2189041
34.68 nbUselessRevisions=2091049 nbAssignments=3968 nbFailedAssignments=685 nbBacktracks=2639 nbVisitedNodes=5262
34.68 nbRestartNogoods=124
34.68 => wckTime=33.418 cpuTime=33.01 mem=25M1
40.02
40.02 search
40.02 run=12 nbConstraintChecks=11535663 nbValidityChecks=1298712 nbPropagations=116432 nbRevisions=2944229
40.02 nbUselessRevisions=2808181 nbAssignments=5571 nbFailedAssignments=929 nbBacktracks=3936 nbVisitedNodes=7392
40.02 nbRestartNogoods=134
40.02 => wckTime=38.757 cpuTime=38.3 mem=25M1
49.75
49.75 search
49.75 run=13 nbConstraintChecks=14269448 nbValidityChecks=1822898 nbPropagations=160780 nbRevisions=4008113
49.75 nbUselessRevisions=3816305 nbAssignments=8072 nbFailedAssignments=1341 nbBacktracks=5897 nbVisitedNodes=10739
49.75 nbRestartNogoods=149
49.75 => wckTime=48.48 cpuTime=47.94 mem=25M1
68.78
68.78 search
68.78 run=14 nbConstraintChecks=19195560 nbValidityChecks=2538609 nbPropagations=224054 nbRevisions=5494011
68.78 nbUselessRevisions=5220776 nbAssignments=11613 nbFailedAssignments=1892 nbBacktracks=8816 nbVisitedNodes=15406
68.78 nbRestartNogoods=171
68.78 => wckTime=67.518 cpuTime=66.79 mem=25M1
152.13
152.13 search
152.13 run=15 nbConstraintChecks=34830170 nbValidityChecks=3962747 nbPropagations=319926 nbRevisions=7816038
152.13 nbUselessRevisions=7414572 nbAssignments=16976 nbFailedAssignments=2838 nbBacktracks=13202 nbVisitedNodes=22635
152.13 nbRestartNogoods=190
152.13 => wckTime=150.861 cpuTime=149.6 mem=25M1
216.72
216.72 search
216.72 run=16 nbConstraintChecks=51562390 nbValidityChecks=6207606 nbPropagations=466309 nbRevisions=11452806
216.72 nbUselessRevisions=10855700 nbAssignments=25154 nbFailedAssignments=4409 nbBacktracks=19783
216.72 nbVisitedNodes=33910 nbRestartNogoods=198
216.72 => wckTime=215.45 cpuTime=213.88 mem=25M1
282.88
282.88 search
282.88 run=17 nbConstraintChecks=72866911 nbValidityChecks=7674820 nbPropagations=651613 nbRevisions=15952980
282.88 nbUselessRevisions=15115453 nbAssignments=36130 nbFailedAssignments=5395 nbBacktracks=29671
282.88 nbVisitedNodes=47035 nbRestartNogoods=206
282.88 => wckTime=281.612 cpuTime=279.74 mem=25M1
382.70
382.70 search
382.70 run=18 nbConstraintChecks=94530955 nbValidityChecks=9801511 nbPropagations=896777 nbRevisions=21712621
382.70 nbUselessRevisions=20565211 nbAssignments=51718 nbFailedAssignments=6923 nbBacktracks=43267
382.70 nbVisitedNodes=65954 nbRestartNogoods=225
382.70 => wckTime=381.438 cpuTime=379.09 mem=25M1
382.70
382.70 global
382.70 nbConstraintChecks=94530955 nbValidityChecks=9801511 nbPropagations=897241 nbRevisions=21712621
382.70 nbUselessRevisions=20565211 nbRestartNogoods=225 solvingWckTime=381.439 solvingCpuTime=379.1 expiredTime=no
382.70 totalExploration=no nbFoundSolutions=1 globalCpuTime=379.83
382.70 => wckTime=382.384 cpuTime=379.78 mem=25M1
382.71
382.71 s SATISFIABLE
382.71 v 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 1 0 0 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 1 1 0 0 0 1 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 0
382.71 d NODES 51718
382.71 d CHECKS 94530955
382.71
382.71 totalWckTime=382.468 totalCpuTime=379.83
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-215666-1168078657 -o ROOT/results/node14/solver-215666-1168078657 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215666-1168078657/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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.91 1.95 1.97 4/93 26081
/proc/meminfo: memFree=1350312/2055920 swapFree=4182236/4192956
[pid=26080] ppid=26078 vsize=11820 CPUtime=0
/proc/26080/stat : 26080 (java) D 26078 26080 25731 0 -1 0 760 0 1 0 0 0 0 0 16 0 1 0 156260675 12103680 510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 6927140 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/26080/statm: 2967 515 425 14 0 1602 0
[startup+0.103077 s]
/proc/loadavg: 1.91 1.95 1.97 4/93 26081
/proc/meminfo: memFree=1350312/2055920 swapFree=4182236/4192956
[pid=26080] ppid=26078 vsize=914988 CPUtime=0.08
/proc/26080/stat : 26080 (java) R 26078 26080 25731 0 -1 0 2979 0 1 0 7 1 0 0 19 0 8 0 156260675 936947712 2725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072916835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26080/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511116 s]
/proc/loadavg: 1.91 1.95 1.97 4/93 26081
/proc/meminfo: memFree=1350312/2055920 swapFree=4182236/4192956
[pid=26080] ppid=26078 vsize=915328 CPUtime=0.48
/proc/26080/stat : 26080 (java) R 26078 26080 25731 0 -1 0 6764 0 1 0 44 4 0 0 18 0 8 0 156260675 937295872 6503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155090805 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26080/statm: 228832 6503 2139 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33519 s]
/proc/loadavg: 1.91 1.95 1.97 3/100 26088
/proc/meminfo: memFree=1289200/2055920 swapFree=4182236/4192956
[pid=26080] ppid=26078 vsize=915528 CPUtime=1.3
/proc/26080/stat : 26080 (java) R 26078 26080 25731 0 -1 0 18056 0 1 0 117 13 0 0 24 0 8 0 156260675 937500672 17793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073762791 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26080/statm: 228882 17793 2534 14 0 215352 0
[pid=26080/tid=26082] ppid=26078 vsize=915528 CPUtime=0.04
/proc/26080/task/26082/stat : 26082 (java) S 26078 26080 25731 0 -1 64 1006 0 0 0 4 0 0 0 16 0 8 0 156260679 937500672 17793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26083] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26083/stat : 26083 (java) S 26078 26080 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26084] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26084/stat : 26084 (java) S 26078 26080 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26085] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26085/stat : 26085 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156260683 937500672 17793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26086] ppid=26078 vsize=915528 CPUtime=0.26
/proc/26080/task/26086/stat : 26086 (java) S 26078 26080 25731 0 -1 64 417 0 0 0 25 1 0 0 15 0 8 0 156260683 937500672 17793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26087] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26087/stat : 26087 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156260683 937500672 17793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26088] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26088/stat : 26088 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156260683 937500672 17793 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) 915528
[startup+2.98735 s]
/proc/loadavg: 1.91 1.95 1.97 3/100 26088
/proc/meminfo: memFree=1288880/2055920 swapFree=4182236/4192956
[pid=26080] ppid=26078 vsize=915528 CPUtime=2.93
/proc/26080/stat : 26080 (java) R 26078 26080 25731 0 -1 0 18077 0 1 0 280 13 0 0 25 0 8 0 156260675 937500672 17812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073762791 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26080/statm: 228882 17812 2538 14 0 215352 0
[pid=26080/tid=26082] ppid=26078 vsize=915528 CPUtime=0.04
/proc/26080/task/26082/stat : 26082 (java) S 26078 26080 25731 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 156260679 937500672 17812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26083] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26083/stat : 26083 (java) S 26078 26080 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26084] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26084/stat : 26084 (java) S 26078 26080 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26085] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26085/stat : 26085 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156260683 937500672 17812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26086] ppid=26078 vsize=915528 CPUtime=0.28
/proc/26080/task/26086/stat : 26086 (java) S 26078 26080 25731 0 -1 64 429 0 0 0 27 1 0 0 15 0 8 0 156260683 937500672 17812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26087] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26087/stat : 26087 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156260683 937500672 17812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26088] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26088/stat : 26088 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156260683 937500672 17812 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) 915528
[startup+6.26665 s]
/proc/loadavg: 1.92 1.95 1.97 3/100 26088
/proc/meminfo: memFree=1288816/2055920 swapFree=4182236/4192956
[pid=26080] ppid=26078 vsize=915528 CPUtime=6.18
/proc/26080/stat : 26080 (java) R 26078 26080 25731 0 -1 0 18079 0 1 0 605 13 0 0 25 0 8 0 156260675 937500672 17813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073764128 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26080/statm: 228882 17813 2538 14 0 215352 0
[pid=26080/tid=26082] ppid=26078 vsize=915528 CPUtime=0.04
/proc/26080/task/26082/stat : 26082 (java) S 26078 26080 25731 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 156260679 937500672 17813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26083] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26083/stat : 26083 (java) S 26078 26080 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26084] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26084/stat : 26084 (java) S 26078 26080 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26085] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26085/stat : 26085 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156260683 937500672 17813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26086] ppid=26078 vsize=915528 CPUtime=0.3
/proc/26080/task/26086/stat : 26086 (java) S 26078 26080 25731 0 -1 64 431 0 0 0 28 2 0 0 16 0 8 0 156260683 937500672 17813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26087] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26087/stat : 26087 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156260683 937500672 17813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26088] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26088/stat : 26088 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156260683 937500672 17813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915528
[startup+12.7573 s]
/proc/loadavg: 1.92 1.95 1.97 3/100 26088
/proc/meminfo: memFree=1288816/2055920 swapFree=4182236/4192956
[pid=26080] ppid=26078 vsize=915528 CPUtime=12.61
/proc/26080/stat : 26080 (java) R 26078 26080 25731 0 -1 0 18087 0 1 0 1248 13 0 0 25 0 8 0 156260675 937500672 17819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758178 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26080/statm: 228882 17819 2538 14 0 215352 0
[pid=26080/tid=26082] ppid=26078 vsize=915528 CPUtime=0.04
/proc/26080/task/26082/stat : 26082 (java) S 26078 26080 25731 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 156260679 937500672 17819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26083] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26083/stat : 26083 (java) S 26078 26080 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26084] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26084/stat : 26084 (java) S 26078 26080 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26085] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26085/stat : 26085 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156260683 937500672 17819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26086] ppid=26078 vsize=915528 CPUtime=0.31
/proc/26080/task/26086/stat : 26086 (java) S 26078 26080 25731 0 -1 64 437 0 0 0 29 2 0 0 16 0 8 0 156260683 937500672 17819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26087] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26087/stat : 26087 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156260683 937500672 17819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26088] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26088/stat : 26088 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156260683 937500672 17819 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) 915528
[startup+25.5985 s]
/proc/loadavg: 1.94 1.96 1.97 3/100 26088
/proc/meminfo: memFree=1288752/2055920 swapFree=4182236/4192956
[pid=26080] ppid=26078 vsize=915528 CPUtime=25.34
/proc/26080/stat : 26080 (java) R 26078 26080 25731 0 -1 0 18104 0 1 0 2520 14 0 0 25 0 8 0 156260675 937500672 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759422 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26080/statm: 228882 17831 2538 14 0 215352 0
[pid=26080/tid=26082] ppid=26078 vsize=915528 CPUtime=0.04
/proc/26080/task/26082/stat : 26082 (java) S 26078 26080 25731 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 156260679 937500672 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26083] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26083/stat : 26083 (java) S 26078 26080 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26084] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26084/stat : 26084 (java) S 26078 26080 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26085] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26085/stat : 26085 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156260683 937500672 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26086] ppid=26078 vsize=915528 CPUtime=0.33
/proc/26080/task/26086/stat : 26086 (java) S 26078 26080 25731 0 -1 64 451 0 0 0 31 2 0 0 15 0 8 0 156260683 937500672 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26087] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26087/stat : 26087 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156260683 937500672 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26088] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26088/stat : 26088 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156260683 937500672 17831 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) 915528
[startup+51.2099 s]
/proc/loadavg: 1.96 1.96 1.97 3/100 26088
/proc/meminfo: memFree=1266032/2055920 swapFree=4182236/4192956
[pid=26080] ppid=26078 vsize=915528 CPUtime=50.72
/proc/26080/stat : 26080 (java) R 26078 26080 25731 0 -1 0 18111 0 1 0 5058 14 0 0 25 0 8 0 156260675 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26080/statm: 228882 17834 2538 14 0 215352 0
[pid=26080/tid=26082] ppid=26078 vsize=915528 CPUtime=0.04
/proc/26080/task/26082/stat : 26082 (java) S 26078 26080 25731 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 156260679 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26083] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26083/stat : 26083 (java) S 26078 26080 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26084] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26084/stat : 26084 (java) S 26078 26080 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26085] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26085/stat : 26085 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26086] ppid=26078 vsize=915528 CPUtime=0.34
/proc/26080/task/26086/stat : 26086 (java) S 26078 26080 25731 0 -1 64 454 0 0 0 32 2 0 0 16 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26087] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26087/stat : 26087 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26088] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26088/stat : 26088 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915528
[startup+102.431 s]
/proc/loadavg: 1.98 1.96 1.97 3/100 26090
/proc/meminfo: memFree=1265776/2055920 swapFree=4182236/4192956
[pid=26080] ppid=26078 vsize=915528 CPUtime=101.46
/proc/26080/stat : 26080 (java) R 26078 26080 25731 0 -1 0 18111 0 1 0 10132 14 0 0 25 0 8 0 156260675 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760727 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26080/statm: 228882 17834 2538 14 0 215352 0
[pid=26080/tid=26082] ppid=26078 vsize=915528 CPUtime=0.04
/proc/26080/task/26082/stat : 26082 (java) S 26078 26080 25731 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 156260679 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26083] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26083/stat : 26083 (java) S 26078 26080 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26084] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26084/stat : 26084 (java) S 26078 26080 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26085] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26085/stat : 26085 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26086] ppid=26078 vsize=915528 CPUtime=0.34
/proc/26080/task/26086/stat : 26086 (java) S 26078 26080 25731 0 -1 64 454 0 0 0 32 2 0 0 17 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26087] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26087/stat : 26087 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26088] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26088/stat : 26088 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915528
[startup+162.433 s]
/proc/loadavg: 1.99 1.97 1.97 3/100 26090
/proc/meminfo: memFree=1265840/2055920 swapFree=4182236/4192956
[pid=26080] ppid=26078 vsize=915528 CPUtime=161.19
/proc/26080/stat : 26080 (java) R 26078 26080 25731 0 -1 0 18111 0 1 0 16104 15 0 0 25 0 8 0 156260675 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760730 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26080/statm: 228882 17834 2538 14 0 215352 0
[pid=26080/tid=26082] ppid=26078 vsize=915528 CPUtime=0.04
/proc/26080/task/26082/stat : 26082 (java) S 26078 26080 25731 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 156260679 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26083] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26083/stat : 26083 (java) S 26078 26080 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26084] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26084/stat : 26084 (java) S 26078 26080 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26085] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26085/stat : 26085 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26086] ppid=26078 vsize=915528 CPUtime=0.34
/proc/26080/task/26086/stat : 26086 (java) S 26078 26080 25731 0 -1 64 454 0 0 0 32 2 0 0 17 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26087] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26087/stat : 26087 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26088] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26088/stat : 26088 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.19
Current children cumulated vsize (KiB) 915528
[startup+222.516 s]
/proc/loadavg: 2.05 1.99 1.98 3/100 26090
/proc/meminfo: memFree=1265904/2055920 swapFree=4182236/4192956
[pid=26080] ppid=26078 vsize=915528 CPUtime=220.98
/proc/26080/stat : 26080 (java) R 26078 26080 25731 0 -1 0 18111 0 1 0 22083 15 0 0 25 0 8 0 156260675 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073763523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26080/statm: 228882 17834 2538 14 0 215352 0
[pid=26080/tid=26082] ppid=26078 vsize=915528 CPUtime=0.04
/proc/26080/task/26082/stat : 26082 (java) S 26078 26080 25731 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 156260679 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26083] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26083/stat : 26083 (java) S 26078 26080 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26084] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26084/stat : 26084 (java) S 26078 26080 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26085] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26085/stat : 26085 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26086] ppid=26078 vsize=915528 CPUtime=0.34
/proc/26080/task/26086/stat : 26086 (java) S 26078 26080 25731 0 -1 64 454 0 0 0 32 2 0 0 17 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26087] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26087/stat : 26087 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26088] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26088/stat : 26088 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.98
Current children cumulated vsize (KiB) 915528
[startup+282.596 s]
/proc/loadavg: 2.02 1.99 1.98 3/100 26090
/proc/meminfo: memFree=1265840/2055920 swapFree=4182236/4192956
[pid=26080] ppid=26078 vsize=915528 CPUtime=280.79
/proc/26080/stat : 26080 (java) R 26078 26080 25731 0 -1 0 18111 0 1 0 28063 16 0 0 25 0 8 0 156260675 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26080/statm: 228882 17834 2538 14 0 215352 0
[pid=26080/tid=26082] ppid=26078 vsize=915528 CPUtime=0.04
/proc/26080/task/26082/stat : 26082 (java) S 26078 26080 25731 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 156260679 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26083] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26083/stat : 26083 (java) S 26078 26080 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26084] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26084/stat : 26084 (java) S 26078 26080 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26085] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26085/stat : 26085 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26086] ppid=26078 vsize=915528 CPUtime=0.34
/proc/26080/task/26086/stat : 26086 (java) S 26078 26080 25731 0 -1 64 454 0 0 0 32 2 0 0 17 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26087] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26087/stat : 26087 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26088] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26088/stat : 26088 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.79
Current children cumulated vsize (KiB) 915528
[startup+342.675 s]
/proc/loadavg: 2.00 1.99 1.98 3/100 26090
/proc/meminfo: memFree=1265840/2055920 swapFree=4182236/4192956
[pid=26080] ppid=26078 vsize=915528 CPUtime=340.58
/proc/26080/stat : 26080 (java) R 26078 26080 25731 0 -1 0 18111 0 1 0 34042 16 0 0 25 0 8 0 156260675 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073762791 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26080/statm: 228882 17834 2538 14 0 215352 0
[pid=26080/tid=26082] ppid=26078 vsize=915528 CPUtime=0.04
/proc/26080/task/26082/stat : 26082 (java) S 26078 26080 25731 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 156260679 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26083] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26083/stat : 26083 (java) S 26078 26080 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26084] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26084/stat : 26084 (java) S 26078 26080 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156260680 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26085] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26085/stat : 26085 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26086] ppid=26078 vsize=915528 CPUtime=0.34
/proc/26080/task/26086/stat : 26086 (java) S 26078 26080 25731 0 -1 64 454 0 0 0 32 2 0 0 17 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26087] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26087/stat : 26087 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26080/tid=26088] ppid=26078 vsize=915528 CPUtime=0
/proc/26080/task/26088/stat : 26088 (java) S 26078 26080 25731 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156260683 937500672 17834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.58
Current children cumulated vsize (KiB) 915528
Child status: 0
Real time (s): 382.739
CPU time (s): 380.455
CPU user time (s): 380.271
CPU system time (s): 0.183972
CPU usage (%): 99.4033
Max. virtual memory (cumulated for all children) (KiB): 915528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 380.271
system time used= 0.183972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18119
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= 9202
involuntary context switches= 21549
runsolver used 0.583911 s user time and 1.12283 s system time
The end
Begin job on node14 on Sat Jan 6 10:17:37 UTC 2007
IDJOB= 215666
IDBENCH= 5019
FILE ID= node14/215666-1168078657
PBS_JOBID= 3475826
Free space on /tmp= 66325 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mps/mps-neos16.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215666-1168078657/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-215666-1168078657 -o ROOT/results/node14/solver-215666-1168078657 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215666-1168078657/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 35e47a33c9b2dd33e1201c282fdf8c6b
RANDOM SEED= 480818614
TIME LIMIT= 1800 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.227
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.227
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: 1350792 kB
Buffers: 57880 kB
Cached: 388516 kB
SwapCached: 3696 kB
Active: 244664 kB
Inactive: 360412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1350792 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 1940 kB
Writeback: 0 kB
Mapped: 178184 kB
Slab: 84652 kB
Committed_AS: 5499632 kB
PageTables: 2432 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= 66325 MiB
End job on node14 on Sat Jan 6 10:24:00 UTC 2007