0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/196260-1168121019/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
1.06
1.06 constraints being loaded...
1.33 nbConstraints=74 nbRelationTypes=74 nbExtensionStructures=74 nbSharedExtensionStructures=0
1.34 nbConflictsStructures=74 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
1.34 => wckTime=1.02 cpuTime=0.89 mem=47M703
1.46
1.46 solver IterativeSystematicSolver being built...
1.63 => wckTime=1.318 cpuTime=1.03 mem=34M220
1.74
1.74 preprocessing
1.74 nbConstraintChecks=33395 nbValidityChecks=52592 nbPropagations=209 nbRevisions=2161 nbUselessRevisions=1863
1.74 nbSingletonTests=32 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.74 => wckTime=0.106 cpuTime=0.09 mem=34M220
1.81
1.81 search
1.81 run=0 nbConstraintChecks=35190 nbValidityChecks=65961 nbPropagations=496 nbRevisions=5643
1.81 nbUselessRevisions=4630 nbAssignments=33 nbFailedAssignments=17 nbBacktracks=11 nbVisitedNodes=58
1.81 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
1.81 => wckTime=0.177 cpuTime=0.15 mem=35M223
1.98
1.98 search
1.98 run=1 nbConstraintChecks=131933 nbValidityChecks=261105 nbPropagations=1848 nbRevisions=22839
1.98 nbUselessRevisions=18557 nbAssignments=123 nbFailedAssignments=61 nbBacktracks=26 nbVisitedNodes=179
1.98 nbRestartNogoods=4 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.98 => wckTime=0.346 cpuTime=0.31 mem=35M223
2.12
2.12 search
2.12 run=2 nbConstraintChecks=213211 nbValidityChecks=442259 nbPropagations=4253 nbRevisions=51607
2.12 nbUselessRevisions=41909 nbAssignments=235 nbFailedAssignments=98 nbBacktracks=48 nbVisitedNodes=297
2.12 nbRestartNogoods=14 mapSize=46 nbInferences=0 nbTooLargeKeys=0
2.12 => wckTime=0.486 cpuTime=0.44 mem=35M223
2.23
2.24 search
2.24 run=3 nbConstraintChecks=293419 nbValidityChecks=590043 nbPropagations=7426 nbRevisions=89333
2.24 nbUselessRevisions=72392 nbAssignments=317 nbFailedAssignments=139 nbBacktracks=81 nbVisitedNodes=440
2.24 nbRestartNogoods=19 mapSize=75 nbInferences=0 nbTooLargeKeys=0
2.24 => wckTime=0.6 cpuTime=0.55 mem=35M223
2.49
2.49 search
2.49 run=4 nbConstraintChecks=451153 nbValidityChecks=923406 nbPropagations=12482 nbRevisions=148674
2.49 nbUselessRevisions=119853 nbAssignments=455 nbFailedAssignments=221 nbBacktracks=131 nbVisitedNodes=698
2.49 nbRestartNogoods=22 mapSize=121 nbInferences=0 nbTooLargeKeys=0
2.49 => wckTime=0.856 cpuTime=0.8 mem=35M223
2.75
2.75 search
2.75 run=5 nbConstraintChecks=619632 nbValidityChecks=1263166 nbPropagations=19918 nbRevisions=234768
2.75 nbUselessRevisions=188061 nbAssignments=640 nbFailedAssignments=325 nbBacktracks=206 nbVisitedNodes=1039
2.75 nbRestartNogoods=27 mapSize=189 nbInferences=0 nbTooLargeKeys=0
2.75 => wckTime=1.115 cpuTime=1.05 mem=35M223
3.24
3.24 search
3.24 run=6 nbConstraintChecks=958466 nbValidityChecks=1897148 nbPropagations=30682 nbRevisions=361634
3.24 nbUselessRevisions=289059 nbAssignments=919 nbFailedAssignments=482 nbBacktracks=320 nbVisitedNodes=1554
3.24 nbRestartNogoods=32 mapSize=284 nbInferences=0 nbTooLargeKeys=0
3.24 => wckTime=1.604 cpuTime=1.54 mem=35M223
4.09
4.09 search
4.09 run=7 nbConstraintChecks=1567626 nbValidityChecks=3100702 nbPropagations=46990 nbRevisions=557252
4.09 nbUselessRevisions=443831 nbAssignments=1516 nbFailedAssignments=848 nbBacktracks=491 nbVisitedNodes=2579
4.09 nbRestartNogoods=49 mapSize=437 nbInferences=0 nbTooLargeKeys=0
4.09 => wckTime=2.453 cpuTime=2.37 mem=35M223
5.39
5.39 search
5.39 run=8 nbConstraintChecks=2516999 nbValidityChecks=4826610 nbPropagations=71562 nbRevisions=852585
5.39 nbUselessRevisions=678648 nbAssignments=2238 nbFailedAssignments=1308 nbBacktracks=747 nbVisitedNodes=3952
5.39 nbRestartNogoods=52 mapSize=674 nbInferences=0 nbTooLargeKeys=0
5.39 => wckTime=3.759 cpuTime=3.66 mem=35M223
6.84
6.84 search
6.84 run=9 nbConstraintChecks=3572353 nbValidityChecks=6853869 nbPropagations=107484 nbRevisions=1275420
6.84 nbUselessRevisions=1014756 nbAssignments=3263 nbFailedAssignments=1943 nbBacktracks=1131 nbVisitedNodes=5880
6.84 nbRestartNogoods=64 mapSize=1024 nbInferences=0 nbTooLargeKeys=0
6.84 => wckTime=5.206 cpuTime=5.09 mem=35M223
6.94
6.94 INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=35M223)
8.49
8.49 search
8.49 run=10 nbConstraintChecks=4756325 nbValidityChecks=9123553 nbPropagations=156152 nbRevisions=1839449
8.49 nbUselessRevisions=1463690 nbAssignments=4441 nbFailedAssignments=2505 nbBacktracks=1707 nbVisitedNodes=7905
8.49 nbRestartNogoods=78
8.49 => wckTime=6.855 cpuTime=6.72 mem=35M223
12.56
12.56 search
12.56 run=11 nbConstraintChecks=7934045 nbValidityChecks=15128501 nbPropagations=233040 nbRevisions=2748335
12.56 nbUselessRevisions=2180523 nbAssignments=7479 nbFailedAssignments=4673 nbBacktracks=2571 nbVisitedNodes=13713
12.56 nbRestartNogoods=88
12.56 => wckTime=10.921 cpuTime=10.77 mem=35M223
18.88
18.88 search
18.88 run=12 nbConstraintChecks=12758060 nbValidityChecks=23847364 nbPropagations=350641 nbRevisions=4165317
18.88 nbUselessRevisions=3309088 nbAssignments=11110 nbFailedAssignments=7001 nbBacktracks=3868 nbVisitedNodes=20607
18.88 nbRestartNogoods=95
18.88 => wckTime=17.242 cpuTime=17.06 mem=35M223
25.83
25.83 search
25.83 run=13 nbConstraintChecks=17912872 nbValidityChecks=33674153 nbPropagations=522293 nbRevisions=6190029
25.83 nbUselessRevisions=4920749 nbAssignments=15935 nbFailedAssignments=9876 nbBacktracks=5815 nbVisitedNodes=29571
25.83 nbRestartNogoods=110
25.83 => wckTime=24.192 cpuTime=23.98 mem=35M223
36.31
36.31 search
36.31 run=14 nbConstraintChecks=25455714 nbValidityChecks=48247797 nbPropagations=777708 nbRevisions=9103834
36.31 nbUselessRevisions=7229548 nbAssignments=23052 nbFailedAssignments=14069 nbBacktracks=8734 nbVisitedNodes=42708
36.31 nbRestartNogoods=124
36.31 => wckTime=34.677 cpuTime=34.41 mem=35M223
52.01
52.01 search
52.01 run=15 nbConstraintChecks=36936305 nbValidityChecks=69531624 nbPropagations=1148360 nbRevisions=13292720
52.01 nbUselessRevisions=10544729 nbAssignments=33129 nbFailedAssignments=19762 nbBacktracks=13113
52.01 nbVisitedNodes=61295 nbRestartNogoods=135
52.01 => wckTime=50.377 cpuTime=49.91 mem=35M223
81.73
81.73 search
81.73 run=16 nbConstraintChecks=59401053 nbValidityChecks=110467724 nbPropagations=1711216 nbRevisions=19833938
81.73 nbUselessRevisions=15758876 nbAssignments=50018 nbFailedAssignments=30060 nbBacktracks=19682
81.73 nbVisitedNodes=93099 nbRestartNogoods=150
81.73 => wckTime=80.097 cpuTime=79.48 mem=35M223
122.49
122.49 search
122.49 run=17 nbConstraintChecks=90592101 nbValidityChecks=171848217 nbPropagations=2569257 nbRevisions=29963851
122.49 nbUselessRevisions=23790474 nbAssignments=80337 nbFailedAssignments=50509 nbBacktracks=29534
122.49 nbVisitedNodes=150423 nbRestartNogoods=163
122.49 => wckTime=120.852 cpuTime=120.05 mem=35M223
190.60
190.60 search
190.60 run=18 nbConstraintChecks=142925361 nbValidityChecks=267126498 nbPropagations=3877710 nbRevisions=45751930
190.60 nbUselessRevisions=36402472 nbAssignments=120240 nbFailedAssignments=75606 nbBacktracks=44312
190.60 nbVisitedNodes=225797 nbRestartNogoods=186
190.60 => wckTime=188.969 cpuTime=187.71 mem=35M223
273.57
273.57 search
273.57 run=19 nbConstraintChecks=208274960 nbValidityChecks=390078962 nbPropagations=5812265 nbRevisions=68914778
273.57 nbUselessRevisions=54841027 nbAssignments=177538 nbFailedAssignments=110731 nbBacktracks=66480
273.57 nbVisitedNodes=332751 nbRestartNogoods=206
273.57 => wckTime=271.931 cpuTime=270.22 mem=35M223
415.74
415.74 search
415.74 run=20 nbConstraintChecks=316917375 nbValidityChecks=588453974 nbPropagations=8728450 nbRevisions=103943123
415.74 nbUselessRevisions=82777033 nbAssignments=260629 nbFailedAssignments=160564 nbBacktracks=99733
415.74 nbVisitedNodes=488785 nbRestartNogoods=227
415.74 => wckTime=414.106 cpuTime=411.57 mem=35M223
600.88
600.88 search
600.88 run=21 nbConstraintChecks=452231150 nbValidityChecks=842525541 nbPropagations=12988691 nbRevisions=154787445
600.88 nbUselessRevisions=123384245 nbAssignments=373913 nbFailedAssignments=223965 nbBacktracks=149612
600.88 nbVisitedNodes=697943 nbRestartNogoods=252
600.88 => wckTime=599.247 cpuTime=595.85 mem=35M223
829.24
829.25 search
829.25 run=22 nbConstraintChecks=619764781 nbValidityChecks=1159650572 nbPropagations=19068077 nbRevisions=225941879
829.25 nbUselessRevisions=180142866 nbAssignments=534027 nbFailedAssignments=309254 nbBacktracks=224431
829.25 nbVisitedNodes=988954 nbRestartNogoods=280
829.25 => wckTime=827.61 cpuTime=823.11 mem=35M223
1191.66
1191.66 search
1191.66 run=23 nbConstraintChecks=898604239 nbValidityChecks=1676829269 nbPropagations=27594314 nbRevisions=328650040
1191.66 nbUselessRevisions=262347946 nbAssignments=736354 nbFailedAssignments=438460 nbBacktracks=297528
1191.66 nbVisitedNodes=1372042 nbRestartNogoods=305
1191.66 => wckTime=1190.025 cpuTime=1183.49 mem=35M223
1191.66
1191.66 global
1191.66 nbConstraintChecks=898637634 nbValidityChecks=1676881861 nbPropagations=27594523 nbRevisions=328652201
1191.66 nbUselessRevisions=262349809 nbRestartNogoods=305 solvingWckTime=1190.027 solvingCpuTime=1183.49 expiredTime=no
1191.66 totalExploration=no nbFoundSolutions=1 globalCpuTime=1184.57
1191.66 => wckTime=1191.347 cpuTime=1184.52 mem=35M223
1191.67
1191.67 s SATISFIABLE
1191.67 v 9 3 15 22 14 0 2 12 7 0 15 11 18 20 23 23 21 8 18 22 1 5 9 14
1191.67 d NODES 736354
1191.67 d CHECKS 898637634
1191.67
1191.67 totalWckTime=1191.431 totalCpuTime=1184.58
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-196260-1168121019 -o ROOT/results/node56/solver-196260-1168121019 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196260-1168121019/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.11 2.04 2.01 4/85 19447
/proc/meminfo: memFree=1426176/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=906644 CPUtime=0.02
/proc/19446/stat : 19446 (java) S 19444 19446 18356 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 160500084 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 226661 1818 1036 14 0 214244 0
[pid=19446/tid=19448] ppid=19444 vsize=906644 CPUtime=0
/proc/19446/task/19448/stat : 19448 (java) R 19444 19446 18356 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 160500087 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104771 s]
/proc/loadavg: 2.11 2.04 2.01 4/85 19447
/proc/meminfo: memFree=1426176/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=914988 CPUtime=0.09
/proc/19446/stat : 19446 (java) S 19444 19446 18356 0 -1 0 2998 0 1 0 7 2 0 0 17 0 8 0 160500084 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 228747 2744 1427 14 0 215242 0
[pid=19446/tid=19448] ppid=19444 vsize=914988 CPUtime=0
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 160500087 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516812 s]
/proc/loadavg: 2.11 2.04 2.01 4/85 19447
/proc/meminfo: memFree=1426176/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915328 CPUtime=0.5
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 7580 0 1 0 44 6 0 0 18 0 8 0 160500084 937295872 7319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073564545 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 228832 7319 2137 14 0 215302 0
[pid=19446/tid=19448] ppid=19444 vsize=915328 CPUtime=0
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 160500087 937295872 7319 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.34589 s]
/proc/loadavg: 2.11 2.04 2.01 3/92 19454
/proc/meminfo: memFree=1358984/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=1.32
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 19146 0 1 0 121 11 0 0 24 0 8 0 160500084 937385984 18883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 228854 18883 2168 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.06
/proc/19446/task/19448/stat : 19448 (java) R 19444 19446 18356 0 -1 64 2659 0 0 0 5 1 0 0 16 0 8 0 160500087 937385984 18883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 18883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 18883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 18883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.11
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 320 0 0 0 10 1 0 0 16 0 8 0 160500091 937385984 18883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 18883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 18883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915416
[startup+2.98405 s]
/proc/loadavg: 2.11 2.04 2.01 3/92 19454
/proc/meminfo: memFree=1343304/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=2.95
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23409 0 1 0 280 15 0 0 25 0 8 0 160500084 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749988 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 228854 23145 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 17 0 8 0 160500087 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.2
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 371 0 0 0 19 1 0 0 15 0 8 0 160500091 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915416
[startup+6.26737 s]
/proc/loadavg: 2.10 2.04 2.01 3/92 19454
/proc/meminfo: memFree=1343048/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=6.21
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23424 0 1 0 606 15 0 0 25 0 8 0 160500084 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 228854 23157 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 17 0 8 0 160500087 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.23
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 385 0 0 0 22 1 0 0 16 0 8 0 160500091 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915416
[startup+12.76 s]
/proc/loadavg: 2.09 2.04 2.01 3/92 19454
/proc/meminfo: memFree=1343112/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=12.67
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23429 0 1 0 1252 15 0 0 25 0 8 0 160500084 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 228854 23161 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915416
[startup+25.6303 s]
/proc/loadavg: 2.07 2.03 2.01 3/92 19454
/proc/meminfo: memFree=1343240/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=25.49
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23429 0 1 0 2534 15 0 0 25 0 8 0 160500084 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750852 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 228854 23161 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915416
[startup+51.2608 s]
/proc/loadavg: 2.04 2.03 2.00 3/92 19454
/proc/meminfo: memFree=1302536/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=50.86
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23430 0 1 0 5071 15 0 0 25 0 8 0 160500084 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750070 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 228854 23161 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915416
[startup+102.519 s]
/proc/loadavg: 2.07 2.04 2.00 3/92 19454
/proc/meminfo: memFree=1285576/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=101.89
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23430 0 1 0 10173 16 0 0 25 0 8 0 160500084 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625395 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 228854 23161 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915416
################
# More data... #
################
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 758.57
Current children cumulated vsize (KiB) 915416
[startup+822.659 s]
/proc/loadavg: 2.05 2.03 2.00 3/92 19454
/proc/meminfo: memFree=1123144/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=818.31
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23430 0 1 0 81815 16 0 0 25 0 8 0 160500084 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750070 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19446/statm: 228854 23161 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 818.31
Current children cumulated vsize (KiB) 915416
[startup+882.676 s]
/proc/loadavg: 2.05 2.04 2.00 3/92 19456
/proc/meminfo: memFree=1094792/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=877.95
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23431 0 1 0 87779 16 0 0 25 0 8 0 160500084 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750763 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19446/statm: 228854 23162 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 877.95
Current children cumulated vsize (KiB) 915416
[startup+942.692 s]
/proc/loadavg: 2.02 2.03 2.00 3/92 19456
/proc/meminfo: memFree=1094792/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=937.65
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23431 0 1 0 93749 16 0 0 25 0 8 0 160500084 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625389 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19446/statm: 228854 23162 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 937.65
Current children cumulated vsize (KiB) 915416
[startup+1002.71 s]
/proc/loadavg: 2.00 2.02 2.00 3/92 19456
/proc/meminfo: memFree=1066952/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=997.27
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23431 0 1 0 99711 16 0 0 25 0 8 0 160500084 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625293 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19446/statm: 228854 23162 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 997.27
Current children cumulated vsize (KiB) 915416
[startup+1062.72 s]
/proc/loadavg: 2.00 2.01 2.00 3/92 19456
/proc/meminfo: memFree=1066952/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=1056.94
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23431 0 1 0 105678 16 0 0 25 0 8 0 160500084 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768329 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19446/statm: 228854 23162 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1056.94
Current children cumulated vsize (KiB) 915416
[startup+1122.74 s]
/proc/loadavg: 2.00 2.01 2.00 3/92 19456
/proc/meminfo: memFree=1038920/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=1116.65
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23431 0 1 0 111648 17 0 0 25 0 8 0 160500084 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19446/statm: 228854 23162 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1116.65
Current children cumulated vsize (KiB) 915416
[startup+1182.75 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 19456
/proc/meminfo: memFree=1038920/2055920 swapFree=4184772/4192956
[pid=19446] ppid=19444 vsize=915416 CPUtime=1176.35
/proc/19446/stat : 19446 (java) R 19444 19446 18356 0 -1 0 23431 0 1 0 117618 17 0 0 25 0 8 0 160500084 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749897 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19446/statm: 228854 23162 2531 14 0 215324 0
[pid=19446/tid=19448] ppid=19444 vsize=915416 CPUtime=0.16
/proc/19446/task/19448/stat : 19448 (java) S 19444 19446 18356 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160500087 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19449] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19449/stat : 19449 (java) S 19444 19446 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19450] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19450/stat : 19450 (java) S 19444 19446 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160500088 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19451] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19451/stat : 19451 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19452] ppid=19444 vsize=915416 CPUtime=0.24
/proc/19446/task/19452/stat : 19452 (java) S 19444 19446 18356 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19446/tid=19453] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19453/stat : 19453 (java) S 19444 19446 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19446/tid=19454] ppid=19444 vsize=915416 CPUtime=0
/proc/19446/task/19454/stat : 19454 (java) S 19444 19446 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160500091 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1176.35
Current children cumulated vsize (KiB) 915416
Child status: 0
Real time (s): 1191.72
CPU time (s): 1185.24
CPU user time (s): 1185.05
CPU system time (s): 0.186971
CPU usage (%): 99.4562
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1185.05
system time used= 0.186971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23439
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= 25148
involuntary context switches= 39615
runsolver used 1.3418 s user time and 3.9434 s system time
The end
Begin job on node56 on Sat Jan 6 22:03:39 UTC 2007
IDJOB= 196260
IDBENCH= 3338
FILE ID= node56/196260-1168121019
PBS_JOBID= 3477419
Free space on /tmp= 66513 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196260-1168121019/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-196260-1168121019 -o ROOT/results/node56/solver-196260-1168121019 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196260-1168121019/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5231d05a04feb487ab1815ae00219ded
RANDOM SEED= 415015733
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.232
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.232
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: 1426656 kB
Buffers: 41904 kB
Cached: 369884 kB
SwapCached: 2060 kB
Active: 256268 kB
Inactive: 304820 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1426656 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 9792 kB
Writeback: 0 kB
Mapped: 166244 kB
Slab: 53264 kB
Committed_AS: 3721556 kB
PageTables: 2168 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= 66513 MiB
End job on node56 on Sat Jan 6 22:23:31 UTC 2007