0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/206723-1168074029/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.43 => wckTime=0.107 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
1.59
1.59 constraints being loaded...
2.36 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.36 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.36 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
2.36 => wckTime=2.036 cpuTime=1.62 mem=58M5
2.52
2.52 solver IterativeSystematicSolver being built...
2.70 => wckTime=2.377 cpuTime=1.76 mem=65M860
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=65M860
2.86
2.86 search
2.86 run=0 nbConstraintChecks=45037 nbValidityChecks=86459 nbPropagations=482 nbRevisions=4889
2.86 nbUselessRevisions=3873 nbAssignments=34 nbFailedAssignments=14 nbBacktracks=11 nbVisitedNodes=59
2.86 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
2.86 => wckTime=0.156 cpuTime=0.13 mem=65M860
2.95
2.95 search
2.95 run=1 nbConstraintChecks=92465 nbValidityChecks=170737 nbPropagations=1341 nbRevisions=14519
2.96 nbUselessRevisions=11629 nbAssignments=69 nbFailedAssignments=27 nbBacktracks=26 nbVisitedNodes=116
2.96 nbRestartNogoods=5 mapSize=24 nbInferences=0 nbTooLargeKeys=0
2.96 => wckTime=0.252 cpuTime=0.22 mem=65M860
3.11
3.11 search
3.11 run=2 nbConstraintChecks=177247 nbValidityChecks=330496 nbPropagations=2846 nbRevisions=31838
3.11 nbUselessRevisions=25402 nbAssignments=124 nbFailedAssignments=53 nbBacktracks=48 nbVisitedNodes=210
3.11 nbRestartNogoods=7 mapSize=41 nbInferences=0 nbTooLargeKeys=0
3.11 => wckTime=0.412 cpuTime=0.37 mem=65M860
3.40
3.40 search
3.40 run=3 nbConstraintChecks=339627 nbValidityChecks=642852 nbPropagations=5582 nbRevisions=65421
3.40 nbUselessRevisions=52147 nbAssignments=220 nbFailedAssignments=107 nbBacktracks=82 nbVisitedNodes=386
3.40 nbRestartNogoods=15 mapSize=75 nbInferences=0 nbTooLargeKeys=0
3.40 => wckTime=0.695 cpuTime=0.64 mem=65M860
3.66
3.66 search
3.66 run=4 nbConstraintChecks=499842 nbValidityChecks=954508 nbPropagations=9809 nbRevisions=117770
3.66 nbUselessRevisions=93781 nbAssignments=363 nbFailedAssignments=192 nbBacktracks=133 nbVisitedNodes=645
3.66 nbRestartNogoods=17 mapSize=119 nbInferences=0 nbTooLargeKeys=0
3.66 => wckTime=0.96 cpuTime=0.9 mem=65M860
4.19
4.19 search
4.19 run=5 nbConstraintChecks=797488 nbValidityChecks=1552621 nbPropagations=16880 nbRevisions=207249
4.19 nbUselessRevisions=164769 nbAssignments=582 nbFailedAssignments=330 nbBacktracks=208 nbVisitedNodes=1054
4.19 nbRestartNogoods=20 mapSize=189 nbInferences=0 nbTooLargeKeys=0
4.19 => wckTime=1.485 cpuTime=1.42 mem=65M860
4.73
4.73 search
4.73 run=6 nbConstraintChecks=1113918 nbValidityChecks=2180797 nbPropagations=27367 nbRevisions=337775
4.73 nbUselessRevisions=268049 nbAssignments=865 nbFailedAssignments=491 nbBacktracks=321 nbVisitedNodes=1565
4.73 nbRestartNogoods=24 mapSize=291 nbInferences=0 nbTooLargeKeys=0
4.73 => wckTime=2.025 cpuTime=1.95 mem=65M860
5.44
5.44 search
5.44 run=7 nbConstraintChecks=1521743 nbValidityChecks=3001722 nbPropagations=41963 nbRevisions=521715
5.44 nbUselessRevisions=414567 nbAssignments=1214 nbFailedAssignments=662 nbBacktracks=494 nbVisitedNodes=2174
5.44 nbRestartNogoods=31 mapSize=419 nbInferences=0 nbTooLargeKeys=0
5.44 => wckTime=2.737 cpuTime=2.65 mem=65M860
6.75
6.75 search
6.75 run=8 nbConstraintChecks=2294187 nbValidityChecks=4596775 nbPropagations=65072 nbRevisions=816813
6.75 nbUselessRevisions=650222 nbAssignments=1832 nbFailedAssignments=1015 nbBacktracks=750 nbVisitedNodes=3341
6.75 nbRestartNogoods=34 mapSize=666 nbInferences=0 nbTooLargeKeys=0
6.75 => wckTime=4.046 cpuTime=3.93 mem=65M860
8.53
8.53 search
8.53 run=9 nbConstraintChecks=3382067 nbValidityChecks=6746658 nbPropagations=99195 nbRevisions=1247375
8.53 nbUselessRevisions=992950 nbAssignments=2765 nbFailedAssignments=1556 nbBacktracks=1134 nbVisitedNodes=5052
8.53 nbRestartNogoods=46 mapSize=1000 nbInferences=0 nbTooLargeKeys=0
8.53 => wckTime=5.823 cpuTime=5.69 mem=66M852
8.62
8.62 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=66M852)
11.74
11.74 search
11.74 run=10 nbConstraintChecks=5351405 nbValidityChecks=10594877 nbPropagations=150929 nbRevisions=1909161
11.74 nbUselessRevisions=1520834 nbAssignments=4055 nbFailedAssignments=2261 nbBacktracks=1710 nbVisitedNodes=7427
11.74 nbRestartNogoods=55
11.74 => wckTime=9.04 cpuTime=8.87 mem=66M852
17.00
17.00 search
17.00 run=11 nbConstraintChecks=8619011 nbValidityChecks=17010436 nbPropagations=232561 nbRevisions=2931971
17.00 nbUselessRevisions=2331157 nbAssignments=6102 nbFailedAssignments=3436 nbBacktracks=2575 nbVisitedNodes=11236
17.00 nbRestartNogoods=70
17.00 => wckTime=14.293 cpuTime=14.07 mem=66M852
23.41
23.41 search
23.41 run=12 nbConstraintChecks=12616275 nbValidityChecks=24699247 nbPropagations=353050 nbRevisions=4440061
23.41 nbUselessRevisions=3527434 nbAssignments=8929 nbFailedAssignments=4957 nbBacktracks=3873 nbVisitedNodes=16449
23.41 nbRestartNogoods=81
23.41 => wckTime=20.702 cpuTime=20.42 mem=66M852
33.20
33.20 search
33.20 run=13 nbConstraintChecks=18589448 nbValidityChecks=36498257 nbPropagations=532855 nbRevisions=6666938
33.20 nbUselessRevisions=5291262 nbAssignments=13166 nbFailedAssignments=7239 nbBacktracks=5819 nbVisitedNodes=24272
33.20 nbRestartNogoods=90
33.20 => wckTime=30.5 cpuTime=30.09 mem=66M852
54.03
54.03 search
54.03 run=14 nbConstraintChecks=30715023 nbValidityChecks=63096060 nbPropagations=838200 nbRevisions=10505198
54.03 nbUselessRevisions=8321852 nbAssignments=22440 nbFailedAssignments=13585 nbBacktracks=8738 nbVisitedNodes=42041
54.03 nbRestartNogoods=95
54.03 => wckTime=51.323 cpuTime=50.65 mem=66M852
76.11
76.11 search
76.11 run=15 nbConstraintChecks=44524114 nbValidityChecks=89485973 nbPropagations=1278942 nbRevisions=15997086
76.11 nbUselessRevisions=12660883 nbAssignments=32211 nbFailedAssignments=18970 nbBacktracks=13117
76.11 nbVisitedNodes=60118 nbRestartNogoods=106
76.11 => wckTime=73.408 cpuTime=72.5 mem=66M852
119.25
119.25 search
119.25 run=16 nbConstraintChecks=71199233 nbValidityChecks=140699415 nbPropagations=1943416 nbRevisions=24387555
119.25 nbUselessRevisions=19304114 nbAssignments=47229 nbFailedAssignments=27412 nbBacktracks=19685
119.25 nbVisitedNodes=88260 nbRestartNogoods=117
119.25 => wckTime=116.551 cpuTime=115.21 mem=66M852
163.68
163.68 search
163.68 run=17 nbConstraintChecks=98680200 nbValidityChecks=194975453 nbPropagations=2882428 nbRevisions=36154191
163.68 nbUselessRevisions=28622294 nbAssignments=69137 nbFailedAssignments=39458 nbBacktracks=29538
163.68 nbVisitedNodes=128288 nbRestartNogoods=126
163.68 => wckTime=160.977 cpuTime=159.2 mem=66M852
250.29
250.29 search
250.29 run=18 nbConstraintChecks=151754858 nbValidityChecks=300545487 nbPropagations=4325381 nbRevisions=54095783
250.29 nbUselessRevisions=42780692 nbAssignments=104103 nbFailedAssignments=59637 nbBacktracks=44316
250.29 nbVisitedNodes=193459 nbRestartNogoods=142
250.29 => wckTime=247.589 cpuTime=245.02 mem=66M852
362.34
362.34 search
362.34 run=19 nbConstraintChecks=221230339 nbValidityChecks=436303770 nbPropagations=6469186 nbRevisions=80580630
362.34 nbUselessRevisions=63667739 nbAssignments=157053 nbFailedAssignments=90410 nbBacktracks=66485
362.34 nbVisitedNodes=292264 nbRestartNogoods=156
362.34 => wckTime=359.633 cpuTime=356.04 mem=66M852
542.22
542.22 search
542.22 run=20 nbConstraintChecks=331717456 nbValidityChecks=656461150 nbPropagations=9687670 nbRevisions=120200249
542.22 nbUselessRevisions=94893324 nbAssignments=232563 nbFailedAssignments=132659 nbBacktracks=99738
542.22 nbVisitedNodes=432001 nbRestartNogoods=165
542.22 => wckTime=539.514 cpuTime=534.28 mem=66M852
791.80
791.80 search
791.80 run=21 nbConstraintChecks=494256100 nbValidityChecks=976292387 nbPropagations=14567383 nbRevisions=180304179
791.80 nbUselessRevisions=142282799 nbAssignments=355228 nbFailedAssignments=205436 nbBacktracks=149616
791.80 nbVisitedNodes=662251 nbRestartNogoods=188
791.80 => wckTime=789.1 cpuTime=782.95 mem=66M852
1210.92
1210.92 search
1210.92 run=22 nbConstraintChecks=774318913 nbValidityChecks=1528058839 nbPropagations=21987959 nbRevisions=272220879
1210.92 nbUselessRevisions=214789862 nbAssignments=529073 nbFailedAssignments=304454 nbBacktracks=224435
1210.92 nbVisitedNodes=986886 nbRestartNogoods=215
1210.92 => wckTime=1208.222 cpuTime=1201.96 mem=66M852
1734.40
1734.40 search
1734.40 run=23 nbConstraintChecks=1126041331 nbValidityChecks=2221054305 nbPropagations=33049064 nbRevisions=408874991
1734.40 nbUselessRevisions=322647749 nbAssignments=797106 nbFailedAssignments=460250 nbBacktracks=336664
1734.40 nbVisitedNodes=1487123 nbRestartNogoods=233
1734.40 => wckTime=1731.697 cpuTime=1725.31 mem=66M852
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-206723-1168074029 -o ROOT/results/node44/solver-206723-1168074029 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206723-1168074029/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 1.99 1.85 4/80 9271
/proc/meminfo: memFree=1510224/2055920 swapFree=4192812/4192956
[pid=9270] ppid=9268 vsize=18540 CPUtime=0
/proc/9270/stat : 9270 (runsolver) R 9268 9270 8872 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155802008 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264840473895 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/9270/statm: 4635 279 244 17 0 2626 0
[startup+0.108022 s]
/proc/loadavg: 2.00 1.99 1.85 4/80 9271
/proc/meminfo: memFree=1510224/2055920 swapFree=4192812/4192956
[pid=9270] ppid=9268 vsize=914988 CPUtime=0.09
/proc/9270/stat : 9270 (java) R 9268 9270 8872 0 -1 0 2981 0 1 0 7 2 0 0 17 0 8 0 155802008 936947712 2727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9270/statm: 228747 2727 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.520065 s]
/proc/loadavg: 2.00 1.99 1.85 4/80 9271
/proc/meminfo: memFree=1510224/2055920 swapFree=4192812/4192956
[pid=9270] ppid=9268 vsize=915328 CPUtime=0.49
/proc/9270/stat : 9270 (java) R 9268 9270 8872 0 -1 0 7434 0 1 0 45 4 0 0 18 0 8 0 155802008 937295872 7173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155769805 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9270/statm: 228832 7173 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34315 s]
/proc/loadavg: 2.00 1.99 1.85 3/87 9278
/proc/meminfo: memFree=1443160/2055920 swapFree=4192812/4192956
[pid=9270] ppid=9268 vsize=915328 CPUtime=1.31
/proc/9270/stat : 9270 (java) R 9268 9270 8872 0 -1 0 19099 0 1 0 121 10 0 0 25 0 8 0 155802008 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073557481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9270/statm: 228832 18837 2149 14 0 215302 0
[pid=9270/tid=9272] ppid=9268 vsize=915328 CPUtime=0.05
/proc/9270/task/9272/stat : 9272 (java) S 9268 9270 8872 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 155802013 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9273] ppid=9268 vsize=915328 CPUtime=0
/proc/9270/task/9273/stat : 9273 (java) S 9268 9270 8872 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155802013 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9274] ppid=9268 vsize=915328 CPUtime=0
/proc/9270/task/9274/stat : 9274 (java) S 9268 9270 8872 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155802013 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9275] ppid=9268 vsize=915328 CPUtime=0
/proc/9270/task/9275/stat : 9275 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155802017 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9276] ppid=9268 vsize=915328 CPUtime=0.08
/proc/9270/task/9276/stat : 9276 (java) S 9268 9270 8872 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 155802017 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9277] ppid=9268 vsize=915328 CPUtime=0
/proc/9270/task/9277/stat : 9277 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155802017 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9278] ppid=9268 vsize=915328 CPUtime=0
/proc/9270/task/9278/stat : 9278 (java) S 9268 9270 8872 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155802017 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328
[startup+2.98032 s]
/proc/loadavg: 2.00 1.99 1.85 4/87 9278
/proc/meminfo: memFree=1402968/2055920 swapFree=4192812/4192956
[pid=9270] ppid=9268 vsize=915440 CPUtime=2.92
/proc/9270/stat : 9270 (java) R 9268 9270 8872 0 -1 0 32558 0 1 0 275 17 0 0 25 0 8 0 155802008 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9270/statm: 228860 32292 2521 14 0 215330 0
[pid=9270/tid=9272] ppid=9268 vsize=915440 CPUtime=0.45
/proc/9270/task/9272/stat : 9272 (java) S 9268 9270 8872 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155802013 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9273] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9273/stat : 9273 (java) S 9268 9270 8872 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9274] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9274/stat : 9274 (java) S 9268 9270 8872 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9275] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9275/stat : 9275 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155802017 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9276] ppid=9268 vsize=915440 CPUtime=0.2
/proc/9270/task/9276/stat : 9276 (java) S 9268 9270 8872 0 -1 64 376 0 0 0 19 1 0 0 16 0 8 0 155802017 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9277] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9277/stat : 9277 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155802017 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9278] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9278/stat : 9278 (java) S 9268 9270 8872 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155802017 937410560 32292 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) 915440
[startup+6.27066 s]
/proc/loadavg: 2.16 2.02 1.87 3/87 9278
/proc/meminfo: memFree=1390552/2055920 swapFree=4192812/4192956
[pid=9270] ppid=9268 vsize=915440 CPUtime=6.19
/proc/9270/stat : 9270 (java) R 9268 9270 8872 0 -1 0 32578 0 1 0 601 18 0 0 25 0 8 0 155802008 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9270/statm: 228860 32309 2521 14 0 215330 0
[pid=9270/tid=9272] ppid=9268 vsize=915440 CPUtime=0.45
/proc/9270/task/9272/stat : 9272 (java) S 9268 9270 8872 0 -1 64 15583 0 0 0 39 6 0 0 17 0 8 0 155802013 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9273] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9273/stat : 9273 (java) S 9268 9270 8872 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9274] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9274/stat : 9274 (java) S 9268 9270 8872 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9275] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9275/stat : 9275 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155802017 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9276] ppid=9268 vsize=915440 CPUtime=0.24
/proc/9270/task/9276/stat : 9276 (java) S 9268 9270 8872 0 -1 64 396 0 0 0 23 1 0 0 15 0 8 0 155802017 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9277] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9277/stat : 9277 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155802017 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9278] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9278/stat : 9278 (java) S 9268 9270 8872 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155802017 937410560 32309 18446744073709551615 134512640 134570532 4294956480 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.7573 s]
/proc/loadavg: 2.15 2.02 1.87 3/87 9278
/proc/meminfo: memFree=1390488/2055920 swapFree=4192812/4192956
[pid=9270] ppid=9268 vsize=915440 CPUtime=12.61
/proc/9270/stat : 9270 (java) R 9268 9270 8872 0 -1 0 32588 0 1 0 1243 18 0 0 25 0 8 0 155802008 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803345 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9270/statm: 228860 32316 2521 14 0 215330 0
[pid=9270/tid=9272] ppid=9268 vsize=915440 CPUtime=0.45
/proc/9270/task/9272/stat : 9272 (java) S 9268 9270 8872 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155802013 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9273] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9273/stat : 9273 (java) S 9268 9270 8872 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9274] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9274/stat : 9274 (java) S 9268 9270 8872 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9275] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9275/stat : 9275 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155802017 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9276] ppid=9268 vsize=915440 CPUtime=0.26
/proc/9270/task/9276/stat : 9276 (java) S 9268 9270 8872 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155802017 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9277] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9277/stat : 9277 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155802017 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9278] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9278/stat : 9278 (java) S 9268 9270 8872 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155802017 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915440
[startup+25.6346 s]
/proc/loadavg: 2.11 2.02 1.87 3/87 9278
/proc/meminfo: memFree=1390680/2055920 swapFree=4192812/4192956
[pid=9270] ppid=9268 vsize=915440 CPUtime=25.37
/proc/9270/stat : 9270 (java) R 9268 9270 8872 0 -1 0 32589 0 1 0 2519 18 0 0 25 0 8 0 155802008 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073860758 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9270/statm: 228860 32317 2521 14 0 215330 0
[pid=9270/tid=9272] ppid=9268 vsize=915440 CPUtime=0.45
/proc/9270/task/9272/stat : 9272 (java) S 9268 9270 8872 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155802013 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9273] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9273/stat : 9273 (java) S 9268 9270 8872 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9274] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9274/stat : 9274 (java) S 9268 9270 8872 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9275] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9275/stat : 9275 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155802017 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9276] ppid=9268 vsize=915440 CPUtime=0.26
/proc/9270/task/9276/stat : 9276 (java) S 9268 9270 8872 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 155802017 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9277] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9277/stat : 9277 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155802017 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9278] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9278/stat : 9278 (java) S 9268 9270 8872 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155802017 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915440
[startup+51.2723 s]
/proc/loadavg: 2.07 2.02 1.87 3/93 9362
/proc/meminfo: memFree=1389304/2055920 swapFree=4192812/4192956
[pid=9270] ppid=9268 vsize=915440 CPUtime=50.68
/proc/9270/stat : 9270 (java) R 9268 9270 8872 0 -1 0 32589 0 1 0 5050 18 0 0 25 0 8 0 155802008 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073888175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9270/statm: 228860 32317 2521 14 0 215330 0
[pid=9270/tid=9272] ppid=9268 vsize=915440 CPUtime=0.45
/proc/9270/task/9272/stat : 9272 (java) S 9268 9270 8872 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155802013 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9273] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9273/stat : 9273 (java) S 9268 9270 8872 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9274] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9274/stat : 9274 (java) S 9268 9270 8872 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9275] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9275/stat : 9275 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155802017 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9276] ppid=9268 vsize=915440 CPUtime=0.26
/proc/9270/task/9276/stat : 9276 (java) S 9268 9270 8872 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 155802017 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9277] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9277/stat : 9277 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155802017 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9278] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9278/stat : 9278 (java) S 9268 9270 8872 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155802017 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915440
[startup+102.55 s]
/proc/loadavg: 2.03 2.01 1.87 3/93 9442
/proc/meminfo: memFree=1389464/2055920 swapFree=4192812/4192956
[pid=9270] ppid=9268 vsize=915440 CPUtime=101.41
/proc/9270/stat : 9270 (java) R 9268 9270 8872 0 -1 0 32589 0 1 0 10123 18 0 0 25 0 8 0 155802008 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9270/statm: 228860 32317 2521 14 0 215330 0
[pid=9270/tid=9272] ppid=9268 vsize=915440 CPUtime=0.45
/proc/9270/task/9272/stat : 9272 (java) S 9268 9270 8872 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155802013 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9273] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9273/stat : 9273 (java) S 9268 9270 8872 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9274] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9274/stat : 9274 (java) S 9268 9270 8872 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9275] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9275/stat : 9275 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155802017 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9276] ppid=9268 vsize=915440 CPUtime=0.26
/proc/9270/task/9276/stat : 9276 (java) S 9268 9270 8872 0 -1 64 406 0 0 0 25 1 0 0 16 0 8 0 155802017 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9277] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9277/stat : 9277 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155802017 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9278] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9278/stat : 9278 (java) S 9268 9270 8872 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155802017 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 915440
[startup+162.562 s]
/proc/loadavg: 2.01 2.01 1.88 3/87 9476
/proc/meminfo: memFree=1390480/2055920 swapFree=4192812/4192956
[pid=9270] ppid=9268 vsize=915440 CPUtime=160.84
/proc/9270/stat : 9270 (java) R 9268 9270 8872 0 -1 0 32589 0 1 0 16065 19 0 0 25 0 8 0 155802008 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660010 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.59
Current children cumulated vsize (KiB) 915440
[startup+1482.86 s]
/proc/loadavg: 1.01 1.06 1.34 2/72 9494
/proc/meminfo: memFree=1522736/2055920 swapFree=4192812/4192956
[pid=9270] ppid=9268 vsize=915440 CPUtime=1476.58
/proc/9270/stat : 9270 (java) R 9268 9270 8872 0 -1 0 32591 0 1 0 147637 21 0 0 25 0 8 0 155802008 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660010 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9270/statm: 228860 32318 2521 14 0 215330 0
[pid=9270/tid=9272] ppid=9268 vsize=915440 CPUtime=0.45
/proc/9270/task/9272/stat : 9272 (java) S 9268 9270 8872 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9273] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9273/stat : 9273 (java) S 9268 9270 8872 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9274] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9274/stat : 9274 (java) S 9268 9270 8872 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9275] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9275/stat : 9275 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9276] ppid=9268 vsize=915440 CPUtime=0.26
/proc/9270/task/9276/stat : 9276 (java) S 9268 9270 8872 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9277] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9277/stat : 9277 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9278] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9278/stat : 9278 (java) S 9268 9270 8872 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.58
Current children cumulated vsize (KiB) 915440
[startup+1542.87 s]
/proc/loadavg: 1.00 1.04 1.32 2/72 9494
/proc/meminfo: memFree=1522736/2055920 swapFree=4192812/4192956
[pid=9270] ppid=9268 vsize=915440 CPUtime=1536.58
/proc/9270/stat : 9270 (java) R 9268 9270 8872 0 -1 0 32591 0 1 0 153637 21 0 0 25 0 8 0 155802008 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629948 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9270/statm: 228860 32318 2521 14 0 215330 0
[pid=9270/tid=9272] ppid=9268 vsize=915440 CPUtime=0.45
/proc/9270/task/9272/stat : 9272 (java) S 9268 9270 8872 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9273] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9273/stat : 9273 (java) S 9268 9270 8872 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9274] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9274/stat : 9274 (java) S 9268 9270 8872 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9275] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9275/stat : 9275 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9276] ppid=9268 vsize=915440 CPUtime=0.26
/proc/9270/task/9276/stat : 9276 (java) S 9268 9270 8872 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9277] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9277/stat : 9277 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9278] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9278/stat : 9278 (java) S 9268 9270 8872 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.58
Current children cumulated vsize (KiB) 915440
[startup+1602.88 s]
/proc/loadavg: 1.00 1.03 1.30 2/72 9494
/proc/meminfo: memFree=1522672/2055920 swapFree=4192812/4192956
[pid=9270] ppid=9268 vsize=915440 CPUtime=1596.57
/proc/9270/stat : 9270 (java) R 9268 9270 8872 0 -1 0 32591 0 1 0 159636 21 0 0 25 0 8 0 155802008 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9270/statm: 228860 32318 2521 14 0 215330 0
[pid=9270/tid=9272] ppid=9268 vsize=915440 CPUtime=0.45
/proc/9270/task/9272/stat : 9272 (java) S 9268 9270 8872 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9273] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9273/stat : 9273 (java) S 9268 9270 8872 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9274] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9274/stat : 9274 (java) S 9268 9270 8872 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9275] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9275/stat : 9275 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9276] ppid=9268 vsize=915440 CPUtime=0.26
/proc/9270/task/9276/stat : 9276 (java) S 9268 9270 8872 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9277] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9277/stat : 9277 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9278] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9278/stat : 9278 (java) S 9268 9270 8872 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.57
Current children cumulated vsize (KiB) 915440
[startup+1662.9 s]
/proc/loadavg: 1.00 1.02 1.27 2/72 9494
/proc/meminfo: memFree=1522736/2055920 swapFree=4192812/4192956
[pid=9270] ppid=9268 vsize=915440 CPUtime=1656.57
/proc/9270/stat : 9270 (java) R 9268 9270 8872 0 -1 0 32591 0 1 0 165636 21 0 0 25 0 8 0 155802008 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9270/statm: 228860 32318 2521 14 0 215330 0
[pid=9270/tid=9272] ppid=9268 vsize=915440 CPUtime=0.45
/proc/9270/task/9272/stat : 9272 (java) S 9268 9270 8872 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9273] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9273/stat : 9273 (java) S 9268 9270 8872 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9274] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9274/stat : 9274 (java) S 9268 9270 8872 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9275] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9275/stat : 9275 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9276] ppid=9268 vsize=915440 CPUtime=0.26
/proc/9270/task/9276/stat : 9276 (java) S 9268 9270 8872 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9277] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9277/stat : 9277 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9278] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9278/stat : 9278 (java) S 9268 9270 8872 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.57
Current children cumulated vsize (KiB) 915440
[startup+1722.9 s]
/proc/loadavg: 1.00 1.02 1.26 2/72 9494
/proc/meminfo: memFree=1522672/2055920 swapFree=4192812/4192956
[pid=9270] ppid=9268 vsize=915440 CPUtime=1716.56
/proc/9270/stat : 9270 (java) R 9268 9270 8872 0 -1 0 32591 0 1 0 171635 21 0 0 25 0 8 0 155802008 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073860420 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9270/statm: 228860 32318 2521 14 0 215330 0
[pid=9270/tid=9272] ppid=9268 vsize=915440 CPUtime=0.45
/proc/9270/task/9272/stat : 9272 (java) S 9268 9270 8872 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9273] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9273/stat : 9273 (java) S 9268 9270 8872 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9274] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9274/stat : 9274 (java) S 9268 9270 8872 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9275] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9275/stat : 9275 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9276] ppid=9268 vsize=915440 CPUtime=0.26
/proc/9270/task/9276/stat : 9276 (java) S 9268 9270 8872 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9277] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9277/stat : 9277 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9278] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9278/stat : 9278 (java) S 9268 9270 8872 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.56
Current children cumulated vsize (KiB) 915440
[startup+1782.91 s]
/proc/loadavg: 1.00 1.01 1.24 2/72 9494
/proc/meminfo: memFree=1522608/2055920 swapFree=4192812/4192956
[pid=9270] ppid=9268 vsize=915440 CPUtime=1776.55
/proc/9270/stat : 9270 (java) R 9268 9270 8872 0 -1 0 32591 0 1 0 177634 21 0 0 25 0 8 0 155802008 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808469 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9270/statm: 228860 32318 2521 14 0 215330 0
[pid=9270/tid=9272] ppid=9268 vsize=915440 CPUtime=0.45
/proc/9270/task/9272/stat : 9272 (java) S 9268 9270 8872 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9273] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9273/stat : 9273 (java) S 9268 9270 8872 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9274] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9274/stat : 9274 (java) S 9268 9270 8872 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9275] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9275/stat : 9275 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9276] ppid=9268 vsize=915440 CPUtime=0.26
/proc/9270/task/9276/stat : 9276 (java) S 9268 9270 8872 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9277] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9277/stat : 9277 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9278] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9278/stat : 9278 (java) S 9268 9270 8872 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.55
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.45 s]
/proc/loadavg: 1.00 1.01 1.23 2/72 9494
/proc/meminfo: memFree=1522672/2055920 swapFree=4192812/4192956
[pid=9270] ppid=9268 vsize=915440 CPUtime=1800.09
/proc/9270/stat : 9270 (java) R 9268 9270 8872 0 -1 0 32591 0 1 0 179988 21 0 0 25 0 8 0 155802008 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9270/statm: 228860 32318 2521 14 0 215330 0
[pid=9270/tid=9272] ppid=9268 vsize=915440 CPUtime=0.45
/proc/9270/task/9272/stat : 9272 (java) S 9268 9270 8872 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9273] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9273/stat : 9273 (java) S 9268 9270 8872 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9274] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9274/stat : 9274 (java) S 9268 9270 8872 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155802013 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9275] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9275/stat : 9275 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9276] ppid=9268 vsize=915440 CPUtime=0.26
/proc/9270/task/9276/stat : 9276 (java) S 9268 9270 8872 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9277] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9277/stat : 9277 (java) S 9268 9270 8872 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9270/tid=9278] ppid=9268 vsize=915440 CPUtime=0
/proc/9270/task/9278/stat : 9278 (java) S 9268 9270 8872 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155802017 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1806.52
CPU time (s): 1800.17
CPU user time (s): 1799.93
CPU system time (s): 0.241963
CPU usage (%): 99.6482
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.241963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32606
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= 37713
involuntary context switches= 33446
runsolver used 2.13368 s user time and 4.83626 s system time
The end
Begin job on node44 on Sat Jan 6 09:00:30 UTC 2007
IDJOB= 206723
IDBENCH= 4230
FILE ID= node44/206723-1168074029
PBS_JOBID= 3475971
Free space on /tmp= 66526 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-50_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206723-1168074029/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-206723-1168074029 -o ROOT/results/node44/solver-206723-1168074029 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206723-1168074029/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8cc7f9b7727ba8ecd50a2b051bd34a2c
RANDOM SEED= 15437599
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.213
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.213
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: 1510704 kB
Buffers: 19792 kB
Cached: 316536 kB
SwapCached: 0 kB
Active: 196932 kB
Inactive: 278968 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1510704 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7480 kB
Writeback: 0 kB
Mapped: 159724 kB
Slab: 54420 kB
Committed_AS: 3713352 kB
PageTables: 2028 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= 66533 MiB
End job on node44 on Sat Jan 6 09:30:36 UTC 2007