0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/203748-1168073188/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=27 nbDomainTypes=1 minDomainSize=27 maxDomainSize=27
0.39 => wckTime=0.094 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.52
0.52 constraints being loaded...
0.64 nbConstraints=351 nbRelationTypes=351 nbExtensionStructures=351 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=351 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=940 maxDegree=26
0.64 maxArity=2
0.64 => wckTime=0.341 cpuTime=0.26 mem=15M761
0.68
0.68 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.529 cpuTime=0.39 mem=14M249
0.84
0.84 preprocessing
0.84 nbConstraintChecks=0 nbPropagations=27 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.84 detectedInconsistency=no
0.84 => wckTime=0.0050 cpuTime=0.0 mem=14M249
0.88
0.88 search
0.88 run=0 nbConstraintChecks=43980 nbPropagations=488 nbRevisions=8076 nbUselessRevisions=7023 nbAssignments=26
0.88 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.05 cpuTime=0.03 mem=15M290
0.90
0.90 search
0.90 run=1 nbConstraintChecks=98743 nbPropagations=1575 nbRevisions=27190 nbUselessRevisions=23724 nbAssignments=66
0.90 nbFailedAssignments=26 nbBacktracks=28 nbVisitedNodes=111 nbRestartNogoods=2 mapSize=27 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.07 cpuTime=0.04 mem=15M290
0.92
0.92 search
0.92 run=2 nbConstraintChecks=179475 nbPropagations=3508 nbRevisions=63076 nbUselessRevisions=55176
0.92 nbAssignments=118 nbFailedAssignments=49 nbBacktracks=50 nbVisitedNodes=201 nbRestartNogoods=3 mapSize=49
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.094 cpuTime=0.06 mem=15M290
0.95
0.95 search
0.95 run=3 nbConstraintChecks=282974 nbPropagations=6581 nbRevisions=122040 nbUselessRevisions=106766
0.95 nbAssignments=190 nbFailedAssignments=82 nbBacktracks=83 nbVisitedNodes=329 nbRestartNogoods=7 mapSize=80
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.119 cpuTime=0.08 mem=15M290
0.98
0.98 search
0.98 run=4 nbConstraintChecks=418232 nbPropagations=11061 nbRevisions=209857 nbUselessRevisions=183584
0.98 nbAssignments=282 nbFailedAssignments=119 nbBacktracks=133 nbVisitedNodes=490 nbRestartNogoods=11 mapSize=127
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.144 cpuTime=0.1 mem=15M290
1.02
1.02 search
1.02 run=5 nbConstraintChecks=665052 nbPropagations=17975 nbRevisions=350517 nbUselessRevisions=306617
1.02 nbAssignments=436 nbFailedAssignments=191 nbBacktracks=209 nbVisitedNodes=771 nbRestartNogoods=15 mapSize=200
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.191 cpuTime=0.15 mem=15M290
1.09
1.09 search
1.09 run=6 nbConstraintChecks=1030491 nbPropagations=28519 nbRevisions=571234 nbUselessRevisions=500052
1.09 nbAssignments=658 nbFailedAssignments=295 nbBacktracks=322 nbVisitedNodes=1182 nbRestartNogoods=21 mapSize=311
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.257 cpuTime=0.21 mem=15M290
1.18
1.18 search
1.18 run=7 nbConstraintChecks=1558493 nbPropagations=44369 nbRevisions=909147 nbUselessRevisions=796372
1.18 nbAssignments=997 nbFailedAssignments=457 nbBacktracks=492 nbVisitedNodes=1810 nbRestartNogoods=26 mapSize=480
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.351 cpuTime=0.3 mem=15M290
1.34
1.34 search
1.34 run=8 nbConstraintChecks=2385611 nbPropagations=68450 nbRevisions=1432444 nbUselessRevisions=1255915
1.34 nbAssignments=1520 nbFailedAssignments=718 nbBacktracks=748 nbVisitedNodes=2784 nbRestartNogoods=35
1.34 mapSize=733 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.508 cpuTime=0.44 mem=15M290
1.49
1.49 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=15M290)
1.53
1.53 search
1.53 run=9 nbConstraintChecks=3519042 nbPropagations=104132 nbRevisions=2217063 nbUselessRevisions=1945312
1.53 nbAssignments=2281 nbFailedAssignments=1090 nbBacktracks=1132 nbVisitedNodes=4192 nbRestartNogoods=45
1.53 => wckTime=0.699 cpuTime=0.63 mem=15M290
1.85
1.85 search
1.85 run=10 nbConstraintChecks=5237889 nbPropagations=157099 nbRevisions=3387347 nbUselessRevisions=2973533
1.85 nbAssignments=3391 nbFailedAssignments=1617 nbBacktracks=1709 nbVisitedNodes=6242 nbRestartNogoods=50
1.85 => wckTime=1.017 cpuTime=0.94 mem=15M290
2.38
2.38 search
2.38 run=11 nbConstraintChecks=7677376 nbPropagations=235641 nbRevisions=5121718 nbUselessRevisions=4497689
2.38 nbAssignments=5050 nbFailedAssignments=2404 nbBacktracks=2574 nbVisitedNodes=9326 nbRestartNogoods=58
2.38 => wckTime=1.544 cpuTime=1.46 mem=15M290
3.13
3.13 search
3.13 run=12 nbConstraintChecks=11485204 nbPropagations=352544 nbRevisions=7713710 nbUselessRevisions=6776531
3.13 nbAssignments=7532 nbFailedAssignments=3583 nbBacktracks=3871 nbVisitedNodes=13908 nbRestartNogoods=65
3.13 => wckTime=2.298 cpuTime=2.21 mem=15M290
4.28
4.28 search
4.28 run=13 nbConstraintChecks=17487885 nbPropagations=528249 nbRevisions=11620534 nbUselessRevisions=10208711
4.28 nbAssignments=11256 nbFailedAssignments=5355 nbBacktracks=5817 nbVisitedNodes=20789 nbRestartNogoods=77
4.28 => wckTime=3.453 cpuTime=3.36 mem=15M290
6.03
6.03 search
6.03 run=14 nbConstraintChecks=26430136 nbPropagations=792907 nbRevisions=17519809 nbUselessRevisions=15390904
6.03 nbAssignments=16949 nbFailedAssignments=8122 nbBacktracks=8737 nbVisitedNodes=31344 nbRestartNogoods=92
6.03 => wckTime=5.203 cpuTime=5.11 mem=15M290
8.63
8.63 search
8.63 run=15 nbConstraintChecks=39841904 nbPropagations=1189702 nbRevisions=26401304 nbUselessRevisions=23195510
8.63 nbAssignments=25359 nbFailedAssignments=12147 nbBacktracks=13116 nbVisitedNodes=46921 nbRestartNogoods=104
8.63 => wckTime=7.803 cpuTime=7.72 mem=15M290
12.52
12.53 search
12.53 run=16 nbConstraintChecks=59966501 nbPropagations=1785197 nbRevisions=39771657 nbUselessRevisions=34948167
12.53 nbAssignments=37998 nbFailedAssignments=18211 nbBacktracks=19685 nbVisitedNodes=70316 nbRestartNogoods=116
12.53 => wckTime=11.694 cpuTime=11.61 mem=15M290
18.07
18.07 search
18.07 run=17 nbConstraintChecks=88108615 nbPropagations=2666228 nbRevisions=59497547 nbUselessRevisions=52291743
18.07 nbAssignments=56546 nbFailedAssignments=26902 nbBacktracks=29537 nbVisitedNodes=104488 nbRestartNogoods=126
18.07 => wckTime=17.236 cpuTime=17.15 mem=15M290
26.63
26.63 search
26.63 run=18 nbConstraintChecks=131629179 nbPropagations=3983915 nbRevisions=88999476 nbUselessRevisions=78234202
26.63 nbAssignments=84581 nbFailedAssignments=40152 nbBacktracks=44319 nbVisitedNodes=156330 nbRestartNogoods=141
26.63 => wckTime=25.803 cpuTime=25.71 mem=15M290
40.03
40.03 search
40.03 run=19 nbConstraintChecks=201587151 nbPropagations=5981454 nbRevisions=133872774 nbUselessRevisions=117681496
40.03 nbAssignments=127467 nbFailedAssignments=60864 nbBacktracks=66487 nbVisitedNodes=235861 nbRestartNogoods=149
40.03 => wckTime=39.199 cpuTime=39.09 mem=15M290
60.11
60.11 search
60.11 run=20 nbConstraintChecks=305326734 nbPropagations=8992046 nbRevisions=201753512 nbUselessRevisions=177359421
60.11 nbAssignments=191751 nbFailedAssignments=91890 nbBacktracks=99740 nbVisitedNodes=355074 nbRestartNogoods=163
60.11 => wckTime=59.277 cpuTime=59.16 mem=15M290
89.94
89.94 search
89.94 run=21 nbConstraintChecks=458595035 nbPropagations=13513285 nbRevisions=303756492 nbUselessRevisions=267042973
89.94 nbAssignments=287781 nbFailedAssignments=138035 nbBacktracks=149618 nbVisitedNodes=532950 nbRestartNogoods=178
89.94 => wckTime=89.113 cpuTime=88.97 mem=15M290
133.69
133.69 search
133.69 run=22 nbConstraintChecks=682697379 nbPropagations=20271407 nbRevisions=456114445 nbUselessRevisions=401008763
133.69 nbAssignments=431311 nbFailedAssignments=206741 nbBacktracks=224437 nbVisitedNodes=798448 nbRestartNogoods=190
133.69 => wckTime=132.857 cpuTime=132.69 mem=15M290
201.45
201.45 search
201.45 run=23 nbConstraintChecks=1031404696 nbPropagations=30448657 nbRevisions=685974546 nbUselessRevisions=603149520
201.45 nbAssignments=648167 nbFailedAssignments=311363 nbBacktracks=336664 nbVisitedNodes=1200221 nbRestartNogoods=211
201.45 => wckTime=200.616 cpuTime=200.41 mem=15M290
303.10
303.10 search
303.10 run=24 nbConstraintChecks=1559001558 nbPropagations=45760594 nbRevisions=1032273018
303.10 nbUselessRevisions=907677185 nbAssignments=971917 nbFailedAssignments=466766 nbBacktracks=505006
303.10 nbVisitedNodes=1800174 nbRestartNogoods=231
303.10 => wckTime=302.265 cpuTime=301.99 mem=15M290
454.51
454.51 search
454.51 run=25 nbConstraintChecks=2333538602 nbPropagations=68713343 nbRevisions=1552065325
454.51 nbUselessRevisions=1364925457 nbAssignments=1457579 nbFailedAssignments=699912 nbBacktracks=757517
454.51 nbVisitedNodes=2700213 nbRestartNogoods=254
454.51 => wckTime=453.676 cpuTime=453.31 mem=15M290
683.48
683.48 search
683.49 run=26 nbConstraintChecks=3515859531 nbPropagations=103210255 nbRevisions=2334652951
683.49 nbUselessRevisions=2053454607 nbAssignments=2187677 nbFailedAssignments=1051235 nbBacktracks=1136286
683.49 nbVisitedNodes=4053609 nbRestartNogoods=275
683.49 => wckTime=682.654 cpuTime=682.16 mem=15M290
1030.64
1030.64 search
1030.64 run=27 nbConstraintChecks=5311016766 nbPropagations=155151997 nbRevisions=3515437904
1030.64 nbUselessRevisions=3092501813 nbAssignments=3288060 nbFailedAssignments=1583461 nbBacktracks=1704438
1030.64 nbVisitedNodes=6095326 nbRestartNogoods=301
1030.64 => wckTime=1029.81 cpuTime=1029.11 mem=15M290
1548.79
1548.79 search
1548.79 run=28 nbConstraintChecks=7983772531 nbPropagations=233123032 nbRevisions=5290195400
1548.79 nbUselessRevisions=4654490113 nbAssignments=4931510 nbFailedAssignments=2374680 nbBacktracks=2556666
1548.79 nbVisitedNodes=9144208 nbRestartNogoods=316
1548.79 => wckTime=1547.961 cpuTime=1546.97 mem=15M290
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-203748-1168073188 -o ROOT/results/node60/solver-203748-1168073188 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203748-1168073188/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: 0.93 0.99 1.08 3/65 11533
/proc/meminfo: memFree=1501096/2055920 swapFree=4192812/4192956
[pid=11532] ppid=11530 vsize=172 CPUtime=0
/proc/11532/stat : 11532 (java) R 11530 11532 10642 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 155716717 176128 24 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 5534500 0 0 4096 0 0 0 0 17 1 0 0
/proc/11532/statm: 43 24 18 14 0 3 0
[startup+0.104554 s]
/proc/loadavg: 0.93 0.99 1.08 3/65 11533
/proc/meminfo: memFree=1501096/2055920 swapFree=4192812/4192956
[pid=11532] ppid=11530 vsize=914988 CPUtime=0.08
/proc/11532/stat : 11532 (java) R 11530 11532 10642 0 -1 0 3047 0 1 0 7 1 0 0 17 0 8 0 155716717 936947712 2793 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4155582758 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11532/statm: 228747 2793 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512593 s]
/proc/loadavg: 0.93 0.99 1.08 3/65 11533
/proc/meminfo: memFree=1501096/2055920 swapFree=4192812/4192956
[pid=11532] ppid=11530 vsize=915328 CPUtime=0.5
/proc/11532/stat : 11532 (java) R 11530 11532 10642 0 -1 0 7288 0 1 0 46 4 0 0 16 0 8 0 155716717 937295872 7027 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073582989 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11532/statm: 228832 7027 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33267 s]
/proc/loadavg: 0.93 0.99 1.08 2/72 11540
/proc/meminfo: memFree=1475120/2055920 swapFree=4192812/4192956
[pid=11532] ppid=11530 vsize=915456 CPUtime=1.3
/proc/11532/stat : 11532 (java) S 11530 11532 10642 0 -1 0 9197 0 1 0 124 6 0 0 16 0 8 0 155716717 937426944 8935 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11532/statm: 228864 8935 2513 14 0 215334 0
[pid=11532/tid=11534] ppid=11530 vsize=915456 CPUtime=0.03
/proc/11532/task/11534/stat : 11534 (java) S 11530 11532 10642 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155716721 937426944 8935 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11532/tid=11535] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11535/stat : 11535 (java) S 11530 11532 10642 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8935 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11536] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11536/stat : 11536 (java) S 11530 11532 10642 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8935 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11537] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11537/stat : 11537 (java) S 11530 11532 10642 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155716724 937426944 8935 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11538] ppid=11530 vsize=915456 CPUtime=0.19
/proc/11532/task/11538/stat : 11538 (java) R 11530 11532 10642 0 -1 64 378 0 0 0 18 1 0 0 16 0 8 0 155716724 937426944 8935 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11539] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11539/stat : 11539 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155716724 937426944 8935 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11540] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11540/stat : 11540 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155716724 937426944 8935 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.96983 s]
/proc/loadavg: 0.93 0.99 1.08 2/72 11540
/proc/meminfo: memFree=1475056/2055920 swapFree=4192812/4192956
[pid=11532] ppid=11530 vsize=915456 CPUtime=2.93
/proc/11532/stat : 11532 (java) R 11530 11532 10642 0 -1 0 9210 0 1 0 287 6 0 0 17 0 8 0 155716717 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073793984 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11532/statm: 228864 8947 2513 14 0 215334 0
[pid=11532/tid=11534] ppid=11530 vsize=915456 CPUtime=0.03
/proc/11532/task/11534/stat : 11534 (java) S 11530 11532 10642 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155716721 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11532/tid=11535] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11535/stat : 11535 (java) S 11530 11532 10642 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11536] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11536/stat : 11536 (java) S 11530 11532 10642 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11537] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11537/stat : 11537 (java) S 11530 11532 10642 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155716724 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11538] ppid=11530 vsize=915456 CPUtime=0.21
/proc/11532/task/11538/stat : 11538 (java) S 11530 11532 10642 0 -1 64 390 0 0 0 20 1 0 0 15 0 8 0 155716724 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11539] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11539/stat : 11539 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155716724 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11540] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11540/stat : 11540 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155716724 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
[startup+6.26115 s]
/proc/loadavg: 0.93 0.99 1.08 2/72 11540
/proc/meminfo: memFree=1474928/2055920 swapFree=4192812/4192956
[pid=11532] ppid=11530 vsize=915456 CPUtime=6.22
/proc/11532/stat : 11532 (java) R 11530 11532 10642 0 -1 0 9211 0 1 0 616 6 0 0 23 0 8 0 155716717 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073807979 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11532/statm: 228864 8947 2513 14 0 215334 0
[pid=11532/tid=11534] ppid=11530 vsize=915456 CPUtime=0.03
/proc/11532/task/11534/stat : 11534 (java) S 11530 11532 10642 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155716721 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11532/tid=11535] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11535/stat : 11535 (java) S 11530 11532 10642 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11536] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11536/stat : 11536 (java) S 11530 11532 10642 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11537] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11537/stat : 11537 (java) S 11530 11532 10642 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155716724 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11538] ppid=11530 vsize=915456 CPUtime=0.21
/proc/11532/task/11538/stat : 11538 (java) S 11530 11532 10642 0 -1 64 390 0 0 0 20 1 0 0 15 0 8 0 155716724 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11539] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11539/stat : 11539 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155716724 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11540] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11540/stat : 11540 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155716724 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915456
[startup+12.7308 s]
/proc/loadavg: 0.94 0.99 1.08 2/72 11540
/proc/meminfo: memFree=1474936/2055920 swapFree=4192812/4192956
[pid=11532] ppid=11530 vsize=915456 CPUtime=12.69
/proc/11532/stat : 11532 (java) R 11530 11532 10642 0 -1 0 9211 0 1 0 1263 6 0 0 25 0 8 0 155716717 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073838487 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11532/statm: 228864 8947 2513 14 0 215334 0
[pid=11532/tid=11534] ppid=11530 vsize=915456 CPUtime=0.03
/proc/11532/task/11534/stat : 11534 (java) S 11530 11532 10642 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155716721 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11532/tid=11535] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11535/stat : 11535 (java) S 11530 11532 10642 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11536] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11536/stat : 11536 (java) S 11530 11532 10642 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11537] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11537/stat : 11537 (java) S 11530 11532 10642 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155716724 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11538] ppid=11530 vsize=915456 CPUtime=0.21
/proc/11532/task/11538/stat : 11538 (java) S 11530 11532 10642 0 -1 64 390 0 0 0 20 1 0 0 15 0 8 0 155716724 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11539] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11539/stat : 11539 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155716724 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11540] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11540/stat : 11540 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155716724 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915456
[startup+25.5881 s]
/proc/loadavg: 0.95 0.99 1.08 2/72 11540
/proc/meminfo: memFree=1475000/2055920 swapFree=4192812/4192956
[pid=11532] ppid=11530 vsize=915456 CPUtime=25.55
/proc/11532/stat : 11532 (java) R 11530 11532 10642 0 -1 0 9211 0 1 0 2548 7 0 0 25 0 8 0 155716717 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073816102 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11532/statm: 228864 8947 2513 14 0 215334 0
[pid=11532/tid=11534] ppid=11530 vsize=915456 CPUtime=0.03
/proc/11532/task/11534/stat : 11534 (java) S 11530 11532 10642 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155716721 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11532/tid=11535] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11535/stat : 11535 (java) S 11530 11532 10642 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11536] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11536/stat : 11536 (java) S 11530 11532 10642 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11537] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11537/stat : 11537 (java) S 11530 11532 10642 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155716724 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11538] ppid=11530 vsize=915456 CPUtime=0.21
/proc/11532/task/11538/stat : 11538 (java) S 11530 11532 10642 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 155716724 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11539] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11539/stat : 11539 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155716724 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11540] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11540/stat : 11540 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155716724 937426944 8947 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915456
[startup+51.2776 s]
/proc/loadavg: 1.03 1.00 1.08 2/72 11540
/proc/meminfo: memFree=1475064/2055920 swapFree=4192812/4192956
[pid=11532] ppid=11530 vsize=915456 CPUtime=51.22
/proc/11532/stat : 11532 (java) R 11530 11532 10642 0 -1 0 9213 0 1 0 5115 7 0 0 25 0 8 0 155716717 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073807200 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11532/statm: 228864 8948 2513 14 0 215334 0
[pid=11532/tid=11534] ppid=11530 vsize=915456 CPUtime=0.03
/proc/11532/task/11534/stat : 11534 (java) S 11530 11532 10642 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155716721 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11532/tid=11535] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11535/stat : 11535 (java) S 11530 11532 10642 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11536] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11536/stat : 11536 (java) S 11530 11532 10642 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11537] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11537/stat : 11537 (java) S 11530 11532 10642 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155716724 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11538] ppid=11530 vsize=915456 CPUtime=0.21
/proc/11532/task/11538/stat : 11538 (java) S 11530 11532 10642 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155716724 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11539] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11539/stat : 11539 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155716724 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11540] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11540/stat : 11540 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155716724 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 915456
[startup+102.554 s]
/proc/loadavg: 1.01 1.00 1.08 2/72 11540
/proc/meminfo: memFree=1475064/2055920 swapFree=4192812/4192956
[pid=11532] ppid=11530 vsize=915456 CPUtime=102.46
/proc/11532/stat : 11532 (java) R 11530 11532 10642 0 -1 0 9213 0 1 0 10239 7 0 0 25 0 8 0 155716717 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073801817 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11532/statm: 228864 8948 2513 14 0 215334 0
[pid=11532/tid=11534] ppid=11530 vsize=915456 CPUtime=0.03
/proc/11532/task/11534/stat : 11534 (java) S 11530 11532 10642 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155716721 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11532/tid=11535] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11535/stat : 11535 (java) S 11530 11532 10642 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11536] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11536/stat : 11536 (java) S 11530 11532 10642 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11537] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11537/stat : 11537 (java) S 11530 11532 10642 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155716724 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11538] ppid=11530 vsize=915456 CPUtime=0.21
/proc/11532/task/11538/stat : 11538 (java) S 11530 11532 10642 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155716724 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11539] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11539/stat : 11539 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155716724 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11540] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11540/stat : 11540 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155716724 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915456
[startup+162.563 s]
/proc/loadavg: 1.00 1.00 1.07 2/72 11540
/proc/meminfo: memFree=1475064/2055920 swapFree=4192812/4192956
[pid=11532] ppid=11530 vsize=915456 CPUtime=162.44
/proc/11532/stat : 11532 (java) R 11530 11532 10642 0 -1 0 9213 0 1 0 16237 7 0 0 25 0 8 0 155716717 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073821723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 915456
[startup+1482.83 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11738
/proc/meminfo: memFree=1475000/2055920 swapFree=4192812/4192956
[pid=11532] ppid=11530 vsize=915456 CPUtime=1481.92
/proc/11532/stat : 11532 (java) R 11530 11532 10642 0 -1 0 9214 0 1 0 148177 15 0 0 25 0 8 0 155716717 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073819971 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11532/statm: 228864 8949 2513 14 0 215334 0
[pid=11532/tid=11534] ppid=11530 vsize=915456 CPUtime=0.03
/proc/11532/task/11534/stat : 11534 (java) S 11530 11532 10642 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11532/tid=11535] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11535/stat : 11535 (java) S 11530 11532 10642 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11536] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11536/stat : 11536 (java) S 11530 11532 10642 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11537] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11537/stat : 11537 (java) S 11530 11532 10642 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11538] ppid=11530 vsize=915456 CPUtime=0.21
/proc/11532/task/11538/stat : 11538 (java) S 11530 11532 10642 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11539] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11539/stat : 11539 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11540] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11540/stat : 11540 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 915456
[startup+1542.83 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11738
/proc/meminfo: memFree=1474936/2055920 swapFree=4192812/4192956
[pid=11532] ppid=11530 vsize=915456 CPUtime=1541.9
/proc/11532/stat : 11532 (java) R 11530 11532 10642 0 -1 0 9214 0 1 0 154175 15 0 0 25 0 8 0 155716717 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073808105 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11532/statm: 228864 8949 2513 14 0 215334 0
[pid=11532/tid=11534] ppid=11530 vsize=915456 CPUtime=0.03
/proc/11532/task/11534/stat : 11534 (java) S 11530 11532 10642 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11532/tid=11535] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11535/stat : 11535 (java) S 11530 11532 10642 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11536] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11536/stat : 11536 (java) S 11530 11532 10642 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11537] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11537/stat : 11537 (java) S 11530 11532 10642 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11538] ppid=11530 vsize=915456 CPUtime=0.21
/proc/11532/task/11538/stat : 11538 (java) S 11530 11532 10642 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11539] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11539/stat : 11539 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11540] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11540/stat : 11540 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 915456
[startup+1602.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11738
/proc/meminfo: memFree=1474936/2055920 swapFree=4192812/4192956
[pid=11532] ppid=11530 vsize=915456 CPUtime=1601.88
/proc/11532/stat : 11532 (java) R 11530 11532 10642 0 -1 0 9214 0 1 0 160173 15 0 0 25 0 8 0 155716717 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073808121 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11532/statm: 228864 8949 2513 14 0 215334 0
[pid=11532/tid=11534] ppid=11530 vsize=915456 CPUtime=0.03
/proc/11532/task/11534/stat : 11534 (java) S 11530 11532 10642 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11532/tid=11535] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11535/stat : 11535 (java) S 11530 11532 10642 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11536] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11536/stat : 11536 (java) S 11530 11532 10642 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11537] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11537/stat : 11537 (java) S 11530 11532 10642 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11538] ppid=11530 vsize=915456 CPUtime=0.21
/proc/11532/task/11538/stat : 11538 (java) S 11530 11532 10642 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11539] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11539/stat : 11539 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11540] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11540/stat : 11540 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 915456
[startup+1662.85 s]
/proc/loadavg: 1.06 1.02 1.00 2/72 11738
/proc/meminfo: memFree=1474936/2055920 swapFree=4192812/4192956
[pid=11532] ppid=11530 vsize=915456 CPUtime=1661.85
/proc/11532/stat : 11532 (java) R 11530 11532 10642 0 -1 0 9214 0 1 0 166170 15 0 0 25 0 8 0 155716717 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073794975 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11532/statm: 228864 8949 2513 14 0 215334 0
[pid=11532/tid=11534] ppid=11530 vsize=915456 CPUtime=0.03
/proc/11532/task/11534/stat : 11534 (java) S 11530 11532 10642 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11532/tid=11535] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11535/stat : 11535 (java) S 11530 11532 10642 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11536] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11536/stat : 11536 (java) S 11530 11532 10642 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11537] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11537/stat : 11537 (java) S 11530 11532 10642 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11538] ppid=11530 vsize=915456 CPUtime=0.21
/proc/11532/task/11538/stat : 11538 (java) S 11530 11532 10642 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11539] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11539/stat : 11539 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11540] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11540/stat : 11540 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 915456
[startup+1722.86 s]
/proc/loadavg: 1.02 1.01 1.00 2/72 11738
/proc/meminfo: memFree=1474936/2055920 swapFree=4192812/4192956
[pid=11532] ppid=11530 vsize=915456 CPUtime=1721.82
/proc/11532/stat : 11532 (java) R 11530 11532 10642 0 -1 0 9214 0 1 0 172167 15 0 0 25 0 8 0 155716717 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11532/statm: 228864 8949 2513 14 0 215334 0
[pid=11532/tid=11534] ppid=11530 vsize=915456 CPUtime=0.03
/proc/11532/task/11534/stat : 11534 (java) S 11530 11532 10642 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11532/tid=11535] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11535/stat : 11535 (java) S 11530 11532 10642 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11536] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11536/stat : 11536 (java) S 11530 11532 10642 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11537] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11537/stat : 11537 (java) S 11530 11532 10642 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11538] ppid=11530 vsize=915456 CPUtime=0.21
/proc/11532/task/11538/stat : 11538 (java) S 11530 11532 10642 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11539] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11539/stat : 11539 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11540] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11540/stat : 11540 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 915456
[startup+1782.87 s]
/proc/loadavg: 1.01 1.00 1.00 2/72 11738
/proc/meminfo: memFree=1474936/2055920 swapFree=4192812/4192956
[pid=11532] ppid=11530 vsize=915456 CPUtime=1781.81
/proc/11532/stat : 11532 (java) R 11530 11532 10642 0 -1 0 9214 0 1 0 178166 15 0 0 25 0 8 0 155716717 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073802889 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11532/statm: 228864 8949 2513 14 0 215334 0
[pid=11532/tid=11534] ppid=11530 vsize=915456 CPUtime=0.03
/proc/11532/task/11534/stat : 11534 (java) S 11530 11532 10642 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11532/tid=11535] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11535/stat : 11535 (java) S 11530 11532 10642 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11536] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11536/stat : 11536 (java) S 11530 11532 10642 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11537] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11537/stat : 11537 (java) S 11530 11532 10642 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11538] ppid=11530 vsize=915456 CPUtime=0.21
/proc/11532/task/11538/stat : 11538 (java) S 11530 11532 10642 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11539] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11539/stat : 11539 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11540] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11540/stat : 11540 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 915456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11738
/proc/meminfo: memFree=1474872/2055920 swapFree=4192812/4192956
[pid=11532] ppid=11530 vsize=915456 CPUtime=1800.07
/proc/11532/stat : 11532 (java) R 11530 11532 10642 0 -1 0 9214 0 1 0 179992 15 0 0 25 0 8 0 155716717 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073808082 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11532/statm: 228864 8949 2513 14 0 215334 0
[pid=11532/tid=11534] ppid=11530 vsize=915456 CPUtime=0.03
/proc/11532/task/11534/stat : 11534 (java) S 11530 11532 10642 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11532/tid=11535] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11535/stat : 11535 (java) S 11530 11532 10642 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11536] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11536/stat : 11536 (java) S 11530 11532 10642 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155716721 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11537] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11537/stat : 11537 (java) S 11530 11532 10642 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11538] ppid=11530 vsize=915456 CPUtime=0.21
/proc/11532/task/11538/stat : 11538 (java) S 11530 11532 10642 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11539] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11539/stat : 11539 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11532/tid=11540] ppid=11530 vsize=915456 CPUtime=0
/proc/11532/task/11540/stat : 11540 (java) S 11530 11532 10642 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155716724 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.18
CPU time (s): 1800.11
CPU user time (s): 1799.95
CPU system time (s): 0.163975
CPU usage (%): 99.9403
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.163975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9230
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= 37278
involuntary context switches= 28448
runsolver used 1.67274 s user time and 4.74928 s system time
The end
Begin job on node60 on Sat Jan 6 08:46:28 UTC 2007
IDJOB= 203748
IDBENCH= 3979
FILE ID= node60/203748-1168073188
PBS_JOBID= 3475639
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-27/rand-27-27-351-163-55021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203748-1168073188/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-203748-1168073188 -o ROOT/results/node60/solver-203748-1168073188 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203748-1168073188/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f8fb9ae66b90ba73795e8a335c4e455c
RANDOM SEED= 96252988
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1501576 kB
Buffers: 47036 kB
Cached: 417200 kB
SwapCached: 0 kB
Active: 54356 kB
Inactive: 426036 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1501576 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1996 kB
Writeback: 0 kB
Mapped: 26348 kB
Slab: 59948 kB
Committed_AS: 3248120 kB
PageTables: 1468 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= 66552 MiB
End job on node60 on Sat Jan 6 09:16:30 UTC 2007