0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/194738-1168069474/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.42 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.57
0.57 constraints being loaded...
0.71 nbConstraints=463 nbRelationTypes=463 nbExtensionStructures=463 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=463 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2382 maxDegree=28
0.71 maxArity=2
0.71 => wckTime=0.396 cpuTime=0.31 mem=17M827
0.76
0.76 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.6 cpuTime=0.43 mem=15M359
0.93
0.93 preprocessing
0.93 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.93 detectedInconsistency=no
0.93 => wckTime=0.0090 cpuTime=0.0 mem=15M359
0.98
0.98 search
0.98 run=0 nbConstraintChecks=37759 nbPropagations=565 nbRevisions=5946 nbUselessRevisions=4961 nbAssignments=30
0.98 nbFailedAssignments=6 nbBacktracks=11 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.057 cpuTime=0.03 mem=15M359
1.00
1.00 search
1.00 run=1 nbConstraintChecks=90724 nbPropagations=1826 nbRevisions=20630 nbUselessRevisions=17178 nbAssignments=69
1.00 nbFailedAssignments=17 nbBacktracks=26 nbVisitedNodes=100 nbRestartNogoods=2 mapSize=19 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.083 cpuTime=0.05 mem=15M359
1.03
1.03 search
1.03 run=2 nbConstraintChecks=176789 nbPropagations=4079 nbRevisions=49169 nbUselessRevisions=40741
1.03 nbAssignments=122 nbFailedAssignments=35 nbBacktracks=52 nbVisitedNodes=185 nbRestartNogoods=7 mapSize=39
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.106 cpuTime=0.07 mem=15M359
1.05
1.05 search
1.05 run=3 nbConstraintChecks=278243 nbPropagations=7613 nbRevisions=95662 nbUselessRevisions=79229
1.05 nbAssignments=184 nbFailedAssignments=53 nbBacktracks=85 nbVisitedNodes=284 nbRestartNogoods=8 mapSize=67
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.127 cpuTime=0.09 mem=15M359
1.08
1.08 search
1.08 run=4 nbConstraintChecks=438083 nbPropagations=13252 nbRevisions=171514 nbUselessRevisions=141999
1.08 nbAssignments=282 nbFailedAssignments=88 nbBacktracks=137 nbVisitedNodes=452 nbRestartNogoods=12 mapSize=111
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.16 cpuTime=0.12 mem=15M359
1.13
1.13 search
1.13 run=5 nbConstraintChecks=663740 nbPropagations=21674 nbRevisions=287858 nbUselessRevisions=238161
1.13 nbAssignments=415 nbFailedAssignments=138 nbBacktracks=212 nbVisitedNodes=676 nbRestartNogoods=15 mapSize=177
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.204 cpuTime=0.16 mem=15M359
1.19
1.19 search
1.19 run=6 nbConstraintChecks=1000048 nbPropagations=33991 nbRevisions=462948 nbUselessRevisions=381956
1.19 nbAssignments=629 nbFailedAssignments=226 nbBacktracks=328 nbVisitedNodes=1036 nbRestartNogoods=20 mapSize=267
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.271 cpuTime=0.22 mem=15M359
1.27
1.27 search
1.27 run=7 nbConstraintChecks=1445619 nbPropagations=51863 nbRevisions=721657 nbUselessRevisions=594837
1.27 nbAssignments=914 nbFailedAssignments=327 nbBacktracks=501 nbVisitedNodes=1513 nbRestartNogoods=24 mapSize=408
1.27 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.352 cpuTime=0.3 mem=15M359
1.40
1.40 search
1.40 run=8 nbConstraintChecks=2099291 nbPropagations=78418 nbRevisions=1113491 nbUselessRevisions=918334
1.40 nbAssignments=1349 nbFailedAssignments=494 nbBacktracks=759 nbVisitedNodes=2268 nbRestartNogoods=32
1.40 mapSize=632 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.479 cpuTime=0.42 mem=15M359
1.59
1.59 search
1.59 run=9 nbConstraintChecks=3178404 nbPropagations=117394 nbRevisions=1692386 nbUselessRevisions=1394289
1.59 nbAssignments=1974 nbFailedAssignments=724 nbBacktracks=1143 nbVisitedNodes=3326 nbRestartNogoods=35
1.59 mapSize=950 nbInferences=0 nbTooLargeKeys=0
1.59 => wckTime=0.67 cpuTime=0.6 mem=15M359
1.62
1.62 INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=15M359)
1.84
1.84 search
1.84 run=10 nbConstraintChecks=4572721 nbPropagations=175649 nbRevisions=2567716 nbUselessRevisions=2116463
1.84 nbAssignments=2960 nbFailedAssignments=1124 nbBacktracks=1719 nbVisitedNodes=5032 nbRestartNogoods=40
1.84 => wckTime=0.922 cpuTime=0.83 mem=15M359
2.20
2.20 search
2.20 run=11 nbConstraintChecks=6901404 nbPropagations=261751 nbRevisions=3869808 nbUselessRevisions=3187384
2.20 nbAssignments=4390 nbFailedAssignments=1682 nbBacktracks=2583 nbVisitedNodes=7473 nbRestartNogoods=43
2.20 => wckTime=1.285 cpuTime=1.19 mem=15M359
2.78
2.78 search
2.78 run=12 nbConstraintChecks=10654857 nbPropagations=392820 nbRevisions=5869918 nbUselessRevisions=4830634
2.78 nbAssignments=6584 nbFailedAssignments=2566 nbBacktracks=3883 nbVisitedNodes=11292 nbRestartNogoods=47
2.78 => wckTime=1.861 cpuTime=1.76 mem=15M359
3.60
3.60 search
3.60 run=13 nbConstraintChecks=15841959 nbPropagations=588324 nbRevisions=8865940 nbUselessRevisions=7294927
3.60 nbAssignments=9842 nbFailedAssignments=3868 nbBacktracks=5829 nbVisitedNodes=16955 nbRestartNogoods=60
3.60 => wckTime=2.677 cpuTime=2.56 mem=15M359
4.75
4.75 search
4.75 run=14 nbConstraintChecks=23147337 nbPropagations=875114 nbRevisions=13277091 nbUselessRevisions=10928260
4.75 nbAssignments=14491 nbFailedAssignments=5586 nbBacktracks=8749 nbVisitedNodes=24865 nbRestartNogoods=65
4.75 => wckTime=3.827 cpuTime=3.7 mem=15M359
6.37
6.37 search
6.37 run=15 nbConstraintChecks=33287092 nbPropagations=1292816 nbRevisions=19692593 nbUselessRevisions=16214531
6.37 nbAssignments=21434 nbFailedAssignments=8141 nbBacktracks=13128 nbVisitedNodes=36626 nbRestartNogoods=72
6.37 => wckTime=5.453 cpuTime=5.32 mem=15M359
9.01
9.01 search
9.01 run=16 nbConstraintChecks=49769443 nbPropagations=1918918 nbRevisions=29361585 nbUselessRevisions=24191146
9.01 nbAssignments=32212 nbFailedAssignments=12339 nbBacktracks=19696 nbVisitedNodes=55205 nbRestartNogoods=81
9.01 => wckTime=8.087 cpuTime=7.92 mem=15M359
13.18
13.18 search
13.18 run=17 nbConstraintChecks=77393696 nbPropagations=2867202 nbRevisions=44073648 nbUselessRevisions=36313524
13.18 nbAssignments=48201 nbFailedAssignments=18463 nbBacktracks=29549 nbVisitedNodes=82740 nbRestartNogoods=93
13.18 => wckTime=12.26 cpuTime=12.06 mem=15M359
19.16
19.16 search
19.16 run=18 nbConstraintChecks=115181414 nbPropagations=4289221 nbRevisions=66163726 nbUselessRevisions=54535870
19.16 nbAssignments=71956 nbFailedAssignments=27432 nbBacktracks=44327 nbVisitedNodes=123378 nbRestartNogoods=101
19.16 => wckTime=18.241 cpuTime=17.99 mem=15M359
27.79
27.79 search
27.79 run=19 nbConstraintChecks=171099018 nbPropagations=6397028 nbRevisions=98682616 nbUselessRevisions=81311399
27.79 nbAssignments=107608 nbFailedAssignments=40906 nbBacktracks=66495 nbVisitedNodes=184191 nbRestartNogoods=111
27.79 => wckTime=26.873 cpuTime=26.54 mem=15M359
41.78
41.78 search
41.78 run=20 nbConstraintChecks=261170269 nbPropagations=9596945 nbRevisions=148315621 nbUselessRevisions=122190826
41.78 nbAssignments=162027 nbFailedAssignments=62063 nbBacktracks=99747 nbVisitedNodes=278288 nbRestartNogoods=121
41.78 => wckTime=40.865 cpuTime=40.4 mem=15M359
62.27
62.27 search
62.27 run=21 nbConstraintChecks=390379799 nbPropagations=14419662 nbRevisions=223413450 nbUselessRevisions=184159917
62.27 nbAssignments=244726 nbFailedAssignments=94875 nbBacktracks=149625 nbVisitedNodes=420961 nbRestartNogoods=135
62.27 => wckTime=61.348 cpuTime=60.69 mem=15M359
92.45
92.45 search
92.45 run=22 nbConstraintChecks=588424581 nbPropagations=21590505 nbRevisions=335100743 nbUselessRevisions=276218894
92.45 nbAssignments=363362 nbFailedAssignments=138679 nbBacktracks=224443 nbVisitedNodes=622909 nbRestartNogoods=148
92.45 => wckTime=91.535 cpuTime=90.61 mem=15M359
139.91
139.91 search
139.91 run=23 nbConstraintChecks=893988364 nbPropagations=32479440 nbRevisions=505349905 nbUselessRevisions=416673594
139.91 nbAssignments=546762 nbFailedAssignments=209844 nbBacktracks=336670 nbVisitedNodes=940169 nbRestartNogoods=160
139.91 => wckTime=138.993 cpuTime=137.64 mem=15M359
208.44
208.44 search
208.44 run=24 nbConstraintChecks=1328648077 nbPropagations=48815973 nbRevisions=760498407 nbUselessRevisions=627312131
208.44 nbAssignments=821433 nbFailedAssignments=316162 nbBacktracks=505012 nbVisitedNodes=1413300 nbRestartNogoods=174
208.44 => wckTime=207.518 cpuTime=205.53 mem=15M359
313.03
313.03 search
313.03 run=25 nbConstraintChecks=1988005384 nbPropagations=73395187 nbRevisions=1145904562
313.03 nbUselessRevisions=945849843 nbAssignments=1238538 nbFailedAssignments=480742 nbBacktracks=757524
313.03 nbVisitedNodes=2135966 nbRestartNogoods=190
313.03 => wckTime=312.111 cpuTime=309.17 mem=15M359
467.48
467.48 search
467.48 run=26 nbConstraintChecks=2996063536 nbPropagations=110054533 nbRevisions=1719782787
467.48 nbUselessRevisions=1419558196 nbAssignments=1848489 nbFailedAssignments=711914 nbBacktracks=1136293
467.48 nbVisitedNodes=3181642 nbRestartNogoods=203
467.48 => wckTime=466.564 cpuTime=462.2 mem=15M359
701.19
701.19 search
701.19 run=27 nbConstraintChecks=4464746580 nbPropagations=165275639 nbRevisions=2586564578
701.19 nbUselessRevisions=2136364792 nbAssignments=2777194 nbFailedAssignments=1072457 nbBacktracks=1704447
701.19 nbVisitedNodes=4787527 nbRestartNogoods=221
701.19 => wckTime=700.273 cpuTime=693.78 mem=15M359
1026.31
1026.31 search
1026.31 run=28 nbConstraintChecks=6593390910 nbPropagations=247253461 nbRevisions=3866784721
1026.31 nbUselessRevisions=3194521223 nbAssignments=4142013 nbFailedAssignments=1585039 nbBacktracks=2556676
1026.31 nbVisitedNodes=7127039 nbRestartNogoods=234
1026.31 => wckTime=1025.387 cpuTime=1016.97 mem=15M359
1519.65
1519.65 search
1519.65 run=29 nbConstraintChecks=9999092509 nbPropagations=371243283 nbRevisions=5815470300
1519.65 nbUselessRevisions=4807398293 nbAssignments=6243382 nbFailedAssignments=2408057 nbBacktracks=3835017
1519.65 nbVisitedNodes=10765576 nbRestartNogoods=248
1519.65 => wckTime=1518.726 cpuTime=1509.8 mem=15M359
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-194738-1168069474 -o ROOT/results/node9/solver-194738-1168069474 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194738-1168069474/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.68 1.49 1.66 4/93 14566
/proc/meminfo: memFree=1289968/2055920 swapFree=4191880/4192956
[pid=14565] ppid=14563 vsize=18540 CPUtime=0
/proc/14565/stat : 14565 (runsolver) R 14563 14565 14498 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155342541 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14565/statm: 4635 279 244 17 0 2626 0
[startup+0.107973 s]
/proc/loadavg: 1.68 1.49 1.66 4/93 14566
/proc/meminfo: memFree=1289968/2055920 swapFree=4191880/4192956
[pid=14565] ppid=14563 vsize=914988 CPUtime=0.08
/proc/14565/stat : 14565 (java) D 14563 14565 14498 0 -1 0 2989 0 1 0 7 1 0 0 17 0 8 0 155342541 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14565/statm: 228747 2735 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516002 s]
/proc/loadavg: 1.68 1.49 1.66 4/93 14566
/proc/meminfo: memFree=1289968/2055920 swapFree=4191880/4192956
[pid=14565] ppid=14563 vsize=915328 CPUtime=0.48
/proc/14565/stat : 14565 (java) R 14563 14565 14498 0 -1 0 6957 0 1 0 44 4 0 0 18 0 8 0 155342541 937295872 6696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565335 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14565/statm: 228832 6696 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33809 s]
/proc/loadavg: 1.68 1.49 1.66 4/100 14573
/proc/meminfo: memFree=1262328/2055920 swapFree=4191880/4192956
[pid=14565] ppid=14563 vsize=915460 CPUtime=1.29
/proc/14565/stat : 14565 (java) R 14563 14565 14498 0 -1 0 9594 0 1 0 122 7 0 0 24 0 8 0 155342541 937431040 9332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14565/statm: 228865 9332 2513 14 0 215335 0
[pid=14565/tid=14567] ppid=14563 vsize=915460 CPUtime=0.03
/proc/14565/task/14567/stat : 14567 (java) S 14563 14565 14498 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 155342545 937431040 9332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14568] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14568/stat : 14568 (java) S 14563 14565 14498 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155342546 937431040 9332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14569] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14569/stat : 14569 (java) S 14563 14565 14498 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155342546 937431040 9332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14570] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14570/stat : 14570 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155342549 937431040 9332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14571] ppid=14563 vsize=915460 CPUtime=0.21
/proc/14565/task/14571/stat : 14571 (java) S 14563 14565 14498 0 -1 64 379 0 0 0 20 1 0 0 16 0 8 0 155342549 937431040 9332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14572] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14572/stat : 14572 (java) S 14563 14565 14498 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155342549 937431040 9332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14573] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14573/stat : 14573 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155342549 937431040 9332 18446744073709551615 134512640 134570532 4294956464 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) 915460
[startup+2.97528 s]
/proc/loadavg: 1.68 1.49 1.66 3/100 14573
/proc/meminfo: memFree=1262200/2055920 swapFree=4191880/4192956
[pid=14565] ppid=14563 vsize=915460 CPUtime=2.92
/proc/14565/stat : 14565 (java) R 14563 14565 14498 0 -1 0 9612 0 1 0 285 7 0 0 25 0 8 0 155342541 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810758 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14565/statm: 228865 9348 2513 14 0 215335 0
[pid=14565/tid=14567] ppid=14563 vsize=915460 CPUtime=0.03
/proc/14565/task/14567/stat : 14567 (java) S 14563 14565 14498 0 -1 64 406 0 0 0 3 0 0 0 17 0 8 0 155342545 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14568] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14568/stat : 14568 (java) S 14563 14565 14498 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155342546 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14569] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14569/stat : 14569 (java) S 14563 14565 14498 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155342546 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14570] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14570/stat : 14570 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155342549 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14571] ppid=14563 vsize=915460 CPUtime=0.24
/proc/14565/task/14571/stat : 14571 (java) S 14563 14565 14498 0 -1 64 395 0 0 0 23 1 0 0 15 0 8 0 155342549 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14572] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14572/stat : 14572 (java) S 14563 14565 14498 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155342549 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14573] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14573/stat : 14573 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155342549 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460
[startup+6.27465 s]
/proc/loadavg: 1.71 1.49 1.66 3/100 14573
/proc/meminfo: memFree=1262200/2055920 swapFree=4191880/4192956
[pid=14565] ppid=14563 vsize=915460 CPUtime=6.18
/proc/14565/stat : 14565 (java) R 14563 14565 14498 0 -1 0 9613 0 1 0 611 7 0 0 25 0 8 0 155342541 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822816 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14565/statm: 228865 9348 2513 14 0 215335 0
[pid=14565/tid=14567] ppid=14563 vsize=915460 CPUtime=0.03
/proc/14565/task/14567/stat : 14567 (java) S 14563 14565 14498 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 155342545 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14568] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14568/stat : 14568 (java) S 14563 14565 14498 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155342546 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14569] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14569/stat : 14569 (java) S 14563 14565 14498 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155342546 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14570] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14570/stat : 14570 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155342549 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14571] ppid=14563 vsize=915460 CPUtime=0.24
/proc/14565/task/14571/stat : 14571 (java) S 14563 14565 14498 0 -1 64 395 0 0 0 23 1 0 0 15 0 8 0 155342549 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14572] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14572/stat : 14572 (java) S 14563 14565 14498 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155342549 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14573] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14573/stat : 14573 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155342549 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460
[startup+12.7444 s]
/proc/loadavg: 1.73 1.50 1.67 3/100 14573
/proc/meminfo: memFree=1262136/2055920 swapFree=4191880/4192956
[pid=14565] ppid=14563 vsize=915460 CPUtime=12.59
/proc/14565/stat : 14565 (java) R 14563 14565 14498 0 -1 0 9613 0 1 0 1252 7 0 0 25 0 8 0 155342541 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835393 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14565/statm: 228865 9348 2513 14 0 215335 0
[pid=14565/tid=14567] ppid=14563 vsize=915460 CPUtime=0.03
/proc/14565/task/14567/stat : 14567 (java) S 14563 14565 14498 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 155342545 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14568] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14568/stat : 14568 (java) S 14563 14565 14498 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155342546 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14569] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14569/stat : 14569 (java) S 14563 14565 14498 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155342546 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14570] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14570/stat : 14570 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155342549 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14571] ppid=14563 vsize=915460 CPUtime=0.24
/proc/14565/task/14571/stat : 14571 (java) S 14563 14565 14498 0 -1 64 395 0 0 0 23 1 0 0 15 0 8 0 155342549 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14572] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14572/stat : 14572 (java) S 14563 14565 14498 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155342549 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14573] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14573/stat : 14573 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155342549 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915460
[startup+25.6158 s]
/proc/loadavg: 1.79 1.53 1.67 3/100 14573
/proc/meminfo: memFree=1262264/2055920 swapFree=4191880/4192956
[pid=14565] ppid=14563 vsize=915460 CPUtime=25.36
/proc/14565/stat : 14565 (java) R 14563 14565 14498 0 -1 0 9614 0 1 0 2528 8 0 0 25 0 8 0 155342541 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823712 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14565/statm: 228865 9349 2513 14 0 215335 0
[pid=14565/tid=14567] ppid=14563 vsize=915460 CPUtime=0.03
/proc/14565/task/14567/stat : 14567 (java) S 14563 14565 14498 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 155342545 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14568] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14568/stat : 14568 (java) S 14563 14565 14498 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155342546 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14569] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14569/stat : 14569 (java) S 14563 14565 14498 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155342546 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14570] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14570/stat : 14570 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155342549 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14571] ppid=14563 vsize=915460 CPUtime=0.25
/proc/14565/task/14571/stat : 14571 (java) S 14563 14565 14498 0 -1 64 396 0 0 0 24 1 0 0 16 0 8 0 155342549 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14572] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14572/stat : 14572 (java) S 14563 14565 14498 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155342549 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14573] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14573/stat : 14573 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155342549 937431040 9349 18446744073709551615 134512640 134570532 4294956464 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) 915460
[startup+51.2257 s]
/proc/loadavg: 1.86 1.56 1.68 3/100 14573
/proc/meminfo: memFree=1262264/2055920 swapFree=4191880/4192956
[pid=14565] ppid=14563 vsize=915460 CPUtime=50.73
/proc/14565/stat : 14565 (java) R 14563 14565 14498 0 -1 0 9615 0 1 0 5065 8 0 0 25 0 8 0 155342541 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821798 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14565/statm: 228865 9349 2513 14 0 215335 0
[pid=14565/tid=14567] ppid=14563 vsize=915460 CPUtime=0.03
/proc/14565/task/14567/stat : 14567 (java) S 14563 14565 14498 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 155342545 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14568] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14568/stat : 14568 (java) S 14563 14565 14498 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155342546 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14569] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14569/stat : 14569 (java) S 14563 14565 14498 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155342546 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14570] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14570/stat : 14570 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155342549 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14571] ppid=14563 vsize=915460 CPUtime=0.25
/proc/14565/task/14571/stat : 14571 (java) S 14563 14565 14498 0 -1 64 396 0 0 0 24 1 0 0 16 0 8 0 155342549 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14572] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14572/stat : 14572 (java) S 14563 14565 14498 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155342549 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14573] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14573/stat : 14573 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155342549 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915460
[startup+102.442 s]
/proc/loadavg: 1.94 1.63 1.69 3/100 14573
/proc/meminfo: memFree=1262328/2055920 swapFree=4191880/4192956
[pid=14565] ppid=14563 vsize=915460 CPUtime=101.48
/proc/14565/stat : 14565 (java) R 14563 14565 14498 0 -1 0 9616 0 1 0 10140 8 0 0 25 0 8 0 155342541 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832284 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14565/statm: 228865 9350 2513 14 0 215335 0
[pid=14565/tid=14567] ppid=14563 vsize=915460 CPUtime=0.03
/proc/14565/task/14567/stat : 14567 (java) S 14563 14565 14498 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 155342545 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14568] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14568/stat : 14568 (java) S 14563 14565 14498 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155342546 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14569] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14569/stat : 14569 (java) S 14563 14565 14498 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155342546 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14570] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14570/stat : 14570 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14571] ppid=14563 vsize=915460 CPUtime=0.25
/proc/14565/task/14571/stat : 14571 (java) S 14563 14565 14498 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14572] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14572/stat : 14572 (java) S 14563 14565 14498 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14573] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14573/stat : 14573 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915460
[startup+162.499 s]
/proc/loadavg: 2.04 1.72 1.72 3/100 14573
/proc/meminfo: memFree=1262264/2055920 swapFree=4191880/4192956
[pid=14565] ppid=14563 vsize=915460 CPUtime=160.98
/proc/14565/stat : 14565 (java) R 14563 14565 14498 0 -1 0 9616 0 1 0 16090 8 0 0 25 0 8 0 155342541 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1414.67
Current children cumulated vsize (KiB) 915460
[startup+1483.47 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 14826
/proc/meminfo: memFree=1201392/2055920 swapFree=4191880/4192956
[pid=14565] ppid=14563 vsize=915460 CPUtime=1474.61
/proc/14565/stat : 14565 (java) R 14563 14565 14498 0 -1 0 9616 0 1 0 147434 27 0 0 25 0 8 0 155342541 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073873696 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14565/statm: 228865 9350 2513 14 0 215335 0
[pid=14565/tid=14567] ppid=14563 vsize=915460 CPUtime=0.03
/proc/14565/task/14567/stat : 14567 (java) S 14563 14565 14498 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 155342545 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14568] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14568/stat : 14568 (java) S 14563 14565 14498 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155342546 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14569] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14569/stat : 14569 (java) S 14563 14565 14498 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155342546 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14570] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14570/stat : 14570 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14571] ppid=14563 vsize=915460 CPUtime=0.25
/proc/14565/task/14571/stat : 14571 (java) S 14563 14565 14498 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14572] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14572/stat : 14572 (java) S 14563 14565 14498 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14573] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14573/stat : 14573 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.61
Current children cumulated vsize (KiB) 915460
[startup+1543.48 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 14826
/proc/meminfo: memFree=1201328/2055920 swapFree=4191880/4192956
[pid=14565] ppid=14563 vsize=915460 CPUtime=1534.56
/proc/14565/stat : 14565 (java) R 14563 14565 14498 0 -1 0 9616 0 1 0 153429 27 0 0 25 0 8 0 155342541 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823838 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14565/statm: 228865 9350 2513 14 0 215335 0
[pid=14565/tid=14567] ppid=14563 vsize=915460 CPUtime=0.03
/proc/14565/task/14567/stat : 14567 (java) S 14563 14565 14498 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 155342545 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14565/tid=14568] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14568/stat : 14568 (java) S 14563 14565 14498 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155342546 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14569] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14569/stat : 14569 (java) S 14563 14565 14498 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155342546 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14570] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14570/stat : 14570 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14571] ppid=14563 vsize=915460 CPUtime=0.25
/proc/14565/task/14571/stat : 14571 (java) S 14563 14565 14498 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14565/tid=14572] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14572/stat : 14572 (java) S 14563 14565 14498 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14573] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14573/stat : 14573 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.56
Current children cumulated vsize (KiB) 915460
[startup+1603.49 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 14826
/proc/meminfo: memFree=1201392/2055920 swapFree=4191880/4192956
[pid=14565] ppid=14563 vsize=915460 CPUtime=1594.52
/proc/14565/stat : 14565 (java) R 14563 14565 14498 0 -1 0 9616 0 1 0 159425 27 0 0 25 0 8 0 155342541 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837056 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14565/statm: 228865 9350 2513 14 0 215335 0
[pid=14565/tid=14567] ppid=14563 vsize=915460 CPUtime=0.03
/proc/14565/task/14567/stat : 14567 (java) S 14563 14565 14498 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 155342545 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14565/tid=14568] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14568/stat : 14568 (java) S 14563 14565 14498 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155342546 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14569] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14569/stat : 14569 (java) S 14563 14565 14498 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155342546 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14570] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14570/stat : 14570 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14571] ppid=14563 vsize=915460 CPUtime=0.25
/proc/14565/task/14571/stat : 14571 (java) S 14563 14565 14498 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14565/tid=14572] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14572/stat : 14572 (java) S 14563 14565 14498 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14573] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14573/stat : 14573 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.52
Current children cumulated vsize (KiB) 915460
[startup+1663.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 14826
/proc/meminfo: memFree=1201392/2055920 swapFree=4191880/4192956
[pid=14565] ppid=14563 vsize=915460 CPUtime=1654.46
/proc/14565/stat : 14565 (java) R 14563 14565 14498 0 -1 0 9616 0 1 0 165419 27 0 0 25 0 8 0 155342541 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14565/statm: 228865 9350 2513 14 0 215335 0
[pid=14565/tid=14567] ppid=14563 vsize=915460 CPUtime=0.03
/proc/14565/task/14567/stat : 14567 (java) S 14563 14565 14498 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 155342545 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14565/tid=14568] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14568/stat : 14568 (java) S 14563 14565 14498 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155342546 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14569] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14569/stat : 14569 (java) S 14563 14565 14498 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155342546 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14570] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14570/stat : 14570 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14571] ppid=14563 vsize=915460 CPUtime=0.25
/proc/14565/task/14571/stat : 14571 (java) S 14563 14565 14498 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14565/tid=14572] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14572/stat : 14572 (java) S 14563 14565 14498 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14573] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14573/stat : 14573 (java) R 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.46
Current children cumulated vsize (KiB) 915460
[startup+1723.51 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 14826
/proc/meminfo: memFree=1201328/2055920 swapFree=4191880/4192956
[pid=14565] ppid=14563 vsize=915460 CPUtime=1714.42
/proc/14565/stat : 14565 (java) R 14563 14565 14498 0 -1 0 9616 0 1 0 171414 28 0 0 25 0 8 0 155342541 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823629 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14565/statm: 228865 9350 2513 14 0 215335 0
[pid=14565/tid=14567] ppid=14563 vsize=915460 CPUtime=0.03
/proc/14565/task/14567/stat : 14567 (java) S 14563 14565 14498 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 155342545 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14565/tid=14568] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14568/stat : 14568 (java) S 14563 14565 14498 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155342546 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14569] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14569/stat : 14569 (java) S 14563 14565 14498 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155342546 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14570] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14570/stat : 14570 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14571] ppid=14563 vsize=915460 CPUtime=0.25
/proc/14565/task/14571/stat : 14571 (java) S 14563 14565 14498 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14565/tid=14572] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14572/stat : 14572 (java) S 14563 14565 14498 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14573] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14573/stat : 14573 (java) R 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.42
Current children cumulated vsize (KiB) 915460
[startup+1783.52 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 14826
/proc/meminfo: memFree=1201392/2055920 swapFree=4191880/4192956
[pid=14565] ppid=14563 vsize=915460 CPUtime=1774.37
/proc/14565/stat : 14565 (java) R 14563 14565 14498 0 -1 0 9616 0 1 0 177409 28 0 0 25 0 8 0 155342541 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814097 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14565/statm: 228865 9350 2513 14 0 215335 0
[pid=14565/tid=14567] ppid=14563 vsize=915460 CPUtime=0.03
/proc/14565/task/14567/stat : 14567 (java) S 14563 14565 14498 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 155342545 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14565/tid=14568] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14568/stat : 14568 (java) S 14563 14565 14498 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155342546 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14569] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14569/stat : 14569 (java) S 14563 14565 14498 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155342546 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14570] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14570/stat : 14570 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14571] ppid=14563 vsize=915460 CPUtime=0.25
/proc/14565/task/14571/stat : 14571 (java) S 14563 14565 14498 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14565/tid=14572] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14572/stat : 14572 (java) S 14563 14565 14498 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14573] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14573/stat : 14573 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.37
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.25 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 14826
/proc/meminfo: memFree=1201328/2055920 swapFree=4191880/4192956
[pid=14565] ppid=14563 vsize=915460 CPUtime=1800.08
/proc/14565/stat : 14565 (java) R 14563 14565 14498 0 -1 0 9616 0 1 0 179980 28 0 0 25 0 8 0 155342541 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14565/statm: 228865 9350 2513 14 0 215335 0
[pid=14565/tid=14567] ppid=14563 vsize=915460 CPUtime=0.03
/proc/14565/task/14567/stat : 14567 (java) S 14563 14565 14498 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 155342545 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14565/tid=14568] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14568/stat : 14568 (java) S 14563 14565 14498 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155342546 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14569] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14569/stat : 14569 (java) S 14563 14565 14498 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155342546 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14570] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14570/stat : 14570 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14571] ppid=14563 vsize=915460 CPUtime=0.25
/proc/14565/task/14571/stat : 14571 (java) S 14563 14565 14498 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14565/tid=14572] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14572/stat : 14572 (java) S 14563 14565 14498 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14565/tid=14573] ppid=14563 vsize=915460 CPUtime=0
/proc/14565/task/14573/stat : 14573 (java) S 14563 14565 14498 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155342549 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.32
CPU time (s): 1800.15
CPU user time (s): 1799.86
CPU system time (s): 0.287956
CPU usage (%): 99.4929
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.287956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9633
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= 37718
involuntary context switches= 56077
runsolver used 2.6336 s user time and 5.38018 s system time
The end
Begin job on node9 on Sat Jan 6 07:44:34 UTC 2007
IDJOB= 194738
IDBENCH= 3230
FILE ID= node9/194738-1168069474
PBS_JOBID= 3475710
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194738-1168069474/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-194738-1168069474 -o ROOT/results/node9/solver-194738-1168069474 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194738-1168069474/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b01f777eafda6faba95113f99ffe3b2b
RANDOM SEED= 27006277
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.231
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.231
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: 1290448 kB
Buffers: 83140 kB
Cached: 505880 kB
SwapCached: 268 kB
Active: 327680 kB
Inactive: 336164 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1290448 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2224 kB
Writeback: 0 kB
Mapped: 96560 kB
Slab: 86332 kB
Committed_AS: 4672004 kB
PageTables: 2396 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= 66539 MiB
End job on node9 on Sat Jan 6 08:14:45 UTC 2007