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/196261-1168070481/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.099 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
1.07
1.07 constraints being loaded...
1.34 nbConstraints=74 nbRelationTypes=74 nbExtensionStructures=74 nbSharedExtensionStructures=0
1.34 nbConflictsStructures=74 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
1.34 => wckTime=1.018 cpuTime=0.88 mem=47M703
1.45
1.45 solver IterativeSystematicSolver being built...
1.62 => wckTime=1.3 cpuTime=1.01 mem=34M325
1.62
1.62 preprocessing
1.63 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.63 detectedInconsistency=no
1.63 => wckTime=0.0040 cpuTime=0.0 mem=34M325
1.74
1.74 search
1.74 run=0 nbConstraintChecks=32780 nbValidityChecks=57342 nbPropagations=389 nbRevisions=4005
1.74 nbUselessRevisions=3150 nbAssignments=32 nbFailedAssignments=15 nbBacktracks=12 nbVisitedNodes=56
1.74 nbRestartNogoods=0 mapSize=12 nbInferences=0 nbTooLargeKeys=0
1.74 => wckTime=0.121 cpuTime=0.08 mem=34M325
1.79
1.79 search
1.79 run=1 nbConstraintChecks=59517 nbValidityChecks=110753 nbPropagations=1068 nbRevisions=11310
1.79 nbUselessRevisions=8979 nbAssignments=71 nbFailedAssignments=33 nbBacktracks=28 nbVisitedNodes=121
1.79 nbRestartNogoods=1 mapSize=26 nbInferences=0 nbTooLargeKeys=0
1.79 => wckTime=0.174 cpuTime=0.12 mem=34M325
1.96
1.96 search
1.96 run=2 nbConstraintChecks=155069 nbValidityChecks=294823 nbPropagations=2638 nbRevisions=30583
1.96 nbUselessRevisions=24274 nbAssignments=149 nbFailedAssignments=83 nbBacktracks=50 nbVisitedNodes=264
1.96 nbRestartNogoods=2 mapSize=45 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=0.34 cpuTime=0.27 mem=34M325
2.13
2.13 search
2.13 run=3 nbConstraintChecks=277519 nbValidityChecks=527796 nbPropagations=5418 nbRevisions=63716
2.13 nbUselessRevisions=50588 nbAssignments=262 nbFailedAssignments=157 nbBacktracks=83 nbVisitedNodes=477
2.13 nbRestartNogoods=9 mapSize=76 nbInferences=0 nbTooLargeKeys=0
2.13 => wckTime=0.509 cpuTime=0.44 mem=34M325
2.38
2.38 search
2.38 run=4 nbConstraintChecks=448959 nbValidityChecks=842564 nbPropagations=9619 nbRevisions=113441
2.38 nbUselessRevisions=89974 nbAssignments=374 nbFailedAssignments=215 nbBacktracks=133 nbVisitedNodes=680
2.38 nbRestartNogoods=12 mapSize=119 nbInferences=0 nbTooLargeKeys=0
2.38 => wckTime=0.757 cpuTime=0.69 mem=34M325
2.74
2.74 search
2.74 run=5 nbConstraintChecks=710706 nbValidityChecks=1332283 nbPropagations=16274 nbRevisions=193702
2.74 nbUselessRevisions=154193 nbAssignments=585 nbFailedAssignments=346 nbBacktracks=208 nbVisitedNodes=1074
2.74 nbRestartNogoods=14 mapSize=190 nbInferences=0 nbTooLargeKeys=0
2.74 => wckTime=1.123 cpuTime=1.04 mem=34M325
3.25
3.25 search
3.25 run=6 nbConstraintChecks=1083260 nbValidityChecks=2045124 nbPropagations=26352 nbRevisions=316265
3.25 nbUselessRevisions=251730 nbAssignments=931 nbFailedAssignments=573 nbBacktracks=322 nbVisitedNodes=1718
3.25 nbRestartNogoods=19 mapSize=290 nbInferences=0 nbTooLargeKeys=0
3.25 => wckTime=1.627 cpuTime=1.54 mem=34M325
4.09
4.09 search
4.09 run=7 nbConstraintChecks=1706631 nbValidityChecks=3184079 nbPropagations=42038 nbRevisions=506696
4.09 nbUselessRevisions=403884 nbAssignments=1431 nbFailedAssignments=898 nbBacktracks=492 nbVisitedNodes=2674
4.09 nbRestartNogoods=25 mapSize=452 nbInferences=0 nbTooLargeKeys=0
4.09 => wckTime=2.467 cpuTime=2.36 mem=34M325
5.22
5.22 search
5.22 run=8 nbConstraintChecks=2548544 nbValidityChecks=4814505 nbPropagations=65690 nbRevisions=794467
5.22 nbUselessRevisions=632115 nbAssignments=2241 nbFailedAssignments=1444 nbBacktracks=748 nbVisitedNodes=4205
5.22 nbRestartNogoods=29 mapSize=688 nbInferences=0 nbTooLargeKeys=0
5.22 => wckTime=3.599 cpuTime=3.47 mem=34M325
7.05
7.05 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=34M325)
7.18
7.18 search
7.18 run=9 nbConstraintChecks=4061942 nbValidityChecks=7523061 nbPropagations=101504 nbRevisions=1233849
7.18 nbUselessRevisions=983026 nbAssignments=3326 nbFailedAssignments=2139 nbBacktracks=1133 nbVisitedNodes=6272
7.18 nbRestartNogoods=47
7.18 => wckTime=5.561 cpuTime=5.41 mem=34M325
9.51
9.51 search
9.51 run=10 nbConstraintChecks=5868391 nbValidityChecks=11020974 nbPropagations=153789 nbRevisions=1874011
9.51 nbUselessRevisions=1491562 nbAssignments=5002 nbFailedAssignments=3232 nbBacktracks=1710 nbVisitedNodes=9450
9.51 nbRestartNogoods=57
9.51 => wckTime=7.894 cpuTime=7.72 mem=34M325
13.16
13.16 search
13.16 run=11 nbConstraintChecks=8707007 nbValidityChecks=16124884 nbPropagations=231116 nbRevisions=2809063
13.16 nbUselessRevisions=2236489 nbAssignments=7166 nbFailedAssignments=4526 nbBacktracks=2575 nbVisitedNodes=13501
13.16 nbRestartNogoods=64
13.16 => wckTime=11.538 cpuTime=11.34 mem=35M312
18.37
18.37 search
18.37 run=12 nbConstraintChecks=12673336 nbValidityChecks=23377422 nbPropagations=346289 nbRevisions=4178514
18.37 nbUselessRevisions=3325269 nbAssignments=10169 nbFailedAssignments=6227 nbBacktracks=3872 nbVisitedNodes=19080
18.37 nbRestartNogoods=76
18.37 => wckTime=16.751 cpuTime=16.52 mem=35M312
26.79
26.79 search
26.79 run=13 nbConstraintChecks=19266357 nbValidityChecks=36514844 nbPropagations=524161 nbRevisions=6315984
26.79 nbUselessRevisions=5013552 nbAssignments=16936 nbFailedAssignments=11040 nbBacktracks=5818 nbVisitedNodes=32017
26.79 nbRestartNogoods=107
26.79 => wckTime=25.169 cpuTime=24.89 mem=35M312
39.54
39.54 search
39.54 run=14 nbConstraintChecks=29238740 nbValidityChecks=54745779 nbPropagations=790178 nbRevisions=9538039
39.54 nbUselessRevisions=7579362 nbAssignments=24692 nbFailedAssignments=15871 nbBacktracks=8737 nbVisitedNodes=46689
39.54 nbRestartNogoods=125
39.54 => wckTime=37.919 cpuTime=37.58 mem=35M312
55.73
55.73 search
55.73 run=15 nbConstraintChecks=41525933 nbValidityChecks=77623988 nbPropagations=1178288 nbRevisions=14165307
55.73 nbUselessRevisions=11263199 nbAssignments=34745 nbFailedAssignments=21540 nbBacktracks=13116
55.73 nbVisitedNodes=65310 nbRestartNogoods=139
55.73 => wckTime=54.111 cpuTime=53.67 mem=35M312
82.22
82.22 search
82.22 run=16 nbConstraintChecks=61518537 nbValidityChecks=114807584 nbPropagations=1753993 nbRevisions=21056074
82.22 nbUselessRevisions=16763875 nbAssignments=50977 nbFailedAssignments=31198 nbBacktracks=19684
82.22 nbVisitedNodes=95539 nbRestartNogoods=148
82.22 => wckTime=80.595 cpuTime=80.0 mem=35M312
116.87
116.87 search
116.87 run=17 nbConstraintChecks=87278887 nbValidityChecks=163927760 nbPropagations=2606937 nbRevisions=30945800
116.87 nbUselessRevisions=24621616 nbAssignments=73997 nbFailedAssignments=44361 nbBacktracks=29536
116.87 nbVisitedNodes=138056 nbRestartNogoods=154
116.87 => wckTime=115.249 cpuTime=114.48 mem=35M312
169.95
169.95 search
169.95 run=18 nbConstraintChecks=127273995 nbValidityChecks=237627163 nbPropagations=3857378 nbRevisions=45201976
169.95 nbUselessRevisions=35927302 nbAssignments=107010 nbFailedAssignments=62589 nbBacktracks=44316
169.95 nbVisitedNodes=198742 nbRestartNogoods=168
169.95 => wckTime=168.33 cpuTime=167.31 mem=35M312
257.97
257.97 search
257.97 run=19 nbConstraintChecks=195004748 nbValidityChecks=362037548 nbPropagations=5722902 nbRevisions=66857462
257.97 nbUselessRevisions=53176986 nbAssignments=160597 nbFailedAssignments=94001 nbBacktracks=66484
257.97 nbVisitedNodes=298413 nbRestartNogoods=189
257.97 => wckTime=256.347 cpuTime=254.9 mem=35M312
381.87
381.87 search
381.87 run=20 nbConstraintChecks=289743861 nbValidityChecks=540283327 nbPropagations=8500939 nbRevisions=99417392
381.87 nbUselessRevisions=79129099 nbAssignments=242553 nbFailedAssignments=142700 nbBacktracks=99737
381.87 nbVisitedNodes=450439 nbRestartNogoods=213
381.87 => wckTime=380.247 cpuTime=378.21 mem=35M312
566.86
566.86 search
566.86 run=21 nbConstraintChecks=430023657 nbValidityChecks=801978373 nbPropagations=12675164 nbRevisions=147610860
566.86 nbUselessRevisions=117456210 nbAssignments=359972 nbFailedAssignments=210235 nbBacktracks=149616
566.86 nbVisitedNodes=668539 nbRestartNogoods=227
566.86 => wckTime=565.239 cpuTime=562.32 mem=35M312
681.42
681.42 search
681.42 run=22 nbConstraintChecks=518910048 nbValidityChecks=965306114 nbPropagations=17651552 nbRevisions=205616605
681.42 nbUselessRevisions=163675458 nbAssignments=429604 nbFailedAssignments=252457 nbBacktracks=177002
681.42 nbVisitedNodes=799471 nbRestartNogoods=247
681.42 => wckTime=679.795 cpuTime=676.33 mem=35M312
681.42
681.42 global
681.42 nbConstraintChecks=518910048 nbValidityChecks=965306114 nbPropagations=17651576 nbRevisions=205616605
681.42 nbUselessRevisions=163675458 nbRestartNogoods=247 solvingWckTime=679.796 solvingCpuTime=676.33 expiredTime=no
681.42 totalExploration=no nbFoundSolutions=1 globalCpuTime=677.39
681.42 => wckTime=681.099 cpuTime=677.34 mem=35M312
681.42
681.42 s SATISFIABLE
681.42 v 9 3 15 22 14 0 2 12 7 0 15 11 18 20 23 23 21 8 18 22 1 5 9 14
681.42 d NODES 429604
681.42 d CHECKS 518910048
681.42
681.42 totalWckTime=681.181 totalCpuTime=677.39
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-196261-1168070481 -o ROOT/results/node21/solver-196261-1168070481 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196261-1168070481/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.99 1.97 1.91 4/99 19073
/proc/meminfo: memFree=1748632/2055920 swapFree=4192812/4192956
[pid=19072] ppid=19070 vsize=18540 CPUtime=0
/proc/19072/stat : 19072 (runsolver) R 19070 19072 18741 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155442714 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221236489511 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19072/statm: 4635 279 244 17 0 2626 0
[startup+0.102892 s]
/proc/loadavg: 1.99 1.97 1.91 4/99 19073
/proc/meminfo: memFree=1748632/2055920 swapFree=4192812/4192956
[pid=19072] ppid=19070 vsize=913236 CPUtime=0.08
/proc/19072/stat : 19072 (java) R 19070 19072 18741 0 -1 0 2920 0 1 0 6 2 0 0 17 0 8 0 155442714 935153664 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155840880 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19072/statm: 228309 2666 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.510973 s]
/proc/loadavg: 1.99 1.97 1.91 4/99 19073
/proc/meminfo: memFree=1748632/2055920 swapFree=4192812/4192956
[pid=19072] ppid=19070 vsize=915328 CPUtime=0.49
/proc/19072/stat : 19072 (java) R 19070 19072 18741 0 -1 0 7457 0 1 0 43 6 0 0 18 0 8 0 155442714 937295872 7196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072937225 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19072/statm: 228832 7196 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33413 s]
/proc/loadavg: 1.99 1.97 1.91 4/106 19098
/proc/meminfo: memFree=1681632/2055920 swapFree=4192812/4192956
[pid=19072] ppid=19070 vsize=915328 CPUtime=1.29
/proc/19072/stat : 19072 (java) R 19070 19072 18741 0 -1 0 19121 0 1 0 119 10 0 0 25 0 8 0 155442714 937295872 18859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073646952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19072/statm: 228832 18859 2160 14 0 215302 0
[pid=19072/tid=19074] ppid=19070 vsize=915328 CPUtime=0.05
/proc/19072/task/19074/stat : 19074 (java) S 19070 19072 18741 0 -1 64 2656 0 0 0 5 0 0 0 17 0 8 0 155442718 937295872 18859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19075] ppid=19070 vsize=915328 CPUtime=0
/proc/19072/task/19075/stat : 19075 (java) S 19070 19072 18741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442719 937295872 18859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19076] ppid=19070 vsize=915328 CPUtime=0
/proc/19072/task/19076/stat : 19076 (java) S 19070 19072 18741 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155442719 937295872 18859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19077] ppid=19070 vsize=915328 CPUtime=0
/proc/19072/task/19077/stat : 19077 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155442722 937295872 18859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19078] ppid=19070 vsize=915328 CPUtime=0.1
/proc/19072/task/19078/stat : 19078 (java) S 19070 19072 18741 0 -1 64 320 0 0 0 9 1 0 0 16 0 8 0 155442722 937295872 18859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19079] ppid=19070 vsize=915328 CPUtime=0
/proc/19072/task/19079/stat : 19079 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442722 937295872 18859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19080] ppid=19070 vsize=915328 CPUtime=0
/proc/19072/task/19080/stat : 19080 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442722 937295872 18859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915328
[startup+2.97844 s]
/proc/loadavg: 1.99 1.97 1.91 3/106 19098
/proc/meminfo: memFree=1665952/2055920 swapFree=4192812/4192956
[pid=19072] ppid=19070 vsize=915416 CPUtime=2.92
/proc/19072/stat : 19072 (java) R 19070 19072 18741 0 -1 0 23394 0 1 0 280 12 0 0 25 0 8 0 155442714 937385984 23129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19072/statm: 228854 23129 2522 14 0 215324 0
[pid=19072/tid=19074] ppid=19070 vsize=915416 CPUtime=0.16
/proc/19072/task/19074/stat : 19074 (java) S 19070 19072 18741 0 -1 64 6426 0 0 0 14 2 0 0 17 0 8 0 155442718 937385984 23129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19075] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19075/stat : 19075 (java) S 19070 19072 18741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442719 937385984 23129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19076] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19076/stat : 19076 (java) S 19070 19072 18741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442719 937385984 23129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19077] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19077/stat : 19077 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155442722 937385984 23129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19078] ppid=19070 vsize=915416 CPUtime=0.21
/proc/19072/task/19078/stat : 19078 (java) S 19070 19072 18741 0 -1 64 372 0 0 0 20 1 0 0 15 0 8 0 155442722 937385984 23129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19079] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19079/stat : 19079 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442722 937385984 23129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19080] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19080/stat : 19080 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442722 937385984 23129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915416
[startup+6.27606 s]
/proc/loadavg: 1.99 1.97 1.91 3/106 19104
/proc/meminfo: memFree=1665760/2055920 swapFree=4192812/4192956
[pid=19072] ppid=19070 vsize=915416 CPUtime=6.2
/proc/19072/stat : 19072 (java) R 19070 19072 18741 0 -1 0 23409 0 1 0 607 13 0 0 25 0 8 0 155442714 937385984 23142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757201 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19072/statm: 228854 23142 2522 14 0 215324 0
[pid=19072/tid=19074] ppid=19070 vsize=915416 CPUtime=0.16
/proc/19072/task/19074/stat : 19074 (java) S 19070 19072 18741 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 155442718 937385984 23142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19075] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19075/stat : 19075 (java) S 19070 19072 18741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442719 937385984 23142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19076] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19076/stat : 19076 (java) S 19070 19072 18741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442719 937385984 23142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19077] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19077/stat : 19077 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155442722 937385984 23142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19078] ppid=19070 vsize=915416 CPUtime=0.24
/proc/19072/task/19078/stat : 19078 (java) S 19070 19072 18741 0 -1 64 386 0 0 0 23 1 0 0 16 0 8 0 155442722 937385984 23142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19079] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19079/stat : 19079 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442722 937385984 23142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19080] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19080/stat : 19080 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442722 937385984 23142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915416
[startup+12.7673 s]
/proc/loadavg: 1.99 1.97 1.91 3/106 19114
/proc/meminfo: memFree=1665824/2055920 swapFree=4192812/4192956
[pid=19072] ppid=19070 vsize=915416 CPUtime=12.65
/proc/19072/stat : 19072 (java) R 19070 19072 18741 0 -1 0 23415 0 1 0 1252 13 0 0 25 0 8 0 155442714 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807963 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19072/statm: 228854 23146 2522 14 0 215324 0
[pid=19072/tid=19074] ppid=19070 vsize=915416 CPUtime=0.16
/proc/19072/task/19074/stat : 19074 (java) S 19070 19072 18741 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 155442718 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19075] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19075/stat : 19075 (java) S 19070 19072 18741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442719 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19076] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19076/stat : 19076 (java) S 19070 19072 18741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442719 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19077] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19077/stat : 19077 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155442722 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19078] ppid=19070 vsize=915416 CPUtime=0.25
/proc/19072/task/19078/stat : 19078 (java) S 19070 19072 18741 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 155442722 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19079] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19079/stat : 19079 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442722 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19080] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19080/stat : 19080 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442722 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915416
[startup+25.6327 s]
/proc/loadavg: 1.99 1.97 1.91 3/106 19138
/proc/meminfo: memFree=1665952/2055920 swapFree=4192812/4192956
[pid=19072] ppid=19070 vsize=915416 CPUtime=25.43
/proc/19072/stat : 19072 (java) R 19070 19072 18741 0 -1 0 23415 0 1 0 2530 13 0 0 25 0 8 0 155442714 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756550 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19072/statm: 228854 23146 2522 14 0 215324 0
[pid=19072/tid=19074] ppid=19070 vsize=915416 CPUtime=0.16
/proc/19072/task/19074/stat : 19074 (java) S 19070 19072 18741 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 155442718 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19075] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19075/stat : 19075 (java) S 19070 19072 18741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442719 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19076] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19076/stat : 19076 (java) S 19070 19072 18741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442719 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19077] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19077/stat : 19077 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155442722 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19078] ppid=19070 vsize=915416 CPUtime=0.25
/proc/19072/task/19078/stat : 19078 (java) S 19070 19072 18741 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 155442722 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19079] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19079/stat : 19079 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442722 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19080] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19080/stat : 19080 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442722 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915416
[startup+51.2776 s]
/proc/loadavg: 1.99 1.97 1.91 3/106 19160
/proc/meminfo: memFree=1666016/2055920 swapFree=4192812/4192956
[pid=19072] ppid=19070 vsize=915416 CPUtime=50.93
/proc/19072/stat : 19072 (java) R 19070 19072 18741 0 -1 0 23417 0 1 0 5080 13 0 0 25 0 8 0 155442714 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765824 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19072/statm: 228854 23147 2522 14 0 215324 0
[pid=19072/tid=19074] ppid=19070 vsize=915416 CPUtime=0.16
/proc/19072/task/19074/stat : 19074 (java) S 19070 19072 18741 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 155442718 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19075] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19075/stat : 19075 (java) S 19070 19072 18741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442719 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19076] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19076/stat : 19076 (java) S 19070 19072 18741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442719 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19077] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19077/stat : 19077 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19078] ppid=19070 vsize=915416 CPUtime=0.25
/proc/19072/task/19078/stat : 19078 (java) S 19070 19072 18741 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19079] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19079/stat : 19079 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19080] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19080/stat : 19080 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915416
[startup+102.548 s]
/proc/loadavg: 1.99 1.97 1.91 3/100 19194
/proc/meminfo: memFree=1667024/2055920 swapFree=4192812/4192956
[pid=19072] ppid=19070 vsize=915416 CPUtime=101.91
/proc/19072/stat : 19072 (java) R 19070 19072 18741 0 -1 0 23417 0 1 0 10178 13 0 0 25 0 8 0 155442714 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630234 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19072/statm: 228854 23147 2522 14 0 215324 0
[pid=19072/tid=19074] ppid=19070 vsize=915416 CPUtime=0.16
/proc/19072/task/19074/stat : 19074 (java) S 19070 19072 18741 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 155442718 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19075] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19075/stat : 19075 (java) S 19070 19072 18741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442719 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19076] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19076/stat : 19076 (java) S 19070 19072 18741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442719 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19077] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19077/stat : 19077 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19078] ppid=19070 vsize=915416 CPUtime=0.25
/proc/19072/task/19078/stat : 19078 (java) S 19070 19072 18741 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19079] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19079/stat : 19079 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19080] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19080/stat : 19080 (java) R 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915416
[startup+162.555 s]
/proc/loadavg: 1.99 1.97 1.91 3/100 19194
/proc/meminfo: memFree=1667024/2055920 swapFree=4192812/4192956
[pid=19072] ppid=19070 vsize=915416 CPUtime=161.64
/proc/19072/stat : 19072 (java) R 19070 19072 18741 0 -1 0 23417 0 1 0 16150 14 0 0 25 0 8 0 155442714 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753229 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/19072/task/19077/stat : 19077 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19078] ppid=19070 vsize=915416 CPUtime=0.25
/proc/19072/task/19078/stat : 19078 (java) S 19070 19072 18741 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19079] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19079/stat : 19079 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19080] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19080/stat : 19080 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.37
Current children cumulated vsize (KiB) 915416
[startup+282.583 s]
/proc/loadavg: 2.04 1.99 1.91 3/100 19194
/proc/meminfo: memFree=1667024/2055920 swapFree=4192812/4192956
[pid=19072] ppid=19070 vsize=915416 CPUtime=281.09
/proc/19072/stat : 19072 (java) R 19070 19072 18741 0 -1 0 23417 0 1 0 28094 15 0 0 25 0 8 0 155442714 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756557 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19072/statm: 228854 23147 2522 14 0 215324 0
[pid=19072/tid=19074] ppid=19070 vsize=915416 CPUtime=0.16
/proc/19072/task/19074/stat : 19074 (java) S 19070 19072 18741 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 155442718 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19075] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19075/stat : 19075 (java) S 19070 19072 18741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442719 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19076] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19076/stat : 19076 (java) S 19070 19072 18741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442719 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19077] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19077/stat : 19077 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19078] ppid=19070 vsize=915416 CPUtime=0.25
/proc/19072/task/19078/stat : 19078 (java) S 19070 19072 18741 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19079] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19079/stat : 19079 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19080] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19080/stat : 19080 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.09
Current children cumulated vsize (KiB) 915416
[startup+342.6 s]
/proc/loadavg: 2.01 1.99 1.91 3/100 19194
/proc/meminfo: memFree=1667024/2055920 swapFree=4192812/4192956
[pid=19072] ppid=19070 vsize=915416 CPUtime=340.82
/proc/19072/stat : 19072 (java) R 19070 19072 18741 0 -1 0 23417 0 1 0 34067 15 0 0 25 0 8 0 155442714 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19072/statm: 228854 23147 2522 14 0 215324 0
[pid=19072/tid=19074] ppid=19070 vsize=915416 CPUtime=0.16
/proc/19072/task/19074/stat : 19074 (java) S 19070 19072 18741 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 155442718 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19075] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19075/stat : 19075 (java) S 19070 19072 18741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442719 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19076] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19076/stat : 19076 (java) S 19070 19072 18741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442719 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19077] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19077/stat : 19077 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19078] ppid=19070 vsize=915416 CPUtime=0.25
/proc/19072/task/19078/stat : 19078 (java) S 19070 19072 18741 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19079] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19079/stat : 19079 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19080] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19080/stat : 19080 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.82
Current children cumulated vsize (KiB) 915416
[startup+402.611 s]
/proc/loadavg: 2.00 1.99 1.91 3/100 19194
/proc/meminfo: memFree=1667024/2055920 swapFree=4192812/4192956
[pid=19072] ppid=19070 vsize=915416 CPUtime=400.54
/proc/19072/stat : 19072 (java) R 19070 19072 18741 0 -1 0 23417 0 1 0 40038 16 0 0 25 0 8 0 155442714 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753300 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19072/statm: 228854 23147 2522 14 0 215324 0
[pid=19072/tid=19074] ppid=19070 vsize=915416 CPUtime=0.16
/proc/19072/task/19074/stat : 19074 (java) S 19070 19072 18741 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 155442718 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19075] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19075/stat : 19075 (java) S 19070 19072 18741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442719 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19076] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19076/stat : 19076 (java) S 19070 19072 18741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442719 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19077] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19077/stat : 19077 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19078] ppid=19070 vsize=915416 CPUtime=0.25
/proc/19072/task/19078/stat : 19078 (java) S 19070 19072 18741 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19079] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19079/stat : 19079 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19080] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19080/stat : 19080 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.54
Current children cumulated vsize (KiB) 915416
[startup+462.621 s]
/proc/loadavg: 2.00 1.99 1.91 3/100 19194
/proc/meminfo: memFree=1667024/2055920 swapFree=4192812/4192956
[pid=19072] ppid=19070 vsize=915416 CPUtime=460.26
/proc/19072/stat : 19072 (java) R 19070 19072 18741 0 -1 0 23417 0 1 0 46010 16 0 0 25 0 8 0 155442714 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757227 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19072/statm: 228854 23147 2522 14 0 215324 0
[pid=19072/tid=19074] ppid=19070 vsize=915416 CPUtime=0.16
/proc/19072/task/19074/stat : 19074 (java) S 19070 19072 18741 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 155442718 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19075] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19075/stat : 19075 (java) S 19070 19072 18741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442719 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19076] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19076/stat : 19076 (java) S 19070 19072 18741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442719 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19077] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19077/stat : 19077 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19078] ppid=19070 vsize=915416 CPUtime=0.25
/proc/19072/task/19078/stat : 19078 (java) S 19070 19072 18741 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19079] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19079/stat : 19079 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19080] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19080/stat : 19080 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.26
Current children cumulated vsize (KiB) 915416
[startup+522.631 s]
/proc/loadavg: 2.00 1.99 1.91 3/100 19194
/proc/meminfo: memFree=1667024/2055920 swapFree=4192812/4192956
[pid=19072] ppid=19070 vsize=915416 CPUtime=519.99
/proc/19072/stat : 19072 (java) R 19070 19072 18741 0 -1 0 23417 0 1 0 51982 17 0 0 25 0 8 0 155442714 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19072/statm: 228854 23147 2522 14 0 215324 0
[pid=19072/tid=19074] ppid=19070 vsize=915416 CPUtime=0.16
/proc/19072/task/19074/stat : 19074 (java) S 19070 19072 18741 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 155442718 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19075] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19075/stat : 19075 (java) S 19070 19072 18741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442719 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19076] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19076/stat : 19076 (java) S 19070 19072 18741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442719 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19077] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19077/stat : 19077 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19078] ppid=19070 vsize=915416 CPUtime=0.25
/proc/19072/task/19078/stat : 19078 (java) S 19070 19072 18741 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19079] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19079/stat : 19079 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19080] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19080/stat : 19080 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 519.99
Current children cumulated vsize (KiB) 915416
[startup+582.648 s]
/proc/loadavg: 2.11 2.02 1.93 3/100 19194
/proc/meminfo: memFree=1666960/2055920 swapFree=4192812/4192956
[pid=19072] ppid=19070 vsize=915416 CPUtime=579.71
/proc/19072/stat : 19072 (java) R 19070 19072 18741 0 -1 0 23417 0 1 0 57954 17 0 0 25 0 8 0 155442714 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753225 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19072/statm: 228854 23147 2522 14 0 215324 0
[pid=19072/tid=19074] ppid=19070 vsize=915416 CPUtime=0.16
/proc/19072/task/19074/stat : 19074 (java) S 19070 19072 18741 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 155442718 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19075] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19075/stat : 19075 (java) S 19070 19072 18741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442719 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19076] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19076/stat : 19076 (java) S 19070 19072 18741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442719 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19077] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19077/stat : 19077 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19078] ppid=19070 vsize=915416 CPUtime=0.25
/proc/19072/task/19078/stat : 19078 (java) S 19070 19072 18741 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19079] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19079/stat : 19079 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19080] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19080/stat : 19080 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 579.71
Current children cumulated vsize (KiB) 915416
[startup+642.662 s]
/proc/loadavg: 2.10 2.03 1.93 3/100 19194
/proc/meminfo: memFree=1666960/2055920 swapFree=4192812/4192956
[pid=19072] ppid=19070 vsize=915416 CPUtime=639.45
/proc/19072/stat : 19072 (java) R 19070 19072 18741 0 -1 0 23417 0 1 0 63927 18 0 0 25 0 8 0 155442714 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761265 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19072/statm: 228854 23147 2522 14 0 215324 0
[pid=19072/tid=19074] ppid=19070 vsize=915416 CPUtime=0.16
/proc/19072/task/19074/stat : 19074 (java) S 19070 19072 18741 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 155442718 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19075] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19075/stat : 19075 (java) S 19070 19072 18741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155442719 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19076] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19076/stat : 19076 (java) S 19070 19072 18741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442719 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19077] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19077/stat : 19077 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19078] ppid=19070 vsize=915416 CPUtime=0.25
/proc/19072/task/19078/stat : 19078 (java) S 19070 19072 18741 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19079] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19079/stat : 19079 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19072/tid=19080] ppid=19070 vsize=915416 CPUtime=0
/proc/19072/task/19080/stat : 19080 (java) S 19070 19072 18741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442722 937385984 23147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 639.45
Current children cumulated vsize (KiB) 915416
Child status: 0
Real time (s): 681.473
CPU time (s): 678.048
CPU user time (s): 677.843
CPU system time (s): 0.204968
CPU usage (%): 99.4975
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 677.843
system time used= 0.204968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23423
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= 14900
involuntary context switches= 34750
runsolver used 0.897863 s user time and 2.13267 s system time
The end
Begin job on node21 on Sat Jan 6 08:01:22 UTC 2007
IDJOB= 196261
IDBENCH= 3338
FILE ID= node21/196261-1168070481
PBS_JOBID= 3475917
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196261-1168070481/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-196261-1168070481 -o ROOT/results/node21/solver-196261-1168070481 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196261-1168070481/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5231d05a04feb487ab1815ae00219ded
RANDOM SEED= 773409838
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.261
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.261
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: 1749112 kB
Buffers: 27232 kB
Cached: 115432 kB
SwapCached: 0 kB
Active: 139020 kB
Inactive: 95488 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1749112 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4464 kB
Writeback: 0 kB
Mapped: 121244 kB
Slab: 56556 kB
Committed_AS: 3687424 kB
PageTables: 2484 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= 66542 MiB
End job on node21 on Sat Jan 6 08:12:43 UTC 2007