0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/235497-1168082873/unknown.xml
0.37
0.37 domains being loaded...
0.39
0.39 variables being loaded...
0.44 nbVariables=100 nbDomainTypes=100 minDomainSize=480 maxDomainSize=577
0.44 => wckTime=0.132 cpuTime=0.12 mem=8M843
0.44
0.44 predicates being loaded...
0.45
0.45 constraints being loaded...
4.44
4.44 INFO : Stopping converting binary constraints (cpu=4.05, mem = 22M498)
4.64 nbConstraints=900 nbConvertedConstraints=50 nbConvertConstraintsChecks=14074884 nbExtensionStructures=50
4.64 nbSharedExtensionStructures=0 nbConflictsStructures=50 nbSharedConflictsStructures=0
4.64 nbSharedBinaryRepresentations=7519 nbEvaluationManagers=850 nbSharedEvaluationManagers=0 maxDegree=18
4.64 maxArity=2
4.64 => wckTime=4.324 cpuTime=4.15 mem=28M349
4.71
4.71 solver IterativeSystematicSolver being built...
4.90 => wckTime=4.588 cpuTime=4.3 mem=28M394
7.72
7.72 preprocessing
7.72 nbConstraintChecks=7186055 nbValidityChecks=55561 nbPropagations=100 nbRevisions=1700 nbUselessRevisions=1700
7.72 nbRemovedValues=0 detectedInconsistency=no
7.72 => wckTime=2.812 cpuTime=2.76 mem=28M394
12.86
12.86 search
12.86 run=0 nbConstraintChecks=11282238 nbValidityChecks=8092738 nbPropagations=2180 nbRevisions=28506
12.86 nbUselessRevisions=23276 nbAssignments=216 nbFailedAssignments=184 nbBacktracks=10 nbVisitedNodes=410
12.86 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
12.86 => wckTime=7.955 cpuTime=7.83 mem=29M368
18.50
18.50 search
18.50 run=1 nbConstraintChecks=24450336 nbValidityChecks=16011332 nbPropagations=9059 nbRevisions=108760
18.50 nbUselessRevisions=87547 nbAssignments=711 nbFailedAssignments=608 nbBacktracks=25 nbVisitedNodes=1342
18.50 nbRestartNogoods=17 mapSize=24 nbInferences=0 nbTooLargeKeys=0
18.50 => wckTime=13.597 cpuTime=13.41 mem=29M368
31.65
31.65 search
31.65 run=2 nbConstraintChecks=53457290 nbValidityChecks=44797357 nbPropagations=27254 nbRevisions=323699
31.65 nbUselessRevisions=254852 nbAssignments=2171 nbFailedAssignments=2010 nbBacktracks=48 nbVisitedNodes=4225
31.65 nbRestartNogoods=18 mapSize=46 nbInferences=0 nbTooLargeKeys=0
31.66 => wckTime=26.751 cpuTime=26.42 mem=29M368
40.63
40.63 search
40.63 run=3 nbConstraintChecks=73826472 nbValidityChecks=63029018 nbPropagations=52845 nbRevisions=630462
40.63 nbUselessRevisions=494757 nbAssignments=2968 nbFailedAssignments=2712 nbBacktracks=81 nbVisitedNodes=5764
40.63 nbRestartNogoods=23 mapSize=79 nbInferences=8 nbTooLargeKeys=0
40.63 => wckTime=35.727 cpuTime=35.31 mem=30M342
46.80
46.80 search
46.80 run=4 nbConstraintChecks=85531918 nbValidityChecks=91077635 nbPropagations=85318 nbRevisions=1024839
46.80 nbUselessRevisions=807707 nbAssignments=3763 nbFailedAssignments=3425 nbBacktracks=131 nbVisitedNodes=7331
46.80 nbRestartNogoods=94 mapSize=129 nbInferences=17 nbTooLargeKeys=0
46.80 => wckTime=41.894 cpuTime=41.42 mem=30M342
55.82
55.82 search
55.82 run=5 nbConstraintChecks=104164443 nbValidityChecks=124361276 nbPropagations=126696 nbRevisions=1528744
55.82 nbUselessRevisions=1211580 nbAssignments=4855 nbFailedAssignments=4419 nbBacktracks=206 nbVisitedNodes=9491
55.82 nbRestartNogoods=116 mapSize=203 nbInferences=17 nbTooLargeKeys=0
55.82 => wckTime=50.913 cpuTime=50.38 mem=31M316
68.45
68.45 search
68.45 run=6 nbConstraintChecks=128172325 nbValidityChecks=182534039 nbPropagations=185532 nbRevisions=2242276
68.45 nbUselessRevisions=1787044 nbAssignments=6645 nbFailedAssignments=6071 nbBacktracks=319 nbVisitedNodes=13033
68.45 nbRestartNogoods=131 mapSize=316 nbInferences=17 nbTooLargeKeys=0
68.45 => wckTime=63.546 cpuTime=62.96 mem=31M316
139.36
139.36 search
139.36 run=7 nbConstraintChecks=276089080 nbValidityChecks=394924372 nbPropagations=305868 nbRevisions=3764149
139.36 nbUselessRevisions=2989783 nbAssignments=12358 nbFailedAssignments=11593 nbBacktracks=489 nbVisitedNodes=24409
139.36 nbRestartNogoods=144 mapSize=473 nbInferences=17 nbTooLargeKeys=0
139.36 => wckTime=134.456 cpuTime=133.53 mem=32M290
332.46
332.46 search
332.46 run=8 nbConstraintChecks=696836030 nbValidityChecks=1050527520 nbPropagations=562550 nbRevisions=7064837
332.46 nbUselessRevisions=5694848 nbAssignments=25481 nbFailedAssignments=24449 nbBacktracks=745 nbVisitedNodes=50604
332.46 nbRestartNogoods=238 mapSize=701 nbInferences=17 nbTooLargeKeys=0
332.46 => wckTime=327.56 cpuTime=325.73 mem=34M238
366.25
366.25 search
366.25 run=9 nbConstraintChecks=809113441 nbValidityChecks=1110174542 nbPropagations=870067 nbRevisions=11019279
366.25 nbUselessRevisions=8879809 nbAssignments=30408 nbFailedAssignments=28948 nbBacktracks=1131 nbVisitedNodes=60337
366.25 nbRestartNogoods=287 mapSize=1052 nbInferences=17 nbTooLargeKeys=0
366.25 => wckTime=361.343 cpuTime=359.36 mem=36M186
431.89
431.89 search
431.89 run=10 nbConstraintChecks=936595071 nbValidityChecks=1401908311 nbPropagations=1258007 nbRevisions=15888210
431.89 nbUselessRevisions=12800954 nbAssignments=39833 nbFailedAssignments=37780 nbBacktracks=1707
431.89 nbVisitedNodes=79170 nbRestartNogoods=411 mapSize=1628 nbInferences=17 nbTooLargeKeys=0
431.89 => wckTime=426.984 cpuTime=424.68 mem=39M108
494.25
494.25 search
494.25 run=11 nbConstraintChecks=1039682312 nbValidityChecks=1820979012 nbPropagations=1740870 nbRevisions=21938107
494.25 nbUselessRevisions=17717394 nbAssignments=48322 nbFailedAssignments=45391 nbBacktracks=2573
494.25 nbVisitedNodes=96034 nbRestartNogoods=464 mapSize=2436 nbInferences=17 nbTooLargeKeys=0
494.25 => wckTime=489.349 cpuTime=486.76 mem=43M978
740.78
740.78 INFO : Stopping hyperNogood (mapSize=3404, nbTooLargekeys=0, mem=47M874)
834.47
834.47 search
834.47 run=12 nbConstraintChecks=1568335448 nbValidityChecks=4200721892 nbPropagations=2602529 nbRevisions=33462308
834.47 nbUselessRevisions=27294262 nbAssignments=82344 nbFailedAssignments=78111 nbBacktracks=3870
834.47 nbVisitedNodes=163996 nbRestartNogoods=525
834.47 => wckTime=829.571 cpuTime=825.39 mem=47M874
1161.61
1161.61 search
1161.61 run=13 nbConstraintChecks=2103937421 nbValidityChecks=6546948618 nbPropagations=3823153 nbRevisions=50231068
1161.61 nbUselessRevisions=41318246 nbAssignments=113746 nbFailedAssignments=107562 nbBacktracks=5817
1161.61 nbVisitedNodes=226668 nbRestartNogoods=615
1161.61 => wckTime=1156.708 cpuTime=1151.0 mem=47M874
1165.11
1165.11 search
1165.11 run=14 nbConstraintChecks=2112677627 nbValidityChecks=6550683007 nbPropagations=5045171 nbRevisions=67015565
1165.11 nbUselessRevisions=55355979 nbAssignments=113863 nbFailedAssignments=107579 nbBacktracks=5817
1165.11 nbVisitedNodes=226802 nbRestartNogoods=683
1165.11 => wckTime=1160.202 cpuTime=1154.47 mem=48M848
1165.11
1165.11 global
1165.11 nbConstraintChecks=2119863682 nbValidityChecks=6550738568 nbPropagations=5045271 nbRevisions=67017265
1165.11 nbUselessRevisions=55357679 nbRestartNogoods=683 solvingWckTime=1160.203 solvingCpuTime=1154.48 expiredTime=no
1165.11 totalExploration=no nbFoundSolutions=1 globalCpuTime=1158.84
1165.11 => wckTime=1164.796 cpuTime=1158.79 mem=48M848
1165.11
1165.11 s SATISFIABLE
1165.11 v 322 278 428 209 518 131 200 26 87 259 340 0 493 452 37 353 259 392 120 218 491 322 200 146 310 95 283 393 0 535 366 504 535 104 0 258 486 200 165 381 198 366 97 218 563 159 119 304 0 479 105 26 35 428 0 189 407 56 295 478 0 504 259 218 131 304 489 340 52 433 0 295 381 355 165 489 45 259 71 413 45 174 119 433 283 366 0 470 87 211 209 0 419 71 259 104 120 310 366 496
1165.11 d NODES 113863
1165.11 d CHECKS 2119863682
1165.11
1165.11 totalWckTime=1164.88 totalCpuTime=1158.85
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-235497-1168082873 -o ROOT/results/node26/solver-235497-1168082873 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/235497-1168082873/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.78 1.94 1.86 4/93 21871
/proc/meminfo: memFree=1279152/2055920 swapFree=4192812/4192956
[pid=21870] ppid=21868 vsize=908840 CPUtime=0.06
/proc/21870/stat : 21870 (java) R 21868 21870 21330 0 -1 0 2528 0 1 0 5 1 0 0 18 0 6 0 156681632 930652160 2275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 227210 2275 1240 14 0 214793 0
[pid=21870/tid=21872] ppid=21868 vsize=908840 CPUtime=0
/proc/21870/task/21872/stat : 21872 (java) S 21868 21870 21330 0 -1 64 6 0 0 0 0 0 0 0 19 0 6 0 156681635 930652160 2275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=908840 CPUtime=0
/proc/21870/task/21873/stat : 21873 (java) S 21868 21870 21330 0 -1 64 10 0 0 0 0 0 0 0 19 0 6 0 156681636 930652160 2275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21874] ppid=21868 vsize=908840 CPUtime=0
/proc/21870/task/21874/stat : 21874 (java) S 21868 21870 21330 0 -1 64 4 0 0 0 0 0 0 0 20 0 6 0 156681636 930652160 2275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21875] ppid=21868 vsize=908840 CPUtime=0
/proc/21870/task/21875/stat : 21875 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 18 0 6 0 156681639 930652160 2275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21876] ppid=21868 vsize=908840 CPUtime=0
/proc/21870/task/21876/stat : 21876 (java) S 21868 21870 21330 0 -1 64 2 0 0 0 0 0 0 0 19 0 6 0 156681639 930652160 2275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[startup+0.104235 s]
/proc/loadavg: 1.78 1.94 1.86 4/93 21871
/proc/meminfo: memFree=1279152/2055920 swapFree=4192812/4192956
[pid=21870] ppid=21868 vsize=914988 CPUtime=0.09
/proc/21870/stat : 21870 (java) R 21868 21870 21330 0 -1 0 3019 0 1 0 8 1 0 0 18 0 8 0 156681632 936947712 2765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020545 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 228747 2765 1435 14 0 215242 0
[pid=21870/tid=21872] ppid=21868 vsize=914988 CPUtime=0
/proc/21870/task/21872/stat : 21872 (java) S 21868 21870 21330 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 156681635 936947712 2765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=914988 CPUtime=0
/proc/21870/task/21873/stat : 21873 (java) S 21868 21870 21330 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156681636 936947712 2765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21874] ppid=21868 vsize=914988 CPUtime=0
/proc/21870/task/21874/stat : 21874 (java) S 21868 21870 21330 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156681636 936947712 2765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21875] ppid=21868 vsize=914988 CPUtime=0
/proc/21870/task/21875/stat : 21875 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156681639 936947712 2765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21876] ppid=21868 vsize=914988 CPUtime=0
/proc/21870/task/21876/stat : 21876 (java) R 21868 21870 21330 0 -1 64 251 0 0 0 0 0 0 0 19 0 8 0 156681639 936947712 2765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516273 s]
/proc/loadavg: 1.78 1.94 1.86 4/93 21871
/proc/meminfo: memFree=1279152/2055920 swapFree=4192812/4192956
[pid=21870] ppid=21868 vsize=915328 CPUtime=0.5
/proc/21870/stat : 21870 (java) R 21868 21870 21330 0 -1 0 6847 0 1 0 47 3 0 0 19 0 8 0 156681632 937295872 6586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 228832 6586 2145 14 0 215302 0
[pid=21870/tid=21872] ppid=21868 vsize=915328 CPUtime=0
/proc/21870/task/21872/stat : 21872 (java) S 21868 21870 21330 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 156681635 937295872 6586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=915328 CPUtime=0
/proc/21870/task/21873/stat : 21873 (java) S 21868 21870 21330 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156681636 937295872 6586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21874] ppid=21868 vsize=915328 CPUtime=0
/proc/21870/task/21874/stat : 21874 (java) S 21868 21870 21330 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156681636 937295872 6586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21875] ppid=21868 vsize=915328 CPUtime=0
/proc/21870/task/21875/stat : 21875 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156681639 937295872 6586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21876] ppid=21868 vsize=915328 CPUtime=0.07
/proc/21870/task/21876/stat : 21876 (java) S 21868 21870 21330 0 -1 64 313 0 0 0 7 0 0 0 16 0 8 0 156681639 937295872 6586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34535 s]
/proc/loadavg: 1.78 1.94 1.86 5/100 21878
/proc/meminfo: memFree=1255672/2055920 swapFree=4192812/4192956
[pid=21870] ppid=21868 vsize=915448 CPUtime=1.31
/proc/21870/stat : 21870 (java) R 21868 21870 21330 0 -1 0 8399 0 1 0 127 4 0 0 25 0 8 0 156681632 937418752 8137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 228862 8137 2167 14 0 215332 0
[pid=21870/tid=21872] ppid=21868 vsize=915448 CPUtime=0
/proc/21870/task/21872/stat : 21872 (java) S 21868 21870 21330 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156681635 937418752 8137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=915448 CPUtime=0
/proc/21870/task/21873/stat : 21873 (java) S 21868 21870 21330 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156681636 937418752 8137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21874] ppid=21868 vsize=915448 CPUtime=0
/proc/21870/task/21874/stat : 21874 (java) S 21868 21870 21330 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156681636 937418752 8137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21875] ppid=21868 vsize=915448 CPUtime=0
/proc/21870/task/21875/stat : 21875 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156681639 937418752 8137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21876] ppid=21868 vsize=915448 CPUtime=0.13
/proc/21870/task/21876/stat : 21876 (java) S 21868 21870 21330 0 -1 64 358 0 0 0 13 0 0 0 16 0 8 0 156681639 937418752 8137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21877] ppid=21868 vsize=915448 CPUtime=0
/proc/21870/task/21877/stat : 21877 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156681639 937418752 8137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21878] ppid=21868 vsize=915448 CPUtime=0
/proc/21870/task/21878/stat : 21878 (java) S 21868 21870 21330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156681639 937418752 8137 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) 915448
[startup+2.99851 s]
/proc/loadavg: 1.78 1.94 1.86 3/100 21878
/proc/meminfo: memFree=1253240/2055920 swapFree=4192812/4192956
[pid=21870] ppid=21868 vsize=915448 CPUtime=2.96
/proc/21870/stat : 21870 (java) R 21868 21870 21330 0 -1 0 9253 0 1 0 291 5 0 0 25 0 8 0 156681632 937418752 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752308 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 228862 8990 2167 14 0 215332 0
[pid=21870/tid=21872] ppid=21868 vsize=915448 CPUtime=0
/proc/21870/task/21872/stat : 21872 (java) S 21868 21870 21330 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156681635 937418752 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=915448 CPUtime=0
/proc/21870/task/21873/stat : 21873 (java) S 21868 21870 21330 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156681636 937418752 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21874] ppid=21868 vsize=915448 CPUtime=0
/proc/21870/task/21874/stat : 21874 (java) S 21868 21870 21330 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156681636 937418752 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21875] ppid=21868 vsize=915448 CPUtime=0
/proc/21870/task/21875/stat : 21875 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156681639 937418752 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21876] ppid=21868 vsize=915448 CPUtime=0.13
/proc/21870/task/21876/stat : 21876 (java) S 21868 21870 21330 0 -1 64 358 0 0 0 13 0 0 0 16 0 8 0 156681639 937418752 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21877] ppid=21868 vsize=915448 CPUtime=0
/proc/21870/task/21877/stat : 21877 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156681639 937418752 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21878] ppid=21868 vsize=915448 CPUtime=0
/proc/21870/task/21878/stat : 21878 (java) S 21868 21870 21330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156681639 937418752 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915448
[startup+6.27881 s]
/proc/loadavg: 1.79 1.94 1.86 4/100 21878
/proc/meminfo: memFree=1235064/2055920 swapFree=4192812/4192956
[pid=21870] ppid=21868 vsize=915584 CPUtime=6.2
/proc/21870/stat : 21870 (java) R 21868 21870 21330 0 -1 0 13746 0 1 0 614 6 0 0 25 0 8 0 156681632 937558016 13481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751036 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 228896 13481 2529 14 0 215366 0
[pid=21870/tid=21872] ppid=21868 vsize=915584 CPUtime=0.06
/proc/21870/task/21872/stat : 21872 (java) S 21868 21870 21330 0 -1 64 1776 0 0 0 6 0 0 0 17 0 8 0 156681635 937558016 13481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21873/stat : 21873 (java) S 21868 21870 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 13481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21874] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21874/stat : 21874 (java) S 21868 21870 21330 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 13481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21875] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21875/stat : 21875 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156681639 937558016 13481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21876] ppid=21868 vsize=915584 CPUtime=0.23
/proc/21870/task/21876/stat : 21876 (java) S 21868 21870 21330 0 -1 64 415 0 0 0 22 1 0 0 16 0 8 0 156681639 937558016 13481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21877] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21877/stat : 21877 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156681639 937558016 13481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21878] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21878/stat : 21878 (java) S 21868 21870 21330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156681639 937558016 13481 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) 915584
[startup+12.7704 s]
/proc/loadavg: 1.81 1.94 1.86 3/100 21878
/proc/meminfo: memFree=1235000/2055920 swapFree=4192812/4192956
[pid=21870] ppid=21868 vsize=915584 CPUtime=12.64
/proc/21870/stat : 21870 (java) R 21868 21870 21330 0 -1 0 13775 0 1 0 1257 7 0 0 25 0 8 0 156681632 937558016 13503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 228896 13503 2531 14 0 215366 0
[pid=21870/tid=21872] ppid=21868 vsize=915584 CPUtime=0.06
/proc/21870/task/21872/stat : 21872 (java) S 21868 21870 21330 0 -1 64 1776 0 0 0 6 0 0 0 17 0 8 0 156681635 937558016 13503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21873/stat : 21873 (java) S 21868 21870 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 13503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21874] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21874/stat : 21874 (java) S 21868 21870 21330 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 13503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21875] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21875/stat : 21875 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156681639 937558016 13503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21876] ppid=21868 vsize=915584 CPUtime=0.26
/proc/21870/task/21876/stat : 21876 (java) S 21868 21870 21330 0 -1 64 438 0 0 0 25 1 0 0 16 0 8 0 156681639 937558016 13503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21877] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21877/stat : 21877 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156681639 937558016 13503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21878] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21878/stat : 21878 (java) S 21868 21870 21330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156681639 937558016 13503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915584
[startup+25.6106 s]
/proc/loadavg: 1.85 1.94 1.86 3/100 21878
/proc/meminfo: memFree=1234936/2055920 swapFree=4192812/4192956
[pid=21870] ppid=21868 vsize=915584 CPUtime=25.36
/proc/21870/stat : 21870 (java) R 21868 21870 21330 0 -1 0 13789 0 1 0 2529 7 0 0 25 0 8 0 156681632 937558016 13511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073980019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 228896 13511 2534 14 0 215366 0
[pid=21870/tid=21872] ppid=21868 vsize=915584 CPUtime=0.06
/proc/21870/task/21872/stat : 21872 (java) S 21868 21870 21330 0 -1 64 1777 0 0 0 6 0 0 0 16 0 8 0 156681635 937558016 13511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21873/stat : 21873 (java) S 21868 21870 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 13511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21874] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21874/stat : 21874 (java) S 21868 21870 21330 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 13511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21875] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21875/stat : 21875 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156681639 937558016 13511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21876] ppid=21868 vsize=915584 CPUtime=0.27
/proc/21870/task/21876/stat : 21876 (java) S 21868 21870 21330 0 -1 64 444 0 0 0 26 1 0 0 15 0 8 0 156681639 937558016 13511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21877] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21877/stat : 21877 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156681639 937558016 13511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21878] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21878/stat : 21878 (java) S 21868 21870 21330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156681639 937558016 13511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915584
[startup+51.225 s]
/proc/loadavg: 1.90 1.94 1.86 3/100 21878
/proc/meminfo: memFree=1234936/2055920 swapFree=4192812/4192956
[pid=21870] ppid=21868 vsize=915584 CPUtime=50.74
/proc/21870/stat : 21870 (java) R 21868 21870 21330 0 -1 0 13805 0 1 0 5067 7 0 0 25 0 8 0 156681632 937558016 13524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751059 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 228896 13524 2534 14 0 215366 0
[pid=21870/tid=21872] ppid=21868 vsize=915584 CPUtime=0.06
/proc/21870/task/21872/stat : 21872 (java) S 21868 21870 21330 0 -1 64 1777 0 0 0 6 0 0 0 16 0 8 0 156681635 937558016 13524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21873/stat : 21873 (java) S 21868 21870 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 13524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21874] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21874/stat : 21874 (java) S 21868 21870 21330 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 13524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21875] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21875/stat : 21875 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156681639 937558016 13524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21876] ppid=21868 vsize=915584 CPUtime=0.3
/proc/21870/task/21876/stat : 21876 (java) S 21868 21870 21330 0 -1 64 458 0 0 0 29 1 0 0 16 0 8 0 156681639 937558016 13524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21877] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21877/stat : 21877 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156681639 937558016 13524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21878] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21878/stat : 21878 (java) S 21868 21870 21330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156681639 937558016 13524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
################
# More data... #
################
/proc/21870/task/21875/stat : 21875 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156681639 937558016 16473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21876] ppid=21868 vsize=915584 CPUtime=0.31
/proc/21870/task/21876/stat : 21876 (java) S 21868 21870 21330 0 -1 64 461 0 0 0 30 1 0 0 17 0 8 0 156681639 937558016 16473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21877] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21877/stat : 21877 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156681639 937558016 16473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21878] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21878/stat : 21878 (java) S 21868 21870 21330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156681639 937558016 16473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 699.4
Current children cumulated vsize (KiB) 915584
[startup+762.984 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 21878
/proc/meminfo: memFree=1222520/2055920 swapFree=4192812/4192956
[pid=21870] ppid=21868 vsize=915584 CPUtime=759.18
/proc/21870/stat : 21870 (java) R 21868 21870 21330 0 -1 0 16905 0 1 0 75904 14 0 0 25 0 8 0 156681632 937558016 16623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751056 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 228896 16623 2534 14 0 215366 0
[pid=21870/tid=21872] ppid=21868 vsize=915584 CPUtime=0.06
/proc/21870/task/21872/stat : 21872 (java) S 21868 21870 21330 0 -1 64 1777 0 0 0 6 0 0 0 16 0 8 0 156681635 937558016 16623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21873/stat : 21873 (java) S 21868 21870 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 16623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21874] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21874/stat : 21874 (java) S 21868 21870 21330 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 16623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21875] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21875/stat : 21875 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156681639 937558016 16623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21876] ppid=21868 vsize=915584 CPUtime=0.31
/proc/21870/task/21876/stat : 21876 (java) S 21868 21870 21330 0 -1 64 461 0 0 0 30 1 0 0 17 0 8 0 156681639 937558016 16623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21877] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21877/stat : 21877 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156681639 937558016 16623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21878] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21878/stat : 21878 (java) S 21868 21870 21330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156681639 937558016 16623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 759.18
Current children cumulated vsize (KiB) 915584
[startup+823.041 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 21878
/proc/meminfo: memFree=1222456/2055920 swapFree=4192812/4192956
[pid=21870] ppid=21868 vsize=915584 CPUtime=818.95
/proc/21870/stat : 21870 (java) R 21868 21870 21330 0 -1 0 16905 0 1 0 81881 14 0 0 25 0 8 0 156681632 937558016 16623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073984040 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 228896 16623 2534 14 0 215366 0
[pid=21870/tid=21872] ppid=21868 vsize=915584 CPUtime=0.06
/proc/21870/task/21872/stat : 21872 (java) S 21868 21870 21330 0 -1 64 1777 0 0 0 6 0 0 0 16 0 8 0 156681635 937558016 16623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21873/stat : 21873 (java) S 21868 21870 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 16623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21874] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21874/stat : 21874 (java) S 21868 21870 21330 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 16623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21875] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21875/stat : 21875 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156681639 937558016 16623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21876] ppid=21868 vsize=915584 CPUtime=0.31
/proc/21870/task/21876/stat : 21876 (java) S 21868 21870 21330 0 -1 64 461 0 0 0 30 1 0 0 17 0 8 0 156681639 937558016 16623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21877] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21877/stat : 21877 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156681639 937558016 16623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21878] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21878/stat : 21878 (java) S 21868 21870 21330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156681639 937558016 16623 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 818.95
Current children cumulated vsize (KiB) 915584
[startup+883.084 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 21878
/proc/meminfo: memFree=1222456/2055920 swapFree=4192812/4192956
[pid=21870] ppid=21868 vsize=915584 CPUtime=878.71
/proc/21870/stat : 21870 (java) R 21868 21870 21330 0 -1 0 16911 0 1 0 87857 14 0 0 25 0 8 0 156681632 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 228896 16628 2534 14 0 215366 0
[pid=21870/tid=21872] ppid=21868 vsize=915584 CPUtime=0.06
/proc/21870/task/21872/stat : 21872 (java) S 21868 21870 21330 0 -1 64 1777 0 0 0 6 0 0 0 16 0 8 0 156681635 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21873/stat : 21873 (java) S 21868 21870 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21874] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21874/stat : 21874 (java) S 21868 21870 21330 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21875] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21875/stat : 21875 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156681639 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21876] ppid=21868 vsize=915584 CPUtime=0.31
/proc/21870/task/21876/stat : 21876 (java) S 21868 21870 21330 0 -1 64 462 0 0 0 30 1 0 0 16 0 8 0 156681639 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21877] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21877/stat : 21877 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156681639 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21878] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21878/stat : 21878 (java) S 21868 21870 21330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156681639 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 878.71
Current children cumulated vsize (KiB) 915584
[startup+943.135 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 21878
/proc/meminfo: memFree=1222456/2055920 swapFree=4192812/4192956
[pid=21870] ppid=21868 vsize=915584 CPUtime=938.49
/proc/21870/stat : 21870 (java) R 21868 21870 21330 0 -1 0 16911 0 1 0 93834 15 0 0 25 0 8 0 156681632 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073981050 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 228896 16628 2534 14 0 215366 0
[pid=21870/tid=21872] ppid=21868 vsize=915584 CPUtime=0.06
/proc/21870/task/21872/stat : 21872 (java) S 21868 21870 21330 0 -1 64 1777 0 0 0 6 0 0 0 16 0 8 0 156681635 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21873/stat : 21873 (java) S 21868 21870 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21874] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21874/stat : 21874 (java) S 21868 21870 21330 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21875] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21875/stat : 21875 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156681639 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21876] ppid=21868 vsize=915584 CPUtime=0.31
/proc/21870/task/21876/stat : 21876 (java) S 21868 21870 21330 0 -1 64 462 0 0 0 30 1 0 0 16 0 8 0 156681639 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21877] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21877/stat : 21877 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156681639 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21878] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21878/stat : 21878 (java) S 21868 21870 21330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156681639 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 938.49
Current children cumulated vsize (KiB) 915584
[startup+1003.18 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 21878
/proc/meminfo: memFree=1222456/2055920 swapFree=4192812/4192956
[pid=21870] ppid=21868 vsize=915584 CPUtime=998.25
/proc/21870/stat : 21870 (java) R 21868 21870 21330 0 -1 0 16911 0 1 0 99810 15 0 0 25 0 8 0 156681632 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073990380 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 228896 16628 2534 14 0 215366 0
[pid=21870/tid=21872] ppid=21868 vsize=915584 CPUtime=0.06
/proc/21870/task/21872/stat : 21872 (java) S 21868 21870 21330 0 -1 64 1777 0 0 0 6 0 0 0 16 0 8 0 156681635 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21873/stat : 21873 (java) S 21868 21870 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21874] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21874/stat : 21874 (java) S 21868 21870 21330 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21875] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21875/stat : 21875 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156681639 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21876] ppid=21868 vsize=915584 CPUtime=0.31
/proc/21870/task/21876/stat : 21876 (java) S 21868 21870 21330 0 -1 64 462 0 0 0 30 1 0 0 16 0 8 0 156681639 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21877] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21877/stat : 21877 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156681639 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21878] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21878/stat : 21878 (java) S 21868 21870 21330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156681639 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 998.25
Current children cumulated vsize (KiB) 915584
[startup+1063.23 s]
/proc/loadavg: 2.03 2.01 1.91 3/100 21878
/proc/meminfo: memFree=1222392/2055920 swapFree=4192812/4192956
[pid=21870] ppid=21868 vsize=915584 CPUtime=1058.03
/proc/21870/stat : 21870 (java) R 21868 21870 21330 0 -1 0 16911 0 1 0 105787 16 0 0 25 0 8 0 156681632 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073987426 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 228896 16628 2534 14 0 215366 0
[pid=21870/tid=21872] ppid=21868 vsize=915584 CPUtime=0.06
/proc/21870/task/21872/stat : 21872 (java) S 21868 21870 21330 0 -1 64 1777 0 0 0 6 0 0 0 16 0 8 0 156681635 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21873/stat : 21873 (java) S 21868 21870 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21874] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21874/stat : 21874 (java) S 21868 21870 21330 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21875] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21875/stat : 21875 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156681639 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21876] ppid=21868 vsize=915584 CPUtime=0.31
/proc/21870/task/21876/stat : 21876 (java) S 21868 21870 21330 0 -1 64 462 0 0 0 30 1 0 0 16 0 8 0 156681639 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21877] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21877/stat : 21877 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156681639 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21878] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21878/stat : 21878 (java) S 21868 21870 21330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156681639 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1058.03
Current children cumulated vsize (KiB) 915584
[startup+1123.28 s]
/proc/loadavg: 2.01 2.01 1.91 3/100 21878
/proc/meminfo: memFree=1222392/2055920 swapFree=4192812/4192956
[pid=21870] ppid=21868 vsize=915584 CPUtime=1117.79
/proc/21870/stat : 21870 (java) R 21868 21870 21330 0 -1 0 16911 0 1 0 111763 16 0 0 25 0 8 0 156681632 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754050 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21870/statm: 228896 16628 2534 14 0 215366 0
[pid=21870/tid=21872] ppid=21868 vsize=915584 CPUtime=0.06
/proc/21870/task/21872/stat : 21872 (java) S 21868 21870 21330 0 -1 64 1777 0 0 0 6 0 0 0 16 0 8 0 156681635 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21873] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21873/stat : 21873 (java) S 21868 21870 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21874] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21874/stat : 21874 (java) S 21868 21870 21330 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156681636 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21875] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21875/stat : 21875 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156681639 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21876] ppid=21868 vsize=915584 CPUtime=0.31
/proc/21870/task/21876/stat : 21876 (java) S 21868 21870 21330 0 -1 64 462 0 0 0 30 1 0 0 16 0 8 0 156681639 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21877] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21877/stat : 21877 (java) S 21868 21870 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156681639 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21870/tid=21878] ppid=21868 vsize=915584 CPUtime=0
/proc/21870/task/21878/stat : 21878 (java) S 21868 21870 21330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156681639 937558016 16628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1117.79
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 1165.16
CPU time (s): 1159.45
CPU user time (s): 1159.27
CPU system time (s): 0.179972
CPU usage (%): 99.5106
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1159.27
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17005
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= 24991
involuntary context switches= 71404
runsolver used 1.49577 s user time and 3.38448 s system time
The end
Begin job on node26 on Sat Jan 6 11:27:54 UTC 2007
IDJOB= 235497
IDBENCH= 6774
FILE ID= node26/235497-1168082873
PBS_JOBID= 3476118
Free space on /tmp= 66536 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-10/os-taillard-10-100-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/235497-1168082873/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-235497-1168082873 -o ROOT/results/node26/solver-235497-1168082873 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/235497-1168082873/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= cbaeb35ea8a927d2b6c5893afeb98a65
RANDOM SEED= 21257351
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.236
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.236
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: 1279632 kB
Buffers: 43196 kB
Cached: 548880 kB
SwapCached: 0 kB
Active: 175228 kB
Inactive: 525584 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1279632 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1960 kB
Writeback: 0 kB
Mapped: 137840 kB
Slab: 60024 kB
Committed_AS: 3606048 kB
PageTables: 2416 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= 66536 MiB
End job on node26 on Sat Jan 6 11:47:19 UTC 2007