0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/199973-1168071753/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
1.07
1.07 constraints being loaded...
1.35 nbConstraints=75 nbRelationTypes=75 nbExtensionStructures=75 nbSharedExtensionStructures=0
1.35 nbConflictsStructures=75 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
1.35 => wckTime=1.032 cpuTime=0.89 mem=48M555
1.48
1.48 solver IterativeSystematicSolver being built...
1.64 => wckTime=1.323 cpuTime=1.03 mem=34M738
1.65
1.65 preprocessing
1.65 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.65 detectedInconsistency=no
1.65 => wckTime=0.0040 cpuTime=0.0 mem=34M738
1.77
1.77 search
1.77 run=0 nbConstraintChecks=30577 nbValidityChecks=49952 nbPropagations=300 nbRevisions=3164
1.77 nbUselessRevisions=2576 nbAssignments=26 nbFailedAssignments=9 nbBacktracks=11 nbVisitedNodes=43
1.77 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.118 cpuTime=0.1 mem=34M738
1.88
1.88 search
1.88 run=1 nbConstraintChecks=92954 nbValidityChecks=174035 nbPropagations=1236 nbRevisions=13328
1.88 nbUselessRevisions=10473 nbAssignments=86 nbFailedAssignments=48 nbBacktracks=26 nbVisitedNodes=154
1.88 nbRestartNogoods=6 mapSize=23 nbInferences=0 nbTooLargeKeys=0
1.88 => wckTime=0.229 cpuTime=0.2 mem=34M738
2.00
2.00 search
2.00 run=2 nbConstraintChecks=169154 nbValidityChecks=319668 nbPropagations=3063 nbRevisions=34157
2.00 nbUselessRevisions=26892 nbAssignments=155 nbFailedAssignments=88 nbBacktracks=49 nbVisitedNodes=282
2.00 nbRestartNogoods=12 mapSize=46 nbInferences=0 nbTooLargeKeys=0
2.00 => wckTime=0.357 cpuTime=0.32 mem=34M738
2.19
2.19 search
2.19 run=3 nbConstraintChecks=299310 nbValidityChecks=544323 nbPropagations=5832 nbRevisions=67323
2.19 nbUselessRevisions=53252 nbAssignments=233 nbFailedAssignments=127 nbBacktracks=83 nbVisitedNodes=428
2.19 nbRestartNogoods=16 mapSize=79 nbInferences=0 nbTooLargeKeys=0
2.19 => wckTime=0.544 cpuTime=0.5 mem=34M738
2.49
2.49 search
2.49 run=4 nbConstraintChecks=497141 nbValidityChecks=908361 nbPropagations=10286 nbRevisions=120869
2.49 nbUselessRevisions=95686 nbAssignments=376 nbFailedAssignments=214 nbBacktracks=134 nbVisitedNodes=690
2.49 nbRestartNogoods=19 mapSize=125 nbInferences=0 nbTooLargeKeys=0
2.49 => wckTime=0.844 cpuTime=0.79 mem=34M738
3.00
3.00 search
3.00 run=5 nbConstraintChecks=855093 nbValidityChecks=1611959 nbPropagations=17534 nbRevisions=213980
3.00 nbUselessRevisions=169815 nbAssignments=686 nbFailedAssignments=443 nbBacktracks=209 nbVisitedNodes=1281
3.00 nbRestartNogoods=26 mapSize=193 nbInferences=0 nbTooLargeKeys=0
3.00 => wckTime=1.349 cpuTime=1.28 mem=34M738
3.71
3.71 search
3.71 run=6 nbConstraintChecks=1362139 nbValidityChecks=2514742 nbPropagations=29074 nbRevisions=364973
3.71 nbUselessRevisions=290358 nbAssignments=1018 nbFailedAssignments=657 nbBacktracks=322 nbVisitedNodes=1920
3.71 nbRestartNogoods=30 mapSize=303 nbInferences=0 nbTooLargeKeys=0
3.71 => wckTime=2.06 cpuTime=1.98 mem=34M738
4.30
4.30 search
4.30 run=7 nbConstraintChecks=1767050 nbValidityChecks=3300592 nbPropagations=44948 nbRevisions=567742
4.30 nbUselessRevisions=451920 nbAssignments=1396 nbFailedAssignments=859 nbBacktracks=492 nbVisitedNodes=2600
4.30 nbRestartNogoods=32 mapSize=444 nbInferences=0 nbTooLargeKeys=0
4.30 => wckTime=2.653 cpuTime=2.57 mem=34M738
5.43
5.43 search
5.43 run=8 nbConstraintChecks=2521594 nbValidityChecks=4779896 nbPropagations=69630 nbRevisions=872848
5.43 nbUselessRevisions=693677 nbAssignments=2075 nbFailedAssignments=1276 nbBacktracks=748 nbVisitedNodes=3876
5.43 nbRestartNogoods=37 mapSize=680 nbInferences=0 nbTooLargeKeys=0
5.43 => wckTime=3.784 cpuTime=3.67 mem=34M738
7.73
7.73 search
7.73 run=9 nbConstraintChecks=4220351 nbValidityChecks=7896895 nbPropagations=106779 nbRevisions=1348447
7.73 nbUselessRevisions=1072145 nbAssignments=3264 nbFailedAssignments=2076 nbBacktracks=1132 nbVisitedNodes=6124
7.73 nbRestartNogoods=40 mapSize=1023 nbInferences=0 nbTooLargeKeys=0
7.73 => wckTime=6.078 cpuTime=5.93 mem=34M738
7.80
7.80 INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=34M738)
9.78
9.78 search
9.78 run=10 nbConstraintChecks=5652667 nbValidityChecks=10647236 nbPropagations=159671 nbRevisions=2010576
9.78 nbUselessRevisions=1598273 nbAssignments=4577 nbFailedAssignments=2807 nbBacktracks=1709 nbVisitedNodes=8530
9.78 nbRestartNogoods=46
9.78 => wckTime=8.129 cpuTime=7.96 mem=34M738
13.06
13.06 search
13.06 run=11 nbConstraintChecks=7965877 nbValidityChecks=15067164 nbPropagations=236576 nbRevisions=2958316
13.06 nbUselessRevisions=2350186 nbAssignments=6570 nbFailedAssignments=3930 nbBacktracks=2574 nbVisitedNodes=12201
13.06 nbRestartNogoods=55
13.06 => wckTime=11.416 cpuTime=11.21 mem=34M738
18.30
18.30 search
18.30 run=12 nbConstraintChecks=11657828 nbValidityChecks=22272945 nbPropagations=356579 nbRevisions=4404548
18.30 nbUselessRevisions=3492243 nbAssignments=9829 nbFailedAssignments=5887 nbBacktracks=3871 nbVisitedNodes=18306
18.30 nbRestartNogoods=64
18.30 => wckTime=16.652 cpuTime=16.39 mem=34M738
30.63
30.63 search
30.63 run=13 nbConstraintChecks=21000426 nbValidityChecks=39464824 nbPropagations=546852 nbRevisions=6796030
30.63 nbUselessRevisions=5382331 nbAssignments=16501 nbFailedAssignments=10608 nbBacktracks=5817 nbVisitedNodes=31039
30.63 nbRestartNogoods=74
30.63 => wckTime=28.98 cpuTime=28.61 mem=34M738
41.85
41.85 search
41.85 run=14 nbConstraintChecks=28889019 nbValidityChecks=54578958 nbPropagations=817810 nbRevisions=10152177
41.85 nbUselessRevisions=8032877 nbAssignments=22922 nbFailedAssignments=14104 nbBacktracks=8737 nbVisitedNodes=42808
41.85 nbRestartNogoods=84
41.85 => wckTime=40.201 cpuTime=39.74 mem=34M738
58.94
58.94 search
58.94 run=15 nbConstraintChecks=40887493 nbValidityChecks=77801160 nbPropagations=1216496 nbRevisions=15042518
58.94 nbUselessRevisions=11897923 nbAssignments=33305 nbFailedAssignments=20103 nbBacktracks=13115
58.94 nbVisitedNodes=61989 nbRestartNogoods=102
58.94 => wckTime=57.296 cpuTime=56.67 mem=34M738
86.01
86.01 search
86.01 run=16 nbConstraintChecks=59950564 nbValidityChecks=115200843 nbPropagations=1831923 nbRevisions=22489727
86.01 nbUselessRevisions=17768554 nbAssignments=49367 nbFailedAssignments=29591 nbBacktracks=19683
86.01 nbVisitedNodes=92064 nbRestartNogoods=121
86.01 => wckTime=84.361 cpuTime=83.49 mem=34M738
136.36
136.36 search
136.36 run=17 nbConstraintChecks=96191571 nbValidityChecks=186332733 nbPropagations=2795472 nbRevisions=34353463
136.36 nbUselessRevisions=27149193 nbAssignments=78102 nbFailedAssignments=48467 nbBacktracks=29536
136.36 nbVisitedNodes=146868 nbRestartNogoods=125
136.36 => wckTime=134.717 cpuTime=133.38 mem=34M738
195.58
195.58 search
195.58 run=18 nbConstraintChecks=137345783 nbValidityChecks=265603099 nbPropagations=4179988 nbRevisions=51242007
195.58 nbUselessRevisions=40499750 nbAssignments=110585 nbFailedAssignments=66167 nbBacktracks=44315
195.58 nbVisitedNodes=206494 nbRestartNogoods=145
195.58 => wckTime=193.93 cpuTime=192.04 mem=34M738
285.41
285.41 search
285.41 run=19 nbConstraintChecks=200148973 nbValidityChecks=386724528 nbPropagations=6215310 nbRevisions=75944740
285.41 nbUselessRevisions=60030957 nbAssignments=161743 nbFailedAssignments=95154 nbBacktracks=66483
285.41 nbVisitedNodes=300929 nbRestartNogoods=166
285.41 => wckTime=283.761 cpuTime=281.05 mem=34M738
422.79
422.79 search
422.79 run=20 nbConstraintChecks=298659896 nbValidityChecks=582722504 nbPropagations=9363547 nbRevisions=113851219
422.79 nbUselessRevisions=89920802 nbAssignments=246537 nbFailedAssignments=146690 nbBacktracks=99737
422.79 nbVisitedNodes=460773 nbRestartNogoods=182
422.79 => wckTime=421.146 cpuTime=417.47 mem=34M738
549.32
549.32 search
549.32 run=21 nbConstraintChecks=394760319 nbValidityChecks=766276032 nbPropagations=13454216 nbRevisions=162973143
549.32 nbUselessRevisions=128665039 nbAssignments=318702 nbFailedAssignments=185165 nbBacktracks=133403
549.32 nbVisitedNodes=592109 nbRestartNogoods=199
549.32 => wckTime=547.669 cpuTime=543.87 mem=34M738
549.32
549.32 global
549.32 nbConstraintChecks=394760319 nbValidityChecks=766276032 nbPropagations=13454240 nbRevisions=162973143
549.32 nbUselessRevisions=128665039 nbRestartNogoods=199 solvingWckTime=547.67 solvingCpuTime=543.87 expiredTime=no
549.32 totalExploration=no nbFoundSolutions=1 globalCpuTime=544.96
549.32 => wckTime=548.996 cpuTime=544.9 mem=35M726
549.32
549.32 s SATISFIABLE
549.32 v 21 3 3 8 15 3 17 3 2 9 0 15 22 6 14 10 6 9 22 19 6 21 12 2
549.32 d NODES 318702
549.32 d CHECKS 394760319
549.32
549.32 totalWckTime=549.079 totalCpuTime=544.96
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-199973-1168071753 -o ROOT/results/node19/solver-199973-1168071753 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199973-1168071753/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: 2.00 2.00 1.97 4/93 21507
/proc/meminfo: memFree=1216488/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=11868 CPUtime=0
/proc/21506/stat : 21506 (java) D 21504 21506 20716 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 155569981 12152832 515 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 7484196 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/21506/statm: 2967 515 425 14 0 1602 0
[startup+0.104319 s]
/proc/loadavg: 2.00 2.00 1.97 4/93 21507
/proc/meminfo: memFree=1216488/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=914988 CPUtime=0.08
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 2952 0 1 0 7 1 0 0 17 0 8 0 155569981 936947712 2698 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4155584179 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228747 2698 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512394 s]
/proc/loadavg: 2.00 2.00 1.97 4/93 21507
/proc/meminfo: memFree=1216488/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915328 CPUtime=0.49
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 7399 0 1 0 44 5 0 0 18 0 8 0 155569981 937295872 7138 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073560081 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228832 7138 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33555 s]
/proc/loadavg: 2.00 2.00 1.97 4/100 21514
/proc/meminfo: memFree=1149616/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915328 CPUtime=1.3
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 19107 0 1 0 119 11 0 0 24 0 8 0 155569981 937295872 18845 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073654902 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228832 18845 2160 14 0 215302 0
[pid=21506/tid=21508] ppid=21504 vsize=915328 CPUtime=0.05
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 2644 0 0 0 4 1 0 0 17 0 8 0 155569984 937295872 18845 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915328 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155569985 937295872 18845 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915328 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 155569985 937295872 18845 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915328 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937295872 18845 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915328 CPUtime=0.1
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 155569989 937295872 18845 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915328 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937295872 18845 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915328 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937295872 18845 18446744073709551615 134512640 134570532 4294956384 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) 915328
[startup+2.98886 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 21514
/proc/meminfo: memFree=1133424/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=2.94
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23461 0 1 0 281 13 0 0 25 0 8 0 155569981 937385984 23196 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073628067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228854 23196 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 17 0 8 0 155569984 937385984 23196 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23196 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23196 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23196 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.19
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 373 0 0 0 19 0 0 0 15 0 8 0 155569989 937385984 23196 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23196 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23196 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915416
[startup+6.27348 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 21514
/proc/meminfo: memFree=1133424/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=6.19
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23478 0 1 0 605 14 0 0 25 0 8 0 155569981 937385984 23210 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228854 23210 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 17 0 8 0 155569984 937385984 23210 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23210 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23210 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23210 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.23
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 389 0 0 0 22 1 0 0 15 0 8 0 155569989 937385984 23210 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23210 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23210 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915416
[startup+12.7677 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 21514
/proc/meminfo: memFree=1133360/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=12.62
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23483 0 1 0 1248 14 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.23
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915416
[startup+25.6271 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 21514
/proc/meminfo: memFree=1133488/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=25.37
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23483 0 1 0 2523 14 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073760064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.23
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915416
[startup+51.261 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 21514
/proc/meminfo: memFree=1133616/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=50.76
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23483 0 1 0 5062 14 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073632950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.24
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915416
[startup+102.524 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 21514
/proc/meminfo: memFree=1133680/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=101.55
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23484 0 1 0 10140 15 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4072918567 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.24
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915416
[startup+162.539 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 21514
/proc/meminfo: memFree=1133680/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=161.02
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23484 0 1 0 16086 16 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073628030 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.24
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.02
Current children cumulated vsize (KiB) 915416
[startup+222.555 s]
/proc/loadavg: 2.08 2.02 1.98 3/100 21514
/proc/meminfo: memFree=1133616/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=220.48
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23484 0 1 0 22032 16 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073790569 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.24
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.48
Current children cumulated vsize (KiB) 915416
[startup+282.572 s]
/proc/loadavg: 2.06 2.03 1.98 3/100 21514
/proc/meminfo: memFree=1133680/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=279.94
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23484 0 1 0 27978 16 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073755946 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.24
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.94
Current children cumulated vsize (KiB) 915416
[startup+342.579 s]
/proc/loadavg: 2.02 2.02 1.98 3/100 21514
/proc/meminfo: memFree=1133616/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=339.4
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23484 0 1 0 33923 17 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.24
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.4
Current children cumulated vsize (KiB) 915416
[startup+402.672 s]
/proc/loadavg: 1.94 2.00 1.98 3/100 21606
/proc/meminfo: memFree=1186408/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=399.09
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23484 0 1 0 39891 18 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073628080 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.24
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.09
Current children cumulated vsize (KiB) 915416
[startup+462.751 s]
/proc/loadavg: 1.98 2.00 1.98 3/100 21606
/proc/meminfo: memFree=1186408/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=459.08
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23484 0 1 0 45889 19 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073807939 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.24
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 459.08
Current children cumulated vsize (KiB) 915416
[startup+522.822 s]
/proc/loadavg: 2.04 2.01 1.98 3/100 21606
/proc/meminfo: memFree=1186408/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=519.09
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23484 0 1 0 51890 19 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.24
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 519.09
Current children cumulated vsize (KiB) 915416
Child status: 0
Real time (s): 549.378
CPU time (s): 545.603
CPU user time (s): 545.388
CPU system time (s): 0.214967
CPU usage (%): 99.3129
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 545.388
system time used= 0.214967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23493
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= 12238
involuntary context switches= 26554
runsolver used 0.727889 s user time and 1.70774 s system time
The end
Begin job on node19 on Sat Jan 6 08:22:33 UTC 2007
IDJOB= 199973
IDBENCH= 3665
FILE ID= node19/199973-1168071753
PBS_JOBID= 3475425
Free space on /tmp= 66305 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-45_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199973-1168071753/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-199973-1168071753 -o ROOT/results/node19/solver-199973-1168071753 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199973-1168071753/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5085b2986a6bae820a0154359c9a09d4
RANDOM SEED= 97129682
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.260
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.260
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: 1216968 kB
Buffers: 69892 kB
Cached: 548800 kB
SwapCached: 10036 kB
Active: 350972 kB
Inactive: 386976 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1216968 kB
SwapTotal: 4192956 kB
SwapFree: 4171232 kB
Dirty: 4556 kB
Writeback: 0 kB
Mapped: 138508 kB
Slab: 85348 kB
Committed_AS: 4341496 kB
PageTables: 2584 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= 66307 MiB
End job on node19 on Sat Jan 6 08:31:43 UTC 2007