0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/216280-1168078964/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.54 nbVariables=4662 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.54 => wckTime=0.249 cpuTime=0.19 mem=13M728
0.54
0.54 predicates being loaded...
0.56
0.56 constraints being loaded...
4.48 nbConstraints=31725 nbMergedConstraints=174 nbConflictsStructures=5 nbSharedConflictsStructures=31642
4.48 nbUnbuiltConflictsStructures=6 nbSharedBinaryRepresentations=0 nbEvaluationManagers=11
4.48 nbSharedEvaluationManagers=31714 maxDegree=31 maxArity=29
4.48 => wckTime=4.186 cpuTime=3.54 mem=61M230
4.68
4.68 solver IterativeSystematicSolver being built...
5.54 => wckTime=5.252 cpuTime=4.16 mem=76M428
5.63
5.63 preprocessing
5.63 nbConstraintChecks=0 nbPropagations=4662 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
5.63 detectedInconsistency=no
5.63 => wckTime=0.075 cpuTime=0.07 mem=79M496
7.03
7.03 search
7.03 run=0 nbConstraintChecks=25358 nbValidityChecks=40852 nbPropagations=5961 nbRevisions=38375
7.03 nbUselessRevisions=38208 nbAssignments=1161 nbFailedAssignments=2 nbBacktracks=16 nbVisitedNodes=1170
7.03 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
7.03 => wckTime=1.483 cpuTime=1.44 mem=81M542
12.52
12.52 search
12.52 run=1 nbConstraintChecks=1766858 nbValidityChecks=91751 nbPropagations=13155 nbRevisions=108733
12.52 nbUselessRevisions=108002 nbAssignments=2053 nbFailedAssignments=5 nbBacktracks=43 nbVisitedNodes=2079
12.52 nbRestartNogoods=1 mapSize=23 nbInferences=0 nbTooLargeKeys=0
12.52 => wckTime=6.971 cpuTime=6.9 mem=82M564
13.28
13.28 search
13.28 run=2 nbConstraintChecks=1778736 nbValidityChecks=128558 nbPropagations=21192 nbRevisions=202010
13.28 nbUselessRevisions=200468 nbAssignments=2689 nbFailedAssignments=8 nbBacktracks=78 nbVisitedNodes=2725
13.28 nbRestartNogoods=2 mapSize=32 nbInferences=0 nbTooLargeKeys=0
13.28 => wckTime=7.728 cpuTime=7.65 mem=83M587
18.24
18.24 search
18.24 run=3 nbConstraintChecks=3535110 nbValidityChecks=153793 nbPropagations=30031 nbRevisions=310621
18.24 nbUselessRevisions=307768 nbAssignments=3058 nbFailedAssignments=12 nbBacktracks=126 nbVisitedNodes=3113
18.24 nbRestartNogoods=3 mapSize=50 nbInferences=0 nbTooLargeKeys=0
18.24 => wckTime=12.692 cpuTime=12.61 mem=83M587
23.19
23.19 search
23.19 run=4 nbConstraintChecks=5436580 nbValidityChecks=165656 nbPropagations=39462 nbRevisions=426275
23.19 nbUselessRevisions=421553 nbAssignments=3159 nbFailedAssignments=16 nbBacktracks=178 nbVisitedNodes=3233
23.19 nbRestartNogoods=4 mapSize=68 nbInferences=0 nbTooLargeKeys=0
23.19 => wckTime=17.643 cpuTime=17.57 mem=83M587
23.35
23.35 search
23.35 run=5 nbConstraintChecks=5437470 nbValidityChecks=168873 nbPropagations=49277 nbRevisions=543614
23.35 nbUselessRevisions=536727 nbAssignments=3293 nbFailedAssignments=30 nbBacktracks=258 nbVisitedNodes=3395
23.35 nbRestartNogoods=5 mapSize=94 nbInferences=0 nbTooLargeKeys=0
23.35 => wckTime=17.8 cpuTime=17.72 mem=83M587
23.55
23.55 search
23.55 run=6 nbConstraintChecks=5438590 nbValidityChecks=172996 nbPropagations=59600 nbRevisions=663122
23.55 nbUselessRevisions=653676 nbAssignments=3465 nbFailedAssignments=49 nbBacktracks=371 nbVisitedNodes=3605
23.55 nbRestartNogoods=7 mapSize=130 nbInferences=0 nbTooLargeKeys=0
23.55 => wckTime=18.001 cpuTime=17.92 mem=83M587
23.83
23.83 search
23.83 run=7 nbConstraintChecks=5440091 nbValidityChecks=178644 nbPropagations=70632 nbRevisions=785624
23.83 nbUselessRevisions=773081 nbAssignments=3706 nbFailedAssignments=75 nbBacktracks=546 nbVisitedNodes=3898
23.83 nbRestartNogoods=9 mapSize=180 nbInferences=0 nbTooLargeKeys=0
23.83 => wckTime=18.281 cpuTime=18.2 mem=83M587
45.90
45.90 search
45.90 run=8 nbConstraintChecks=13411734 nbValidityChecks=259484 nbPropagations=84584 nbRevisions=962903
45.90 nbUselessRevisions=945629 nbAssignments=5425 nbFailedAssignments=117 nbBacktracks=802 nbVisitedNodes=5709
45.90 nbRestartNogoods=11 mapSize=268 nbInferences=0 nbTooLargeKeys=0
45.90 => wckTime=40.348 cpuTime=40.25 mem=87M679
63.92
63.92 search
63.92 run=9 nbConstraintChecks=19707503 nbValidityChecks=340472 nbPropagations=101399 nbRevisions=1192432
63.92 nbUselessRevisions=1168890 nbAssignments=7022 nbFailedAssignments=170 nbBacktracks=1187 nbVisitedNodes=7412
63.92 nbRestartNogoods=15 mapSize=370 nbInferences=0 nbTooLargeKeys=0
63.92 => wckTime=58.369 cpuTime=58.27 mem=89M724
81.39
81.39 search
81.39 run=10 nbConstraintChecks=25859692 nbValidityChecks=433014 nbPropagations=122664 nbRevisions=1480703
81.39 nbUselessRevisions=1447276 nbAssignments=8517 nbFailedAssignments=278 nbBacktracks=1763 nbVisitedNodes=9125
81.39 nbRestartNogoods=19 mapSize=538 nbInferences=0 nbTooLargeKeys=0
81.39 => wckTime=75.837 cpuTime=75.72 mem=91M770
103.32
103.32 search
103.32 run=11 nbConstraintChecks=33770789 nbValidityChecks=543133 nbPropagations=151265 nbRevisions=1838214
103.32 nbUselessRevisions=1787537 nbAssignments=9911 nbFailedAssignments=432 nbBacktracks=2630 nbVisitedNodes=10902
103.32 nbRestartNogoods=23 mapSize=836 nbInferences=0 nbTooLargeKeys=0
103.32 => wckTime=97.774 cpuTime=97.65 mem=93M816
136.31
136.31 INFO : Stopping hyperNogood (mapSize=1047, nbTooLargekeys=0, mem=97M907)
139.97
139.97 search
139.97 run=12 nbConstraintChecks=47014607 nbValidityChecks=711479 nbPropagations=189956 nbRevisions=2306919
139.97 nbUselessRevisions=2229352 nbAssignments=12757 nbFailedAssignments=687 nbBacktracks=3927 nbVisitedNodes=14271
139.97 nbRestartNogoods=28
139.97 => wckTime=134.419 cpuTime=134.28 mem=97M907
360.13
360.13 search
360.13 run=13 nbConstraintChecks=130640948 nbValidityChecks=953107 nbPropagations=243757 nbRevisions=2941729
360.13 nbUselessRevisions=2823498 nbAssignments=16465 nbFailedAssignments=1090 nbBacktracks=5880 nbVisitedNodes=18753
360.13 nbRestartNogoods=35
360.13 => wckTime=354.583 cpuTime=354.36 mem=97M907
406.90
406.90 search
406.90 run=14 nbConstraintChecks=147243462 nbValidityChecks=1263109 nbPropagations=317133 nbRevisions=3780678
406.90 nbUselessRevisions=3603340 nbAssignments=20967 nbFailedAssignments=1708 nbBacktracks=8805 nbVisitedNodes=24525
406.90 nbRestartNogoods=43
406.90 => wckTime=401.355 cpuTime=401.12 mem=97M907
423.85
423.85 search
423.85 run=15 nbConstraintChecks=151804089 nbValidityChecks=1510019 nbPropagations=412116 nbRevisions=4771938
423.85 nbUselessRevisions=4515719 nbAssignments=26129 nbFailedAssignments=2359 nbBacktracks=13183 nbVisitedNodes=31003
423.85 nbRestartNogoods=49
423.85 => wckTime=418.301 cpuTime=418.06 mem=97M907
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-216280-1168078964 -o ROOT/results/node76/solver-216280-1168078964 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/216280-1168078964/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.02 1.47 1.72 4/70 31889
/proc/meminfo: memFree=1761240/2055888 swapFree=4096420/4096564
[pid=31888] ppid=31886 vsize=18544 CPUtime=0
/proc/31888/stat : 31888 (runsolver) R 31886 31888 31125 0 -1 4194368 18 0 0 0 0 0 0 0 20 0 1 0 156293530 18989056 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206843737111 0 0 4096 24578 0 0 0 17 1 0 0
/proc/31888/statm: 0 0 0 0 0 0 0
[startup+0.103637 s]
/proc/loadavg: 1.02 1.47 1.72 4/70 31889
/proc/meminfo: memFree=1761240/2055888 swapFree=4096420/4096564
[pid=31888] ppid=31886 vsize=914992 CPUtime=0.07
/proc/31888/stat : 31888 (java) R 31886 31888 31125 0 -1 0 2998 0 1 0 7 0 0 0 22 0 8 0 156293530 936951808 2746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072905559 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31888/statm: 228748 2746 1429 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914992
[startup+0.511708 s]
/proc/loadavg: 1.02 1.47 1.72 4/70 31889
/proc/meminfo: memFree=1761240/2055888 swapFree=4096420/4096564
[pid=31888] ppid=31886 vsize=915332 CPUtime=0.49
/proc/31888/stat : 31888 (java) R 31886 31888 31125 0 -1 0 6762 0 1 0 46 3 0 0 16 0 8 0 156293530 937299968 6503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073530509 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31888/statm: 228833 6506 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33186 s]
/proc/loadavg: 1.02 1.47 1.72 2/77 31896
/proc/meminfo: memFree=1696544/2055888 swapFree=4096420/4096564
[pid=31888] ppid=31886 vsize=915644 CPUtime=1.31
/proc/31888/stat : 31888 (java) S 31886 31888 31125 0 -1 0 19280 0 1 0 122 9 0 0 16 0 8 0 156293530 937619456 19019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31888/statm: 228911 19020 2158 14 0 215380 0
[pid=31888/tid=31890] ppid=31886 vsize=915644 CPUtime=0.1
/proc/31888/task/31890/stat : 31890 (java) R 31886 31888 31125 0 -1 64 2748 0 0 0 10 0 0 0 16 0 8 0 156293534 937619456 19020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153818857 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31891] ppid=31886 vsize=915644 CPUtime=0
/proc/31888/task/31891/stat : 31891 (java) S 31886 31888 31125 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156293534 937619456 19021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31892] ppid=31886 vsize=915644 CPUtime=0
/proc/31888/task/31892/stat : 31892 (java) S 31886 31888 31125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156293534 937619456 19021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31893] ppid=31886 vsize=915644 CPUtime=0
/proc/31888/task/31893/stat : 31893 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156293537 937619456 19022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31894] ppid=31886 vsize=915644 CPUtime=0.14
/proc/31888/task/31894/stat : 31894 (java) S 31886 31888 31125 0 -1 64 406 0 0 0 14 0 0 0 16 0 8 0 156293537 937619456 19022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31895] ppid=31886 vsize=915644 CPUtime=0
/proc/31888/task/31895/stat : 31895 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156293537 937619456 19023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31896] ppid=31886 vsize=915644 CPUtime=0
/proc/31888/task/31896/stat : 31896 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156293537 937619456 19023 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) 915644
[startup+2.96918 s]
/proc/loadavg: 1.02 1.46 1.72 2/77 31896
/proc/meminfo: memFree=1685472/2055888 swapFree=4096420/4096564
[pid=31888] ppid=31886 vsize=915648 CPUtime=2.95
/proc/31888/stat : 31888 (java) R 31886 31888 31125 0 -1 0 25435 0 1 0 245 50 0 0 17 0 8 0 156293530 937623552 25170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31888/statm: 228911 25170 2178 14 0 215380 0
[pid=31888/tid=31890] ppid=31886 vsize=915648 CPUtime=0.31
/proc/31888/task/31890/stat : 31890 (java) S 31886 31888 31125 0 -1 64 8813 0 0 0 29 2 0 0 16 0 8 0 156293534 937623552 25170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31891] ppid=31886 vsize=915644 CPUtime=0
/proc/31888/task/31891/stat : 31891 (java) S 31886 31888 31125 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156293534 937619456 25170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31892] ppid=31886 vsize=915644 CPUtime=0
/proc/31888/task/31892/stat : 31892 (java) S 31886 31888 31125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156293534 937619456 25170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31893] ppid=31886 vsize=915648 CPUtime=0
/proc/31888/task/31893/stat : 31893 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156293537 937623552 25170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31894] ppid=31886 vsize=915644 CPUtime=0.18
/proc/31888/task/31894/stat : 31894 (java) S 31886 31888 31125 0 -1 64 431 0 0 0 17 1 0 0 16 0 8 0 156293537 937619456 25170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31895] ppid=31886 vsize=915648 CPUtime=0
/proc/31888/task/31895/stat : 31895 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156293537 937623552 25170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31896] ppid=31886 vsize=915644 CPUtime=0
/proc/31888/task/31896/stat : 31896 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156293537 937619456 25170 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) 915648
[startup+6.26383 s]
/proc/loadavg: 1.02 1.46 1.72 2/77 31896
/proc/meminfo: memFree=1629216/2055888 swapFree=4096420/4096564
[pid=31888] ppid=31886 vsize=915872 CPUtime=6.22
/proc/31888/stat : 31888 (java) R 31886 31888 31125 0 -1 0 35768 0 1 0 512 110 0 0 17 0 8 0 156293530 937852928 35420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074163595 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31888/statm: 228968 35420 2534 14 0 215437 0
[pid=31888/tid=31890] ppid=31886 vsize=915872 CPUtime=0.83
/proc/31888/task/31890/stat : 31890 (java) S 31886 31888 31125 0 -1 64 18616 0 0 0 78 5 0 0 16 0 8 0 156293534 937852928 35420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31891] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31891/stat : 31891 (java) S 31886 31888 31125 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31892] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31892/stat : 31892 (java) S 31886 31888 31125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31893] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31893/stat : 31893 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156293537 937852928 35420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31894] ppid=31886 vsize=915872 CPUtime=0.31
/proc/31888/task/31894/stat : 31894 (java) S 31886 31888 31125 0 -1 64 523 0 0 0 30 1 0 0 15 0 8 0 156293537 937852928 35420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31895] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31895/stat : 31895 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156293537 937852928 35420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31896] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31896/stat : 31896 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156293537 937852928 35420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915872
[startup+12.7311 s]
/proc/loadavg: 1.02 1.45 1.71 2/77 31896
/proc/meminfo: memFree=1629096/2055888 swapFree=4096420/4096564
[pid=31888] ppid=31886 vsize=915872 CPUtime=12.69
/proc/31888/stat : 31888 (java) R 31886 31888 31125 0 -1 0 35792 0 1 0 1159 110 0 0 25 0 8 0 156293530 937852928 35441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839056 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31888/statm: 228968 35441 2538 14 0 215437 0
[pid=31888/tid=31890] ppid=31886 vsize=915872 CPUtime=0.83
/proc/31888/task/31890/stat : 31890 (java) S 31886 31888 31125 0 -1 64 18617 0 0 0 78 5 0 0 16 0 8 0 156293534 937852928 35441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31891] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31891/stat : 31891 (java) S 31886 31888 31125 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31892] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31892/stat : 31892 (java) S 31886 31888 31125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31893] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31893/stat : 31893 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156293537 937852928 35441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31894] ppid=31886 vsize=915872 CPUtime=0.35
/proc/31888/task/31894/stat : 31894 (java) S 31886 31888 31125 0 -1 64 537 0 0 0 33 2 0 0 15 0 8 0 156293537 937852928 35441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31895] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31895/stat : 31895 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156293537 937852928 35441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31896] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31896/stat : 31896 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156293537 937852928 35441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915872
[startup+25.5726 s]
/proc/loadavg: 1.02 1.43 1.70 2/77 31896
/proc/meminfo: memFree=1629160/2055888 swapFree=4096420/4096564
[pid=31888] ppid=31886 vsize=915872 CPUtime=25.52
/proc/31888/stat : 31888 (java) R 31886 31888 31125 0 -1 0 35797 0 1 0 2442 110 0 0 25 0 8 0 156293530 937852928 35444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836452 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31888/statm: 228968 35444 2538 14 0 215437 0
[pid=31888/tid=31890] ppid=31886 vsize=915872 CPUtime=0.83
/proc/31888/task/31890/stat : 31890 (java) S 31886 31888 31125 0 -1 64 18617 0 0 0 78 5 0 0 16 0 8 0 156293534 937852928 35444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31891] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31891/stat : 31891 (java) S 31886 31888 31125 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31892] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31892/stat : 31892 (java) S 31886 31888 31125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31893] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31893/stat : 31893 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156293537 937852928 35444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31894] ppid=31886 vsize=915872 CPUtime=0.35
/proc/31888/task/31894/stat : 31894 (java) S 31886 31888 31125 0 -1 64 540 0 0 0 33 2 0 0 15 0 8 0 156293537 937852928 35444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31895] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31895/stat : 31895 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156293537 937852928 35444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31896] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31896/stat : 31896 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156293537 937852928 35444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915872
[startup+51.2456 s]
/proc/loadavg: 1.01 1.40 1.68 2/77 31896
/proc/meminfo: memFree=1629160/2055888 swapFree=4096420/4096564
[pid=31888] ppid=31886 vsize=915872 CPUtime=51.17
/proc/31888/stat : 31888 (java) R 31886 31888 31125 0 -1 0 35797 0 1 0 5007 110 0 0 25 0 8 0 156293530 937852928 35444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833327 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31888/statm: 228968 35444 2538 14 0 215437 0
[pid=31888/tid=31890] ppid=31886 vsize=915872 CPUtime=0.83
/proc/31888/task/31890/stat : 31890 (java) S 31886 31888 31125 0 -1 64 18617 0 0 0 78 5 0 0 16 0 8 0 156293534 937852928 35444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31891] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31891/stat : 31891 (java) S 31886 31888 31125 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31892] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31892/stat : 31892 (java) S 31886 31888 31125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31893] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31893/stat : 31893 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156293537 937852928 35444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31894] ppid=31886 vsize=915872 CPUtime=0.35
/proc/31888/task/31894/stat : 31894 (java) S 31886 31888 31125 0 -1 64 540 0 0 0 33 2 0 0 16 0 8 0 156293537 937852928 35444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31895] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31895/stat : 31895 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156293537 937852928 35444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31896] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31896/stat : 31896 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156293537 937852928 35444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 915872
[startup+102.487 s]
/proc/loadavg: 1.00 1.33 1.64 2/77 31896
/proc/meminfo: memFree=1629224/2055888 swapFree=4096420/4096564
[pid=31888] ppid=31886 vsize=915872 CPUtime=102.4
/proc/31888/stat : 31888 (java) R 31886 31888 31125 0 -1 0 35806 0 1 0 10129 111 0 0 25 0 8 0 156293530 937852928 35449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074217002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31888/statm: 228968 35449 2538 14 0 215437 0
[pid=31888/tid=31890] ppid=31886 vsize=915872 CPUtime=0.83
/proc/31888/task/31890/stat : 31890 (java) S 31886 31888 31125 0 -1 64 18617 0 0 0 78 5 0 0 16 0 8 0 156293534 937852928 35449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31891] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31891/stat : 31891 (java) S 31886 31888 31125 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31892] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31892/stat : 31892 (java) S 31886 31888 31125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31893] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31893/stat : 31893 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156293537 937852928 35449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31894] ppid=31886 vsize=915872 CPUtime=0.36
/proc/31888/task/31894/stat : 31894 (java) S 31886 31888 31125 0 -1 64 545 0 0 0 34 2 0 0 16 0 8 0 156293537 937852928 35449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31895] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31895/stat : 31895 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156293537 937852928 35449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31896] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31896/stat : 31896 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156293537 937852928 35449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.4
Current children cumulated vsize (KiB) 915872
[startup+162.56 s]
/proc/loadavg: 1.00 1.27 1.60 2/77 31896
/proc/meminfo: memFree=1629224/2055888 swapFree=4096420/4096564
[pid=31888] ppid=31886 vsize=915872 CPUtime=162.45
/proc/31888/stat : 31888 (java) R 31886 31888 31125 0 -1 0 35808 0 1 0 16134 111 0 0 25 0 8 0 156293530 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073466908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.46
Current children cumulated vsize (KiB) 915872
[startup+1484.07 s]
/proc/loadavg: 1.00 1.00 1.12 2/77 31896
/proc/meminfo: memFree=1628840/2055888 swapFree=4096420/4096564
[pid=31888] ppid=31886 vsize=915872 CPUtime=1483.51
/proc/31888/stat : 31888 (java) R 31886 31888 31125 0 -1 0 35809 0 1 0 148240 111 0 0 25 0 8 0 156293530 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31888/statm: 228968 35450 2538 14 0 215437 0
[pid=31888/tid=31890] ppid=31886 vsize=915872 CPUtime=0.83
/proc/31888/task/31890/stat : 31890 (java) S 31886 31888 31125 0 -1 64 18617 0 0 0 78 5 0 0 16 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31891] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31891/stat : 31891 (java) S 31886 31888 31125 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31892] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31892/stat : 31892 (java) S 31886 31888 31125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31893] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31893/stat : 31893 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31894] ppid=31886 vsize=915872 CPUtime=0.36
/proc/31888/task/31894/stat : 31894 (java) S 31886 31888 31125 0 -1 64 547 0 0 0 34 2 0 0 17 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31895] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31895/stat : 31895 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31896] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31896/stat : 31896 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1483.51
Current children cumulated vsize (KiB) 915872
[startup+1544.14 s]
/proc/loadavg: 1.00 1.00 1.11 2/77 31896
/proc/meminfo: memFree=1628776/2055888 swapFree=4096420/4096564
[pid=31888] ppid=31886 vsize=915872 CPUtime=1543.56
/proc/31888/stat : 31888 (java) R 31886 31888 31125 0 -1 0 35809 0 1 0 154245 111 0 0 25 0 8 0 156293530 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31888/statm: 228968 35450 2538 14 0 215437 0
[pid=31888/tid=31890] ppid=31886 vsize=915872 CPUtime=0.83
/proc/31888/task/31890/stat : 31890 (java) S 31886 31888 31125 0 -1 64 18617 0 0 0 78 5 0 0 16 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31891] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31891/stat : 31891 (java) S 31886 31888 31125 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31892] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31892/stat : 31892 (java) S 31886 31888 31125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31893] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31893/stat : 31893 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31894] ppid=31886 vsize=915872 CPUtime=0.36
/proc/31888/task/31894/stat : 31894 (java) S 31886 31888 31125 0 -1 64 547 0 0 0 34 2 0 0 17 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31895] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31895/stat : 31895 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31896] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31896/stat : 31896 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1543.56
Current children cumulated vsize (KiB) 915872
[startup+1604.21 s]
/proc/loadavg: 1.00 1.00 1.10 2/77 31896
/proc/meminfo: memFree=1628776/2055888 swapFree=4096420/4096564
[pid=31888] ppid=31886 vsize=915872 CPUtime=1603.6
/proc/31888/stat : 31888 (java) R 31886 31888 31125 0 -1 0 35809 0 1 0 160249 111 0 0 25 0 8 0 156293530 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31888/statm: 228968 35450 2538 14 0 215437 0
[pid=31888/tid=31890] ppid=31886 vsize=915872 CPUtime=0.83
/proc/31888/task/31890/stat : 31890 (java) S 31886 31888 31125 0 -1 64 18617 0 0 0 78 5 0 0 16 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31891] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31891/stat : 31891 (java) S 31886 31888 31125 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31892] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31892/stat : 31892 (java) S 31886 31888 31125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31893] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31893/stat : 31893 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31894] ppid=31886 vsize=915872 CPUtime=0.36
/proc/31888/task/31894/stat : 31894 (java) S 31886 31888 31125 0 -1 64 547 0 0 0 34 2 0 0 17 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31895] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31895/stat : 31895 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31896] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31896/stat : 31896 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1603.6
Current children cumulated vsize (KiB) 915872
[startup+1664.27 s]
/proc/loadavg: 1.00 1.00 1.09 2/77 31896
/proc/meminfo: memFree=1628776/2055888 swapFree=4096420/4096564
[pid=31888] ppid=31886 vsize=915872 CPUtime=1663.64
/proc/31888/stat : 31888 (java) R 31886 31888 31125 0 -1 0 35809 0 1 0 166253 111 0 0 25 0 8 0 156293530 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835936 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31888/statm: 228968 35450 2538 14 0 215437 0
[pid=31888/tid=31890] ppid=31886 vsize=915872 CPUtime=0.83
/proc/31888/task/31890/stat : 31890 (java) S 31886 31888 31125 0 -1 64 18617 0 0 0 78 5 0 0 16 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31891] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31891/stat : 31891 (java) S 31886 31888 31125 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31892] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31892/stat : 31892 (java) S 31886 31888 31125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31893] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31893/stat : 31893 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31894] ppid=31886 vsize=915872 CPUtime=0.36
/proc/31888/task/31894/stat : 31894 (java) S 31886 31888 31125 0 -1 64 547 0 0 0 34 2 0 0 17 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31895] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31895/stat : 31895 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31896] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31896/stat : 31896 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1663.64
Current children cumulated vsize (KiB) 915872
[startup+1724.34 s]
/proc/loadavg: 1.00 1.00 1.08 2/77 31896
/proc/meminfo: memFree=1628776/2055888 swapFree=4096420/4096564
[pid=31888] ppid=31886 vsize=915872 CPUtime=1723.69
/proc/31888/stat : 31888 (java) R 31886 31888 31125 0 -1 0 35809 0 1 0 172258 111 0 0 25 0 8 0 156293530 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31888/statm: 228968 35450 2538 14 0 215437 0
[pid=31888/tid=31890] ppid=31886 vsize=915872 CPUtime=0.83
/proc/31888/task/31890/stat : 31890 (java) S 31886 31888 31125 0 -1 64 18617 0 0 0 78 5 0 0 16 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31891] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31891/stat : 31891 (java) S 31886 31888 31125 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31892] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31892/stat : 31892 (java) S 31886 31888 31125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31893] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31893/stat : 31893 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31894] ppid=31886 vsize=915872 CPUtime=0.36
/proc/31888/task/31894/stat : 31894 (java) S 31886 31888 31125 0 -1 64 547 0 0 0 34 2 0 0 17 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31895] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31895/stat : 31895 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31896] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31896/stat : 31896 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1723.69
Current children cumulated vsize (KiB) 915872
[startup+1784.41 s]
/proc/loadavg: 1.00 1.00 1.08 2/77 31896
/proc/meminfo: memFree=1628840/2055888 swapFree=4096420/4096564
[pid=31888] ppid=31886 vsize=915872 CPUtime=1783.74
/proc/31888/stat : 31888 (java) R 31886 31888 31125 0 -1 0 35809 0 1 0 178263 111 0 0 25 0 8 0 156293530 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839056 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31888/statm: 228968 35450 2538 14 0 215437 0
[pid=31888/tid=31890] ppid=31886 vsize=915872 CPUtime=0.83
/proc/31888/task/31890/stat : 31890 (java) S 31886 31888 31125 0 -1 64 18617 0 0 0 78 5 0 0 16 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31891] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31891/stat : 31891 (java) S 31886 31888 31125 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31892] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31892/stat : 31892 (java) S 31886 31888 31125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31893] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31893/stat : 31893 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31894] ppid=31886 vsize=915872 CPUtime=0.36
/proc/31888/task/31894/stat : 31894 (java) S 31886 31888 31125 0 -1 64 547 0 0 0 34 2 0 0 17 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31895] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31895/stat : 31895 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31896] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31896/stat : 31896 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1783.74
Current children cumulated vsize (KiB) 915872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.74 s]
/proc/loadavg: 1.00 1.00 1.08 2/77 31896
/proc/meminfo: memFree=1628776/2055888 swapFree=4096420/4096564
[pid=31888] ppid=31886 vsize=915872 CPUtime=1800.07
/proc/31888/stat : 31888 (java) R 31886 31888 31125 0 -1 0 35809 0 1 0 179896 111 0 0 25 0 8 0 156293530 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835337 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31888/statm: 228968 35450 2538 14 0 215437 0
[pid=31888/tid=31890] ppid=31886 vsize=915872 CPUtime=0.83
/proc/31888/task/31890/stat : 31890 (java) S 31886 31888 31125 0 -1 64 18617 0 0 0 78 5 0 0 16 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31891] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31891/stat : 31891 (java) S 31886 31888 31125 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31892] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31892/stat : 31892 (java) S 31886 31888 31125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156293534 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31893] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31893/stat : 31893 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31894] ppid=31886 vsize=915872 CPUtime=0.36
/proc/31888/task/31894/stat : 31894 (java) S 31886 31888 31125 0 -1 64 547 0 0 0 34 2 0 0 17 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31888/tid=31895] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31895/stat : 31895 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31888/tid=31896] ppid=31886 vsize=915872 CPUtime=0
/proc/31888/task/31896/stat : 31896 (java) S 31886 31888 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156293537 937852928 35450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.79
CPU time (s): 1800.12
CPU user time (s): 1798.99
CPU system time (s): 1.13283
CPU usage (%): 99.9628
Max. virtual memory (cumulated for all children) (KiB): 915988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.13283
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35825
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= 37815
involuntary context switches= 40070
runsolver used 2.23466 s user time and 4.15537 s system time
The end
Begin job on node76 on Sat Jan 6 10:22:44 UTC 2007
IDJOB= 216280
IDBENCH= 5066
FILE ID= node76/216280-1168078964
PBS_JOBID= 3476042
Free space on /tmp= 66637 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ppp/ppp-1-12-16.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/216280-1168078964/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-216280-1168078964 -o ROOT/results/node76/solver-216280-1168078964 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/216280-1168078964/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7a32993941fd5e1b7d826e9cbce5f774
RANDOM SEED= 555143923
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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1761728 kB
Buffers: 22080 kB
Cached: 199872 kB
SwapCached: 0 kB
Active: 62904 kB
Inactive: 175376 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1761728 kB
SwapTotal: 4096564 kB
SwapFree: 4096420 kB
Dirty: 6428 kB
Writeback: 0 kB
Mapped: 26720 kB
Slab: 42260 kB
Committed_AS: 5778340 kB
PageTables: 1424 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66637 MiB
End job on node76 on Sat Jan 6 10:52:47 UTC 2007