0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/233956-1168081417/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=49 nbDomainTypes=49 minDomainSize=327 maxDomainSize=424
0.42 => wckTime=0.112 cpuTime=0.1 mem=7M878
0.42
0.42 predicates being loaded...
0.42
0.42 constraints being loaded...
4.39
4.39 INFO : Stopping converting binary constraints (cpu=4.03, mem = 19M137)
4.45 nbConstraints=294 nbConvertedConstraints=98 nbConvertConstraintsChecks=13935850 nbExtensionStructures=98
4.45 nbSharedExtensionStructures=0 nbConflictsStructures=98 nbSharedConflictsStructures=0
4.45 nbSharedBinaryRepresentations=15483 nbEvaluationManagers=196 nbSharedEvaluationManagers=0 maxDegree=12
4.45 maxArity=2
4.45 => wckTime=4.14 cpuTime=4.03 mem=21M88
4.51
4.51 solver IterativeSystematicSolver being built...
4.68 => wckTime=4.369 cpuTime=4.17 mem=21M255
5.42
5.42 preprocessing
5.42 nbConstraintChecks=1881733 nbValidityChecks=13937 nbPropagations=49 nbRevisions=392 nbUselessRevisions=392
5.42 nbRemovedValues=0 detectedInconsistency=no
5.42 => wckTime=0.736 cpuTime=0.73 mem=21M255
8.69
8.69 search
8.69 run=0 nbConstraintChecks=11597549 nbValidityChecks=1639813 nbPropagations=2554 nbRevisions=24214
8.69 nbUselessRevisions=15259 nbAssignments=300 nbFailedAssignments=277 nbBacktracks=10 nbVisitedNodes=585
8.69 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
8.69 => wckTime=4.004 cpuTime=3.95 mem=21M255
10.03
10.03 search
10.03 run=1 nbConstraintChecks=17628545 nbValidityChecks=3855227 nbPropagations=7354 nbRevisions=67176
10.03 nbUselessRevisions=43378 nbAssignments=590 nbFailedAssignments=540 nbBacktracks=25 nbVisitedNodes=1152
10.03 nbRestartNogoods=2 mapSize=23 nbInferences=0 nbTooLargeKeys=0
10.03 => wckTime=5.351 cpuTime=5.29 mem=21M255
19.79
19.79 search
19.79 run=2 nbConstraintChecks=62906736 nbValidityChecks=15152239 nbPropagations=20552 nbRevisions=174341
19.79 nbUselessRevisions=111328 nbAssignments=1985 nbFailedAssignments=1907 nbBacktracks=47 nbVisitedNodes=3936
19.79 nbRestartNogoods=32 mapSize=45 nbInferences=0 nbTooLargeKeys=0
19.79 => wckTime=15.112 cpuTime=14.97 mem=21M255
21.48
21.48 search
21.48 run=3 nbConstraintChecks=79323573 nbValidityChecks=19659955 nbPropagations=37256 nbRevisions=308119
21.48 nbUselessRevisions=196941 nbAssignments=2436 nbFailedAssignments=2317 nbBacktracks=80 nbVisitedNodes=4828
21.48 nbRestartNogoods=54 mapSize=78 nbInferences=0 nbTooLargeKeys=0
21.48 => wckTime=16.802 cpuTime=16.65 mem=22M230
33.70
33.70 search
33.70 run=4 nbConstraintChecks=115952051 nbValidityChecks=32979987 nbPropagations=69365 nbRevisions=552248
33.70 nbUselessRevisions=356217 nbAssignments=4626 nbFailedAssignments=4443 nbBacktracks=130 nbVisitedNodes=9192
33.70 nbRestartNogoods=72 mapSize=128 nbInferences=0 nbTooLargeKeys=0
33.70 => wckTime=29.019 cpuTime=28.8 mem=22M230
37.91
37.91 search
37.91 run=5 nbConstraintChecks=134234948 nbValidityChecks=36854269 nbPropagations=107074 nbRevisions=845915
37.91 nbUselessRevisions=546280 nbAssignments=5461 nbFailedAssignments=5192 nbBacktracks=205 nbVisitedNodes=10836
37.91 nbRestartNogoods=118 mapSize=197 nbInferences=0 nbTooLargeKeys=0
37.91 => wckTime=33.231 cpuTime=32.99 mem=22M230
48.78
48.78 search
48.78 run=6 nbConstraintChecks=198697135 nbValidityChecks=46682684 nbPropagations=159281 nbRevisions=1270995
48.78 nbUselessRevisions=805384 nbAssignments=8304 nbFailedAssignments=7914 nbBacktracks=318 nbVisitedNodes=16513
48.78 nbRestartNogoods=125 mapSize=310 nbInferences=0 nbTooLargeKeys=0
48.78 => wckTime=44.103 cpuTime=43.78 mem=22M230
70.79
70.79 search
70.79 run=7 nbConstraintChecks=271303084 nbValidityChecks=94672995 nbPropagations=246628 nbRevisions=1956788
70.79 nbUselessRevisions=1260116 nbAssignments=12607 nbFailedAssignments=12038 nbBacktracks=488 nbVisitedNodes=25072
70.79 nbRestartNogoods=131 mapSize=450 nbInferences=0 nbTooLargeKeys=0
70.79 => wckTime=66.11 cpuTime=65.6 mem=22M230
87.52
87.52 search
87.52 run=8 nbConstraintChecks=331507172 nbValidityChecks=121917953 nbPropagations=356831 nbRevisions=2822286
87.52 nbUselessRevisions=1837267 nbAssignments=16038 nbFailedAssignments=15204 nbBacktracks=745 nbVisitedNodes=31869
87.52 nbRestartNogoods=166 mapSize=688 nbInferences=0 nbTooLargeKeys=0
87.52 => wckTime=82.839 cpuTime=82.18 mem=23M206
123.16
123.16 INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=24M181)
124.49
124.49 search
124.49 run=9 nbConstraintChecks=481836360 nbValidityChecks=161495412 nbPropagations=512325 nbRevisions=4015773
124.49 nbUselessRevisions=2631237 nbAssignments=22043 nbFailedAssignments=20809 nbBacktracks=1130 nbVisitedNodes=43787
124.49 nbRestartNogoods=184
124.49 => wckTime=119.808 cpuTime=118.83 mem=24M181
202.04
202.04 search
202.04 run=10 nbConstraintChecks=891072368 nbValidityChecks=248121236 nbPropagations=749919 nbRevisions=5860532
202.04 nbUselessRevisions=3820787 nbAssignments=36249 nbFailedAssignments=34432 nbBacktracks=1706 nbVisitedNodes=72171
202.04 nbRestartNogoods=377
202.04 => wckTime=197.359 cpuTime=195.69 mem=24M181
242.97
242.97 search
242.97 run=11 nbConstraintChecks=1082855155 nbValidityChecks=312659617 nbPropagations=1089274 nbRevisions=8580570
242.97 nbUselessRevisions=5582487 nbAssignments=50379 nbFailedAssignments=47686 nbBacktracks=2571
242.97 nbVisitedNodes=100311 nbRestartNogoods=486
242.97 => wckTime=238.291 cpuTime=236.25 mem=24M181
341.15
341.15 search
341.15 run=12 nbConstraintChecks=1541808097 nbValidityChecks=421498530 nbPropagations=1580169 nbRevisions=12636429
341.15 nbUselessRevisions=8188983 nbAssignments=69839 nbFailedAssignments=65836 nbBacktracks=3869
341.15 nbVisitedNodes=139073 nbRestartNogoods=597
341.15 => wckTime=336.473 cpuTime=333.56 mem=24M181
434.35
434.35 search
434.36 run=13 nbConstraintChecks=2113425432 nbValidityChecks=522991365 nbPropagations=2270915 nbRevisions=18282365
434.36 nbUselessRevisions=11755633 nbAssignments=103133 nbFailedAssignments=97173 nbBacktracks=5815
434.36 nbVisitedNodes=205617 nbRestartNogoods=677
434.36 => wckTime=429.675 cpuTime=425.91 mem=24M181
567.06
567.06 search
567.06 run=14 nbConstraintChecks=2714410398 nbValidityChecks=687892914 nbPropagations=3258466 nbRevisions=26200702
567.06 nbUselessRevisions=16788715 nbAssignments=140278 nbFailedAssignments=131382 nbBacktracks=8734
567.06 nbVisitedNodes=278984 nbRestartNogoods=737
567.06 => wckTime=562.384 cpuTime=557.46 mem=24M181
672.98
672.98 search
672.98 run=15 nbConstraintChecks=3169217361 nbValidityChecks=776528547 nbPropagations=4450184 nbRevisions=35610231
672.98 nbUselessRevisions=22745693 nbAssignments=173593 nbFailedAssignments=163152 nbBacktracks=10230
672.98 nbVisitedNodes=345394 nbRestartNogoods=879
672.98 => wckTime=668.298 cpuTime=662.47 mem=24M181
672.98
672.98 global
672.98 nbConstraintChecks=3171099094 nbValidityChecks=776542484 nbPropagations=4450233 nbRevisions=35610623
672.98 nbUselessRevisions=22746085 nbRestartNogoods=879 solvingWckTime=668.299 solvingCpuTime=662.47 expiredTime=no
672.98 totalExploration=no nbFoundSolutions=1 globalCpuTime=666.68
672.98 => wckTime=672.672 cpuTime=666.64 mem=24M181
672.98
672.98 s SATISFIABLE
672.98 v 343 404 120 368 239 23 140 186 272 223 0 132 331 60 164 57 217 284 0 327 307 27 307 239 60 345 156 0 218 156 0 372 351 72 287 284 0 387 27 142 186 418 304 218 138 23 57 0 362
672.98 d NODES 173593
672.98 d CHECKS 3171099094
672.98
672.98 totalWckTime=672.752 totalCpuTime=666.68
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-233956-1168081417 -o ROOT/results/node62/solver-233956-1168081417 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233956-1168081417/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.10 0.61 0.80 4/80 5778
/proc/meminfo: memFree=956176/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=906644 CPUtime=0.02
/proc/5777/stat : 5777 (java) S 5775 5777 5654 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 156539464 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 226661 1817 1036 14 0 214244 0
[pid=5777/tid=5779] ppid=5775 vsize=906644 CPUtime=0
/proc/5777/task/5779/stat : 5779 (java) R 5775 5777 5654 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 156539468 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104811 s]
/proc/loadavg: 1.10 0.61 0.80 4/80 5778
/proc/meminfo: memFree=956176/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=914988 CPUtime=0.08
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 3018 0 1 0 7 1 0 0 17 0 8 0 156539464 936947712 2764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072945800 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228747 2764 1435 14 0 215242 0
[pid=5777/tid=5779] ppid=5775 vsize=914988 CPUtime=0
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 156539468 936947712 2764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512898 s]
/proc/loadavg: 1.10 0.61 0.80 4/80 5778
/proc/meminfo: memFree=956176/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915328 CPUtime=0.5
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 6757 0 1 0 46 4 0 0 19 0 8 0 156539464 937295872 6496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228832 6496 2145 14 0 215302 0
[pid=5777/tid=5779] ppid=5775 vsize=915328 CPUtime=0
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 156539468 937295872 6496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33405 s]
/proc/loadavg: 1.17 0.63 0.81 3/87 5785
/proc/meminfo: memFree=936664/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=1.31
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 7370 0 1 0 127 4 0 0 25 0 8 0 156539464 937431040 7108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640787 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 7108 2167 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156539468 937431040 7108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 9 0 0 0 0 0 0 0 18 0 8 0 156539469 937431040 7108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 4 0 0 0 0 0 0 0 19 0 8 0 156539469 937431040 7108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 7108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.11
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 323 0 0 0 10 1 0 0 16 0 8 0 156539472 937431040 7108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 7108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 7108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.97637 s]
/proc/loadavg: 1.17 0.63 0.81 3/87 5785
/proc/meminfo: memFree=933720/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=2.95
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 8364 0 1 0 290 5 0 0 25 0 8 0 156539464 937431040 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640758 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 8102 2167 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 156539468 937431040 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 9 0 0 0 0 0 0 0 18 0 8 0 156539469 937431040 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 4 0 0 0 0 0 0 0 19 0 8 0 156539469 937431040 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.11
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 325 0 0 0 10 1 0 0 16 0 8 0 156539472 937431040 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.27102 s]
/proc/loadavg: 1.17 0.63 0.81 3/87 5785
/proc/meminfo: memFree=920344/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=6.23
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11650 0 1 0 616 7 0 0 25 0 8 0 156539464 937431040 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817380 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11386 2530 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1530 0 0 0 4 0 0 0 17 0 8 0 156539468 937431040 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.19
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 376 0 0 0 18 1 0 0 15 0 8 0 156539472 937431040 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460
[startup+12.7483 s]
/proc/loadavg: 1.30 0.68 0.82 3/87 5785
/proc/meminfo: memFree=920280/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=12.67
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11671 0 1 0 1260 7 0 0 25 0 8 0 156539464 937431040 11402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816563 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11402 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 17 0 8 0 156539468 937431040 11402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.22
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 389 0 0 0 21 1 0 0 15 0 8 0 156539472 937431040 11402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915460
[startup+25.6098 s]
/proc/loadavg: 1.41 0.72 0.83 3/87 5785
/proc/meminfo: memFree=920280/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=25.47
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11687 0 1 0 2539 8 0 0 25 0 8 0 156539464 937431040 11415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640758 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11415 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 16 0 8 0 156539468 937431040 11415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.25
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 156539472 937431040 11415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915460
[startup+51.2179 s]
/proc/loadavg: 1.70 0.86 0.88 3/87 5841
/proc/meminfo: memFree=1014040/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=50.92
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11688 0 1 0 5083 9 0 0 25 0 8 0 156539464 937431040 11416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862895 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11416 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 16 0 8 0 156539468 937431040 11416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.25
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 156539472 937431040 11416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915460
[startup+102.418 s]
/proc/loadavg: 1.87 1.03 0.93 3/87 5841
/proc/meminfo: memFree=1014104/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=101.66
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11689 0 1 0 10157 9 0 0 25 0 8 0 156539464 937431040 11417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642697 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11417 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 16 0 8 0 156539468 937431040 11417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.25
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 405 0 0 0 24 1 0 0 15 0 8 0 156539472 937431040 11417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 915460
################
# More data... #
################
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.26
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 408 0 0 0 25 1 0 0 17 0 8 0 156539472 937431040 11420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.71
Current children cumulated vsize (KiB) 915460
[startup+282.55 s]
/proc/loadavg: 2.01 1.48 1.12 3/87 5841
/proc/meminfo: memFree=983128/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=280.21
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11693 0 1 0 28011 10 0 0 25 0 8 0 156539464 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073643982 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11421 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 16 0 8 0 156539468 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.26
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 409 0 0 0 25 1 0 0 16 0 8 0 156539472 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.21
Current children cumulated vsize (KiB) 915460
[startup+342.593 s]
/proc/loadavg: 2.00 1.57 1.17 3/87 5841
/proc/meminfo: memFree=983128/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=339.72
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11693 0 1 0 33962 10 0 0 25 0 8 0 156539464 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11421 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 16 0 8 0 156539468 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.26
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 409 0 0 0 25 1 0 0 16 0 8 0 156539472 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.72
Current children cumulated vsize (KiB) 915460
[startup+402.645 s]
/proc/loadavg: 2.00 1.64 1.22 3/87 5841
/proc/meminfo: memFree=983128/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=399.22
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11696 0 1 0 39912 10 0 0 25 0 8 0 156539464 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11422 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 16 0 8 0 156539468 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.26
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 411 0 0 0 25 1 0 0 16 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 399.22
Current children cumulated vsize (KiB) 915460
[startup+462.704 s]
/proc/loadavg: 2.07 1.72 1.27 3/87 5841
/proc/meminfo: memFree=983128/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=458.74
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11696 0 1 0 45863 11 0 0 25 0 8 0 156539464 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11422 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 16 0 8 0 156539468 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.26
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 411 0 0 0 25 1 0 0 16 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 458.74
Current children cumulated vsize (KiB) 915460
[startup+522.753 s]
/proc/loadavg: 2.02 1.77 1.31 3/87 5841
/proc/meminfo: memFree=983128/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=518.26
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11696 0 1 0 51815 11 0 0 25 0 8 0 156539464 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640871 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11422 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 16 0 8 0 156539468 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.26
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 411 0 0 0 25 1 0 0 16 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 518.26
Current children cumulated vsize (KiB) 915460
[startup+582.793 s]
/proc/loadavg: 2.01 1.81 1.35 3/87 5841
/proc/meminfo: memFree=983064/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=577.78
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11696 0 1 0 57767 11 0 0 25 0 8 0 156539464 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11422 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 16 0 8 0 156539468 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.26
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 411 0 0 0 25 1 0 0 16 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 577.78
Current children cumulated vsize (KiB) 915460
[startup+642.829 s]
/proc/loadavg: 2.00 1.84 1.39 3/87 5841
/proc/meminfo: memFree=983064/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=637.3
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11696 0 1 0 63719 11 0 0 25 0 8 0 156539464 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640787 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11422 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 16 0 8 0 156539468 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.26
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 411 0 0 0 25 1 0 0 16 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 637.3
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 673.045
CPU time (s): 667.229
CPU user time (s): 667.099
CPU system time (s): 0.12998
CPU usage (%): 99.1359
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 667.099
system time used= 0.12998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11704
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= 14880
involuntary context switches= 15378
runsolver used 0.831873 s user time and 2.15367 s system time
The end
Begin job on node62 on Sat Jan 6 11:03:37 UTC 2007
IDJOB= 233956
IDBENCH= 6649
FILE ID= node62/233956-1168081417
PBS_JOBID= 3476232
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-7/os-taillard-7-100-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233956-1168081417/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-233956-1168081417 -o ROOT/results/node62/solver-233956-1168081417 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233956-1168081417/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 78713f18bd9336e8c0dd2cae855aee4a
RANDOM SEED= 635968207
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.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 956656 kB
Buffers: 60140 kB
Cached: 780884 kB
SwapCached: 0 kB
Active: 293404 kB
Inactive: 727020 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 956656 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2052 kB
Writeback: 0 kB
Mapped: 199656 kB
Slab: 63920 kB
Committed_AS: 3753540 kB
PageTables: 2212 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= 66549 MiB
End job on node62 on Sat Jan 6 11:14:50 UTC 2007