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/196079-1168070425/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.43 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
1.08
1.08 constraints being loaded...
1.37 nbConstraints=76 nbRelationTypes=76 nbExtensionStructures=76 nbSharedExtensionStructures=0
1.37 nbConflictsStructures=76 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=17 maxArity=3
1.37 => wckTime=1.04 cpuTime=0.9 mem=50M840
1.49
1.49 solver IterativeSystematicSolver being built...
1.65 => wckTime=1.33 cpuTime=1.04 mem=34M589
1.66
1.66 preprocessing
1.66 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.66 detectedInconsistency=no
1.66 => wckTime=0.0040 cpuTime=0.0 mem=34M589
1.76
1.76 search
1.76 run=0 nbConstraintChecks=23372 nbValidityChecks=43445 nbPropagations=263 nbRevisions=2966
1.76 nbUselessRevisions=2493 nbAssignments=28 nbFailedAssignments=13 nbBacktracks=11 nbVisitedNodes=47
1.77 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.106 cpuTime=0.07 mem=35M580
1.85
1.85 search
1.85 run=1 nbConstraintChecks=68542 nbValidityChecks=133861 nbPropagations=996 nbRevisions=11777
1.85 nbUselessRevisions=9588 nbAssignments=70 nbFailedAssignments=35 nbBacktracks=26 nbVisitedNodes=120
1.85 nbRestartNogoods=1 mapSize=18 nbInferences=0 nbTooLargeKeys=0
1.85 => wckTime=0.19 cpuTime=0.14 mem=35M580
2.01
2.01 search
2.01 run=2 nbConstraintChecks=159536 nbValidityChecks=324303 nbPropagations=2679 nbRevisions=32249
2.01 nbUselessRevisions=25815 nbAssignments=142 nbFailedAssignments=80 nbBacktracks=48 nbVisitedNodes=256
2.01 nbRestartNogoods=12 mapSize=40 nbInferences=0 nbTooLargeKeys=0
2.01 => wckTime=0.354 cpuTime=0.29 mem=35M580
2.19
2.19 search
2.19 run=3 nbConstraintChecks=273038 nbValidityChecks=547761 nbPropagations=5355 nbRevisions=65750
2.19 nbUselessRevisions=52344 nbAssignments=230 nbFailedAssignments=130 nbBacktracks=81 nbVisitedNodes=414
2.19 nbRestartNogoods=18 mapSize=69 nbInferences=0 nbTooLargeKeys=0
2.19 => wckTime=0.529 cpuTime=0.46 mem=35M580
2.38
2.38 search
2.38 run=4 nbConstraintChecks=399633 nbValidityChecks=802874 nbPropagations=9411 nbRevisions=115788
2.38 nbUselessRevisions=91801 nbAssignments=345 nbFailedAssignments=191 nbBacktracks=131 nbVisitedNodes=621
2.38 nbRestartNogoods=25 mapSize=110 nbInferences=0 nbTooLargeKeys=0
2.38 => wckTime=0.725 cpuTime=0.65 mem=35M580
2.90
2.90 search
2.90 run=5 nbConstraintChecks=757932 nbValidityChecks=1494111 nbPropagations=16351 nbRevisions=208396
2.90 nbUselessRevisions=165586 nbAssignments=620 nbFailedAssignments=387 nbBacktracks=206 nbVisitedNodes=1156
2.90 nbRestartNogoods=32 mapSize=184 nbInferences=0 nbTooLargeKeys=0
2.90 => wckTime=1.242 cpuTime=1.16 mem=35M580
3.38
3.38 search
3.38 run=6 nbConstraintChecks=1082014 nbValidityChecks=2162988 nbPropagations=26763 nbRevisions=343952
3.38 nbUselessRevisions=273032 nbAssignments=923 nbFailedAssignments=572 nbBacktracks=319 nbVisitedNodes=1711
3.38 nbRestartNogoods=51 mapSize=281 nbInferences=0 nbTooLargeKeys=0
3.38 => wckTime=1.719 cpuTime=1.63 mem=35M580
4.36
4.36 search
4.36 run=7 nbConstraintChecks=1751825 nbValidityChecks=3498804 nbPropagations=43245 nbRevisions=557287
4.36 nbUselessRevisions=441519 nbAssignments=1446 nbFailedAssignments=920 nbBacktracks=491 nbVisitedNodes=2701
4.36 nbRestartNogoods=63 mapSize=432 nbInferences=0 nbTooLargeKeys=0
4.36 => wckTime=2.703 cpuTime=2.6 mem=35M580
5.36
5.36 search
5.36 run=8 nbConstraintChecks=2417081 nbValidityChecks=4829353 nbPropagations=66563 nbRevisions=856702
5.36 nbUselessRevisions=677886 nbAssignments=2020 nbFailedAssignments=1233 nbBacktracks=747 nbVisitedNodes=3744
5.36 nbRestartNogoods=71 mapSize=653 nbInferences=0 nbTooLargeKeys=0
5.36 => wckTime=3.699 cpuTime=3.56 mem=35M580
7.03
7.03 search
7.03 run=9 nbConstraintChecks=3572608 nbValidityChecks=7199181 nbPropagations=102595 nbRevisions=1308331
7.03 nbUselessRevisions=1033238 nbAssignments=3017 nbFailedAssignments=1842 nbBacktracks=1132 nbVisitedNodes=5601
7.03 nbRestartNogoods=77 mapSize=1000 nbInferences=0 nbTooLargeKeys=0
7.03 => wckTime=5.373 cpuTime=5.21 mem=35M580
7.10
7.10 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=35M580)
9.38
9.38 search
9.38 run=10 nbConstraintChecks=5225212 nbValidityChecks=10505411 nbPropagations=155771 nbRevisions=1974671
9.38 nbUselessRevisions=1558638 nbAssignments=4405 nbFailedAssignments=2649 nbBacktracks=1710 nbVisitedNodes=8165
9.38 nbRestartNogoods=82
9.38 => wckTime=7.725 cpuTime=7.53 mem=35M580
13.34
13.34 search
13.35 run=11 nbConstraintChecks=8021363 nbValidityChecks=16301188 nbPropagations=242183 nbRevisions=3041165
13.35 nbUselessRevisions=2394437 nbAssignments=7027 nbFailedAssignments=4402 nbBacktracks=2574 nbVisitedNodes=13219
13.35 nbRestartNogoods=85
13.35 => wckTime=11.688 cpuTime=11.46 mem=35M580
18.16
18.16 search
18.16 run=12 nbConstraintChecks=11312144 nbValidityChecks=22846838 nbPropagations=363182 nbRevisions=4525460
18.16 nbUselessRevisions=3559383 nbAssignments=9753 nbFailedAssignments=5825 nbBacktracks=3874 nbVisitedNodes=18175
18.16 nbRestartNogoods=93
18.16 => wckTime=16.502 cpuTime=16.23 mem=35M580
28.28
28.28 search
28.28 run=13 nbConstraintChecks=18486197 nbValidityChecks=36933221 nbPropagations=553621 nbRevisions=6887967
28.28 nbUselessRevisions=5411628 nbAssignments=15127 nbFailedAssignments=9249 nbBacktracks=5820 nbVisitedNodes=28507
28.28 nbRestartNogoods=106
28.28 => wckTime=26.627 cpuTime=26.26 mem=35M580
41.54
41.54 search
41.54 run=14 nbConstraintChecks=27822355 nbValidityChecks=56233498 nbPropagations=846944 nbRevisions=10517985
41.54 nbUselessRevisions=8263709 nbAssignments=23249 nbFailedAssignments=14446 nbBacktracks=8740 nbVisitedNodes=44111
41.54 nbRestartNogoods=145
41.54 => wckTime=39.886 cpuTime=39.33 mem=35M580
59.13
59.13 search
59.13 run=15 nbConstraintChecks=40063692 nbValidityChecks=80380563 nbPropagations=1262231 nbRevisions=15662870
59.13 nbUselessRevisions=12307893 nbAssignments=32987 nbFailedAssignments=19801 nbBacktracks=13119
59.13 nbVisitedNodes=61968 nbRestartNogoods=161
59.13 => wckTime=57.471 cpuTime=56.71 mem=35M580
86.93
86.93 search
86.93 run=16 nbConstraintChecks=59431846 nbValidityChecks=119800245 nbPropagations=1883818 nbRevisions=23311927
86.93 nbUselessRevisions=18322511 nbAssignments=49133 nbFailedAssignments=29374 nbBacktracks=19688
86.93 nbVisitedNodes=92074 nbRestartNogoods=179
86.93 => wckTime=85.277 cpuTime=84.23 mem=35M580
129.05
129.05 search
129.05 run=17 nbConstraintChecks=88482519 nbValidityChecks=177808591 nbPropagations=2792160 nbRevisions=34482252
129.05 nbUselessRevisions=27121382 nbAssignments=71588 nbFailedAssignments=41972 nbBacktracks=29541
129.05 nbVisitedNodes=133886 nbRestartNogoods=191
129.05 => wckTime=127.389 cpuTime=125.91 mem=35M580
189.54
189.54 search
189.54 run=18 nbConstraintChecks=130797107 nbValidityChecks=263106122 nbPropagations=4127823 nbRevisions=50958285
189.54 nbUselessRevisions=40113887 nbAssignments=106305 nbFailedAssignments=61907 nbBacktracks=44319
189.54 nbVisitedNodes=198185 nbRestartNogoods=227
189.54 => wckTime=187.886 cpuTime=185.85 mem=35M580
290.68
290.68 search
290.68 run=19 nbConstraintChecks=201487123 nbValidityChecks=408594477 nbPropagations=6222253 nbRevisions=76832684
290.68 nbUselessRevisions=60512105 nbAssignments=167292 nbFailedAssignments=100722 nbBacktracks=66487
290.68 nbVisitedNodes=314081 nbRestartNogoods=257
290.68 => wckTime=289.024 cpuTime=286.07 mem=35M580
432.14
432.14 search
432.14 run=20 nbConstraintChecks=300404940 nbValidityChecks=607356961 nbPropagations=9316292 nbRevisions=115071376
432.14 nbUselessRevisions=90631778 nbAssignments=245478 nbFailedAssignments=145651 nbBacktracks=99739
432.14 nbVisitedNodes=458572 nbRestartNogoods=279
432.14 => wckTime=430.48 cpuTime=426.25 mem=35M580
637.46
637.46 search
637.46 run=21 nbConstraintChecks=453393790 nbValidityChecks=914045886 nbPropagations=13850518 nbRevisions=172026395
637.46 nbUselessRevisions=135665478 nbAssignments=374343 nbFailedAssignments=224633 nbBacktracks=149618
637.46 nbVisitedNodes=700245 nbRestartNogoods=310
637.46 => wckTime=635.799 cpuTime=630.87 mem=35M580
946.47
946.47 search
946.47 run=22 nbConstraintChecks=687116073 nbValidityChecks=1384241181 nbPropagations=20780731 nbRevisions=258686105
946.47 nbUselessRevisions=204045868 nbAssignments=562714 nbFailedAssignments=338184 nbBacktracks=224436
946.47 nbVisitedNodes=1052248 nbRestartNogoods=321
946.47 => wckTime=944.809 cpuTime=939.8 mem=35M580
1400.51
1400.51 search
1400.51 run=23 nbConstraintChecks=1029611287 nbValidityChecks=2065431760 nbPropagations=31023429 nbRevisions=386851999
1400.51 nbUselessRevisions=305174338 nbAssignments=831803 nbFailedAssignments=495042 nbBacktracks=336663
1400.51 nbVisitedNodes=1550401 nbRestartNogoods=343
1400.51 => wckTime=1398.853 cpuTime=1393.71 mem=35M580
1750.81
1750.81 search
1750.81 run=24 nbConstraintChecks=1295573841 nbValidityChecks=2595136999 nbPropagations=43868677 nbRevisions=547612344
1750.81 nbUselessRevisions=431998735 nbAssignments=1043478 nbFailedAssignments=623427 nbBacktracks=419954
1750.81 nbVisitedNodes=1946218 nbRestartNogoods=365
1750.81 => wckTime=1749.156 cpuTime=1743.91 mem=35M580
1750.81
1750.81 global
1750.81 nbConstraintChecks=1295573841 nbValidityChecks=2595136999 nbPropagations=43868701 nbRevisions=547612344
1750.82 nbUselessRevisions=431998735 nbRestartNogoods=365 solvingWckTime=1749.157 solvingCpuTime=1743.91 expiredTime=no
1750.82 totalExploration=yes nbFoundSolutions=0 globalCpuTime=1745.01
1750.82 => wckTime=1750.49 cpuTime=1744.96 mem=35M580
1750.82
1750.82 s UNSATISFIABLE
1750.82 d NODES 1043478
1750.82 d CHECKS 1295573841
1750.82
1750.82 totalWckTime=1750.571 totalCpuTime=1745.01
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-196079-1168070425 -o ROOT/results/node39/solver-196079-1168070425 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196079-1168070425/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.92 1.99 1.93 2/80 17370
/proc/meminfo: memFree=1764136/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=18540 CPUtime=0
/proc/17369/stat : 17369 (runsolver) R 17367 17369 17132 0 -1 4194368 17 0 0 0 0 0 0 0 24 0 1 0 155442215 18984960 279 18446744073709551615 4194304 4267372 548682068880 18446744073709551615 231493659943 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17369/statm: 4635 279 244 17 0 2626 0
[startup+0.10248 s]
/proc/loadavg: 1.92 1.99 1.93 2/80 17370
/proc/meminfo: memFree=1764136/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=913228 CPUtime=0.08
/proc/17369/stat : 17369 (java) S 17367 17369 17132 0 -1 0 2900 0 1 0 7 1 0 0 17 0 8 0 155442215 935145472 2646 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17369/statm: 228307 2646 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.510517 s]
/proc/loadavg: 1.92 1.99 1.93 2/80 17370
/proc/meminfo: memFree=1764136/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915328 CPUtime=0.48
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 7284 0 1 0 45 3 0 0 18 0 8 0 155442215 937295872 7023 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073445331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17369/statm: 228832 7023 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.3336 s]
/proc/loadavg: 1.92 1.99 1.93 3/87 17377
/proc/meminfo: memFree=1697008/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915328 CPUtime=1.29
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 19114 0 1 0 121 8 0 0 25 0 8 0 155442215 937295872 18852 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4153379770 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17369/statm: 228832 18852 2160 14 0 215302 0
[pid=17369/tid=17371] ppid=17367 vsize=915328 CPUtime=0.05
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 2650 0 0 0 4 1 0 0 17 0 8 0 155442220 937295872 18852 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915328 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937295872 18852 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915328 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155442220 937295872 18852 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915328 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937295872 18852 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915328 CPUtime=0.1
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 155442224 937295872 18852 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915328 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937295872 18852 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915328 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937295872 18852 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915328
[startup+2.99075 s]
/proc/loadavg: 1.92 1.99 1.93 3/87 17377
/proc/meminfo: memFree=1680496/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=2.94
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23550 0 1 0 283 11 0 0 25 0 8 0 155442215 937390080 23285 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073789939 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17369/statm: 228855 23285 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 17 0 8 0 155442220 937390080 23285 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23285 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23285 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23285 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.21
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 374 0 0 0 21 0 0 0 15 0 8 0 155442224 937390080 23285 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23285 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23285 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915420
[startup+6.27305 s]
/proc/loadavg: 1.93 1.99 1.93 3/87 17377
/proc/meminfo: memFree=1680368/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=6.19
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23567 0 1 0 608 11 0 0 25 0 8 0 155442215 937390080 23299 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073758099 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17369/statm: 228855 23299 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 17 0 8 0 155442220 937390080 23299 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23299 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23299 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23299 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.24
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 389 0 0 0 24 0 0 0 16 0 8 0 155442224 937390080 23299 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23299 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23299 18446744073709551615 134512640 134570532 4294956400 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) 915420
[startup+12.7676 s]
/proc/loadavg: 1.94 1.99 1.93 3/87 17377
/proc/meminfo: memFree=1680560/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=12.62
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23571 0 1 0 1251 11 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915420
[startup+25.6208 s]
/proc/loadavg: 1.95 1.99 1.93 3/87 17377
/proc/meminfo: memFree=1680688/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=25.36
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23571 0 1 0 2525 11 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073627959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 17 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 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) 915420
[startup+51.2542 s]
/proc/loadavg: 1.96 1.99 1.93 3/93 17459
/proc/meminfo: memFree=1679408/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=50.67
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23572 0 1 0 5056 11 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073901588 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 915420
[startup+102.522 s]
/proc/loadavg: 1.98 1.99 1.93 3/93 17535
/proc/meminfo: memFree=1679480/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=101.4
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23572 0 1 0 10129 11 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 915420
[startup+162.532 s]
/proc/loadavg: 1.99 1.99 1.93 3/87 17575
/proc/meminfo: memFree=1680368/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=160.82
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23572 0 1 0 16070 12 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073764652 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1298.19
Current children cumulated vsize (KiB) 915420
[startup+1363.24 s]
/proc/loadavg: 1.00 1.04 1.34 2/72 17703
/proc/meminfo: memFree=1713544/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=1358.18
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23572 0 1 0 135799 19 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1358.18
Current children cumulated vsize (KiB) 915420
[startup+1423.25 s]
/proc/loadavg: 1.00 1.03 1.32 2/72 17703
/proc/meminfo: memFree=1713544/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=1418.17
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23572 0 1 0 141798 19 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073758099 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1418.17
Current children cumulated vsize (KiB) 915420
[startup+1483.25 s]
/proc/loadavg: 1.00 1.02 1.29 2/72 17703
/proc/meminfo: memFree=1713544/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=1478.16
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23572 0 1 0 147797 19 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073763411 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1478.16
Current children cumulated vsize (KiB) 915420
[startup+1543.26 s]
/proc/loadavg: 1.00 1.02 1.27 2/72 17703
/proc/meminfo: memFree=1713544/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=1538.15
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23572 0 1 0 153796 19 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073761486 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538.15
Current children cumulated vsize (KiB) 915420
[startup+1603.27 s]
/proc/loadavg: 1.00 1.01 1.25 2/72 17703
/proc/meminfo: memFree=1713480/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=1598.15
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23572 0 1 0 159795 20 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073766571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.15
Current children cumulated vsize (KiB) 915420
[startup+1663.28 s]
/proc/loadavg: 1.00 1.01 1.24 2/72 17703
/proc/meminfo: memFree=1713480/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=1658.14
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23572 0 1 0 165794 20 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073758089 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) R 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.14
Current children cumulated vsize (KiB) 915420
[startup+1723.29 s]
/proc/loadavg: 1.00 1.00 1.22 2/72 17703
/proc/meminfo: memFree=1713480/2055920 swapFree=4192812/4192956
[pid=17369] ppid=17367 vsize=915420 CPUtime=1718.13
/proc/17369/stat : 17369 (java) R 17367 17369 17132 0 -1 0 23572 0 1 0 171793 20 0 0 25 0 8 0 155442215 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073761533 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17369/statm: 228855 23302 2521 14 0 215325 0
[pid=17369/tid=17371] ppid=17367 vsize=915420 CPUtime=0.16
/proc/17369/task/17371/stat : 17371 (java) S 17367 17369 17132 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17372] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17372/stat : 17372 (java) S 17367 17369 17132 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17373] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17373/stat : 17373 (java) S 17367 17369 17132 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155442220 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17374] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17374/stat : 17374 (java) S 17367 17369 17132 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155442223 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17375] ppid=17367 vsize=915420 CPUtime=0.25
/proc/17369/task/17375/stat : 17375 (java) S 17367 17369 17132 0 -1 64 393 0 0 0 25 0 0 0 16 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17376] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17376/stat : 17376 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17369/tid=17377] ppid=17367 vsize=915420 CPUtime=0
/proc/17369/task/17377/stat : 17377 (java) S 17367 17369 17132 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155442224 937390080 23302 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.13
Current children cumulated vsize (KiB) 915420
Child status: 0
Real time (s): 1750.85
CPU time (s): 1745.68
CPU user time (s): 1745.46
CPU system time (s): 0.219966
CPU usage (%): 99.7048
Max. virtual memory (cumulated for all children) (KiB): 915420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.46
system time used= 0.219966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23579
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= 36531
involuntary context switches= 24654
runsolver used 1.80272 s user time and 4.85926 s system time
The end
Begin job on node39 on Sat Jan 6 08:00:26 UTC 2007
IDJOB= 196079
IDBENCH= 3324
FILE ID= node39/196079-1168070425
PBS_JOBID= 3475681
Free space on /tmp= 66527 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-20_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196079-1168070425/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-196079-1168070425 -o ROOT/results/node39/solver-196079-1168070425 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196079-1168070425/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 10e67cc455da19a1a190ecd6bc3f64d0
RANDOM SEED= 226168851
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: 1764552 kB
Buffers: 23048 kB
Cached: 148652 kB
SwapCached: 0 kB
Active: 78652 kB
Inactive: 141356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1764552 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4584 kB
Writeback: 0 kB
Mapped: 68496 kB
Slab: 56668 kB
Committed_AS: 3698760 kB
PageTables: 1880 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= 66529 MiB
End job on node39 on Sat Jan 6 08:29:37 UTC 2007