0.42
0.42 Abscon 109 (November, 2006)
0.42
0.42 configuration
0.42 name=mac.xml
0.45
0.45 instance
0.45 name=/tmp/evaluation/203223-1168073003/unknown.xml
0.48
0.48 domains being loaded...
0.49
0.49 variables being loaded...
0.52 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.52 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.52
0.52 relations being loaded...
1.68
1.68 constraints being loaded...
2.41 nbConstraints=93 nbRelationTypes=93 nbExtensionStructures=93 nbSharedExtensionStructures=0
2.41 nbConflictsStructures=93 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
2.41 => wckTime=1.986 cpuTime=1.61 mem=59M146
2.57
2.57 solver IterativeSystematicSolver being built...
2.74 => wckTime=2.318 cpuTime=1.74 mem=66M389
2.75
2.75 preprocessing
2.75 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.75 detectedInconsistency=no
2.75 => wckTime=0.0040 cpuTime=0.0 mem=66M389
2.93
2.93 search
2.93 run=0 nbConstraintChecks=60994 nbValidityChecks=111597 nbPropagations=526 nbRevisions=5953
2.93 nbUselessRevisions=4580 nbAssignments=38 nbFailedAssignments=20 nbBacktracks=10 nbVisitedNodes=67
2.93 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.93 => wckTime=0.183 cpuTime=0.14 mem=66M389
3.03
3.03 search
3.03 run=1 nbConstraintChecks=110744 nbValidityChecks=209575 nbPropagations=1448 nbRevisions=16622
3.03 nbUselessRevisions=12972 nbAssignments=84 nbFailedAssignments=41 nbBacktracks=28 nbVisitedNodes=142
3.03 nbRestartNogoods=5 mapSize=20 nbInferences=0 nbTooLargeKeys=0
3.03 => wckTime=0.286 cpuTime=0.24 mem=66M389
3.18
3.18 search
3.18 run=2 nbConstraintChecks=196117 nbValidityChecks=363367 nbPropagations=2976 nbRevisions=34907
3.18 nbUselessRevisions=27324 nbAssignments=135 nbFailedAssignments=62 nbBacktracks=52 nbVisitedNodes=226
3.18 nbRestartNogoods=9 mapSize=38 nbInferences=0 nbTooLargeKeys=0
3.18 => wckTime=0.439 cpuTime=0.38 mem=66M389
3.36
3.36 search
3.36 run=3 nbConstraintChecks=302017 nbValidityChecks=567333 nbPropagations=5386 nbRevisions=64140
3.36 nbUselessRevisions=50301 nbAssignments=210 nbFailedAssignments=94 nbBacktracks=88 nbVisitedNodes=352
3.36 nbRestartNogoods=13 mapSize=66 nbInferences=0 nbTooLargeKeys=0
3.36 => wckTime=0.619 cpuTime=0.56 mem=66M389
3.66
3.66 search
3.66 run=4 nbConstraintChecks=471879 nbValidityChecks=879272 nbPropagations=9252 nbRevisions=111534
3.66 nbUselessRevisions=87731 nbAssignments=313 nbFailedAssignments=140 nbBacktracks=138 nbVisitedNodes=529
3.66 nbRestartNogoods=15 mapSize=109 nbInferences=0 nbTooLargeKeys=0
3.66 => wckTime=0.919 cpuTime=0.84 mem=66M389
3.99
3.99 search
3.99 run=5 nbConstraintChecks=661514 nbValidityChecks=1267081 nbPropagations=15000 nbRevisions=182301
3.99 nbUselessRevisions=143853 nbAssignments=464 nbFailedAssignments=209 nbBacktracks=213 nbVisitedNodes=796
3.99 nbRestartNogoods=17 mapSize=172 nbInferences=0 nbTooLargeKeys=0
3.99 => wckTime=1.25 cpuTime=1.17 mem=66M389
4.60
4.60 search
4.60 run=6 nbConstraintChecks=1015394 nbValidityChecks=1992831 nbPropagations=24159 nbRevisions=299058
4.60 nbUselessRevisions=236992 nbAssignments=745 nbFailedAssignments=371 nbBacktracks=326 nbVisitedNodes=1313
4.60 nbRestartNogoods=22 mapSize=268 nbInferences=0 nbTooLargeKeys=0
4.60 => wckTime=1.855 cpuTime=1.77 mem=66M389
5.41
5.41 search
5.41 run=7 nbConstraintChecks=1509321 nbValidityChecks=2962085 nbPropagations=38147 nbRevisions=474663
5.41 nbUselessRevisions=377442 nbAssignments=1112 nbFailedAssignments=561 nbBacktracks=497 nbVisitedNodes=1977
5.41 nbRestartNogoods=26 mapSize=410 nbInferences=0 nbTooLargeKeys=0
5.41 => wckTime=2.672 cpuTime=2.58 mem=66M389
6.88
6.88 search
6.88 run=8 nbConstraintChecks=2376980 nbValidityChecks=4657276 nbPropagations=60336 nbRevisions=746441
6.88 nbUselessRevisions=593823 nbAssignments=1686 nbFailedAssignments=871 nbBacktracks=754 nbVisitedNodes=3023
6.88 nbRestartNogoods=32 mapSize=633 nbInferences=0 nbTooLargeKeys=0
6.88 => wckTime=4.137 cpuTime=4.01 mem=66M389
8.60
8.60 search
8.60 run=9 nbConstraintChecks=3431102 nbValidityChecks=6740177 nbPropagations=91847 nbRevisions=1132371
8.60 nbUselessRevisions=901712 nbAssignments=2488 nbFailedAssignments=1284 nbBacktracks=1138 nbVisitedNodes=4429
8.60 nbRestartNogoods=38 mapSize=917 nbInferences=0 nbTooLargeKeys=0
8.60 => wckTime=5.857 cpuTime=5.71 mem=67M381
9.55
9.55 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=67M381)
13.47
13.47 search
13.47 run=10 nbConstraintChecks=6471560 nbValidityChecks=13185029 nbPropagations=150172 nbRevisions=1907542
13.47 nbUselessRevisions=1519996 nbAssignments=5036 nbFailedAssignments=3248 nbBacktracks=1714 nbVisitedNodes=9417
13.47 nbRestartNogoods=44
13.47 => wckTime=10.732 cpuTime=10.53 mem=67M381
16.68
16.68 search
16.68 run=11 nbConstraintChecks=8459287 nbValidityChecks=17118168 nbPropagations=231493 nbRevisions=2963296
16.68 nbUselessRevisions=2363091 nbAssignments=6858 nbFailedAssignments=4199 nbBacktracks=2578 nbVisitedNodes=12706
16.68 nbRestartNogoods=53
16.68 => wckTime=13.934 cpuTime=13.7 mem=67M381
22.33
22.33 search
22.33 run=12 nbConstraintChecks=12149054 nbValidityChecks=24401051 nbPropagations=351004 nbRevisions=4474301
22.33 nbUselessRevisions=3569120 nbAssignments=9716 nbFailedAssignments=5752 nbBacktracks=3876 nbVisitedNodes=17917
22.33 nbRestartNogoods=61
22.33 => wckTime=19.588 cpuTime=19.3 mem=67M381
30.38
30.38 search
30.38 run=13 nbConstraintChecks=17534431 nbValidityChecks=34604653 nbPropagations=518295 nbRevisions=6582005
30.38 nbUselessRevisions=5253051 nbAssignments=13578 nbFailedAssignments=7661 nbBacktracks=5823 nbVisitedNodes=24720
30.38 nbRestartNogoods=75
30.38 => wckTime=27.637 cpuTime=27.34 mem=67M381
48.29
48.29 search
48.29 run=14 nbConstraintChecks=28965932 nbValidityChecks=57510101 nbPropagations=787603 nbRevisions=10010813
48.29 nbUselessRevisions=7983695 nbAssignments=20865 nbFailedAssignments=12021 nbBacktracks=8743 nbVisitedNodes=38414
48.29 nbRestartNogoods=84
48.29 => wckTime=45.546 cpuTime=45.25 mem=67M381
70.94
70.94 search
70.94 run=15 nbConstraintChecks=43804371 nbValidityChecks=87399191 nbPropagations=1198067 nbRevisions=15195371
70.94 nbUselessRevisions=12088510 nbAssignments=32179 nbFailedAssignments=18948 nbBacktracks=13122
70.94 nbVisitedNodes=59625 nbRestartNogoods=97
70.94 => wckTime=68.199 cpuTime=67.86 mem=67M381
104.38
104.38 search
104.38 run=16 nbConstraintChecks=65617172 nbValidityChecks=130696732 nbPropagations=1817388 nbRevisions=22794151
104.38 nbUselessRevisions=18102912 nbAssignments=46639 nbFailedAssignments=26833 nbBacktracks=19690
104.38 nbVisitedNodes=86403 nbRestartNogoods=113
104.38 => wckTime=101.634 cpuTime=101.28 mem=67M381
143.41
143.41 search
143.41 run=17 nbConstraintChecks=91176818 nbValidityChecks=180974094 nbPropagations=2664906 nbRevisions=33124960
143.41 nbUselessRevisions=26297820 nbAssignments=65528 nbFailedAssignments=35861 nbBacktracks=29545
143.41 nbVisitedNodes=119540 nbRestartNogoods=126
143.41 => wckTime=140.668 cpuTime=140.27 mem=67M381
232.57
232.57 search
232.57 run=18 nbConstraintChecks=150586547 nbValidityChecks=301566872 nbPropagations=4008199 nbRevisions=50348919
232.57 nbUselessRevisions=40030522 nbAssignments=111839 nbFailedAssignments=67387 nbBacktracks=44323
232.57 nbVisitedNodes=207318 nbRestartNogoods=142
232.57 => wckTime=229.831 cpuTime=229.32 mem=67M381
321.89
321.89 search
321.89 run=19 nbConstraintChecks=209302291 nbValidityChecks=416550516 nbPropagations=5975961 nbRevisions=75041919
321.89 nbUselessRevisions=59717685 nbAssignments=157686 nbFailedAssignments=91058 nbBacktracks=66492
321.89 nbVisitedNodes=290104 nbRestartNogoods=159
321.89 => wckTime=319.15 cpuTime=318.55 mem=67M381
469.29
469.29 search
469.29 run=20 nbConstraintChecks=307827532 nbValidityChecks=605959605 nbPropagations=8852494 nbRevisions=110960221
469.29 nbUselessRevisions=88371224 nbAssignments=228115 nbFailedAssignments=128229 nbBacktracks=99744
469.29 nbVisitedNodes=417425 nbRestartNogoods=178
469.29 => wckTime=466.548 cpuTime=465.77 mem=67M381
695.38
695.38 search
695.38 run=21 nbConstraintChecks=456684897 nbValidityChecks=896066501 nbPropagations=13019912 nbRevisions=162519375
695.38 nbUselessRevisions=129510276 nbAssignments=331470 nbFailedAssignments=181699 nbBacktracks=149622
695.38 nbVisitedNodes=602502 nbRestartNogoods=201
695.38 => wckTime=692.634 cpuTime=691.61 mem=67M381
1223.84
1223.84 search
1223.84 run=22 nbConstraintChecks=804421733 nbValidityChecks=1617106866 nbPropagations=20192933 nbRevisions=256078234
1223.84 nbUselessRevisions=204034134 nbAssignments=606830 nbFailedAssignments=382232 nbBacktracks=224440
1223.84 nbVisitedNodes=1130229 nbRestartNogoods=225
1223.84 => wckTime=1221.099 cpuTime=1219.44 mem=67M381
1717.33
1717.33 search
1717.33 run=23 nbConstraintChecks=1124967034 nbValidityChecks=2253934678 nbPropagations=30699521 nbRevisions=390657934
1717.33 nbUselessRevisions=311337705 nbAssignments=858006 nbFailedAssignments=521173 nbBacktracks=336669
1717.33 nbVisitedNodes=1588889 nbRestartNogoods=246
1717.33 => wckTime=1714.584 cpuTime=1712.39 mem=67M381
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-203223-1168073003 -o ROOT/results/node15/solver-203223-1168073003 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203223-1168073003/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.95 1.96 1.95 4/93 13775
/proc/meminfo: memFree=1016352/2055920 swapFree=4174172/4192956
[pid=13774] ppid=13772 vsize=11820 CPUtime=0
/proc/13774/stat : 13774 (java) D 13772 13774 12374 0 -1 0 760 0 1 0 0 0 0 0 16 0 1 0 155695164 12103680 510 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 7512868 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/13774/statm: 2955 510 421 14 0 1602 0
[startup+0.103362 s]
/proc/loadavg: 1.95 1.96 1.95 4/93 13775
/proc/meminfo: memFree=1016352/2055920 swapFree=4174172/4192956
[pid=13774] ppid=13772 vsize=907676 CPUtime=0.03
/proc/13774/stat : 13774 (java) R 13772 13774 12374 0 -1 0 2242 0 1 0 2 1 0 0 16 0 4 0 155695164 929460224 1989 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4153551148 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/13774/statm: 226919 1989 1126 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676
[startup+0.51143 s]
/proc/loadavg: 1.95 1.96 1.95 4/93 13775
/proc/meminfo: memFree=1016352/2055920 swapFree=4174172/4192956
[pid=13774] ppid=13772 vsize=915328 CPUtime=0.38
/proc/13774/stat : 13774 (java) R 13772 13774 12374 0 -1 0 6080 0 1 0 34 4 0 0 18 0 8 0 155695164 937295872 5819 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4155210777 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13774/statm: 228832 5819 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 915328
[startup+1.33257 s]
/proc/loadavg: 1.95 1.96 1.95 4/100 13782
/proc/meminfo: memFree=952040/2055920 swapFree=4174172/4192956
[pid=13774] ppid=13772 vsize=915328 CPUtime=1.21
/proc/13774/stat : 13774 (java) R 13772 13774 12374 0 -1 0 19099 0 1 0 111 10 0 0 24 0 8 0 155695164 937295872 18837 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073557572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13774/statm: 228832 18837 2149 14 0 215302 0
[pid=13774/tid=13776] ppid=13772 vsize=915328 CPUtime=0.06
/proc/13774/task/13776/stat : 13776 (java) S 13772 13774 12374 0 -1 64 2681 0 0 0 5 1 0 0 17 0 8 0 155695173 937295872 18837 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13777] ppid=13772 vsize=915328 CPUtime=0
/proc/13774/task/13777/stat : 13777 (java) S 13772 13774 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695174 937295872 18837 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13778] ppid=13772 vsize=915328 CPUtime=0
/proc/13774/task/13778/stat : 13778 (java) S 13772 13774 12374 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695174 937295872 18837 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13779] ppid=13772 vsize=915328 CPUtime=0
/proc/13774/task/13779/stat : 13779 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155695182 937295872 18837 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13780] ppid=13772 vsize=915328 CPUtime=0.08
/proc/13774/task/13780/stat : 13780 (java) S 13772 13774 12374 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 155695182 937295872 18837 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13781] ppid=13772 vsize=915328 CPUtime=0
/proc/13774/task/13781/stat : 13781 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695182 937295872 18837 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13782] ppid=13772 vsize=915328 CPUtime=0
/proc/13774/task/13782/stat : 13782 (java) S 13772 13774 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155695182 937295872 18837 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915328
[startup+2.97486 s]
/proc/loadavg: 1.95 1.96 1.95 4/100 13782
/proc/meminfo: memFree=916456/2055920 swapFree=4174172/4192956
[pid=13774] ppid=13772 vsize=915424 CPUtime=2.82
/proc/13774/stat : 13774 (java) R 13772 13774 12374 0 -1 0 32674 0 1 0 266 16 0 0 25 0 8 0 155695164 937394176 32408 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073765971 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13774/statm: 228856 32408 2521 14 0 215326 0
[pid=13774/tid=13776] ppid=13772 vsize=915424 CPUtime=0.45
/proc/13774/task/13776/stat : 13776 (java) S 13772 13774 12374 0 -1 64 15712 0 0 0 39 6 0 0 16 0 8 0 155695173 937394176 32408 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13777] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13777/stat : 13777 (java) S 13772 13774 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32408 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13778] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13778/stat : 13778 (java) S 13772 13774 12374 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32408 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13779] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13779/stat : 13779 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155695182 937394176 32408 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13780] ppid=13772 vsize=915424 CPUtime=0.18
/proc/13774/task/13780/stat : 13780 (java) S 13772 13774 12374 0 -1 64 364 0 0 0 18 0 0 0 15 0 8 0 155695182 937394176 32408 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13781] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13781/stat : 13781 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695182 937394176 32408 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13782] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13782/stat : 13782 (java) S 13772 13774 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155695182 937394176 32408 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 915424
[startup+6.27442 s]
/proc/loadavg: 1.95 1.96 1.95 3/100 13782
/proc/meminfo: memFree=896112/2055920 swapFree=4174172/4192956
[pid=13774] ppid=13772 vsize=915424 CPUtime=6.1
/proc/13774/stat : 13774 (java) R 13772 13774 12374 0 -1 0 32690 0 1 0 593 17 0 0 25 0 8 0 155695164 937394176 32421 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13774/statm: 228856 32421 2521 14 0 215326 0
[pid=13774/tid=13776] ppid=13772 vsize=915424 CPUtime=0.45
/proc/13774/task/13776/stat : 13776 (java) S 13772 13774 12374 0 -1 64 15712 0 0 0 39 6 0 0 17 0 8 0 155695173 937394176 32421 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13777] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13777/stat : 13777 (java) S 13772 13774 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32421 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13778] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13778/stat : 13778 (java) S 13772 13774 12374 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32421 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13779] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13779/stat : 13779 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155695182 937394176 32421 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13780] ppid=13772 vsize=915424 CPUtime=0.21
/proc/13774/task/13780/stat : 13780 (java) S 13772 13774 12374 0 -1 64 377 0 0 0 21 0 0 0 15 0 8 0 155695182 937394176 32421 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13781] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13781/stat : 13781 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695182 937394176 32421 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13782] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13782/stat : 13782 (java) S 13772 13774 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155695182 937394176 32421 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915424
[startup+12.7545 s]
/proc/loadavg: 1.95 1.96 1.95 3/100 13782
/proc/meminfo: memFree=896176/2055920 swapFree=4174172/4192956
[pid=13774] ppid=13772 vsize=915424 CPUtime=12.51
/proc/13774/stat : 13774 (java) R 13772 13774 12374 0 -1 0 32708 0 1 0 1234 17 0 0 25 0 8 0 155695164 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073634819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13774/statm: 228856 32435 2521 14 0 215326 0
[pid=13774/tid=13776] ppid=13772 vsize=915424 CPUtime=0.45
/proc/13774/task/13776/stat : 13776 (java) S 13772 13774 12374 0 -1 64 15712 0 0 0 39 6 0 0 16 0 8 0 155695173 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13777] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13777/stat : 13777 (java) S 13772 13774 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13778] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13778/stat : 13778 (java) S 13772 13774 12374 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13779] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13779/stat : 13779 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155695182 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13780] ppid=13772 vsize=915424 CPUtime=0.25
/proc/13774/task/13780/stat : 13780 (java) S 13772 13774 12374 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155695182 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13781] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13781/stat : 13781 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695182 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13782] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13782/stat : 13782 (java) S 13772 13774 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155695182 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915424
[startup+25.6347 s]
/proc/loadavg: 1.89 1.94 1.94 3/100 13838
/proc/meminfo: memFree=788784/2055920 swapFree=4174172/4192956
[pid=13774] ppid=13772 vsize=915424 CPUtime=25.3
/proc/13774/stat : 13774 (java) R 13772 13774 12374 0 -1 0 32708 0 1 0 2509 21 0 0 25 0 8 0 155695164 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073765961 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13774/statm: 228856 32435 2521 14 0 215326 0
[pid=13774/tid=13776] ppid=13772 vsize=915424 CPUtime=0.45
/proc/13774/task/13776/stat : 13776 (java) S 13772 13774 12374 0 -1 64 15712 0 0 0 39 6 0 0 16 0 8 0 155695173 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13777] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13777/stat : 13777 (java) S 13772 13774 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13778] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13778/stat : 13778 (java) S 13772 13774 12374 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13779] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13779/stat : 13779 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155695182 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13780] ppid=13772 vsize=915424 CPUtime=0.25
/proc/13774/task/13780/stat : 13780 (java) S 13772 13774 12374 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155695182 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13781] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13781/stat : 13781 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695182 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13782] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13782/stat : 13782 (java) S 13772 13774 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155695182 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915424
[startup+51.2702 s]
/proc/loadavg: 1.93 1.94 1.94 3/100 13838
/proc/meminfo: memFree=789040/2055920 swapFree=4174172/4192956
[pid=13774] ppid=13772 vsize=915424 CPUtime=50.92
/proc/13774/stat : 13774 (java) R 13772 13774 12374 0 -1 0 32708 0 1 0 5071 21 0 0 25 0 8 0 155695164 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13774/statm: 228856 32435 2521 14 0 215326 0
[pid=13774/tid=13776] ppid=13772 vsize=915424 CPUtime=0.45
/proc/13774/task/13776/stat : 13776 (java) S 13772 13774 12374 0 -1 64 15712 0 0 0 39 6 0 0 16 0 8 0 155695173 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13777] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13777/stat : 13777 (java) S 13772 13774 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13778] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13778/stat : 13778 (java) S 13772 13774 12374 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13779] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13779/stat : 13779 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155695182 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13780] ppid=13772 vsize=915424 CPUtime=0.25
/proc/13774/task/13780/stat : 13780 (java) S 13772 13774 12374 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155695182 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13781] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13781/stat : 13781 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695182 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13782] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13782/stat : 13782 (java) S 13772 13774 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155695182 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915424
[startup+102.537 s]
/proc/loadavg: 1.97 1.95 1.94 3/100 13838
/proc/meminfo: memFree=789168/2055920 swapFree=4174172/4192956
[pid=13774] ppid=13772 vsize=915424 CPUtime=102.14
/proc/13774/stat : 13774 (java) R 13772 13774 12374 0 -1 0 32708 0 1 0 10193 21 0 0 25 0 8 0 155695164 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073634819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13774/statm: 228856 32435 2521 14 0 215326 0
[pid=13774/tid=13776] ppid=13772 vsize=915424 CPUtime=0.45
/proc/13774/task/13776/stat : 13776 (java) S 13772 13774 12374 0 -1 64 15712 0 0 0 39 6 0 0 16 0 8 0 155695173 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13777] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13777/stat : 13777 (java) S 13772 13774 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13778] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13778/stat : 13778 (java) S 13772 13774 12374 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13779] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13779/stat : 13779 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155695182 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13780] ppid=13772 vsize=915424 CPUtime=0.25
/proc/13774/task/13780/stat : 13780 (java) S 13772 13774 12374 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155695182 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13781] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13781/stat : 13781 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695182 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13782] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13782/stat : 13782 (java) S 13772 13774 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155695182 937394176 32435 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 915424
[startup+162.551 s]
/proc/loadavg: 1.99 1.95 1.94 3/100 13838
/proc/meminfo: memFree=789168/2055920 swapFree=4174172/4192956
[pid=13774] ppid=13772 vsize=915424 CPUtime=162.06
/proc/13774/stat : 13774 (java) R 13772 13774 12374 0 -1 0 32710 0 1 0 16185 21 0 0 25 0 8 0 155695164 937394176 32436 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1420.95
Current children cumulated vsize (KiB) 915424
[startup+1482.88 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 14036
/proc/meminfo: memFree=788976/2055920 swapFree=4174172/4192956
[pid=13774] ppid=13772 vsize=915424 CPUtime=1480.9
/proc/13774/stat : 13774 (java) R 13772 13774 12374 0 -1 0 32711 0 1 0 148044 46 0 0 25 0 8 0 155695164 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073765961 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13774/statm: 228856 32437 2521 14 0 215326 0
[pid=13774/tid=13776] ppid=13772 vsize=915424 CPUtime=0.45
/proc/13774/task/13776/stat : 13776 (java) S 13772 13774 12374 0 -1 64 15712 0 0 0 39 6 0 0 16 0 8 0 155695173 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13777] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13777/stat : 13777 (java) S 13772 13774 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13778] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13778/stat : 13778 (java) S 13772 13774 12374 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13779] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13779/stat : 13779 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13780] ppid=13772 vsize=915424 CPUtime=0.26
/proc/13774/task/13780/stat : 13780 (java) S 13772 13774 12374 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13774/tid=13781] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13781/stat : 13781 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13782] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13782/stat : 13782 (java) S 13772 13774 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1480.9
Current children cumulated vsize (KiB) 915424
[startup+1542.89 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 14036
/proc/meminfo: memFree=788976/2055920 swapFree=4174172/4192956
[pid=13774] ppid=13772 vsize=915424 CPUtime=1540.85
/proc/13774/stat : 13774 (java) R 13772 13774 12374 0 -1 0 32711 0 1 0 154039 46 0 0 25 0 8 0 155695164 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073768465 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13774/statm: 228856 32437 2521 14 0 215326 0
[pid=13774/tid=13776] ppid=13772 vsize=915424 CPUtime=0.45
/proc/13774/task/13776/stat : 13776 (java) S 13772 13774 12374 0 -1 64 15712 0 0 0 39 6 0 0 16 0 8 0 155695173 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13777] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13777/stat : 13777 (java) S 13772 13774 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13778] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13778/stat : 13778 (java) S 13772 13774 12374 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13779] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13779/stat : 13779 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13780] ppid=13772 vsize=915424 CPUtime=0.26
/proc/13774/task/13780/stat : 13780 (java) S 13772 13774 12374 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13774/tid=13781] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13781/stat : 13781 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13782] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13782/stat : 13782 (java) S 13772 13774 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.85
Current children cumulated vsize (KiB) 915424
[startup+1602.91 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 14036
/proc/meminfo: memFree=788976/2055920 swapFree=4174172/4192956
[pid=13774] ppid=13772 vsize=915424 CPUtime=1600.79
/proc/13774/stat : 13774 (java) R 13772 13774 12374 0 -1 0 32711 0 1 0 160032 47 0 0 25 0 8 0 155695164 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13774/statm: 228856 32437 2521 14 0 215326 0
[pid=13774/tid=13776] ppid=13772 vsize=915424 CPUtime=0.45
/proc/13774/task/13776/stat : 13776 (java) S 13772 13774 12374 0 -1 64 15712 0 0 0 39 6 0 0 16 0 8 0 155695173 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13777] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13777/stat : 13777 (java) S 13772 13774 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13778] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13778/stat : 13778 (java) S 13772 13774 12374 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13779] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13779/stat : 13779 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13780] ppid=13772 vsize=915424 CPUtime=0.26
/proc/13774/task/13780/stat : 13780 (java) S 13772 13774 12374 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13774/tid=13781] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13781/stat : 13781 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13782] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13782/stat : 13782 (java) S 13772 13774 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.79
Current children cumulated vsize (KiB) 915424
[startup+1662.92 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 14036
/proc/meminfo: memFree=788976/2055920 swapFree=4174172/4192956
[pid=13774] ppid=13772 vsize=915424 CPUtime=1660.75
/proc/13774/stat : 13774 (java) R 13772 13774 12374 0 -1 0 32711 0 1 0 166028 47 0 0 25 0 8 0 155695164 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073776719 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13774/statm: 228856 32437 2521 14 0 215326 0
[pid=13774/tid=13776] ppid=13772 vsize=915424 CPUtime=0.45
/proc/13774/task/13776/stat : 13776 (java) S 13772 13774 12374 0 -1 64 15712 0 0 0 39 6 0 0 16 0 8 0 155695173 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13777] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13777/stat : 13777 (java) S 13772 13774 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13778] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13778/stat : 13778 (java) S 13772 13774 12374 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13779] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13779/stat : 13779 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13780] ppid=13772 vsize=915424 CPUtime=0.26
/proc/13774/task/13780/stat : 13780 (java) S 13772 13774 12374 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13774/tid=13781] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13781/stat : 13781 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13782] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13782/stat : 13782 (java) S 13772 13774 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.75
Current children cumulated vsize (KiB) 915424
[startup+1722.94 s]
/proc/loadavg: 2.06 2.02 1.96 3/100 14036
/proc/meminfo: memFree=788976/2055920 swapFree=4174172/4192956
[pid=13774] ppid=13772 vsize=915424 CPUtime=1720.71
/proc/13774/stat : 13774 (java) R 13772 13774 12374 0 -1 0 32711 0 1 0 172024 47 0 0 25 0 8 0 155695164 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13774/statm: 228856 32437 2521 14 0 215326 0
[pid=13774/tid=13776] ppid=13772 vsize=915424 CPUtime=0.45
/proc/13774/task/13776/stat : 13776 (java) S 13772 13774 12374 0 -1 64 15712 0 0 0 39 6 0 0 16 0 8 0 155695173 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13777] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13777/stat : 13777 (java) S 13772 13774 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13778] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13778/stat : 13778 (java) S 13772 13774 12374 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13779] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13779/stat : 13779 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13780] ppid=13772 vsize=915424 CPUtime=0.26
/proc/13774/task/13780/stat : 13780 (java) S 13772 13774 12374 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13774/tid=13781] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13781/stat : 13781 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13782] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13782/stat : 13782 (java) S 13772 13774 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.71
Current children cumulated vsize (KiB) 915424
[startup+1782.96 s]
/proc/loadavg: 2.09 2.03 1.97 3/100 14036
/proc/meminfo: memFree=788976/2055920 swapFree=4174172/4192956
[pid=13774] ppid=13772 vsize=915424 CPUtime=1780.65
/proc/13774/stat : 13774 (java) R 13772 13774 12374 0 -1 0 32711 0 1 0 178017 48 0 0 25 0 8 0 155695164 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073766004 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13774/statm: 228856 32437 2521 14 0 215326 0
[pid=13774/tid=13776] ppid=13772 vsize=915424 CPUtime=0.45
/proc/13774/task/13776/stat : 13776 (java) S 13772 13774 12374 0 -1 64 15712 0 0 0 39 6 0 0 16 0 8 0 155695173 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13777] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13777/stat : 13777 (java) S 13772 13774 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13778] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13778/stat : 13778 (java) S 13772 13774 12374 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13779] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13779/stat : 13779 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13780] ppid=13772 vsize=915424 CPUtime=0.26
/proc/13774/task/13780/stat : 13780 (java) S 13772 13774 12374 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13774/tid=13781] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13781/stat : 13781 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13782] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13782/stat : 13782 (java) S 13772 13774 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.65
Current children cumulated vsize (KiB) 915424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.41 s]
/proc/loadavg: 2.07 2.02 1.97 3/100 14036
/proc/meminfo: memFree=788976/2055920 swapFree=4174172/4192956
[pid=13774] ppid=13772 vsize=915424 CPUtime=1800.09
/proc/13774/stat : 13774 (java) R 13772 13774 12374 0 -1 0 32711 0 1 0 179961 48 0 0 25 0 8 0 155695164 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073765977 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13774/statm: 228856 32437 2521 14 0 215326 0
[pid=13774/tid=13776] ppid=13772 vsize=915424 CPUtime=0.45
/proc/13774/task/13776/stat : 13776 (java) S 13772 13774 12374 0 -1 64 15712 0 0 0 39 6 0 0 16 0 8 0 155695173 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13777] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13777/stat : 13777 (java) S 13772 13774 12374 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13778] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13778/stat : 13778 (java) S 13772 13774 12374 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155695174 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13779] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13779/stat : 13779 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13780] ppid=13772 vsize=915424 CPUtime=0.26
/proc/13774/task/13780/stat : 13780 (java) S 13772 13774 12374 0 -1 64 395 0 0 0 25 1 0 0 16 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13774/tid=13781] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13781/stat : 13781 (java) S 13772 13774 12374 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13774/tid=13782] ppid=13772 vsize=915424 CPUtime=0
/proc/13774/task/13782/stat : 13782 (java) S 13772 13774 12374 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155695182 937394176 32437 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1802.45
CPU time (s): 1800.13
CPU user time (s): 1799.63
CPU system time (s): 0.499924
CPU usage (%): 99.8712
Max. virtual memory (cumulated for all children) (KiB): 915424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.499924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32727
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= 37571
involuntary context switches= 14602
runsolver used 2.03169 s user time and 5.99309 s system time
The end
Begin job on node15 on Sat Jan 6 08:43:23 UTC 2007
IDJOB= 203223
IDBENCH= 3935
FILE ID= node15/203223-1168073003
PBS_JOBID= 3475673
Free space on /tmp= 66278 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-17_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203223-1168073003/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-203223-1168073003 -o ROOT/results/node15/solver-203223-1168073003 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203223-1168073003/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 13029a4c7e9f387791087a96ac7271d4
RANDOM SEED= 84775384
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.276
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.276
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: 1016768 kB
Buffers: 85144 kB
Cached: 788464 kB
SwapCached: 7128 kB
Active: 373536 kB
Inactive: 561808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1016768 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 7588 kB
Writeback: 0 kB
Mapped: 80404 kB
Slab: 88308 kB
Committed_AS: 4928100 kB
PageTables: 2496 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= 66272 MiB
End job on node15 on Sat Jan 6 09:13:26 UTC 2007