0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/249272-1168403508/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.43 nbVariables=100 nbDomainTypes=1 minDomainSize=46 maxDomainSize=46
0.43 => wckTime=0.113 cpuTime=0.1 mem=6M951
0.43
0.43 predicates being loaded...
0.46
0.46 constraints being loaded...
0.71 nbConstraints=40 nbSingletonDomainVariables=9 nbDisconnectedVariables=9 nbConflictsStructures=3
0.71 nbSharedConflictsStructures=0 nbUnbuiltConflictsStructures=37 nbSharedBinaryRepresentations=0
0.71 nbEvaluationManagers=40 nbSharedEvaluationManagers=0 maxDegree=6 maxArity=8
0.71 => wckTime=0.391 cpuTime=0.32 mem=9M877
0.74
0.74 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.609 cpuTime=0.48 mem=15M478
2.78
2.78 preprocessing
2.78 nbConstraintChecks=2972519 nbValidityChecks=3467 nbPropagations=352 nbRevisions=166 nbUselessRevisions=33
2.78 nbSingletonTests=133 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=57 detectedInconsistency=no
2.78 => wckTime=1.858 cpuTime=1.82 mem=15M478
17.42
17.42 search
17.42 run=0 nbConstraintChecks=18405942 nbValidityChecks=797 nbPropagations=755 nbRevisions=388
17.42 nbUselessRevisions=49 nbAssignments=197 nbFailedAssignments=184 nbBacktracks=10 nbVisitedNodes=382
17.42 nbRestartNogoods=0 mapSize=5 nbInferences=0 nbTooLargeKeys=0
17.42 => wckTime=16.491 cpuTime=16.31 mem=15M478
75.29
75.29 search
75.29 run=1 nbConstraintChecks=85567782 nbValidityChecks=797 nbPropagations=2906 nbRevisions=1466
75.29 nbUselessRevisions=98 nbAssignments=903 nbFailedAssignments=874 nbBacktracks=25 nbVisitedNodes=1778
75.29 nbRestartNogoods=1 mapSize=20 nbInferences=0 nbTooLargeKeys=0
75.29 => wckTime=74.362 cpuTime=73.62 mem=15M478
153.99
153.99 search
153.99 run=2 nbConstraintChecks=184071814 nbValidityChecks=797 nbPropagations=7105 nbRevisions=3556
153.99 nbUselessRevisions=147 nbAssignments=1938 nbFailedAssignments=1886 nbBacktracks=47 nbVisitedNodes=3825
153.99 nbRestartNogoods=16 mapSize=42 nbInferences=0 nbTooLargeKeys=0
153.99 => wckTime=153.068 cpuTime=152.07 mem=15M478
265.44
265.44 search
265.44 run=3 nbConstraintChecks=327350406 nbValidityChecks=797 nbPropagations=14283 nbRevisions=7118
265.44 nbUselessRevisions=196 nbAssignments=3444 nbFailedAssignments=3358 nbBacktracks=80 nbVisitedNodes=6803
265.44 nbRestartNogoods=38 mapSize=75 nbInferences=0 nbTooLargeKeys=0
265.44 => wckTime=264.511 cpuTime=263.39 mem=15M478
437.11
437.11 search
437.11 run=4 nbConstraintChecks=546745750 nbValidityChecks=797 nbPropagations=26021 nbRevisions=12934
437.11 nbUselessRevisions=245 nbAssignments=5749 nbFailedAssignments=5612 nbBacktracks=130 nbVisitedNodes=11362
437.11 nbRestartNogoods=61 mapSize=125 nbInferences=0 nbTooLargeKeys=0
437.11 => wckTime=436.179 cpuTime=434.89 mem=15M478
602.67
602.67 search
602.67 run=5 nbConstraintChecks=764212450 nbValidityChecks=53116 nbPropagations=42961 nbRevisions=22677
602.67 nbUselessRevisions=584 nbAssignments=8040 nbFailedAssignments=7827 nbBacktracks=205 nbVisitedNodes=15868
602.67 nbRestartNogoods=87 mapSize=187 nbInferences=0 nbTooLargeKeys=0
602.67 => wckTime=601.741 cpuTime=599.74 mem=15M478
743.08
743.08 search
743.08 run=6 nbConstraintChecks=955957070 nbValidityChecks=131899 nbPropagations=65174 nbRevisions=37095
743.08 nbUselessRevisions=1327 nbAssignments=10103 nbFailedAssignments=9750 nbBacktracks=318 nbVisitedNodes=19854
743.08 nbRestartNogoods=108 mapSize=277 nbInferences=0 nbTooLargeKeys=0
743.08 => wckTime=742.157 cpuTime=739.49 mem=15M478
825.47
825.47 search
825.47 run=7 nbConstraintChecks=1068529638 nbValidityChecks=320840 nbPropagations=95871 nbRevisions=60116
825.47 nbUselessRevisions=5401 nbAssignments=13358 nbFailedAssignments=11308 nbBacktracks=488 nbVisitedNodes=23159
825.47 nbRestartNogoods=181 mapSize=420 nbInferences=0 nbTooLargeKeys=0
825.47 => wckTime=824.544 cpuTime=821.48 mem=16M453
869.14
869.14 search
869.14 run=8 nbConstraintChecks=1141302330 nbValidityChecks=440587 nbPropagations=132818 nbRevisions=89072
869.14 nbUselessRevisions=10747 nbAssignments=15398 nbFailedAssignments=12139 nbBacktracks=744 nbVisitedNodes=25087
869.14 nbRestartNogoods=246 mapSize=676 nbInferences=0 nbTooLargeKeys=0
869.14 => wckTime=868.216 cpuTime=864.84 mem=16M453
1024.61
1024.61 INFO : Stopping hyperNogood (mapSize=1031, nbTooLargekeys=0, mem=16M453)
1067.40
1067.40 search
1067.40 run=9 nbConstraintChecks=1458299580 nbValidityChecks=800839 nbPropagations=179692 nbRevisions=129426
1067.40 nbUselessRevisions=18392 nbAssignments=19187 nbFailedAssignments=15172 nbBacktracks=1129 nbVisitedNodes=31540
1067.40 nbRestartNogoods=302
1067.40 => wckTime=1066.478 cpuTime=1062.17 mem=16M453
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-249272-1168403508 -o ROOT/results/node13/solver-249272-1168403508 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/249272-1168403508/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.17 2.06 2.01 4/94 4124
/proc/meminfo: memFree=1123144/2055920 swapFree=4191880/4192956
[pid=4123] ppid=4121 vsize=18540 CPUtime=0
/proc/4123/stat : 4123 (runsolver) R 4121 4123 4003 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 188745785 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4123/statm: 4635 279 244 17 0 2626 0
[startup+0.108951 s]
/proc/loadavg: 2.17 2.06 2.01 4/94 4124
/proc/meminfo: memFree=1123144/2055920 swapFree=4191880/4192956
[pid=4123] ppid=4121 vsize=914988 CPUtime=0.09
/proc/4123/stat : 4123 (java) R 4121 4123 4003 0 -1 0 3037 0 1 0 8 1 0 0 17 0 8 0 188745785 936947712 2783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155191412 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4123/statm: 228747 2783 1441 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.521007 s]
/proc/loadavg: 2.17 2.06 2.01 4/94 4124
/proc/meminfo: memFree=1123144/2055920 swapFree=4191880/4192956
[pid=4123] ppid=4121 vsize=915464 CPUtime=0.5
/proc/4123/stat : 4123 (java) R 4121 4123 4003 0 -1 0 6717 0 1 0 45 5 0 0 18 0 8 0 188745785 937435136 6456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4123/statm: 228866 6456 2165 14 0 215336 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915464
[startup+1.34611 s]
/proc/loadavg: 2.17 2.06 2.01 3/101 4131
/proc/meminfo: memFree=1099088/2055920 swapFree=4191880/4192956
[pid=4123] ppid=4121 vsize=915464 CPUtime=1.31
/proc/4123/stat : 4123 (java) R 4121 4123 4003 0 -1 0 8748 0 1 0 124 7 0 0 21 0 8 0 188745785 937435136 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073622139 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4123/statm: 228866 8486 2542 14 0 215336 0
[pid=4123/tid=4125] ppid=4121 vsize=915464 CPUtime=0.02
/proc/4123/task/4125/stat : 4125 (java) S 4121 4123 4003 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 188745789 937435136 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4126] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4126/stat : 4126 (java) S 4121 4123 4003 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188745789 937435136 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4127] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4127/stat : 4127 (java) S 4121 4123 4003 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188745789 937435136 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4128] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4128/stat : 4128 (java) S 4121 4123 4003 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188745792 937435136 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4129] ppid=4121 vsize=915464 CPUtime=0.15
/proc/4123/task/4129/stat : 4129 (java) S 4121 4123 4003 0 -1 64 348 0 0 0 14 1 0 0 16 0 8 0 188745792 937435136 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4130] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4130/stat : 4130 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188745792 937435136 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4131] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4131/stat : 4131 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188745792 937435136 8486 18446744073709551615 134512640 134570532 4294956480 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) 915464
[startup+2.98333 s]
/proc/loadavg: 2.17 2.06 2.01 3/101 4131
/proc/meminfo: memFree=1099024/2055920 swapFree=4191880/4192956
[pid=4123] ppid=4121 vsize=915464 CPUtime=2.93
/proc/4123/stat : 4123 (java) R 4121 4123 4003 0 -1 0 8843 0 1 0 286 7 0 0 25 0 8 0 188745785 937435136 8579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073624951 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4123/statm: 228866 8579 2542 14 0 215336 0
[pid=4123/tid=4125] ppid=4121 vsize=915464 CPUtime=0.02
/proc/4123/task/4125/stat : 4125 (java) S 4121 4123 4003 0 -1 64 169 0 0 0 2 0 0 0 17 0 8 0 188745789 937435136 8579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4126] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4126/stat : 4126 (java) S 4121 4123 4003 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188745789 937435136 8579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4127] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4127/stat : 4127 (java) S 4121 4123 4003 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188745789 937435136 8579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4128] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4128/stat : 4128 (java) S 4121 4123 4003 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188745792 937435136 8579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4129] ppid=4121 vsize=915464 CPUtime=0.16
/proc/4123/task/4129/stat : 4129 (java) S 4121 4123 4003 0 -1 64 356 0 0 0 15 1 0 0 16 0 8 0 188745792 937435136 8579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4130] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4130/stat : 4130 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188745792 937435136 8579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4131] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4131/stat : 4131 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188745792 937435136 8579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
[startup+6.26277 s]
/proc/loadavg: 2.15 2.06 2.01 3/101 4131
/proc/meminfo: memFree=1098640/2055920 swapFree=4191880/4192956
[pid=4123] ppid=4121 vsize=915464 CPUtime=6.18
/proc/4123/stat : 4123 (java) R 4121 4123 4003 0 -1 0 8850 0 1 0 611 7 0 0 25 0 8 0 188745785 937435136 8585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073618653 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4123/statm: 228866 8585 2542 14 0 215336 0
[pid=4123/tid=4125] ppid=4121 vsize=915464 CPUtime=0.02
/proc/4123/task/4125/stat : 4125 (java) S 4121 4123 4003 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 188745789 937435136 8585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4126] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4126/stat : 4126 (java) S 4121 4123 4003 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188745789 937435136 8585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4127] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4127/stat : 4127 (java) S 4121 4123 4003 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188745789 937435136 8585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4128] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4128/stat : 4128 (java) S 4121 4123 4003 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188745792 937435136 8585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4129] ppid=4121 vsize=915464 CPUtime=0.16
/proc/4123/task/4129/stat : 4129 (java) S 4121 4123 4003 0 -1 64 359 0 0 0 15 1 0 0 17 0 8 0 188745792 937435136 8585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4130] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4130/stat : 4130 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188745792 937435136 8585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4131] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4131/stat : 4131 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188745792 937435136 8585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915464
[startup+12.7516 s]
/proc/loadavg: 2.14 2.06 2.01 3/101 4131
/proc/meminfo: memFree=1098640/2055920 swapFree=4191880/4192956
[pid=4123] ppid=4121 vsize=915464 CPUtime=12.61
/proc/4123/stat : 4123 (java) R 4121 4123 4003 0 -1 0 8858 0 1 0 1254 7 0 0 25 0 8 0 188745785 937435136 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073619175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4123/statm: 228866 8590 2543 14 0 215336 0
[pid=4123/tid=4125] ppid=4121 vsize=915464 CPUtime=0.02
/proc/4123/task/4125/stat : 4125 (java) S 4121 4123 4003 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 188745789 937435136 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4126] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4126/stat : 4126 (java) S 4121 4123 4003 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188745789 937435136 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4127] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4127/stat : 4127 (java) S 4121 4123 4003 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188745789 937435136 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4128] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4128/stat : 4128 (java) S 4121 4123 4003 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188745792 937435136 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4129] ppid=4121 vsize=915464 CPUtime=0.17
/proc/4123/task/4129/stat : 4129 (java) S 4121 4123 4003 0 -1 64 362 0 0 0 16 1 0 0 16 0 8 0 188745792 937435136 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4130] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4130/stat : 4130 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188745792 937435136 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4131] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4131/stat : 4131 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188745792 937435136 8590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915464
[startup+25.6094 s]
/proc/loadavg: 2.11 2.05 2.01 3/101 4131
/proc/meminfo: memFree=1098640/2055920 swapFree=4191880/4192956
[pid=4123] ppid=4121 vsize=915464 CPUtime=25.35
/proc/4123/stat : 4123 (java) R 4121 4123 4003 0 -1 0 8867 0 1 0 2528 7 0 0 25 0 8 0 188745785 937435136 8596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073617351 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4123/statm: 228866 8596 2543 14 0 215336 0
[pid=4123/tid=4125] ppid=4121 vsize=915464 CPUtime=0.02
/proc/4123/task/4125/stat : 4125 (java) S 4121 4123 4003 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 188745789 937435136 8596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4126] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4126/stat : 4126 (java) S 4121 4123 4003 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188745789 937435136 8596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4127] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4127/stat : 4127 (java) S 4121 4123 4003 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188745789 937435136 8596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4128] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4128/stat : 4128 (java) S 4121 4123 4003 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188745792 937435136 8596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4129] ppid=4121 vsize=915464 CPUtime=0.17
/proc/4123/task/4129/stat : 4129 (java) S 4121 4123 4003 0 -1 64 367 0 0 0 16 1 0 0 16 0 8 0 188745792 937435136 8596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4130] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4130/stat : 4130 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188745792 937435136 8596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4131] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4131/stat : 4131 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188745792 937435136 8596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915464
[startup+51.2148 s]
/proc/loadavg: 2.07 2.05 2.01 3/101 4131
/proc/meminfo: memFree=1098704/2055920 swapFree=4191880/4192956
[pid=4123] ppid=4121 vsize=915464 CPUtime=50.73
/proc/4123/stat : 4123 (java) R 4121 4123 4003 0 -1 0 8872 0 1 0 5065 8 0 0 25 0 8 0 188745785 937435136 8598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073622219 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4123/statm: 228866 8598 2543 14 0 215336 0
[pid=4123/tid=4125] ppid=4121 vsize=915464 CPUtime=0.02
/proc/4123/task/4125/stat : 4125 (java) S 4121 4123 4003 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 188745789 937435136 8598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4126] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4126/stat : 4126 (java) S 4121 4123 4003 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188745789 937435136 8598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4127] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4127/stat : 4127 (java) S 4121 4123 4003 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188745789 937435136 8598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4128] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4128/stat : 4128 (java) S 4121 4123 4003 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188745792 937435136 8598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4129] ppid=4121 vsize=915464 CPUtime=0.18
/proc/4123/task/4129/stat : 4129 (java) S 4121 4123 4003 0 -1 64 372 0 0 0 17 1 0 0 16 0 8 0 188745792 937435136 8598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4130] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4130/stat : 4130 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188745792 937435136 8598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4131] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4131/stat : 4131 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188745792 937435136 8598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915464
[startup+102.425 s]
/proc/loadavg: 1.95 2.02 2.00 3/88 4601
/proc/meminfo: memFree=1746552/2055920 swapFree=4191880/4192956
[pid=4123] ppid=4121 vsize=915464 CPUtime=101.51
/proc/4123/stat : 4123 (java) R 4121 4123 4003 0 -1 0 8881 0 1 0 10142 9 0 0 25 0 8 0 188745785 937435136 8603 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073619181 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4123/statm: 228866 8603 2543 14 0 215336 0
[pid=4123/tid=4125] ppid=4121 vsize=915464 CPUtime=0.02
/proc/4123/task/4125/stat : 4125 (java) S 4121 4123 4003 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 188745789 937435136 8603 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4126] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4126/stat : 4126 (java) S 4121 4123 4003 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188745789 937435136 8603 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4127] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4127/stat : 4127 (java) S 4121 4123 4003 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188745789 937435136 8603 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4128] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4128/stat : 4128 (java) S 4121 4123 4003 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188745792 937435136 8603 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4129] ppid=4121 vsize=915464 CPUtime=0.18
/proc/4123/task/4129/stat : 4129 (java) S 4121 4123 4003 0 -1 64 378 0 0 0 17 1 0 0 16 0 8 0 188745792 937435136 8603 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4130] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4130/stat : 4130 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188745792 937435136 8603 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4131] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4131/stat : 4131 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188745792 937435136 8603 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915464
[startup+162.472 s]
/proc/loadavg: 1.95 2.00 1.99 3/101 4691
/proc/meminfo: memFree=1694232/2055920 swapFree=4191880/4192956
[pid=4123] ppid=4121 vsize=915464 CPUtime=161.51
/proc/4123/stat : 4123 (java) R 4121 4123 4003 0 -1 0 8906 0 1 0 16141 10 0 0 25 0 8 0 188745785 937435136 8620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073622834 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.27
Current children cumulated vsize (KiB) 915464
[startup+1483.21 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 4691
/proc/meminfo: memFree=1673880/2055920 swapFree=4191880/4192956
[pid=4123] ppid=4121 vsize=915464 CPUtime=1477
/proc/4123/stat : 4123 (java) R 4121 4123 4003 0 -1 0 9043 0 1 0 147686 14 0 0 25 0 8 0 188745785 937435136 8741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628151 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4123/statm: 228866 8741 2543 14 0 215336 0
[pid=4123/tid=4125] ppid=4121 vsize=915464 CPUtime=0.02
/proc/4123/task/4125/stat : 4125 (java) S 4121 4123 4003 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 188745789 937435136 8741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4123/tid=4126] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4126/stat : 4126 (java) S 4121 4123 4003 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188745789 937435136 8741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4127] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4127/stat : 4127 (java) S 4121 4123 4003 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188745789 937435136 8741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4128] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4128/stat : 4128 (java) S 4121 4123 4003 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188745792 937435136 8741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4129] ppid=4121 vsize=915464 CPUtime=0.23
/proc/4123/task/4129/stat : 4129 (java) S 4121 4123 4003 0 -1 64 410 0 0 0 22 1 0 0 15 0 8 0 188745792 937435136 8741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4123/tid=4130] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4130/stat : 4130 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188745792 937435136 8741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4131] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4131/stat : 4131 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188745792 937435136 8741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477
Current children cumulated vsize (KiB) 915464
[startup+1543.23 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 4691
/proc/meminfo: memFree=1672536/2055920 swapFree=4191880/4192956
[pid=4123] ppid=4121 vsize=915464 CPUtime=1536.76
/proc/4123/stat : 4123 (java) R 4121 4123 4003 0 -1 0 9044 0 1 0 153662 14 0 0 25 0 8 0 188745785 937435136 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073619207 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4123/statm: 228866 8742 2543 14 0 215336 0
[pid=4123/tid=4125] ppid=4121 vsize=915464 CPUtime=0.02
/proc/4123/task/4125/stat : 4125 (java) S 4121 4123 4003 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 188745789 937435136 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4123/tid=4126] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4126/stat : 4126 (java) S 4121 4123 4003 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188745789 937435136 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4127] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4127/stat : 4127 (java) S 4121 4123 4003 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188745789 937435136 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4128] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4128/stat : 4128 (java) S 4121 4123 4003 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188745792 937435136 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4129] ppid=4121 vsize=915464 CPUtime=0.23
/proc/4123/task/4129/stat : 4129 (java) S 4121 4123 4003 0 -1 64 411 0 0 0 22 1 0 0 17 0 8 0 188745792 937435136 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4123/tid=4130] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4130/stat : 4130 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188745792 937435136 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4131] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4131/stat : 4131 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188745792 937435136 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.76
Current children cumulated vsize (KiB) 915464
[startup+1603.25 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 4691
/proc/meminfo: memFree=1670552/2055920 swapFree=4191880/4192956
[pid=4123] ppid=4121 vsize=915464 CPUtime=1596.5
/proc/4123/stat : 4123 (java) R 4121 4123 4003 0 -1 0 9044 0 1 0 159636 14 0 0 25 0 8 0 188745785 937435136 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073618600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4123/statm: 228866 8742 2543 14 0 215336 0
[pid=4123/tid=4125] ppid=4121 vsize=915464 CPUtime=0.02
/proc/4123/task/4125/stat : 4125 (java) S 4121 4123 4003 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 188745789 937435136 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4123/tid=4126] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4126/stat : 4126 (java) S 4121 4123 4003 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188745789 937435136 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4127] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4127/stat : 4127 (java) S 4121 4123 4003 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188745789 937435136 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4128] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4128/stat : 4128 (java) S 4121 4123 4003 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188745792 937435136 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4129] ppid=4121 vsize=915464 CPUtime=0.23
/proc/4123/task/4129/stat : 4129 (java) S 4121 4123 4003 0 -1 64 411 0 0 0 22 1 0 0 17 0 8 0 188745792 937435136 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4123/tid=4130] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4130/stat : 4130 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188745792 937435136 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4131] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4131/stat : 4131 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188745792 937435136 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.5
Current children cumulated vsize (KiB) 915464
[startup+1663.27 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 4691
/proc/meminfo: memFree=1669336/2055920 swapFree=4191880/4192956
[pid=4123] ppid=4121 vsize=915464 CPUtime=1656.23
/proc/4123/stat : 4123 (java) R 4121 4123 4003 0 -1 0 9046 0 1 0 165609 14 0 0 25 0 8 0 188745785 937435136 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4123/statm: 228866 8744 2543 14 0 215336 0
[pid=4123/tid=4125] ppid=4121 vsize=915464 CPUtime=0.02
/proc/4123/task/4125/stat : 4125 (java) S 4121 4123 4003 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 188745789 937435136 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4123/tid=4126] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4126/stat : 4126 (java) S 4121 4123 4003 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188745789 937435136 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4127] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4127/stat : 4127 (java) S 4121 4123 4003 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188745789 937435136 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4128] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4128/stat : 4128 (java) S 4121 4123 4003 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188745792 937435136 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4129] ppid=4121 vsize=915464 CPUtime=0.23
/proc/4123/task/4129/stat : 4129 (java) S 4121 4123 4003 0 -1 64 413 0 0 0 22 1 0 0 17 0 8 0 188745792 937435136 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4123/tid=4130] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4130/stat : 4130 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188745792 937435136 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4131] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4131/stat : 4131 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188745792 937435136 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.23
Current children cumulated vsize (KiB) 915464
[startup+1723.29 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 4691
/proc/meminfo: memFree=1667224/2055920 swapFree=4191880/4192956
[pid=4123] ppid=4121 vsize=915464 CPUtime=1715.98
/proc/4123/stat : 4123 (java) R 4121 4123 4003 0 -1 0 9047 0 1 0 171583 15 0 0 25 0 8 0 188745785 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073621706 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4123/statm: 228866 8745 2543 14 0 215336 0
[pid=4123/tid=4125] ppid=4121 vsize=915464 CPUtime=0.02
/proc/4123/task/4125/stat : 4125 (java) S 4121 4123 4003 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 188745789 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4123/tid=4126] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4126/stat : 4126 (java) S 4121 4123 4003 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188745789 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4127] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4127/stat : 4127 (java) S 4121 4123 4003 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188745789 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4128] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4128/stat : 4128 (java) S 4121 4123 4003 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188745792 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4129] ppid=4121 vsize=915464 CPUtime=0.23
/proc/4123/task/4129/stat : 4129 (java) S 4121 4123 4003 0 -1 64 414 0 0 0 22 1 0 0 16 0 8 0 188745792 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4123/tid=4130] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4130/stat : 4130 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188745792 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4131] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4131/stat : 4131 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188745792 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.98
Current children cumulated vsize (KiB) 915464
[startup+1783.34 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 4820
/proc/meminfo: memFree=1621456/2055920 swapFree=4191880/4192956
[pid=4123] ppid=4121 vsize=915464 CPUtime=1775.66
/proc/4123/stat : 4123 (java) R 4121 4123 4003 0 -1 0 9047 0 1 0 177548 18 0 0 25 0 8 0 188745785 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781679 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4123/statm: 228866 8745 2543 14 0 215336 0
[pid=4123/tid=4125] ppid=4121 vsize=915464 CPUtime=0.02
/proc/4123/task/4125/stat : 4125 (java) S 4121 4123 4003 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 188745789 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4123/tid=4126] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4126/stat : 4126 (java) S 4121 4123 4003 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188745789 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4127] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4127/stat : 4127 (java) S 4121 4123 4003 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188745789 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4128] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4128/stat : 4128 (java) S 4121 4123 4003 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188745792 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4129] ppid=4121 vsize=915464 CPUtime=0.23
/proc/4123/task/4129/stat : 4129 (java) S 4121 4123 4003 0 -1 64 414 0 0 0 22 1 0 0 16 0 8 0 188745792 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4123/tid=4130] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4130/stat : 4130 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188745792 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4131] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4131/stat : 4131 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188745792 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.66
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 4852
/proc/meminfo: memFree=1621472/2055920 swapFree=4191880/4192956
[pid=4123] ppid=4121 vsize=915464 CPUtime=1800.09
/proc/4123/stat : 4123 (java) R 4121 4123 4003 0 -1 0 9047 0 1 0 179989 20 0 0 25 0 8 0 188745785 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073626519 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4123/statm: 228866 8745 2543 14 0 215336 0
[pid=4123/tid=4125] ppid=4121 vsize=915464 CPUtime=0.02
/proc/4123/task/4125/stat : 4125 (java) S 4121 4123 4003 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 188745789 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4123/tid=4126] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4126/stat : 4126 (java) S 4121 4123 4003 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188745789 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4127] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4127/stat : 4127 (java) S 4121 4123 4003 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188745789 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4128] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4128/stat : 4128 (java) S 4121 4123 4003 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188745792 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4129] ppid=4121 vsize=915464 CPUtime=0.23
/proc/4123/task/4129/stat : 4129 (java) S 4121 4123 4003 0 -1 64 414 0 0 0 22 1 0 0 16 0 8 0 188745792 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4123/tid=4130] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4130/stat : 4130 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188745792 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4131] ppid=4121 vsize=915464 CPUtime=0
/proc/4123/task/4131/stat : 4131 (java) S 4121 4123 4003 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188745792 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1807.95
CPU time (s): 1800.13
CPU user time (s): 1799.92
CPU system time (s): 0.210967
CPU usage (%): 99.5674
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.210967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9067
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= 37575
involuntary context switches= 32845
runsolver used 1.9767 s user time and 5.07923 s system time
The end
Begin job on node13 on Wed Jan 10 04:31:48 UTC 2007
IDJOB= 249272
IDBENCH= 11771
FILE ID= node13/249272-1168403508
PBS_JOBID= 3523117
Free space on /tmp= 66561 MiB
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-15/primes-15-40-3-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/249272-1168403508/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-249272-1168403508 -o ROOT/results/node13/solver-249272-1168403508 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/249272-1168403508/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ff9c98ea299f549a20a511c20c8cc93d
RANDOM SEED= 224420937
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.247
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.247
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: 1123624 kB
Buffers: 36064 kB
Cached: 141212 kB
SwapCached: 408 kB
Active: 793424 kB
Inactive: 74872 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1123624 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1828 kB
Writeback: 0 kB
Mapped: 716400 kB
Slab: 47264 kB
Committed_AS: 6403980 kB
PageTables: 3736 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= 66558 MiB
End job on node13 on Wed Jan 10 05:01:56 UTC 2007