0.38
0.38 Abscon 109 (November, 2006)
0.38
0.38 configuration
0.38 name=esac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/234065-1168330272/unknown.xml
0.45
0.45 domains being loaded...
0.49
0.49 variables being loaded...
0.56 nbVariables=225 nbDomainTypes=225 minDomainSize=1123 maxDomainSize=1221
0.56 => wckTime=0.177 cpuTime=0.14 mem=13M745
0.56
0.56 predicates being loaded...
0.56
0.56 constraints being loaded...
204.14
204.14 INFO : Stopping converting binary constraints (cpu=200.05, mem = 234M100)
204.30 nbConstraints=1785 nbConvertedConstraints=580 nbConvertConstraintsChecks=796446578 nbExtensionStructures=580
204.30 nbSharedExtensionStructures=0 nbConflictsStructures=580 nbSharedConflictsStructures=0
204.31 nbSharedBinaryRepresentations=407021 nbEvaluationManagers=1205 nbSharedEvaluationManagers=0 maxDegree=16
204.31 maxArity=2
204.31 => wckTime=203.921 cpuTime=200.14 mem=243M262
204.84
204.84 solver IterativeSystematicSolver being built...
205.07 => wckTime=204.682 cpuTime=200.33 mem=257M749
294.66
294.66 INFO : Stopping ESAC
294.66
294.66 preprocessing
294.66 nbConstraintChecks=340204100 nbValidityChecks=29104576 nbPropagations=7445 nbRevisions=87607
294.66 nbUselessRevisions=77041 nbSingletonTests=161 nbEffectiveSingletonTests=0 nbESACBranches=15
294.66 nbRemovedValues=159628 detectedInconsistency=no
294.66 => wckTime=89.581 cpuTime=88.73 mem=257M749
323.78
323.78 search
323.78 run=0 nbConstraintChecks=99542582 nbValidityChecks=29733610 nbPropagations=17832 nbRevisions=244942
323.78 nbUselessRevisions=201626 nbAssignments=202 nbFailedAssignments=172 nbBacktracks=10 nbVisitedNodes=378
323.78 nbRestartNogoods=0 mapSize=4 nbInferences=0 nbTooLargeKeys=0
323.78 => wckTime=118.696 cpuTime=117.77 mem=259M400
353.68
353.68 search
353.68 run=1 nbConstraintChecks=205833224 nbValidityChecks=65576319 nbPropagations=50324 nbRevisions=719923
353.68 nbUselessRevisions=584104 nbAssignments=530 nbFailedAssignments=458 nbBacktracks=26 nbVisitedNodes=1000
353.68 nbRestartNogoods=1 mapSize=14 nbInferences=0 nbTooLargeKeys=0
353.68 => wckTime=148.597 cpuTime=147.63 mem=260M337
375.22
375.22 search
375.22 run=2 nbConstraintChecks=280519496 nbValidityChecks=102617498 nbPropagations=95762 nbRevisions=1372944
375.22 nbUselessRevisions=1119150 nbAssignments=679 nbFailedAssignments=583 nbBacktracks=48 nbVisitedNodes=1280
375.22 nbRestartNogoods=6 mapSize=25 nbInferences=0 nbTooLargeKeys=0
375.22 => wckTime=170.138 cpuTime=169.15 mem=261M274
477.17
477.17 search
477.17 run=3 nbConstraintChecks=638763753 nbValidityChecks=229219639 nbPropagations=201727 nbRevisions=2924888
477.17 nbUselessRevisions=2377115 nbAssignments=1749 nbFailedAssignments=1586 nbBacktracks=81 nbVisitedNodes=3376
477.17 nbRestartNogoods=15 mapSize=58 nbInferences=0 nbTooLargeKeys=0
477.17 => wckTime=272.093 cpuTime=270.99 mem=263M148
1105.56
1105.56 search
1105.56 run=4 nbConstraintChecks=3212893214 nbValidityChecks=824188437 nbPropagations=469780 nbRevisions=6407317
1105.56 nbUselessRevisions=5310051 nbAssignments=5136 nbFailedAssignments=2283 nbBacktracks=131 nbVisitedNodes=4858
1105.56 nbRestartNogoods=195 mapSize=72 nbInferences=0 nbTooLargeKeys=0
1105.56 => wckTime=900.475 cpuTime=897.29 mem=264M938
1161.52
1161.52 search
1161.52 run=5 nbConstraintChecks=3426600267 nbValidityChecks=895625692 nbPropagations=761324 nbRevisions=10195267
1161.52 nbUselessRevisions=8489524 nbAssignments=5995 nbFailedAssignments=2760 nbBacktracks=206 nbVisitedNodes=5951
1161.52 nbRestartNogoods=214 mapSize=137 nbInferences=0 nbTooLargeKeys=0
1161.52 => wckTime=956.437 cpuTime=953.2 mem=267M866
1440.83
1440.83 search
1440.83 run=6 nbConstraintChecks=4379136602 nbValidityChecks=1391525143 nbPropagations=1247237 nbRevisions=16771827
1440.83 nbUselessRevisions=13866000 nbAssignments=10411 nbFailedAssignments=7025 nbBacktracks=319 nbVisitedNodes=14700
1440.83 nbRestartNogoods=220 mapSize=242 nbInferences=0 nbTooLargeKeys=0
1440.83 => wckTime=1235.751 cpuTime=1232.2 mem=249M598
1792.86
1792.86 search
1792.86 run=7 nbConstraintChecks=5740521456 nbValidityChecks=1878231560 nbPropagations=1897775 nbRevisions=25669271
1792.86 nbUselessRevisions=21119579 nbAssignments=15037 nbFailedAssignments=11344 nbBacktracks=491 nbVisitedNodes=23631
1792.86 nbRestartNogoods=272 mapSize=369 nbInferences=0 nbTooLargeKeys=0
1792.86 => wckTime=1587.778 cpuTime=1583.86 mem=255M117
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-234065-1168330272 -o ROOT/results/node18/solver-234065-1168330272 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234065-1168330272/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.92 1.98 1.99 2/87 848
/proc/meminfo: memFree=1483872/2055920 swapFree=4192812/4192956
[pid=847] ppid=845 vsize=18540 CPUtime=0
/proc/847/stat : 847 (runsolver) R 845 847 29812 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 181421917 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/847/statm: 4635 279 244 17 0 2626 0
[startup+0.103032 s]
/proc/loadavg: 1.92 1.98 1.99 2/87 848
/proc/meminfo: memFree=1483872/2055920 swapFree=4192812/4192956
[pid=847] ppid=845 vsize=905992 CPUtime=0.02
/proc/847/stat : 847 (java) R 845 847 29812 0 -1 0 1913 0 1 0 1 1 0 0 17 0 1 0 181421917 927735808 1662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153787593 0 4 0 7368 0 0 0 17 1 0 0
/proc/847/statm: 226498 1662 968 14 0 214081 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 905992
[startup+0.513073 s]
/proc/loadavg: 1.92 1.98 1.99 2/87 848
/proc/meminfo: memFree=1483872/2055920 swapFree=4192812/4192956
[pid=847] ppid=845 vsize=915328 CPUtime=0.41
/proc/847/stat : 847 (java) R 845 847 29812 0 -1 0 6029 0 1 0 37 4 0 0 18 0 8 0 181421917 937295872 5768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153572183 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/847/statm: 228832 5768 2133 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328
[startup+1.33414 s]
/proc/loadavg: 1.92 1.98 1.99 3/94 855
/proc/meminfo: memFree=1450472/2055920 swapFree=4192812/4192956
[pid=847] ppid=845 vsize=915632 CPUtime=1.23
/proc/847/stat : 847 (java) R 845 847 29812 0 -1 0 10843 0 1 0 116 7 0 0 25 0 8 0 181421917 937607168 10581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782637 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/847/statm: 228908 10581 2167 14 0 215378 0
[pid=847/tid=849] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/849/stat : 849 (java) S 845 847 29812 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181421928 937607168 10581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=850] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/850/stat : 850 (java) S 845 847 29812 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181421929 937607168 10581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=851] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/851/stat : 851 (java) S 845 847 29812 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181421929 937607168 10581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=852] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/852/stat : 852 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181421932 937607168 10581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=853] ppid=845 vsize=915632 CPUtime=0.14
/proc/847/task/853/stat : 853 (java) S 845 847 29812 0 -1 64 410 0 0 0 14 0 0 0 16 0 8 0 181421932 937607168 10581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=854] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/854/stat : 854 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181421932 937607168 10581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=855] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/855/stat : 855 (java) S 845 847 29812 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181421932 937607168 10581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915632
[startup+2.97131 s]
/proc/loadavg: 1.92 1.98 1.99 3/94 855
/proc/meminfo: memFree=1448296/2055920 swapFree=4192812/4192956
[pid=847] ppid=845 vsize=915632 CPUtime=2.85
/proc/847/stat : 847 (java) R 845 847 29812 0 -1 0 11467 0 1 0 278 7 0 0 25 0 8 0 181421917 937607168 11204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782684 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/847/statm: 228908 11204 2167 14 0 215378 0
[pid=847/tid=849] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/849/stat : 849 (java) S 845 847 29812 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181421928 937607168 11204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=850] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/850/stat : 850 (java) S 845 847 29812 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181421929 937607168 11204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=851] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/851/stat : 851 (java) S 845 847 29812 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181421929 937607168 11204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=852] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/852/stat : 852 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181421932 937607168 11204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=853] ppid=845 vsize=915632 CPUtime=0.15
/proc/847/task/853/stat : 853 (java) S 845 847 29812 0 -1 64 411 0 0 0 15 0 0 0 16 0 8 0 181421932 937607168 11204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=854] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/854/stat : 854 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181421932 937607168 11204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=855] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/855/stat : 855 (java) S 845 847 29812 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181421932 937607168 11204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915632
[startup+6.25862 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 855
/proc/meminfo: memFree=1443432/2055920 swapFree=4192812/4192956
[pid=847] ppid=845 vsize=915632 CPUtime=6.1
/proc/847/stat : 847 (java) R 845 847 29812 0 -1 0 12665 0 1 0 603 7 0 0 25 0 8 0 181421917 937607168 12401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/847/statm: 228908 12401 2167 14 0 215378 0
[pid=847/tid=849] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/849/stat : 849 (java) S 845 847 29812 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181421928 937607168 12401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=850] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/850/stat : 850 (java) S 845 847 29812 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181421929 937607168 12401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=851] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/851/stat : 851 (java) S 845 847 29812 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181421929 937607168 12401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=852] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/852/stat : 852 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181421932 937607168 12401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=853] ppid=845 vsize=915632 CPUtime=0.15
/proc/847/task/853/stat : 853 (java) S 845 847 29812 0 -1 64 411 0 0 0 15 0 0 0 16 0 8 0 181421932 937607168 12401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=854] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/854/stat : 854 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181421932 937607168 12401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=855] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/855/stat : 855 (java) S 845 847 29812 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181421932 937607168 12401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915632
[startup+12.7402 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 855
/proc/meminfo: memFree=1433704/2055920 swapFree=4192812/4192956
[pid=847] ppid=845 vsize=915632 CPUtime=12.53
/proc/847/stat : 847 (java) R 845 847 29812 0 -1 0 14989 0 1 0 1245 8 0 0 25 0 8 0 181421917 937607168 14725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782661 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/847/statm: 228908 14725 2167 14 0 215378 0
[pid=847/tid=849] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/849/stat : 849 (java) S 845 847 29812 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181421928 937607168 14725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=850] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/850/stat : 850 (java) S 845 847 29812 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181421929 937607168 14725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=851] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/851/stat : 851 (java) S 845 847 29812 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181421929 937607168 14725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=852] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/852/stat : 852 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181421932 937607168 14725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=853] ppid=845 vsize=915632 CPUtime=0.15
/proc/847/task/853/stat : 853 (java) S 845 847 29812 0 -1 64 412 0 0 0 15 0 0 0 16 0 8 0 181421932 937607168 14725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=854] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/854/stat : 854 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181421932 937607168 14725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=855] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/855/stat : 855 (java) S 845 847 29812 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181421932 937607168 14725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915632
[startup+25.6095 s]
/proc/loadavg: 1.95 1.98 1.99 3/94 855
/proc/meminfo: memFree=1399976/2055920 swapFree=4192812/4192956
[pid=847] ppid=845 vsize=915632 CPUtime=25.29
/proc/847/stat : 847 (java) R 845 847 29812 0 -1 0 23297 0 1 0 2517 12 0 0 25 0 8 0 181421917 937607168 23032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/847/statm: 228908 23032 2178 14 0 215378 0
[pid=847/tid=849] ppid=845 vsize=915632 CPUtime=0.16
/proc/847/task/849/stat : 849 (java) S 845 847 29812 0 -1 64 6697 0 0 0 14 2 0 0 16 0 8 0 181421928 937607168 23032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=850] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/850/stat : 850 (java) S 845 847 29812 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181421929 937607168 23032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=851] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/851/stat : 851 (java) S 845 847 29812 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181421929 937607168 23032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=852] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/852/stat : 852 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181421932 937607168 23032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=853] ppid=845 vsize=915632 CPUtime=0.15
/proc/847/task/853/stat : 853 (java) S 845 847 29812 0 -1 64 413 0 0 0 15 0 0 0 16 0 8 0 181421932 937607168 23032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=854] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/854/stat : 854 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181421932 937607168 23032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=855] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/855/stat : 855 (java) S 845 847 29812 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181421932 937607168 23032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 915632
[startup+51.219 s]
/proc/loadavg: 1.96 1.98 1.99 3/94 855
/proc/meminfo: memFree=1358504/2055920 swapFree=4192812/4192956
[pid=847] ppid=845 vsize=915632 CPUtime=50.66
/proc/847/stat : 847 (java) R 845 847 29812 0 -1 0 33672 0 1 0 5050 16 0 0 25 0 8 0 181421917 937607168 33406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/847/statm: 228908 33406 2179 14 0 215378 0
[pid=847/tid=849] ppid=845 vsize=915632 CPUtime=0.46
/proc/847/task/849/stat : 849 (java) S 845 847 29812 0 -1 64 17055 0 0 0 40 6 0 0 18 0 8 0 181421928 937607168 33406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=850] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/850/stat : 850 (java) S 845 847 29812 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181421929 937607168 33406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=851] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/851/stat : 851 (java) S 845 847 29812 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181421929 937607168 33406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=852] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/852/stat : 852 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181421932 937607168 33406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=853] ppid=845 vsize=915632 CPUtime=0.17
/proc/847/task/853/stat : 853 (java) S 845 847 29812 0 -1 64 428 0 0 0 17 0 0 0 16 0 8 0 181421932 937607168 33406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=854] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/854/stat : 854 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181421932 937607168 33406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=855] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/855/stat : 855 (java) S 845 847 29812 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181421932 937607168 33406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915632
[startup+102.441 s]
/proc/loadavg: 1.98 1.98 1.99 3/94 855
/proc/meminfo: memFree=1315944/2055920 swapFree=4192812/4192956
[pid=847] ppid=845 vsize=915632 CPUtime=101.42
/proc/847/stat : 847 (java) R 845 847 29812 0 -1 0 44286 0 1 0 10120 22 0 0 25 0 8 0 181421917 937607168 44018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785006 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/847/statm: 228908 44018 2179 14 0 215378 0
[pid=847/tid=849] ppid=845 vsize=915632 CPUtime=0.85
/proc/847/task/849/stat : 849 (java) S 845 847 29812 0 -1 64 27666 0 0 0 74 11 0 0 16 0 8 0 181421928 937607168 44018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=850] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/850/stat : 850 (java) S 845 847 29812 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181421929 937607168 44018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=851] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/851/stat : 851 (java) S 845 847 29812 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181421929 937607168 44018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=852] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/852/stat : 852 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181421932 937607168 44018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=853] ppid=845 vsize=915632 CPUtime=0.17
/proc/847/task/853/stat : 853 (java) S 845 847 29812 0 -1 64 429 0 0 0 17 0 0 0 16 0 8 0 181421932 937607168 44018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=854] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/854/stat : 854 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181421932 937607168 44018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=855] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/855/stat : 855 (java) S 845 847 29812 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181421932 937607168 44018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 915632
[startup+162.507 s]
/proc/loadavg: 2.07 2.00 2.00 3/94 855
/proc/meminfo: memFree=1249192/2055920 swapFree=4192812/4192956
[pid=847] ppid=845 vsize=915632 CPUtime=160.96
/proc/847/stat : 847 (java) R 845 847 29812 0 -1 0 60949 0 1 0 16065 31 0 0 25 0 8 0 181421917 937607168 60679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784928 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1418.2
Current children cumulated vsize (KiB) 915632
[startup+1483.58 s]
/proc/loadavg: 2.00 2.06 2.08 3/94 2001
/proc/meminfo: memFree=1144432/2055920 swapFree=4192812/4192956
[pid=847] ppid=845 vsize=915632 CPUtime=1478.21
/proc/847/stat : 847 (java) R 845 847 29812 0 -1 0 78610 0 1 0 147768 53 0 0 25 0 8 0 181421917 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074065905 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/847/statm: 228908 78297 2548 14 0 215378 0
[pid=847/tid=849] ppid=845 vsize=915632 CPUtime=2.35
/proc/847/task/849/stat : 849 (java) S 845 847 29812 0 -1 64 61415 0 0 0 210 25 0 0 16 0 8 0 181421928 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=850] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/850/stat : 850 (java) S 845 847 29812 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181421929 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=851] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/851/stat : 851 (java) S 845 847 29812 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181421929 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=852] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/852/stat : 852 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=853] ppid=845 vsize=915632 CPUtime=0.34
/proc/847/task/853/stat : 853 (java) S 845 847 29812 0 -1 64 535 0 0 0 33 1 0 0 16 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=854] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/854/stat : 854 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=855] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/855/stat : 855 (java) S 845 847 29812 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1478.21
Current children cumulated vsize (KiB) 915632
[startup+1543.6 s]
/proc/loadavg: 2.00 2.04 2.07 3/94 2001
/proc/meminfo: memFree=1144496/2055920 swapFree=4192812/4192956
[pid=847] ppid=845 vsize=915632 CPUtime=1538.18
/proc/847/stat : 847 (java) R 845 847 29812 0 -1 0 78610 0 1 0 153765 53 0 0 25 0 8 0 181421917 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786185 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/847/statm: 228908 78297 2548 14 0 215378 0
[pid=847/tid=849] ppid=845 vsize=915632 CPUtime=2.35
/proc/847/task/849/stat : 849 (java) S 845 847 29812 0 -1 64 61415 0 0 0 210 25 0 0 16 0 8 0 181421928 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=850] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/850/stat : 850 (java) S 845 847 29812 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181421929 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=851] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/851/stat : 851 (java) S 845 847 29812 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181421929 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=852] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/852/stat : 852 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=853] ppid=845 vsize=915632 CPUtime=0.34
/proc/847/task/853/stat : 853 (java) S 845 847 29812 0 -1 64 535 0 0 0 33 1 0 0 16 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=854] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/854/stat : 854 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=855] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/855/stat : 855 (java) S 845 847 29812 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538.18
Current children cumulated vsize (KiB) 915632
[startup+1603.62 s]
/proc/loadavg: 2.00 2.03 2.06 3/94 2001
/proc/meminfo: memFree=1144496/2055920 swapFree=4192812/4192956
[pid=847] ppid=845 vsize=915632 CPUtime=1598.12
/proc/847/stat : 847 (java) R 845 847 29812 0 -1 0 78611 0 1 0 159759 53 0 0 25 0 8 0 181421917 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788576 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/847/statm: 228908 78297 2548 14 0 215378 0
[pid=847/tid=849] ppid=845 vsize=915632 CPUtime=2.35
/proc/847/task/849/stat : 849 (java) S 845 847 29812 0 -1 64 61415 0 0 0 210 25 0 0 16 0 8 0 181421928 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=850] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/850/stat : 850 (java) S 845 847 29812 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181421929 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=851] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/851/stat : 851 (java) S 845 847 29812 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181421929 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=852] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/852/stat : 852 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=853] ppid=845 vsize=915632 CPUtime=0.34
/proc/847/task/853/stat : 853 (java) S 845 847 29812 0 -1 64 535 0 0 0 33 1 0 0 16 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=854] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/854/stat : 854 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=855] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/855/stat : 855 (java) S 845 847 29812 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.12
Current children cumulated vsize (KiB) 915632
[startup+1663.67 s]
/proc/loadavg: 2.00 2.02 2.06 3/94 2001
/proc/meminfo: memFree=1144432/2055920 swapFree=4192812/4192956
[pid=847] ppid=845 vsize=915632 CPUtime=1658.13
/proc/847/stat : 847 (java) R 845 847 29812 0 -1 0 78611 0 1 0 165759 54 0 0 25 0 8 0 181421917 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/847/statm: 228908 78297 2548 14 0 215378 0
[pid=847/tid=849] ppid=845 vsize=915632 CPUtime=2.35
/proc/847/task/849/stat : 849 (java) S 845 847 29812 0 -1 64 61415 0 0 0 210 25 0 0 16 0 8 0 181421928 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=850] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/850/stat : 850 (java) S 845 847 29812 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181421929 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=851] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/851/stat : 851 (java) S 845 847 29812 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181421929 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=852] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/852/stat : 852 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=853] ppid=845 vsize=915632 CPUtime=0.34
/proc/847/task/853/stat : 853 (java) S 845 847 29812 0 -1 64 535 0 0 0 33 1 0 0 16 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=854] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/854/stat : 854 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=855] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/855/stat : 855 (java) S 845 847 29812 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.13
Current children cumulated vsize (KiB) 915632
[startup+1723.72 s]
/proc/loadavg: 2.00 2.02 2.05 3/94 2001
/proc/meminfo: memFree=1144432/2055920 swapFree=4192812/4192956
[pid=847] ppid=845 vsize=915632 CPUtime=1718.12
/proc/847/stat : 847 (java) R 845 847 29812 0 -1 0 78611 0 1 0 171758 54 0 0 25 0 8 0 181421917 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785412 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/847/statm: 228908 78297 2548 14 0 215378 0
[pid=847/tid=849] ppid=845 vsize=915632 CPUtime=2.35
/proc/847/task/849/stat : 849 (java) S 845 847 29812 0 -1 64 61415 0 0 0 210 25 0 0 16 0 8 0 181421928 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=850] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/850/stat : 850 (java) S 845 847 29812 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181421929 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=851] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/851/stat : 851 (java) S 845 847 29812 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181421929 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=852] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/852/stat : 852 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=853] ppid=845 vsize=915632 CPUtime=0.34
/proc/847/task/853/stat : 853 (java) S 845 847 29812 0 -1 64 535 0 0 0 33 1 0 0 16 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=854] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/854/stat : 854 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=855] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/855/stat : 855 (java) S 845 847 29812 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.12
Current children cumulated vsize (KiB) 915632
[startup+1783.75 s]
/proc/loadavg: 2.06 2.03 2.05 3/94 2001
/proc/meminfo: memFree=1144432/2055920 swapFree=4192812/4192956
[pid=847] ppid=845 vsize=915632 CPUtime=1778.08
/proc/847/stat : 847 (java) R 845 847 29812 0 -1 0 78611 0 1 0 177754 54 0 0 25 0 8 0 181421917 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782646 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/847/statm: 228908 78297 2548 14 0 215378 0
[pid=847/tid=849] ppid=845 vsize=915632 CPUtime=2.35
/proc/847/task/849/stat : 849 (java) S 845 847 29812 0 -1 64 61415 0 0 0 210 25 0 0 16 0 8 0 181421928 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=850] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/850/stat : 850 (java) S 845 847 29812 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181421929 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=851] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/851/stat : 851 (java) S 845 847 29812 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181421929 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=852] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/852/stat : 852 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=853] ppid=845 vsize=915632 CPUtime=0.34
/proc/847/task/853/stat : 853 (java) S 845 847 29812 0 -1 64 535 0 0 0 33 1 0 0 16 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=854] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/854/stat : 854 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=855] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/855/stat : 855 (java) S 845 847 29812 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.08
Current children cumulated vsize (KiB) 915632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.7 s]
/proc/loadavg: 2.04 2.03 2.05 3/94 2001
/proc/meminfo: memFree=1144432/2055920 swapFree=4192812/4192956
[pid=847] ppid=845 vsize=915632 CPUtime=1800.02
/proc/847/stat : 847 (java) R 845 847 29812 0 -1 0 78611 0 1 0 179948 54 0 0 25 0 8 0 181421917 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/847/statm: 228908 78297 2548 14 0 215378 0
[pid=847/tid=849] ppid=845 vsize=915632 CPUtime=2.35
/proc/847/task/849/stat : 849 (java) S 845 847 29812 0 -1 64 61415 0 0 0 210 25 0 0 16 0 8 0 181421928 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=850] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/850/stat : 850 (java) S 845 847 29812 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181421929 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=851] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/851/stat : 851 (java) S 845 847 29812 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181421929 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=852] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/852/stat : 852 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=853] ppid=845 vsize=915632 CPUtime=0.34
/proc/847/task/853/stat : 853 (java) S 845 847 29812 0 -1 64 535 0 0 0 33 1 0 0 16 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=847/tid=854] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/854/stat : 854 (java) S 845 847 29812 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=847/tid=855] ppid=845 vsize=915632 CPUtime=0
/proc/847/task/855/stat : 855 (java) S 845 847 29812 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181421932 937607168 78297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1805.78
CPU time (s): 1800.1
CPU user time (s): 1799.51
CPU system time (s): 0.593909
CPU usage (%): 99.6857
Max. virtual memory (cumulated for all children) (KiB): 915636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.593909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78627
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= 38244
involuntary context switches= 57225
runsolver used 2.31565 s user time and 5.69213 s system time
The end
Begin job on node18 on Tue Jan 9 08:11:12 UTC 2007
IDJOB= 234065
IDBENCH= 6659
FILE ID= node18/234065-1168330272
PBS_JOBID= 3503003
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-15/js-taillard-15-100-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234065-1168330272/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-234065-1168330272 -o ROOT/results/node18/solver-234065-1168330272 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234065-1168330272/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bbaeceafe2aae35de8340dcfade40a84
RANDOM SEED= 334233611
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.231
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.231
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: 1484352 kB
Buffers: 76756 kB
Cached: 369732 kB
SwapCached: 0 kB
Active: 210152 kB
Inactive: 299780 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1484352 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1968 kB
Writeback: 0 kB
Mapped: 83536 kB
Slab: 46660 kB
Committed_AS: 5523408 kB
PageTables: 2068 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= 66535 MiB
End job on node18 on Tue Jan 9 08:41:18 UTC 2007