0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/200038-1168071882/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.39 => wckTime=0.093 cpuTime=0.07 mem=6M951
0.39
0.39 relations being loaded...
1.01
1.01 constraints being loaded...
1.27 nbConstraints=76 nbRelationTypes=76 nbExtensionStructures=76 nbSharedExtensionStructures=0
1.27 nbConflictsStructures=76 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
1.27 => wckTime=0.978 cpuTime=0.85 mem=50M840
1.39
1.39 solver IterativeSystematicSolver being built...
1.55 => wckTime=1.253 cpuTime=0.97 mem=34M589
1.56
1.56 preprocessing
1.56 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.56 detectedInconsistency=no
1.56 => wckTime=0.0040 cpuTime=0.0 mem=34M589
1.66
1.66 search
1.66 run=0 nbConstraintChecks=28522 nbValidityChecks=49426 nbPropagations=348 nbRevisions=3609
1.66 nbUselessRevisions=2867 nbAssignments=27 nbFailedAssignments=11 nbBacktracks=12 nbVisitedNodes=45
1.66 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.66 => wckTime=0.111 cpuTime=0.08 mem=35M580
1.76
1.76 search
1.76 run=1 nbConstraintChecks=79315 nbValidityChecks=148514 nbPropagations=1233 nbRevisions=14008
1.76 nbUselessRevisions=11036 nbAssignments=71 nbFailedAssignments=34 nbBacktracks=27 nbVisitedNodes=123
1.76 nbRestartNogoods=1 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.76 => wckTime=0.205 cpuTime=0.16 mem=35M580
1.88
1.88 search
1.88 run=2 nbConstraintChecks=147529 nbValidityChecks=284824 nbPropagations=2847 nbRevisions=32692
1.88 nbUselessRevisions=25731 nbAssignments=134 nbFailedAssignments=70 nbBacktracks=49 nbVisitedNodes=237
1.88 nbRestartNogoods=5 mapSize=42 nbInferences=0 nbTooLargeKeys=0
1.88 => wckTime=0.326 cpuTime=0.27 mem=35M580
2.04
2.04 search
2.04 run=3 nbConstraintChecks=263167 nbValidityChecks=512316 nbPropagations=5632 nbRevisions=65801
2.04 nbUselessRevisions=51823 nbAssignments=242 nbFailedAssignments=138 nbBacktracks=82 nbVisitedNodes=436
2.04 nbRestartNogoods=9 mapSize=72 nbInferences=0 nbTooLargeKeys=0
2.04 => wckTime=0.492 cpuTime=0.43 mem=35M580
2.22
2.22 search
2.22 run=4 nbConstraintChecks=379475 nbValidityChecks=731655 nbPropagations=9736 nbRevisions=113920
2.22 nbUselessRevisions=89538 nbAssignments=342 nbFailedAssignments=182 nbBacktracks=133 nbVisitedNodes=614
2.22 nbRestartNogoods=20 mapSize=113 nbInferences=0 nbTooLargeKeys=0
2.22 => wckTime=0.665 cpuTime=0.6 mem=35M580
2.46
2.46 search
2.46 run=5 nbConstraintChecks=537344 nbValidityChecks=1043988 nbPropagations=15830 nbRevisions=184709
2.46 nbUselessRevisions=144841 nbAssignments=494 nbFailedAssignments=253 nbBacktracks=209 nbVisitedNodes=880
2.46 nbRestartNogoods=25 mapSize=179 nbInferences=0 nbTooLargeKeys=0
2.46 => wckTime=0.905 cpuTime=0.84 mem=35M580
2.78
2.78 search
2.78 run=6 nbConstraintChecks=760200 nbValidityChecks=1476171 nbPropagations=24826 nbRevisions=287844
2.78 nbUselessRevisions=225438 nbAssignments=711 nbFailedAssignments=350 nbBacktracks=323 nbVisitedNodes=1264
2.78 nbRestartNogoods=36 mapSize=276 nbInferences=0 nbTooLargeKeys=0
2.78 => wckTime=1.23 cpuTime=1.16 mem=35M580
3.37
3.37 search
3.37 run=7 nbConstraintChecks=1157033 nbValidityChecks=2270919 nbPropagations=38218 nbRevisions=443215
3.37 nbUselessRevisions=347161 nbAssignments=1088 nbFailedAssignments=551 nbBacktracks=493 nbVisitedNodes=1945
3.37 nbRestartNogoods=43 mapSize=423 nbInferences=0 nbTooLargeKeys=0
3.37 => wckTime=1.82 cpuTime=1.74 mem=35M580
4.31
4.31 search
4.31 run=8 nbConstraintChecks=1806723 nbValidityChecks=3543082 nbPropagations=59232 nbRevisions=689930
4.31 nbUselessRevisions=540680 nbAssignments=1692 nbFailedAssignments=893 nbBacktracks=749 nbVisitedNodes=3049
4.31 nbRestartNogoods=47 mapSize=645 nbInferences=0 nbTooLargeKeys=0
4.31 => wckTime=2.761 cpuTime=2.66 mem=35M580
5.50
5.50 search
5.50 run=9 nbConstraintChecks=2642131 nbValidityChecks=5155546 nbPropagations=90423 nbRevisions=1052872
5.50 nbUselessRevisions=824472 nbAssignments=2457 nbFailedAssignments=1268 nbBacktracks=1134 nbVisitedNodes=4423
5.50 nbRestartNogoods=63 mapSize=962 nbInferences=0 nbTooLargeKeys=0
5.50 => wckTime=3.949 cpuTime=3.84 mem=35M580
5.79
5.80 INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=35M580)
7.79
7.79 search
7.79 run=10 nbConstraintChecks=4247913 nbValidityChecks=8376057 nbPropagations=138778 nbRevisions=1629560
7.79 nbUselessRevisions=1275439 nbAssignments=3887 nbFailedAssignments=2117 nbBacktracks=1710 nbVisitedNodes=7090
7.79 nbRestartNogoods=71
7.79 => wckTime=6.238 cpuTime=6.11 mem=35M580
10.65
10.65 search
10.65 run=11 nbConstraintChecks=6406881 nbValidityChecks=12556995 nbPropagations=211751 nbRevisions=2505776
10.65 nbUselessRevisions=1961058 nbAssignments=5992 nbFailedAssignments=3353 nbBacktracks=2576 nbVisitedNodes=10959
10.65 nbRestartNogoods=85
10.65 => wckTime=9.101 cpuTime=8.96 mem=35M580
14.15
14.15 search
14.15 run=12 nbConstraintChecks=8949620 nbValidityChecks=17496470 nbPropagations=317674 nbRevisions=3756622
14.15 nbUselessRevisions=2938296 nbAssignments=8482 nbFailedAssignments=4540 nbBacktracks=3873 nbVisitedNodes=15421
14.15 nbRestartNogoods=96
14.15 => wckTime=12.602 cpuTime=12.44 mem=35M580
20.75
20.75 search
20.75 run=13 nbConstraintChecks=13759605 nbValidityChecks=27012678 nbPropagations=480899 nbRevisions=5692509
20.75 nbUselessRevisions=4450696 nbAssignments=12974 nbFailedAssignments=7081 nbBacktracks=5819 nbVisitedNodes=23732
20.75 nbRestartNogoods=105
20.75 => wckTime=19.198 cpuTime=19.0 mem=35M580
29.80
29.80 search
29.80 run=14 nbConstraintChecks=20367373 nbValidityChecks=40371645 nbPropagations=732118 nbRevisions=8620027
29.80 nbUselessRevisions=6733787 nbAssignments=19837 nbFailedAssignments=11018 nbBacktracks=8738 nbVisitedNodes=36485
29.80 nbRestartNogoods=118
29.80 => wckTime=28.248 cpuTime=28.0 mem=35M580
44.64
44.64 search
44.64 run=15 nbConstraintChecks=31468333 nbValidityChecks=62327458 nbPropagations=1115452 nbRevisions=13159865
44.64 nbUselessRevisions=10285515 nbAssignments=30767 nbFailedAssignments=17564 nbBacktracks=13116
44.64 nbVisitedNodes=56730 nbRestartNogoods=141
44.64 => wckTime=43.09 cpuTime=42.75 mem=35M580
66.25
66.25 search
66.25 run=16 nbConstraintChecks=47371475 nbValidityChecks=93423044 nbPropagations=1691965 nbRevisions=19942697
66.25 nbUselessRevisions=15582752 nbAssignments=45411 nbFailedAssignments=25634 nbBacktracks=19685
66.25 nbVisitedNodes=83655 nbRestartNogoods=159
66.25 => wckTime=64.7 cpuTime=64.25 mem=35M580
106.93
106.93 search
106.93 run=17 nbConstraintChecks=77663316 nbValidityChecks=153866174 nbPropagations=2592705 nbRevisions=30773026
106.93 nbUselessRevisions=24050004 nbAssignments=73625 nbFailedAssignments=43991 nbBacktracks=29537
106.93 nbVisitedNodes=137353 nbRestartNogoods=171
106.93 => wckTime=105.376 cpuTime=104.7 mem=35M580
152.29
152.29 search
152.29 run=18 nbConstraintChecks=110384257 nbValidityChecks=217699335 nbPropagations=3898849 nbRevisions=46240969
152.29 nbUselessRevisions=36113932 nbAssignments=104225 nbFailedAssignments=59805 nbBacktracks=44315
152.29 nbVisitedNodes=192658 nbRestartNogoods=198
152.29 => wckTime=150.737 cpuTime=149.81 mem=35M580
216.89
216.89 search
216.89 run=19 nbConstraintChecks=157127292 nbValidityChecks=310887762 nbPropagations=5817175 nbRevisions=68636562
216.89 nbUselessRevisions=53571433 nbAssignments=151656 nbFailedAssignments=85063 nbBacktracks=66483
216.89 nbVisitedNodes=279147 nbRestartNogoods=215
216.89 => wckTime=215.34 cpuTime=214.06 mem=35M580
340.46
340.46 search
340.46 run=20 nbConstraintChecks=249585661 nbValidityChecks=493152161 nbPropagations=8790038 nbRevisions=104065706
340.46 nbUselessRevisions=81248392 nbAssignments=238326 nbFailedAssignments=138475 nbBacktracks=99736
340.46 nbVisitedNodes=440861 nbRestartNogoods=233
340.46 => wckTime=338.906 cpuTime=336.95 mem=35M580
501.31
501.31 search
501.31 run=21 nbConstraintChecks=367454815 nbValidityChecks=729532121 nbPropagations=13260413 nbRevisions=156689504
501.31 nbUselessRevisions=122345862 nbAssignments=352645 nbFailedAssignments=202910 nbBacktracks=149616
501.31 nbVisitedNodes=652685 nbRestartNogoods=256
501.31 => wckTime=499.761 cpuTime=496.91 mem=35M580
757.94
757.94 search
757.94 run=22 nbConstraintChecks=558009551 nbValidityChecks=1103113988 nbPropagations=19952995 nbRevisions=236085168
757.94 nbUselessRevisions=184400564 nbAssignments=530727 nbFailedAssignments=306168 nbBacktracks=224434
757.94 nbVisitedNodes=981073 nbRestartNogoods=278
757.94 => wckTime=756.384 cpuTime=752.14 mem=35M580
1107.18
1107.18 search
1107.18 run=23 nbConstraintChecks=812444674 nbValidityChecks=1612916410 nbPropagations=29887891 nbRevisions=352438149
1107.18 nbUselessRevisions=275222899 nbAssignments=778482 nbFailedAssignments=441689 nbBacktracks=336661
1107.18 nbVisitedNodes=1436681 nbRestartNogoods=296
1107.18 => wckTime=1105.63 cpuTime=1099.45 mem=35M580
1278.70
1278.70 search
1278.70 run=24 nbConstraintChecks=941092517 nbValidityChecks=1871083478 nbPropagations=41293045 nbRevisions=487050992
1278.70 nbUselessRevisions=380409147 nbAssignments=902684 nbFailedAssignments=521805 nbBacktracks=380723
1278.70 nbVisitedNodes=1670709 nbRestartNogoods=329
1278.70 => wckTime=1277.147 cpuTime=1270.02 mem=35M580
1278.70
1278.70 global
1278.70 nbConstraintChecks=941092517 nbValidityChecks=1871083478 nbPropagations=41293069 nbRevisions=487050992
1278.70 nbUselessRevisions=380409147 nbRestartNogoods=329 solvingWckTime=1277.148 solvingCpuTime=1270.03 expiredTime=no
1278.70 totalExploration=no nbFoundSolutions=1 globalCpuTime=1271.06
1278.70 => wckTime=1278.404 cpuTime=1271.0 mem=35M580
1278.70
1278.70 s SATISFIABLE
1278.70 v 5 12 11 18 13 6 11 21 12 10 20 12 7 4 5 18 22 19 2 6 9 10 18 2
1278.70 d NODES 902684
1278.70 d CHECKS 941092517
1278.70
1278.70 totalWckTime=1278.482 totalCpuTime=1271.06
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-200038-1168071882 -o ROOT/results/node25/solver-200038-1168071882 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200038-1168071882/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.57 1.15 1.07 4/93 29378
/proc/meminfo: memFree=1593328/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=1452 CPUtime=0
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 287 0 0 0 0 0 0 0 18 0 1 0 155580627 1486848 82 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 134557648 0 0 4096 0 0 0 0 17 0 0 0
/proc/29377/statm: 365 96 76 14 0 10 0
[startup+0.107497 s]
/proc/loadavg: 1.57 1.15 1.07 4/93 29378
/proc/meminfo: memFree=1593328/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=914988 CPUtime=0.09
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 3073 0 1 0 7 2 0 0 22 0 8 0 155580627 936947712 2819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228747 2820 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515565 s]
/proc/loadavg: 1.57 1.15 1.07 4/93 29378
/proc/meminfo: memFree=1593328/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915328 CPUtime=0.5
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 8232 0 1 0 45 5 0 0 25 0 8 0 155580627 937295872 7971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228832 7972 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33871 s]
/proc/loadavg: 1.61 1.17 1.07 3/100 29385
/proc/meminfo: memFree=1526328/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=1.32
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 19149 0 1 0 122 10 0 0 25 0 8 0 155580627 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 18886 2170 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.11
/proc/29377/task/29379/stat : 29379 (java) R 29375 29377 29178 0 -1 64 2660 0 0 0 10 1 0 0 16 0 8 0 155580630 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155135518 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.1
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 323 0 0 0 10 0 0 0 16 0 8 0 155580634 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915420
[startup+2.992 s]
/proc/loadavg: 1.61 1.17 1.07 3/100 29385
/proc/meminfo: memFree=1509944/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=2.96
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23549 0 1 0 284 12 0 0 25 0 8 0 155580627 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780924 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23284 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 17 0 8 0 155580630 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.2
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 373 0 0 0 20 0 0 0 15 0 8 0 155580634 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915420
[startup+6.27754 s]
/proc/loadavg: 1.61 1.17 1.07 3/100 29385
/proc/meminfo: memFree=1509760/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=6.22
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23567 0 1 0 610 12 0 0 25 0 8 0 155580627 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23299 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 17 0 8 0 155580630 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 389 0 0 0 23 1 0 0 15 0 8 0 155580634 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915420
[startup+12.7716 s]
/proc/loadavg: 1.67 1.19 1.08 3/100 29385
/proc/meminfo: memFree=1509768/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=12.69
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23570 0 1 0 1257 12 0 0 25 0 8 0 155580627 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819465 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23302 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915420
[startup+25.6298 s]
/proc/loadavg: 1.72 1.22 1.09 3/100 29385
/proc/meminfo: memFree=1509832/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=25.49
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 2536 13 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073769681 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23304 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915420
[startup+51.2612 s]
/proc/loadavg: 1.81 1.28 1.11 3/100 29385
/proc/meminfo: memFree=1509896/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=50.96
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 5083 13 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763690 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23304 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915420
[startup+102.527 s]
/proc/loadavg: 1.92 1.40 1.16 3/100 29385
/proc/meminfo: memFree=1510024/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=101.94
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 10181 13 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23304 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 915420
[startup+162.543 s]
/proc/loadavg: 1.97 1.51 1.21 3/100 29385
/proc/meminfo: memFree=1510024/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=161.64
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 16151 13 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757701 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 818.14
Current children cumulated vsize (KiB) 915420
[startup+882.718 s]
/proc/loadavg: 2.00 1.95 1.63 3/100 29385
/proc/meminfo: memFree=1509832/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=877.84
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 87769 15 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763688 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23304 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 877.84
Current children cumulated vsize (KiB) 915420
[startup+942.74 s]
/proc/loadavg: 2.08 1.98 1.65 3/100 29385
/proc/meminfo: memFree=1509832/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=937.56
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 93740 16 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628005 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23304 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 937.56
Current children cumulated vsize (KiB) 915420
[startup+1002.75 s]
/proc/loadavg: 2.03 1.98 1.67 3/100 29385
/proc/meminfo: memFree=1509832/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=997.22
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 99706 16 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23304 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 997.22
Current children cumulated vsize (KiB) 915420
[startup+1062.76 s]
/proc/loadavg: 2.01 1.98 1.69 3/100 29385
/proc/meminfo: memFree=1509768/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=1056.9
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 105674 16 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628067 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23304 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1056.9
Current children cumulated vsize (KiB) 915420
[startup+1122.77 s]
/proc/loadavg: 2.00 1.98 1.70 4/100 29385
/proc/meminfo: memFree=1509832/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=1116.6
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 111644 16 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757577 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23304 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1116.6
Current children cumulated vsize (KiB) 915420
[startup+1182.79 s]
/proc/loadavg: 2.00 1.98 1.72 3/100 29385
/proc/meminfo: memFree=1509832/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=1176.26
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 117610 16 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757620 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23304 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1176.26
Current children cumulated vsize (KiB) 915420
[startup+1242.8 s]
/proc/loadavg: 2.08 1.99 1.74 3/100 29385
/proc/meminfo: memFree=1509768/2055920 swapFree=4192812/4192956
[pid=29377] ppid=29375 vsize=915420 CPUtime=1235.96
/proc/29377/stat : 29377 (java) R 29375 29377 29178 0 -1 0 23573 0 1 0 123580 16 0 0 25 0 8 0 155580627 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628067 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29377/statm: 228855 23304 2521 14 0 215325 0
[pid=29377/tid=29379] ppid=29375 vsize=915420 CPUtime=0.16
/proc/29377/task/29379/stat : 29379 (java) S 29375 29377 29178 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155580630 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29380] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29380/stat : 29380 (java) S 29375 29377 29178 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29381] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29381/stat : 29381 (java) S 29375 29377 29178 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155580631 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29382] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29382/stat : 29382 (java) S 29375 29377 29178 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29383] ppid=29375 vsize=915420 CPUtime=0.24
/proc/29377/task/29383/stat : 29383 (java) S 29375 29377 29178 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29384] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29384/stat : 29384 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29377/tid=29385] ppid=29375 vsize=915420 CPUtime=0
/proc/29377/task/29385/stat : 29385 (java) S 29375 29377 29178 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155580634 937390080 23304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1235.96
Current children cumulated vsize (KiB) 915420
Child status: 0
Real time (s): 1278.74
CPU time (s): 1271.69
CPU user time (s): 1271.5
CPU system time (s): 0.189971
CPU usage (%): 99.4487
Max. virtual memory (cumulated for all children) (KiB): 915420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1271.5
system time used= 0.189971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23580
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= 27015
involuntary context switches= 76977
runsolver used 1.69874 s user time and 3.9714 s system time
The end
Begin job on node25 on Sat Jan 6 08:24:42 UTC 2007
IDJOB= 200038
IDBENCH= 3684
FILE ID= node25/200038-1168071882
PBS_JOBID= 3475962
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200038-1168071882/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-200038-1168071882 -o ROOT/results/node25/solver-200038-1168071882 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200038-1168071882/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d115ab789f4700fd86830e23be121f9b
RANDOM SEED= 310540156
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.279
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.279
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: 1593744 kB
Buffers: 41496 kB
Cached: 217040 kB
SwapCached: 0 kB
Active: 157948 kB
Inactive: 232352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1593744 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4708 kB
Writeback: 0 kB
Mapped: 160752 kB
Slab: 56292 kB
Committed_AS: 3649212 kB
PageTables: 2516 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= 66542 MiB
End job on node25 on Sat Jan 6 08:46:01 UTC 2007