0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/215055-1168077801/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.55 nbVariables=1518 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.55 => wckTime=0.233 cpuTime=0.14 mem=8M869
0.55
0.55 predicates being loaded...
0.55
0.55 constraints being loaded...
4.14 nbConstraints=21621 nbConvertedConstraints=18999 nbConvertConstraintsChecks=16 nbExtensionStructures=2
4.14 nbSharedExtensionStructures=18997 nbConflictsStructures=3 nbSharedConflictsStructures=19185
4.14 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=5 nbEvaluationManagers=2
4.14 nbSharedEvaluationManagers=2620 maxDegree=492 maxArity=32
4.14 => wckTime=3.83 cpuTime=3.38 mem=60M48
4.36
4.36 solver IterativeSystematicSolver being built...
5.19 => wckTime=4.874 cpuTime=3.94 mem=90M2
5.30
5.30 preprocessing
5.30 nbConstraintChecks=0 nbPropagations=1518 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
5.30 detectedInconsistency=no
5.30 => wckTime=0.098 cpuTime=0.09 mem=101M203
7.51
7.51 search
7.51 run=0 nbConstraintChecks=340719 nbValidityChecks=996594 nbPropagations=6485 nbRevisions=653768
7.51 nbUselessRevisions=648796 nbAssignments=156 nbFailedAssignments=3 nbBacktracks=10 nbVisitedNodes=167
7.51 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
7.51 => wckTime=2.315 cpuTime=2.25 mem=101M203
9.47
9.47 search
9.47 run=1 nbConstraintChecks=740625 nbValidityChecks=2085736 nbPropagations=20123 nbRevisions=2045870
9.47 nbUselessRevisions=2028693 nbAssignments=314 nbFailedAssignments=8 nbBacktracks=25 nbVisitedNodes=340
9.47 nbRestartNogoods=2 mapSize=22 nbInferences=0 nbTooLargeKeys=0
9.47 => wckTime=4.274 cpuTime=4.19 mem=101M203
12.09
12.09 search
12.09 run=2 nbConstraintChecks=1374679 nbValidityChecks=3298166 nbPropagations=44694 nbRevisions=4340625
12.09 nbUselessRevisions=4300091 nbAssignments=480 nbFailedAssignments=16 nbBacktracks=49 nbVisitedNodes=529
12.09 nbRestartNogoods=3 mapSize=44 nbInferences=0 nbTooLargeKeys=0
12.09 => wckTime=6.897 cpuTime=6.8 mem=101M203
15.24
15.24 search
15.24 run=3 nbConstraintChecks=2204912 nbValidityChecks=4615945 nbPropagations=83731 nbRevisions=7690210
15.24 nbUselessRevisions=7611579 nbAssignments=658 nbFailedAssignments=24 nbBacktracks=82 nbVisitedNodes=738
15.24 nbRestartNogoods=4 mapSize=74 nbInferences=0 nbTooLargeKeys=0
15.24 => wckTime=10.05 cpuTime=9.93 mem=101M203
20.09
20.09 search
20.09 run=4 nbConstraintChecks=3701102 nbValidityChecks=6262790 nbPropagations=148310 nbRevisions=12585327
20.09 nbUselessRevisions=12442401 nbAssignments=865 nbFailedAssignments=36 nbBacktracks=141 nbVisitedNodes=1004
20.09 nbRestartNogoods=5 mapSize=132 nbInferences=0 nbTooLargeKeys=0
20.09 => wckTime=14.898 cpuTime=14.76 mem=102M221
26.18
26.18 search
26.18 run=5 nbConstraintChecks=5789562 nbValidityChecks=8229931 nbPropagations=257285 nbRevisions=19562043
26.18 nbUselessRevisions=19309480 nbAssignments=1098 nbFailedAssignments=61 nbBacktracks=216 nbVisitedNodes=1308
26.18 nbRestartNogoods=6 mapSize=201 nbInferences=0 nbTooLargeKeys=0
26.18 => wckTime=20.991 cpuTime=20.81 mem=102M221
35.81
35.81 search
35.81 run=6 nbConstraintChecks=9128006 nbValidityChecks=11284645 nbPropagations=441564 nbRevisions=29806236
35.81 nbUselessRevisions=29366614 nbAssignments=1357 nbFailedAssignments=106 nbBacktracks=330 nbVisitedNodes=1663
35.81 nbRestartNogoods=8 mapSize=295 nbInferences=0 nbTooLargeKeys=0
35.81 => wckTime=30.614 cpuTime=30.38 mem=102M221
56.50
56.50 search
56.50 run=7 nbConstraintChecks=14323613 nbValidityChecks=17394198 nbPropagations=710893 nbRevisions=45260881
56.50 nbUselessRevisions=44541078 nbAssignments=1658 nbFailedAssignments=141 nbBacktracks=504 nbVisitedNodes=2106
56.50 nbRestartNogoods=10 mapSize=435 nbInferences=0 nbTooLargeKeys=0
56.50 => wckTime=51.307 cpuTime=50.96 mem=102M221
88.73
88.73 search
88.73 run=8 nbConstraintChecks=21960552 nbValidityChecks=27058907 nbPropagations=1100880 nbRevisions=68639980
88.73 nbUselessRevisions=67509195 nbAssignments=2043 nbFailedAssignments=185 nbBacktracks=763 nbVisitedNodes=2696
88.73 nbRestartNogoods=12 mapSize=639 nbInferences=0 nbTooLargeKeys=0
88.73 => wckTime=83.536 cpuTime=83.04 mem=102M221
125.05
125.05 search
125.05 run=9 nbConstraintChecks=31794955 nbValidityChecks=41008634 nbPropagations=1673016 nbRevisions=103652151
125.05 nbUselessRevisions=101917161 nbAssignments=2602 nbFailedAssignments=269 nbBacktracks=1166 nbVisitedNodes=3574
125.05 nbRestartNogoods=13 mapSize=957 nbInferences=0 nbTooLargeKeys=0
125.05 => wckTime=119.858 cpuTime=119.19 mem=103M240
133.27
133.27 INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=103M240)
179.09
179.09 search
179.09 run=10 nbConstraintChecks=46253601 nbValidityChecks=60663203 nbPropagations=2492851 nbRevisions=155084234
179.09 nbUselessRevisions=152481732 nbAssignments=3355 nbFailedAssignments=366 nbBacktracks=1749 nbVisitedNodes=4815
179.09 nbRestartNogoods=14
179.09 => wckTime=173.893 cpuTime=172.95 mem=103M240
259.04
259.04 search
259.04 run=11 nbConstraintChecks=67665592 nbValidityChecks=88162502 nbPropagations=3664884 nbRevisions=229983545
259.04 nbUselessRevisions=226135958 nbAssignments=4425 nbFailedAssignments=482 nbBacktracks=2614 nbVisitedNodes=6638
259.04 nbRestartNogoods=16
259.04 => wckTime=253.846 cpuTime=252.52 mem=103M240
388.68
388.68 search
388.68 run=12 nbConstraintChecks=99236933 nbValidityChecks=133826342 nbPropagations=5327131 nbRevisions=341439429
388.68 nbUselessRevisions=335818127 nbAssignments=6015 nbFailedAssignments=685 nbBacktracks=3913 nbVisitedNodes=9309
388.68 nbRestartNogoods=21
388.68 => wckTime=383.49 cpuTime=381.55 mem=103M240
589.63
589.63 search
589.63 run=13 nbConstraintChecks=151299212 nbValidityChecks=193046347 nbPropagations=7781150 nbRevisions=505018857
589.63 nbUselessRevisions=496778564 nbAssignments=8346 nbFailedAssignments=978 nbBacktracks=5867 nbVisitedNodes=13445
589.63 nbRestartNogoods=25
589.63 => wckTime=584.441 cpuTime=581.54 mem=103M240
829.93
829.93 search
829.93 run=14 nbConstraintChecks=226741368 nbValidityChecks=250967704 nbPropagations=11509169 nbRevisions=733287671
829.93 nbUselessRevisions=721100302 nbAssignments=11948 nbFailedAssignments=1516 nbBacktracks=8786
829.93 nbVisitedNodes=19946 nbRestartNogoods=27
829.93 => wckTime=824.733 cpuTime=820.67 mem=103M240
1219.24
1219.24 search
1219.24 run=15 nbConstraintChecks=344032349 nbValidityChecks=345819526 nbPropagations=17138860 nbRevisions=1062963383
1219.24 nbUselessRevisions=1044837445 nbAssignments=17556 nbFailedAssignments=2636 nbBacktracks=13164
1219.24 nbVisitedNodes=29903 nbRestartNogoods=31
1219.24 => wckTime=1214.05 cpuTime=1208.13 mem=103M240
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-215055-1168077801 -o ROOT/results/node12/solver-215055-1168077801 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215055-1168077801/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.66 1.91 1.91 4/93 21780
/proc/meminfo: memFree=1567392/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=906644 CPUtime=0.02
/proc/21779/stat : 21779 (java) S 21777 21779 21656 0 -1 0 2069 0 1 0 2 0 0 0 18 0 2 0 156175145 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 226661 1818 1036 14 0 214244 0
[pid=21779/tid=21781] ppid=21777 vsize=906644 CPUtime=0
/proc/21779/task/21781/stat : 21781 (java) R 21777 21779 21656 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 156175148 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.103489 s]
/proc/loadavg: 1.66 1.91 1.91 4/93 21780
/proc/meminfo: memFree=1567392/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=914988 CPUtime=0.09
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 3004 0 1 0 8 1 0 0 17 0 8 0 156175145 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228747 2750 1430 14 0 215242 0
[pid=21779/tid=21781] ppid=21777 vsize=914988 CPUtime=0
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156175148 936947712 2750 18446744073709551615 134512640 134570532 4294956464 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.511561 s]
/proc/loadavg: 1.66 1.91 1.91 4/93 21780
/proc/meminfo: memFree=1567392/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915328 CPUtime=0.5
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 6579 0 1 0 46 4 0 0 18 0 8 0 156175145 937295872 6318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380215 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228832 6318 2135 14 0 215302 0
[pid=21779/tid=21781] ppid=21777 vsize=915328 CPUtime=0
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156175148 937295872 6318 18446744073709551615 134512640 134570532 4294956464 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.33471 s]
/proc/loadavg: 1.66 1.91 1.91 4/100 21787
/proc/meminfo: memFree=1504808/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915648 CPUtime=1.31
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 18336 0 1 0 121 10 0 0 20 0 8 0 156175145 937623552 18070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073576753 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228912 18070 2157 14 0 215382 0
[pid=21779/tid=21781] ppid=21777 vsize=915648 CPUtime=0.06
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 1800 0 0 0 6 0 0 0 16 0 8 0 156175148 937623552 18070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915648 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937623552 18070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915648 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156175149 937623552 18070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915648 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937623552 18070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915648 CPUtime=0.17
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 405 0 0 0 16 1 0 0 16 0 8 0 156175152 937623552 18070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915648 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937623552 18070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915648 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937623552 18070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915648
[startup+2.98801 s]
/proc/loadavg: 1.68 1.91 1.91 4/100 21787
/proc/meminfo: memFree=1492840/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915648 CPUtime=2.96
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 24835 0 1 0 236 60 0 0 25 0 8 0 156175145 937623552 24567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228912 24567 2178 14 0 215382 0
[pid=21779/tid=21781] ppid=21777 vsize=915648 CPUtime=0.24
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 8209 0 0 0 21 3 0 0 17 0 8 0 156175148 937623552 24567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915648 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937623552 24567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915648 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156175149 937623552 24567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915648 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937623552 24567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915648 CPUtime=0.21
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 429 0 0 0 20 1 0 0 16 0 8 0 156175152 937623552 24567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915648 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937623552 24567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915648 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937623552 24567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915648
[startup+6.2806 s]
/proc/loadavg: 1.68 1.91 1.91 3/100 21787
/proc/meminfo: memFree=1440360/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=6.23
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34416 0 1 0 515 108 0 0 25 0 8 0 156175145 937857024 34125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074194695 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34125 2533 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17253 0 0 0 56 6 0 0 17 0 8 0 156175148 937857024 34125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.37
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 522 0 0 0 35 2 0 0 15 0 8 0 156175152 937857024 34125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) R 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915876
[startup+12.7758 s]
/proc/loadavg: 1.73 1.91 1.91 3/100 21787
/proc/meminfo: memFree=1440360/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=12.69
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34432 0 1 0 1161 108 0 0 25 0 8 0 156175145 937857024 34137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074194080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34137 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 16 0 8 0 156175148 937857024 34137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.39
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 528 0 0 0 36 3 0 0 16 0 8 0 156175152 937857024 34137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34137 18446744073709551615 134512640 134570532 4294956464 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) 915876
[startup+25.6441 s]
/proc/loadavg: 1.77 1.91 1.91 3/100 21787
/proc/meminfo: memFree=1440488/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=25.5
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34436 0 1 0 2442 108 0 0 25 0 8 0 156175145 937857024 34140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074191997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34140 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 16 0 8 0 156175148 937857024 34140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.4
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 531 0 0 0 37 3 0 0 16 0 8 0 156175152 937857024 34140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915876
[startup+51.2837 s]
/proc/loadavg: 1.85 1.92 1.91 3/100 21787
/proc/meminfo: memFree=1440552/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=51.02
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34445 0 1 0 4993 109 0 0 25 0 8 0 156175145 937857024 34146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074192005 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34146 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 17 0 8 0 156175148 937857024 34146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.41
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 539 0 0 0 38 3 0 0 16 0 8 0 156175152 937857024 34146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 915876
[startup+102.56 s]
/proc/loadavg: 1.94 1.93 1.91 3/100 21787
/proc/meminfo: memFree=1440552/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=102.05
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34450 0 1 0 10096 109 0 0 25 0 8 0 156175145 937857024 34148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074132284 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34148 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 16 0 8 0 156175148 937857024 34148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.42
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 542 0 0 0 39 3 0 0 16 0 8 0 156175152 937857024 34148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 915876
################
# More data... #
################
Current children cumulated CPU time (s) 1416.41
Current children cumulated vsize (KiB) 915876
[startup+1483.27 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 21789
/proc/meminfo: memFree=1439720/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=1476.16
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34462 0 1 0 147497 119 0 0 25 0 8 0 156175145 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074191994 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34154 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 16 0 8 0 156175148 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.43
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 551 0 0 0 40 3 0 0 17 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.16
Current children cumulated vsize (KiB) 915876
[startup+1543.3 s]
/proc/loadavg: 2.25 2.08 1.97 3/100 21789
/proc/meminfo: memFree=1439656/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=1535.9
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34462 0 1 0 153470 120 0 0 25 0 8 0 156175145 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074191997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34154 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 16 0 8 0 156175148 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.43
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 551 0 0 0 40 3 0 0 17 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.9
Current children cumulated vsize (KiB) 915876
[startup+1603.33 s]
/proc/loadavg: 2.09 2.07 1.97 3/100 21847
/proc/meminfo: memFree=1457512/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=1595.59
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34462 0 1 0 159438 121 0 0 25 0 8 0 156175145 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074192052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34154 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 16 0 8 0 156175148 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.43
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 551 0 0 0 40 3 0 0 17 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.59
Current children cumulated vsize (KiB) 915876
[startup+1663.33 s]
/proc/loadavg: 2.03 2.05 1.97 3/100 21847
/proc/meminfo: memFree=1456872/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=1655.05
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34462 0 1 0 165383 122 0 0 25 0 8 0 156175145 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074192005 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34154 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 16 0 8 0 156175148 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.43
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 551 0 0 0 40 3 0 0 17 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.05
Current children cumulated vsize (KiB) 915876
[startup+1723.34 s]
/proc/loadavg: 2.01 2.04 1.97 3/100 21847
/proc/meminfo: memFree=1456808/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=1714.5
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34462 0 1 0 171328 122 0 0 25 0 8 0 156175145 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074192033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34154 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 16 0 8 0 156175148 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.43
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 551 0 0 0 40 3 0 0 17 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.5
Current children cumulated vsize (KiB) 915876
[startup+1783.36 s]
/proc/loadavg: 2.00 2.03 1.97 3/100 21847
/proc/meminfo: memFree=1456808/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=1773.97
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34462 0 1 0 177274 123 0 0 25 0 8 0 156175145 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074191991 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34154 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 16 0 8 0 156175148 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.43
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 551 0 0 0 40 3 0 0 17 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) R 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.97
Current children cumulated vsize (KiB) 915876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.7 s]
/proc/loadavg: 2.00 2.03 1.97 3/100 21847
/proc/meminfo: memFree=1456808/2055920 swapFree=4160348/4192956
[pid=21779] ppid=21777 vsize=915876 CPUtime=1800.07
/proc/21779/stat : 21779 (java) R 21777 21779 21656 0 -1 0 34462 0 1 0 179884 123 0 0 25 0 8 0 156175145 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074191931 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21779/statm: 228969 34154 2537 14 0 215439 0
[pid=21779/tid=21781] ppid=21777 vsize=915876 CPUtime=0.62
/proc/21779/task/21781/stat : 21781 (java) S 21777 21779 21656 0 -1 64 17254 0 0 0 56 6 0 0 16 0 8 0 156175148 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21782] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21782/stat : 21782 (java) S 21777 21779 21656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21783] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21783/stat : 21783 (java) S 21777 21779 21656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156175149 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21784] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21784/stat : 21784 (java) S 21777 21779 21656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21785] ppid=21777 vsize=915876 CPUtime=0.43
/proc/21779/task/21785/stat : 21785 (java) S 21777 21779 21656 0 -1 64 551 0 0 0 40 3 0 0 17 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21786] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21786/stat : 21786 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21779/tid=21787] ppid=21777 vsize=915876 CPUtime=0
/proc/21779/task/21787/stat : 21787 (java) S 21777 21779 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156175152 937857024 34154 18446744073709551615 134512640 134570532 4294956464 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) 915876
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.78
CPU time (s): 1800.14
CPU user time (s): 1798.89
CPU system time (s): 1.25481
CPU usage (%): 99.4678
Max. virtual memory (cumulated for all children) (KiB): 915876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.89
system time used= 1.25481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34479
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= 38220
involuntary context switches= 92777
runsolver used 2.09068 s user time and 5.9281 s system time
The end
Begin job on node12 on Sat Jan 6 10:03:21 UTC 2007
IDJOB= 215055
IDBENCH= 4972
FILE ID= node12/215055-1168077801
PBS_JOBID= 3475824
Free space on /tmp= 66311 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-32c4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215055-1168077801/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-215055-1168077801 -o ROOT/results/node12/solver-215055-1168077801 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215055-1168077801/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f756a64a086b1e66d9d87aeff8d1d6e5
RANDOM SEED= 727100893
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.265
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.265
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: 1567808 kB
Buffers: 33160 kB
Cached: 264552 kB
SwapCached: 4684 kB
Active: 175036 kB
Inactive: 231904 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1567808 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 5292 kB
Writeback: 0 kB
Mapped: 128924 kB
Slab: 65964 kB
Committed_AS: 4758328 kB
PageTables: 2276 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= 66313 MiB
End job on node12 on Sat Jan 6 10:33:31 UTC 2007