0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/203236-1168073023/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.42 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
1.60
1.60 constraints being loaded...
2.37 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.37 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.37 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
2.37 => wckTime=2.046 cpuTime=1.63 mem=58M36
2.53
2.53 solver IterativeSystematicSolver being built...
2.70 => wckTime=2.382 cpuTime=1.78 mem=65M858
2.71
2.71 preprocessing
2.71 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.71 detectedInconsistency=no
2.71 => wckTime=0.0040 cpuTime=0.01 mem=65M858
2.87
2.87 search
2.87 run=0 nbConstraintChecks=49963 nbValidityChecks=92610 nbPropagations=408 nbRevisions=5233
2.87 nbUselessRevisions=4331 nbAssignments=38 nbFailedAssignments=19 nbBacktracks=14 nbVisitedNodes=65
2.87 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
2.87 => wckTime=0.161 cpuTime=0.13 mem=65M858
2.99
2.99 search
2.99 run=1 nbConstraintChecks=111582 nbValidityChecks=211295 nbPropagations=1304 nbRevisions=16787
2.99 nbUselessRevisions=13793 nbAssignments=83 nbFailedAssignments=42 nbBacktracks=30 nbVisitedNodes=143
3.00 nbRestartNogoods=1 mapSize=24 nbInferences=0 nbTooLargeKeys=0
3.00 => wckTime=0.287 cpuTime=0.24 mem=65M858
3.15
3.15 search
3.15 run=2 nbConstraintChecks=191826 nbValidityChecks=371994 nbPropagations=2886 nbRevisions=36949
3.15 nbUselessRevisions=30272 nbAssignments=142 nbFailedAssignments=72 nbBacktracks=54 nbVisitedNodes=248
3.15 nbRestartNogoods=3 mapSize=45 nbInferences=0 nbTooLargeKeys=0
3.15 => wckTime=0.44 cpuTime=0.39 mem=65M858
3.33
3.33 search
3.33 run=3 nbConstraintChecks=294909 nbValidityChecks=593421 nbPropagations=5542 nbRevisions=70919
3.33 nbUselessRevisions=58154 nbAssignments=229 nbFailedAssignments=118 nbBacktracks=87 nbVisitedNodes=405
3.33 nbRestartNogoods=5 mapSize=77 nbInferences=0 nbTooLargeKeys=0
3.33 => wckTime=0.624 cpuTime=0.57 mem=65M858
3.64
3.64 search
3.64 run=4 nbConstraintChecks=463395 nbValidityChecks=951097 nbPropagations=9709 nbRevisions=124518
3.64 nbUselessRevisions=102079 nbAssignments=376 nbFailedAssignments=206 nbBacktracks=141 nbVisitedNodes=671
3.64 nbRestartNogoods=9 mapSize=122 nbInferences=0 nbTooLargeKeys=0
3.64 => wckTime=0.926 cpuTime=0.86 mem=65M858
4.11
4.11 search
4.11 run=5 nbConstraintChecks=731889 nbValidityChecks=1513867 nbPropagations=16615 nbRevisions=212382
4.11 nbUselessRevisions=173599 nbAssignments=597 nbFailedAssignments=344 nbBacktracks=217 nbVisitedNodes=1089
4.11 nbRestartNogoods=12 mapSize=194 nbInferences=0 nbTooLargeKeys=0
4.11 => wckTime=1.403 cpuTime=1.33 mem=65M858
4.78
4.78 search
4.78 run=6 nbConstraintChecks=1121384 nbValidityChecks=2319526 nbPropagations=26894 nbRevisions=347811
4.78 nbUselessRevisions=284078 nbAssignments=919 nbFailedAssignments=546 nbBacktracks=332 nbVisitedNodes=1689
4.78 nbRestartNogoods=19 mapSize=295 nbInferences=0 nbTooLargeKeys=0
4.78 => wckTime=2.077 cpuTime=1.99 mem=65M858
6.05
6.05 search
6.05 run=7 nbConstraintChecks=1885586 nbValidityChecks=3853227 nbPropagations=43347 nbRevisions=570204
6.05 nbUselessRevisions=464847 nbAssignments=1480 nbFailedAssignments=930 nbBacktracks=502 nbVisitedNodes=2751
6.05 nbRestartNogoods=21 mapSize=450 nbInferences=0 nbTooLargeKeys=0
6.05 => wckTime=3.347 cpuTime=3.25 mem=65M858
7.57
7.57 search
7.57 run=8 nbConstraintChecks=2767849 nbValidityChecks=5734386 nbPropagations=68567 nbRevisions=906508
7.57 nbUselessRevisions=738780 nbAssignments=2233 nbFailedAssignments=1419 nbBacktracks=760 nbVisitedNodes=4182
7.57 nbRestartNogoods=29 mapSize=696 nbInferences=0 nbTooLargeKeys=0
7.57 => wckTime=4.864 cpuTime=4.73 mem=65M858
10.23
10.23 search
10.23 run=9 nbConstraintChecks=4418777 nbValidityChecks=9193185 nbPropagations=108247 nbRevisions=1436329
10.23 nbUselessRevisions=1168453 nbAssignments=3667 nbFailedAssignments=2464 nbBacktracks=1144 nbVisitedNodes=6923
10.23 nbRestartNogoods=37 mapSize=1027 nbInferences=0 nbTooLargeKeys=0
10.23 => wckTime=7.52 cpuTime=7.36 mem=66M850
10.27
10.27 INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=66M850)
13.48
13.48 search
13.48 run=10 nbConstraintChecks=6318113 nbValidityChecks=13121714 nbPropagations=166823 nbRevisions=2202416
13.48 nbUselessRevisions=1787467 nbAssignments=5023 nbFailedAssignments=3237 nbBacktracks=1720 nbVisitedNodes=9470
13.48 nbRestartNogoods=44
13.48 => wckTime=10.777 cpuTime=10.58 mem=66M850
17.97
17.97 search
17.97 run=11 nbConstraintChecks=9015092 nbValidityChecks=19049083 nbPropagations=251251 nbRevisions=3319899
17.97 nbUselessRevisions=2694628 nbAssignments=7640 nbFailedAssignments=4982 nbBacktracks=2584 nbVisitedNodes=14358
17.97 nbRestartNogoods=56
17.97 => wckTime=15.261 cpuTime=15.02 mem=66M850
26.38
26.39 search
26.39 run=12 nbConstraintChecks=14053780 nbValidityChecks=29534490 nbPropagations=382137 nbRevisions=5041476
26.39 nbUselessRevisions=4088402 nbAssignments=11456 nbFailedAssignments=7493 nbBacktracks=3882 nbVisitedNodes=21600
26.39 nbRestartNogoods=73
26.39 => wckTime=23.677 cpuTime=23.35 mem=66M850
38.01
38.01 search
38.01 run=13 nbConstraintChecks=21099536 nbValidityChecks=43794052 nbPropagations=574765 nbRevisions=7601282
38.01 nbUselessRevisions=6160697 nbAssignments=16527 nbFailedAssignments=10613 nbBacktracks=5829 nbVisitedNodes=31089
38.01 nbRestartNogoods=82
38.01 => wckTime=35.303 cpuTime=34.86 mem=66M850
53.31
53.31 search
53.31 run=14 nbConstraintChecks=30141924 nbValidityChecks=63068383 nbPropagations=855325 nbRevisions=11299851
53.31 nbUselessRevisions=9157490 nbAssignments=24032 nbFailedAssignments=15191 nbBacktracks=8749 nbVisitedNodes=44975
53.31 nbRestartNogoods=87
53.31 => wckTime=50.603 cpuTime=50.03 mem=66M850
75.90
75.90 search
75.90 run=15 nbConstraintChecks=43677601 nbValidityChecks=91254432 nbPropagations=1261341 nbRevisions=16642896
75.90 nbUselessRevisions=13489982 nbAssignments=34490 nbFailedAssignments=21263 nbBacktracks=13130
75.90 nbVisitedNodes=64437 nbRestartNogoods=102
75.90 => wckTime=73.195 cpuTime=72.41 mem=66M850
118.76
118.76 search
118.76 run=16 nbConstraintChecks=69949343 nbValidityChecks=145044552 nbPropagations=1897464 nbRevisions=25094495
118.76 nbUselessRevisions=20335939 nbAssignments=54134 nbFailedAssignments=34332 nbBacktracks=19698
118.76 nbVisitedNodes=101633 nbRestartNogoods=115
118.76 => wckTime=116.051 cpuTime=114.87 mem=66M850
173.31
173.31 search
173.31 run=17 nbConstraintChecks=102717803 nbValidityChecks=214464920 nbPropagations=2857720 nbRevisions=37800089
173.31 nbUselessRevisions=30636713 nbAssignments=82602 nbFailedAssignments=52942 nbBacktracks=29550
173.31 nbVisitedNodes=155457 nbRestartNogoods=133
173.31 => wckTime=170.607 cpuTime=168.92 mem=66M850
251.53
251.53 search
251.53 run=18 nbConstraintChecks=148623685 nbValidityChecks=310520578 nbPropagations=4287657 nbRevisions=56415969
251.53 nbUselessRevisions=45682256 nbAssignments=117944 nbFailedAssignments=73501 nbBacktracks=44328
251.53 nbVisitedNodes=221472 nbRestartNogoods=149
251.53 => wckTime=248.823 cpuTime=246.42 mem=66M850
382.14
382.14 search
382.14 run=19 nbConstraintChecks=227687470 nbValidityChecks=477576742 nbPropagations=6420726 nbRevisions=84423412
382.14 nbUselessRevisions=68330213 nbAssignments=181866 nbFailedAssignments=115247 nbBacktracks=66498
382.14 nbVisitedNodes=341375 nbRestartNogoods=165
382.14 => wckTime=379.429 cpuTime=375.82 mem=66M850
561.95
561.95 search
561.95 run=20 nbConstraintChecks=334538351 nbValidityChecks=700405458 nbPropagations=9624152 nbRevisions=126172318
561.95 nbUselessRevisions=102023767 nbAssignments=263579 nbFailedAssignments=163702 nbBacktracks=99752
561.95 nbVisitedNodes=493865 nbRestartNogoods=171
561.95 => wckTime=559.243 cpuTime=553.98 mem=66M850
829.91
829.91 search
829.91 run=21 nbConstraintChecks=496420418 nbValidityChecks=1041999347 nbPropagations=14310515 nbRevisions=187881473
829.91 nbUselessRevisions=151997455 nbAssignments=397251 nbFailedAssignments=247489 nbBacktracks=149630
829.91 nbVisitedNodes=742353 nbRestartNogoods=183
829.91 => wckTime=827.204 cpuTime=819.48 mem=66M850
1233.91
1233.91 search
1233.91 run=22 nbConstraintChecks=733209536 nbValidityChecks=1536655358 nbPropagations=21366900 nbRevisions=279790857
1233.91 nbUselessRevisions=226253141 nbAssignments=574361 nbFailedAssignments=349775 nbBacktracks=224448
1233.91 nbVisitedNodes=1072396 nbRestartNogoods=208
1233.91 => wckTime=1231.206 cpuTime=1219.52 mem=66M850
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-203236-1168073023 -o ROOT/results/node15/solver-203236-1168073023 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203236-1168073023/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.88 1.94 1.94 4/93 13831
/proc/meminfo: memFree=908584/2055920 swapFree=4174172/4192956
[pid=13830] ppid=13828 vsize=1784 CPUtime=0
/proc/13830/stat : 13830 (java) R 13828 13830 13537 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 155697294 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/13830/statm: 446 140 106 14 0 91 0
[startup+0.104934 s]
/proc/loadavg: 1.88 1.94 1.94 4/93 13831
/proc/meminfo: memFree=908584/2055920 swapFree=4174172/4192956
[pid=13830] ppid=13828 vsize=914988 CPUtime=0.08
/proc/13830/stat : 13830 (java) R 13828 13830 13537 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 155697294 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072934642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13830/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51401 s]
/proc/loadavg: 1.88 1.94 1.94 4/93 13831
/proc/meminfo: memFree=908584/2055920 swapFree=4174172/4192956
[pid=13830] ppid=13828 vsize=915328 CPUtime=0.49
/proc/13830/stat : 13830 (java) R 13828 13830 13537 0 -1 0 7446 0 1 0 45 4 0 0 18 0 8 0 155697294 937295872 7185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073557917 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13830/statm: 228832 7185 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33615 s]
/proc/loadavg: 1.88 1.94 1.94 3/100 13838
/proc/meminfo: memFree=841264/2055920 swapFree=4174172/4192956
[pid=13830] ppid=13828 vsize=915328 CPUtime=1.3
/proc/13830/stat : 13830 (java) R 13828 13830 13537 0 -1 0 19099 0 1 0 120 10 0 0 25 0 8 0 155697294 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073582024 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13830/statm: 228832 18837 2149 14 0 215302 0
[pid=13830/tid=13832] ppid=13828 vsize=915328 CPUtime=0.05
/proc/13830/task/13832/stat : 13832 (java) S 13828 13830 13537 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 155697298 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13833] ppid=13828 vsize=915328 CPUtime=0
/proc/13830/task/13833/stat : 13833 (java) S 13828 13830 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155697299 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13834] ppid=13828 vsize=915328 CPUtime=0
/proc/13830/task/13834/stat : 13834 (java) S 13828 13830 13537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155697299 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13835] ppid=13828 vsize=915328 CPUtime=0
/proc/13830/task/13835/stat : 13835 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155697302 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13836] ppid=13828 vsize=915328 CPUtime=0.08
/proc/13830/task/13836/stat : 13836 (java) S 13828 13830 13537 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 155697302 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13837] ppid=13828 vsize=915328 CPUtime=0
/proc/13830/task/13837/stat : 13837 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155697302 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13838] ppid=13828 vsize=915328 CPUtime=0
/proc/13830/task/13838/stat : 13838 (java) S 13828 13830 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155697302 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.98943 s]
/proc/loadavg: 1.89 1.94 1.94 5/100 13838
/proc/meminfo: memFree=801584/2055920 swapFree=4174172/4192956
[pid=13830] ppid=13828 vsize=915440 CPUtime=2.94
/proc/13830/stat : 13830 (java) R 13828 13830 13537 0 -1 0 32558 0 1 0 277 17 0 0 25 0 8 0 155697294 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13830/statm: 228860 32292 2521 14 0 215330 0
[pid=13830/tid=13832] ppid=13828 vsize=915440 CPUtime=0.45
/proc/13830/task/13832/stat : 13832 (java) S 13828 13830 13537 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155697298 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13833] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13833/stat : 13833 (java) S 13828 13830 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13834] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13834/stat : 13834 (java) S 13828 13830 13537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13835] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13835/stat : 13835 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155697302 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13836] ppid=13828 vsize=915440 CPUtime=0.2
/proc/13830/task/13836/stat : 13836 (java) S 13828 13830 13537 0 -1 64 376 0 0 0 19 1 0 0 15 0 8 0 155697302 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13837] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13837/stat : 13837 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155697302 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13838] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13838/stat : 13838 (java) S 13828 13830 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155697302 937410560 32292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915440
[startup+6.28 s]
/proc/loadavg: 1.89 1.94 1.94 3/100 13838
/proc/meminfo: memFree=788848/2055920 swapFree=4174172/4192956
[pid=13830] ppid=13828 vsize=915440 CPUtime=6.19
/proc/13830/stat : 13830 (java) R 13828 13830 13537 0 -1 0 32580 0 1 0 602 17 0 0 25 0 8 0 155697294 937410560 32311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13830/statm: 228860 32311 2521 14 0 215330 0
[pid=13830/tid=13832] ppid=13828 vsize=915440 CPUtime=0.45
/proc/13830/task/13832/stat : 13832 (java) S 13828 13830 13537 0 -1 64 15583 0 0 0 39 6 0 0 17 0 8 0 155697298 937410560 32311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13833] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13833/stat : 13833 (java) S 13828 13830 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13834] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13834/stat : 13834 (java) S 13828 13830 13537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13835] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13835/stat : 13835 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155697302 937410560 32311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13836] ppid=13828 vsize=915440 CPUtime=0.24
/proc/13830/task/13836/stat : 13836 (java) S 13828 13830 13537 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 155697302 937410560 32311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13837] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13837/stat : 13837 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155697302 937410560 32311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13838] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13838/stat : 13838 (java) S 13828 13830 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155697302 937410560 32311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915440
[startup+12.7746 s]
/proc/loadavg: 1.91 1.94 1.94 3/100 13838
/proc/meminfo: memFree=788848/2055920 swapFree=4174172/4192956
[pid=13830] ppid=13828 vsize=915440 CPUtime=12.63
/proc/13830/stat : 13830 (java) R 13828 13830 13537 0 -1 0 32587 0 1 0 1245 18 0 0 25 0 8 0 155697294 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13830/statm: 228860 32316 2521 14 0 215330 0
[pid=13830/tid=13832] ppid=13828 vsize=915440 CPUtime=0.45
/proc/13830/task/13832/stat : 13832 (java) S 13828 13830 13537 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155697298 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13833] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13833/stat : 13833 (java) S 13828 13830 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13834] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13834/stat : 13834 (java) S 13828 13830 13537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13835] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13835/stat : 13835 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155697302 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13836] ppid=13828 vsize=915440 CPUtime=0.25
/proc/13830/task/13836/stat : 13836 (java) S 13828 13830 13537 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 155697302 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13837] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13837/stat : 13837 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155697302 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13838] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13838/stat : 13838 (java) S 13828 13830 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155697302 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915440
[startup+25.6453 s]
/proc/loadavg: 1.92 1.94 1.94 3/100 13838
/proc/meminfo: memFree=788976/2055920 swapFree=4174172/4192956
[pid=13830] ppid=13828 vsize=915440 CPUtime=25.38
/proc/13830/stat : 13830 (java) R 13828 13830 13537 0 -1 0 32587 0 1 0 2520 18 0 0 25 0 8 0 155697294 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629953 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13830/statm: 228860 32316 2521 14 0 215330 0
[pid=13830/tid=13832] ppid=13828 vsize=915440 CPUtime=0.45
/proc/13830/task/13832/stat : 13832 (java) S 13828 13830 13537 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155697298 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13833] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13833/stat : 13833 (java) S 13828 13830 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13834] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13834/stat : 13834 (java) S 13828 13830 13537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13835] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13835/stat : 13835 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155697302 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13836] ppid=13828 vsize=915440 CPUtime=0.25
/proc/13830/task/13836/stat : 13836 (java) S 13828 13830 13537 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 155697302 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13837] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13837/stat : 13837 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155697302 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13838] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13838/stat : 13838 (java) S 13828 13830 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155697302 937410560 32316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915440
[startup+51.2767 s]
/proc/loadavg: 1.95 1.95 1.94 3/100 13838
/proc/meminfo: memFree=789104/2055920 swapFree=4174172/4192956
[pid=13830] ppid=13828 vsize=915440 CPUtime=50.76
/proc/13830/stat : 13830 (java) R 13828 13830 13537 0 -1 0 32589 0 1 0 5058 18 0 0 25 0 8 0 155697294 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13830/statm: 228860 32317 2521 14 0 215330 0
[pid=13830/tid=13832] ppid=13828 vsize=915440 CPUtime=0.45
/proc/13830/task/13832/stat : 13832 (java) S 13828 13830 13537 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155697298 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13833] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13833/stat : 13833 (java) S 13828 13830 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13834] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13834/stat : 13834 (java) S 13828 13830 13537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13835] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13835/stat : 13835 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13836] ppid=13828 vsize=915440 CPUtime=0.25
/proc/13830/task/13836/stat : 13836 (java) S 13828 13830 13537 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13837] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13837/stat : 13837 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13838] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13838/stat : 13838 (java) S 13828 13830 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915440
[startup+102.537 s]
/proc/loadavg: 1.98 1.95 1.94 3/100 13838
/proc/meminfo: memFree=789168/2055920 swapFree=4174172/4192956
[pid=13830] ppid=13828 vsize=915440 CPUtime=101.55
/proc/13830/stat : 13830 (java) R 13828 13830 13537 0 -1 0 32589 0 1 0 10137 18 0 0 25 0 8 0 155697294 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807476 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13830/statm: 228860 32317 2521 14 0 215330 0
[pid=13830/tid=13832] ppid=13828 vsize=915440 CPUtime=0.45
/proc/13830/task/13832/stat : 13832 (java) S 13828 13830 13537 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155697298 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13833] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13833/stat : 13833 (java) S 13828 13830 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13834] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13834/stat : 13834 (java) S 13828 13830 13537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13835] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13835/stat : 13835 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13836] ppid=13828 vsize=915440 CPUtime=0.25
/proc/13830/task/13836/stat : 13836 (java) S 13828 13830 13537 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13837] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13837/stat : 13837 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13838] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13838/stat : 13838 (java) S 13828 13830 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915440
[startup+162.554 s]
/proc/loadavg: 1.99 1.96 1.94 3/100 13838
/proc/meminfo: memFree=789168/2055920 swapFree=4174172/4192956
[pid=13830] ppid=13828 vsize=915440 CPUtime=161.02
/proc/13830/stat : 13830 (java) R 13828 13830 13537 0 -1 0 32589 0 1 0 16083 19 0 0 25 0 8 0 155697294 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630009 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1409.49
Current children cumulated vsize (KiB) 915440
[startup+1482.89 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 14036
/proc/meminfo: memFree=789040/2055920 swapFree=4174172/4192956
[pid=13830] ppid=13828 vsize=915440 CPUtime=1468.95
/proc/13830/stat : 13830 (java) R 13828 13830 13537 0 -1 0 32589 0 1 0 146868 27 0 0 25 0 8 0 155697294 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660660 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13830/statm: 228860 32317 2521 14 0 215330 0
[pid=13830/tid=13832] ppid=13828 vsize=915440 CPUtime=0.45
/proc/13830/task/13832/stat : 13832 (java) S 13828 13830 13537 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155697298 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13833] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13833/stat : 13833 (java) S 13828 13830 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13834] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13834/stat : 13834 (java) S 13828 13830 13537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13835] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13835/stat : 13835 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13836] ppid=13828 vsize=915440 CPUtime=0.25
/proc/13830/task/13836/stat : 13836 (java) S 13828 13830 13537 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13837] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13837/stat : 13837 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13838] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13838/stat : 13838 (java) S 13828 13830 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1468.95
Current children cumulated vsize (KiB) 915440
[startup+1542.91 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 14036
/proc/meminfo: memFree=788976/2055920 swapFree=4174172/4192956
[pid=13830] ppid=13828 vsize=915440 CPUtime=1528.41
/proc/13830/stat : 13830 (java) R 13828 13830 13537 0 -1 0 32589 0 1 0 152814 27 0 0 25 0 8 0 155697294 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13830/statm: 228860 32317 2521 14 0 215330 0
[pid=13830/tid=13832] ppid=13828 vsize=915440 CPUtime=0.45
/proc/13830/task/13832/stat : 13832 (java) S 13828 13830 13537 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155697298 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13833] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13833/stat : 13833 (java) S 13828 13830 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13834] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13834/stat : 13834 (java) S 13828 13830 13537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13835] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13835/stat : 13835 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13836] ppid=13828 vsize=915440 CPUtime=0.25
/proc/13830/task/13836/stat : 13836 (java) S 13828 13830 13537 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13837] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13837/stat : 13837 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13838] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13838/stat : 13838 (java) S 13828 13830 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1528.41
Current children cumulated vsize (KiB) 915440
[startup+1602.92 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 14036
/proc/meminfo: memFree=788976/2055920 swapFree=4174172/4192956
[pid=13830] ppid=13828 vsize=915440 CPUtime=1587.87
/proc/13830/stat : 13830 (java) R 13828 13830 13537 0 -1 0 32589 0 1 0 158759 28 0 0 25 0 8 0 155697294 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13830/statm: 228860 32317 2521 14 0 215330 0
[pid=13830/tid=13832] ppid=13828 vsize=915440 CPUtime=0.45
/proc/13830/task/13832/stat : 13832 (java) S 13828 13830 13537 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155697298 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13833] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13833/stat : 13833 (java) S 13828 13830 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13834] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13834/stat : 13834 (java) S 13828 13830 13537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13835] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13835/stat : 13835 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13836] ppid=13828 vsize=915440 CPUtime=0.25
/proc/13830/task/13836/stat : 13836 (java) S 13828 13830 13537 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13837] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13837/stat : 13837 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13838] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13838/stat : 13838 (java) S 13828 13830 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1587.87
Current children cumulated vsize (KiB) 915440
[startup+1662.93 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 14036
/proc/meminfo: memFree=788976/2055920 swapFree=4174172/4192956
[pid=13830] ppid=13828 vsize=915440 CPUtime=1647.33
/proc/13830/stat : 13830 (java) R 13828 13830 13537 0 -1 0 32589 0 1 0 164704 29 0 0 25 0 8 0 155697294 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13830/statm: 228860 32317 2521 14 0 215330 0
[pid=13830/tid=13832] ppid=13828 vsize=915440 CPUtime=0.45
/proc/13830/task/13832/stat : 13832 (java) S 13828 13830 13537 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155697298 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13833] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13833/stat : 13833 (java) S 13828 13830 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13834] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13834/stat : 13834 (java) S 13828 13830 13537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13835] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13835/stat : 13835 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13836] ppid=13828 vsize=915440 CPUtime=0.25
/proc/13830/task/13836/stat : 13836 (java) S 13828 13830 13537 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13837] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13837/stat : 13837 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13838] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13838/stat : 13838 (java) S 13828 13830 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1647.33
Current children cumulated vsize (KiB) 915440
[startup+1722.94 s]
/proc/loadavg: 2.04 2.01 1.96 3/100 14036
/proc/meminfo: memFree=788976/2055920 swapFree=4174172/4192956
[pid=13830] ppid=13828 vsize=915440 CPUtime=1706.79
/proc/13830/stat : 13830 (java) R 13828 13830 13537 0 -1 0 32589 0 1 0 170650 29 0 0 25 0 8 0 155697294 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815968 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13830/statm: 228860 32317 2521 14 0 215330 0
[pid=13830/tid=13832] ppid=13828 vsize=915440 CPUtime=0.45
/proc/13830/task/13832/stat : 13832 (java) S 13828 13830 13537 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155697298 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13833] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13833/stat : 13833 (java) S 13828 13830 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13834] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13834/stat : 13834 (java) S 13828 13830 13537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13835] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13835/stat : 13835 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13836] ppid=13828 vsize=915440 CPUtime=0.25
/proc/13830/task/13836/stat : 13836 (java) S 13828 13830 13537 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13837] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13837/stat : 13837 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13838] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13838/stat : 13838 (java) S 13828 13830 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1706.79
Current children cumulated vsize (KiB) 915440
[startup+1782.96 s]
/proc/loadavg: 1.98 2.01 1.96 2/85 14052
/proc/meminfo: memFree=923304/2055920 swapFree=4174172/4192956
[pid=13830] ppid=13828 vsize=915440 CPUtime=1766.27
/proc/13830/stat : 13830 (java) R 13828 13830 13537 0 -1 0 32589 0 1 0 176597 30 0 0 25 0 8 0 155697294 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808446 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13830/statm: 228860 32317 2521 14 0 215330 0
[pid=13830/tid=13832] ppid=13828 vsize=915440 CPUtime=0.45
/proc/13830/task/13832/stat : 13832 (java) S 13828 13830 13537 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155697298 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13833] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13833/stat : 13833 (java) S 13828 13830 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13834] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13834/stat : 13834 (java) S 13828 13830 13537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13835] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13835/stat : 13835 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13836] ppid=13828 vsize=915440 CPUtime=0.25
/proc/13830/task/13836/stat : 13836 (java) S 13828 13830 13537 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13837] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13837/stat : 13837 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13838] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13838/stat : 13838 (java) S 13828 13830 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1766.27
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.82 s]
/proc/loadavg: 1.96 2.00 1.96 3/100 14184
/proc/meminfo: memFree=854384/2055920 swapFree=4174172/4192956
[pid=13830] ppid=13828 vsize=915440 CPUtime=1800.08
/proc/13830/stat : 13830 (java) R 13828 13830 13537 0 -1 0 32589 0 1 0 179974 34 0 0 25 0 8 0 155697294 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13830/statm: 228860 32317 2521 14 0 215330 0
[pid=13830/tid=13832] ppid=13828 vsize=915440 CPUtime=0.45
/proc/13830/task/13832/stat : 13832 (java) S 13828 13830 13537 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155697298 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13833] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13833/stat : 13833 (java) S 13828 13830 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13834] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13834/stat : 13834 (java) S 13828 13830 13537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155697299 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13835] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13835/stat : 13835 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13836] ppid=13828 vsize=915440 CPUtime=0.25
/proc/13830/task/13836/stat : 13836 (java) S 13828 13830 13537 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13837] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13837/stat : 13837 (java) S 13828 13830 13537 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13830/tid=13838] ppid=13828 vsize=915440 CPUtime=0
/proc/13830/task/13838/stat : 13838 (java) S 13828 13830 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155697302 937410560 32317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1816.87
CPU time (s): 1800.13
CPU user time (s): 1799.76
CPU system time (s): 0.361944
CPU usage (%): 99.0785
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.361944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32605
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= 37817
involuntary context switches= 102441
runsolver used 2.05869 s user time and 5.99309 s system time
The end
Begin job on node15 on Sat Jan 6 08:43:44 UTC 2007
IDJOB= 203236
IDBENCH= 3939
FILE ID= node15/203236-1168073023
PBS_JOBID= 3475751
Free space on /tmp= 66272 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203236-1168073023/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-203236-1168073023 -o ROOT/results/node15/solver-203236-1168073023 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203236-1168073023/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 92a99292a229da69be6d44bfb207d02f
RANDOM SEED= 220834913
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.276
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.276
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: 909064 kB
Buffers: 85156 kB
Cached: 799876 kB
SwapCached: 7128 kB
Active: 475252 kB
Inactive: 567648 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 909064 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 15060 kB
Writeback: 0 kB
Mapped: 176520 kB
Slab: 88376 kB
Committed_AS: 4930440 kB
PageTables: 2672 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= 66277 MiB
End job on node15 on Sat Jan 6 09:14:05 UTC 2007