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/221138-1168080005/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=50 nbDomainTypes=2 minDomainSize=10 maxDomainSize=49
0.39 => wckTime=0.1 cpuTime=0.09 mem=6M902
0.39
0.39 predicates being loaded...
0.40
0.40 constraints being loaded...
0.77 nbConstraints=1191 nbConvertedConstraints=1191 nbConvertConstraintsChecks=5292 nbExtensionStructures=3
0.77 nbSharedExtensionStructures=1188 nbConflictsStructures=3 nbSharedConflictsStructures=1188
0.77 nbSharedBinaryRepresentations=106 maxDegree=49 maxArity=2
0.77 => wckTime=0.478 cpuTime=0.35 mem=13M728
0.81
0.81 solver IterativeSystematicSolver being built...
0.96 => wckTime=0.67 cpuTime=0.48 mem=14M0
0.98
0.98 preprocessing
0.98 nbConstraintChecks=2199 nbPropagations=50 nbRevisions=45 nbUselessRevisions=30 nbRemovedValues=45
0.98 detectedInconsistency=no
0.98 => wckTime=0.016 cpuTime=0.0 mem=14M0
1.03
1.03 search
1.03 run=0 nbConstraintChecks=33645 nbPropagations=752 nbRevisions=4209 nbUselessRevisions=2604 nbAssignments=28
1.03 nbFailedAssignments=7 nbBacktracks=12 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.067 cpuTime=0.04 mem=14M0
1.06
1.06 search
1.06 run=1 nbConstraintChecks=63144 nbPropagations=2070 nbRevisions=10914 nbUselessRevisions=6692 nbAssignments=59
1.06 nbFailedAssignments=12 nbBacktracks=31 nbVisitedNodes=81 nbRestartNogoods=2 mapSize=16 nbInferences=0
1.06 nbTooLargeKeys=0
1.06 => wckTime=0.094 cpuTime=0.06 mem=14M0
1.08
1.08 search
1.08 run=2 nbConstraintChecks=99407 nbPropagations=4172 nbRevisions=20573 nbUselessRevisions=12609
1.08 nbAssignments=104 nbFailedAssignments=17 nbBacktracks=53 nbVisitedNodes=137 nbRestartNogoods=3 mapSize=26
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.114 cpuTime=0.08 mem=14M975
1.10
1.10 search
1.10 run=3 nbConstraintChecks=146496 nbPropagations=7381 nbRevisions=35691 nbUselessRevisions=21892
1.10 nbAssignments=170 nbFailedAssignments=28 nbBacktracks=86 nbVisitedNodes=225 nbRestartNogoods=4 mapSize=43
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.135 cpuTime=0.1 mem=14M975
1.12
1.12 search
1.12 run=4 nbConstraintChecks=205951 nbPropagations=11801 nbRevisions=57420 nbUselessRevisions=35293
1.12 nbAssignments=252 nbFailedAssignments=44 nbBacktracks=137 nbVisitedNodes=334 nbRestartNogoods=7 mapSize=64
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.158 cpuTime=0.12 mem=14M975
1.17
1.17 search
1.17 run=5 nbConstraintChecks=306215 nbPropagations=18673 nbRevisions=90402 nbUselessRevisions=55074
1.17 nbAssignments=405 nbFailedAssignments=82 nbBacktracks=215 nbVisitedNodes=559 nbRestartNogoods=9 mapSize=110
1.17 nbInferences=13 nbTooLargeKeys=0
1.17 => wckTime=0.204 cpuTime=0.16 mem=14M975
1.22
1.22 search
1.22 run=6 nbConstraintChecks=422306 nbPropagations=28181 nbRevisions=138531 nbUselessRevisions=84077
1.22 nbAssignments=571 nbFailedAssignments=122 nbBacktracks=331 nbVisitedNodes=794 nbRestartNogoods=12 mapSize=164
1.22 nbInferences=13 nbTooLargeKeys=0
1.22 => wckTime=0.256 cpuTime=0.22 mem=14M975
1.28
1.28 search
1.28 run=7 nbConstraintChecks=560249 nbPropagations=40850 nbRevisions=207078 nbUselessRevisions=126203
1.28 nbAssignments=828 nbFailedAssignments=185 nbBacktracks=504 nbVisitedNodes=1161 nbRestartNogoods=16 mapSize=240
1.28 nbInferences=13 nbTooLargeKeys=0
1.28 => wckTime=0.317 cpuTime=0.27 mem=14M975
1.37
1.37 search
1.37 run=8 nbConstraintChecks=807442 nbPropagations=58714 nbRevisions=303909 nbUselessRevisions=185294
1.37 nbAssignments=1197 nbFailedAssignments=274 nbBacktracks=761 nbVisitedNodes=1692 nbRestartNogoods=22
1.37 mapSize=361 nbInferences=15 nbTooLargeKeys=0
1.37 => wckTime=0.405 cpuTime=0.36 mem=14M975
1.52
1.52 search
1.52 run=9 nbConstraintChecks=1141055 nbPropagations=85198 nbRevisions=457180 nbUselessRevisions=279918
1.52 nbAssignments=1771 nbFailedAssignments=443 nbBacktracks=1145 nbVisitedNodes=2561 nbRestartNogoods=27
1.53 mapSize=560 nbInferences=15 nbTooLargeKeys=0
1.53 => wckTime=0.562 cpuTime=0.5 mem=14M975
1.73
1.73 search
1.73 run=10 nbConstraintChecks=1749825 nbPropagations=124024 nbRevisions=699797 nbUselessRevisions=430588
1.73 nbAssignments=2649 nbFailedAssignments=722 nbBacktracks=1721 nbVisitedNodes=3913 nbRestartNogoods=39
1.73 mapSize=847 nbInferences=18 nbTooLargeKeys=0
1.73 => wckTime=0.765 cpuTime=0.69 mem=14M975
2.11
2.11 search
2.11 run=11 nbConstraintChecks=2765819 nbPropagations=189430 nbRevisions=1099904 nbUselessRevisions=675593
2.11 nbAssignments=4210 nbFailedAssignments=1335 nbBacktracks=2592 nbVisitedNodes=6496 nbRestartNogoods=49
2.11 mapSize=1359 nbInferences=79 nbTooLargeKeys=0
2.11 => wckTime=1.148 cpuTime=1.07 mem=14M975
2.67
2.67 search
2.67 run=12 nbConstraintChecks=4424126 nbPropagations=289763 nbRevisions=1754919 nbUselessRevisions=1092095
2.67 nbAssignments=6451 nbFailedAssignments=2262 nbBacktracks=3892 nbVisitedNodes=10118 nbRestartNogoods=53
2.67 mapSize=2110 nbInferences=80 nbTooLargeKeys=0
2.67 => wckTime=1.711 cpuTime=1.63 mem=15M950
3.53
3.53 search
3.53 run=13 nbConstraintChecks=6791633 nbPropagations=441885 nbRevisions=2823589 nbUselessRevisions=1790469
3.53 nbAssignments=9917 nbFailedAssignments=3754 nbBacktracks=5843 nbVisitedNodes=15795 nbRestartNogoods=63
3.53 mapSize=3224 nbInferences=90 nbTooLargeKeys=0
3.53 => wckTime=2.565 cpuTime=2.48 mem=15M950
4.73
4.73 search
4.73 run=14 nbConstraintChecks=10247847 nbPropagations=667403 nbRevisions=4529718 nbUselessRevisions=2943648
4.73 nbAssignments=14711 nbFailedAssignments=5602 nbBacktracks=8763 nbVisitedNodes=23521 nbRestartNogoods=73
4.73 mapSize=5017 nbInferences=97 nbTooLargeKeys=0
4.73 => wckTime=3.772 cpuTime=3.69 mem=16M925
6.69
6.69 search
6.69 run=15 nbConstraintChecks=16225826 nbPropagations=1008584 nbRevisions=7243850 nbUselessRevisions=4779374
6.69 nbAssignments=22210 nbFailedAssignments=8700 nbBacktracks=13146 nbVisitedNodes=35898 nbRestartNogoods=85
6.69 mapSize=7707 nbInferences=103 nbTooLargeKeys=0
6.69 => wckTime=5.726 cpuTime=5.64 mem=18M876
9.21
9.21 search
9.21 run=16 nbConstraintChecks=23497144 nbPropagations=1506444 nbRevisions=11327568 nbUselessRevisions=7564613
9.21 nbAssignments=33874 nbFailedAssignments=13636 nbBacktracks=19715 nbVisitedNodes=55121 nbRestartNogoods=96
9.21 mapSize=11575 nbInferences=246 nbTooLargeKeys=0
9.21 => wckTime=8.245 cpuTime=8.15 mem=19M851
12.86
12.86 search
12.86 run=17 nbConstraintChecks=33846395 nbPropagations=2237346 nbRevisions=17307592 nbUselessRevisions=11666897
12.86 nbAssignments=50577 nbFailedAssignments=20400 nbBacktracks=29568 nbVisitedNodes=82481 nbRestartNogoods=101
12.86 mapSize=17486 nbInferences=316 nbTooLargeKeys=0
12.86 => wckTime=11.896 cpuTime=11.79 mem=22M776
18.21
18.21 search
18.21 run=18 nbConstraintChecks=47918598 nbPropagations=3308244 nbRevisions=26008335 nbUselessRevisions=17655437
18.21 nbAssignments=75970 nbFailedAssignments=30785 nbBacktracks=44346 nbVisitedNodes=123703 nbRestartNogoods=110
18.21 mapSize=25900 nbInferences=530 nbTooLargeKeys=0
18.21 => wckTime=17.244 cpuTime=17.15 mem=26M939
27.28
27.28 search
27.28 run=19 nbConstraintChecks=74346248 nbPropagations=4972388 nbRevisions=39447770 nbUselessRevisions=26825389
27.28 nbAssignments=114450 nbFailedAssignments=46539 nbBacktracks=66517 nbVisitedNodes=187576 nbRestartNogoods=124
27.28 mapSize=40560 nbInferences=1070 nbTooLargeKeys=0
27.28 => wckTime=26.319 cpuTime=26.18 mem=32M790
39.71
39.71 search
39.71 run=20 nbConstraintChecks=110219782 nbPropagations=7463595 nbRevisions=59163664 nbUselessRevisions=40198616
39.71 nbAssignments=172394 nbFailedAssignments=70746 nbBacktracks=99771 nbVisitedNodes=282562 nbRestartNogoods=135
39.71 mapSize=59517 nbInferences=1537 nbTooLargeKeys=0
39.71 => wckTime=38.75 cpuTime=38.56 mem=42M91
58.26
58.26 search
58.26 run=21 nbConstraintChecks=160021278 nbPropagations=11138531 nbRevisions=89116978 nbUselessRevisions=60949644
58.26 nbAssignments=255517 nbFailedAssignments=103320 nbBacktracks=149649 nbVisitedNodes=417990 nbRestartNogoods=150
58.26 mapSize=90967 nbInferences=2191 nbTooLargeKeys=0
58.26 => wckTime=57.3 cpuTime=56.96 mem=30M541
88.39
88.39 search
88.39 run=22 nbConstraintChecks=244941524 nbPropagations=16718748 nbRevisions=134984740 nbUselessRevisions=92650809
88.39 nbAssignments=390924 nbFailedAssignments=162634 nbBacktracks=224468 nbVisitedNodes=643103 nbRestartNogoods=166
88.39 mapSize=136255 nbInferences=3443 nbTooLargeKeys=0
88.39 => wckTime=87.427 cpuTime=87.07 mem=51M288
132.43
132.43 search
132.43 run=23 nbConstraintChecks=362047845 nbPropagations=25127081 nbRevisions=203850614 nbUselessRevisions=140399085
132.43 nbAssignments=579386 nbFailedAssignments=238103 nbBacktracks=336695 nbVisitedNodes=953691 nbRestartNogoods=184
132.43 mapSize=209513 nbInferences=4192 nbTooLargeKeys=0
132.43 => wckTime=131.471 cpuTime=130.87 mem=64M699
202.82
202.82 search
202.82 run=24 nbConstraintChecks=561414703 nbPropagations=38068178 nbRevisions=309169813 nbUselessRevisions=213184018
202.82 nbAssignments=876053 nbFailedAssignments=362720 nbBacktracks=505036 nbVisitedNodes=1448919 nbRestartNogoods=202
202.82 mapSize=319185 nbInferences=7884 nbTooLargeKeys=0
202.82 => wckTime=201.859 cpuTime=200.99 mem=94M192
298.81
298.81 search
298.81 run=25 nbConstraintChecks=831890886 nbPropagations=57005566 nbRevisions=465510815 nbUselessRevisions=322257827
298.81 nbAssignments=1309898 nbFailedAssignments=541743 nbBacktracks=757548 nbVisitedNodes=2157581
298.81 nbRestartNogoods=215 mapSize=471505 nbInferences=10180 nbTooLargeKeys=0
298.81 => wckTime=297.852 cpuTime=296.71 mem=146M960
443.36
443.36 search
443.36 run=26 nbConstraintChecks=1226770117 nbPropagations=85170364 nbRevisions=701087467 nbUselessRevisions=487678793
443.36 nbAssignments=1948687 nbFailedAssignments=797323 nbBacktracks=1136318 nbVisitedNodes=3207772
443.36 nbRestartNogoods=228 mapSize=714324 nbInferences=14601 nbTooLargeKeys=0
443.36 => wckTime=442.4 cpuTime=440.76 mem=211M51
684.40
684.40 search
684.40 run=27 nbConstraintChecks=1894218429 nbPropagations=128856210 nbRevisions=1057814627
684.40 nbUselessRevisions=734346453 nbAssignments=3012246 nbFailedAssignments=1280478 nbBacktracks=1704469
684.40 nbVisitedNodes=5003966 nbRestartNogoods=243 mapSize=1084430 nbInferences=26837 nbTooLargeKeys=0
684.40 => wckTime=683.442 cpuTime=680.94 mem=321M121
1005.18
1005.18 search
1005.18 run=28 nbConstraintChecks=2728368362 nbPropagations=193446516 nbRevisions=1588987883
1005.18 nbUselessRevisions=1105468172 nbAssignments=4420024 nbFailedAssignments=1829600 nbBacktracks=2556697
1005.18 nbVisitedNodes=7325933 nbRestartNogoods=273 mapSize=1663430 nbInferences=33244 nbTooLargeKeys=0
1005.18 => wckTime=1004.215 cpuTime=1000.19 mem=488M525
1248.66
1248.66 INFO : Stopping hyperNogood (mapSize=2060599, nbTooLargekeys=0, mem=600M853)
1475.74
1475.74 search
1475.74 run=29 nbConstraintChecks=4050438219 nbPropagations=289294496 nbRevisions=2365359354
1475.74 nbUselessRevisions=1642802362 nbAssignments=6644543 nbFailedAssignments=2757139 nbBacktracks=3835039
1475.74 nbVisitedNodes=11005207 nbRestartNogoods=296
1475.74 => wckTime=1474.78 cpuTime=1469.26 mem=600M853
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-221138-1168080005 -o ROOT/results/node55/solver-221138-1168080005 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221138-1168080005/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.05 0.67 0.90 3/68 13434
/proc/meminfo: memFree=1281392/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=1500 CPUtime=0
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 265 0 0 0 0 0 0 0 18 0 1 0 156398955 1536000 69 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 6817462 0 0 4096 0 0 0 0 17 1 0 0
/proc/13433/statm: 363 61 46 14 0 8 0
[startup+0.102648 s]
/proc/loadavg: 0.05 0.67 0.90 3/68 13434
/proc/meminfo: memFree=1281392/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=914988 CPUtime=0.09
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 3077 0 1 0 8 1 0 0 22 0 8 0 156398955 936947712 2823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072927721 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228747 2823 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.510683 s]
/proc/loadavg: 0.05 0.67 0.90 3/68 13434
/proc/meminfo: memFree=1281392/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915328 CPUtime=0.48
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 6472 0 1 0 45 3 0 0 16 0 8 0 156398955 937295872 6211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660485 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13433/statm: 228832 6212 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33276 s]
/proc/loadavg: 0.05 0.67 0.90 2/75 13444
/proc/meminfo: memFree=1257272/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=1.31
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 8709 0 1 0 121 10 0 0 17 0 8 0 156398955 937488384 8447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073946139 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228879 8447 2530 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=0.03
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 267 0 0 0 3 0 0 0 16 0 8 0 156398959 937488384 8447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156398959 937488384 8447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156398959 937488384 8447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 8447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.23
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 414 0 0 0 22 1 0 0 15 0 8 0 156398962 937488384 8447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 8447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 8447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915516
[startup+2.98493 s]
/proc/loadavg: 0.05 0.67 0.90 2/75 13444
/proc/meminfo: memFree=1256952/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=2.96
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 8959 0 1 0 285 11 0 0 17 0 8 0 156398955 937488384 8695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073929765 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13433/statm: 228879 8695 2530 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=0.03
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 267 0 0 0 3 0 0 0 17 0 8 0 156398959 937488384 8695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156398959 937488384 8695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156398959 937488384 8695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 8695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.25
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 430 0 0 0 24 1 0 0 16 0 8 0 156398962 937488384 8695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 8695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) R 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 8695 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) 915516
[startup+6.26224 s]
/proc/loadavg: 0.12 0.67 0.90 2/75 13486
/proc/meminfo: memFree=1252600/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=6.23
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 9528 0 1 0 612 11 0 0 24 0 8 0 156398955 937488384 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13433/statm: 228879 9264 2530 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=0.03
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 267 0 0 0 3 0 0 0 16 0 8 0 156398959 937488384 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156398959 937488384 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156398959 937488384 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 430 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) R 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915516
[startup+12.7439 s]
/proc/loadavg: 0.19 0.68 0.90 2/75 13494
/proc/meminfo: memFree=1248056/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=12.7
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 10663 0 1 0 1258 12 0 0 25 0 8 0 156398955 937488384 10399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073984823 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13433/statm: 228879 10399 2530 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=0.03
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 267 0 0 0 3 0 0 0 16 0 8 0 156398959 937488384 10399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156398959 937488384 10399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156398959 937488384 10399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 10399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 432 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 10399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 10399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 10399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915516
[startup+25.5721 s]
/proc/loadavg: 0.37 0.69 0.91 3/87 13542
/proc/meminfo: memFree=1168280/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=25.5
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 12820 0 1 0 2536 14 0 0 25 0 8 0 156398955 937488384 12556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073972244 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228879 12556 2530 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=0.03
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 267 0 0 0 3 0 0 0 16 0 8 0 156398959 937488384 12556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156398959 937488384 12556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156398959 937488384 12556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 12556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 432 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 12556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 12556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 12556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915516
[startup+51.2646 s]
/proc/loadavg: 0.78 0.77 0.92 3/72 13612
/proc/meminfo: memFree=1214032/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=51.11
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 22861 0 1 0 5093 18 0 0 17 0 8 0 156398955 937488384 22596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073946863 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228879 22596 2534 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=0.15
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 5803 0 0 0 14 1 0 0 16 0 8 0 156398959 937488384 22596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 22596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 22596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 22596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 432 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 22596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 22596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 22596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 915516
[startup+102.516 s]
/proc/loadavg: 0.90 0.80 0.92 2/72 13612
/proc/meminfo: memFree=1203552/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=102.35
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 22865 0 1 0 10216 19 0 0 25 0 8 0 156398955 937488384 22599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073946134 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13433/statm: 228879 22599 2534 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=0.15
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 5803 0 0 0 14 1 0 0 16 0 8 0 156398959 937488384 22599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 22599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 22599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 22599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 432 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 22599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 22599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 22599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.35
Current children cumulated vsize (KiB) 915516
[startup+162.6 s]
/proc/loadavg: 0.96 0.83 0.92 2/72 13612
/proc/meminfo: memFree=1167136/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=162.41
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 31954 0 1 0 16218 23 0 0 25 0 8 0 156398955 937488384 31687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073944385 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.24
Current children cumulated vsize (KiB) 915516
[startup+1484.16 s]
/proc/loadavg: 1.80 1.26 1.03 3/87 14110
/proc/meminfo: memFree=631512/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=1482.99
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 154446 0 1 0 148225 74 0 0 25 0 8 0 156398955 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073936038 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228879 154162 2534 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=4.34
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 137365 0 0 0 383 51 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 434 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.99
Current children cumulated vsize (KiB) 915516
[startup+1544.17 s]
/proc/loadavg: 1.93 1.39 1.09 3/87 14110
/proc/meminfo: memFree=631512/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=1542.73
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 154446 0 1 0 154199 74 0 0 25 0 8 0 156398955 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073918744 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228879 154162 2534 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=4.34
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 137365 0 0 0 383 51 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 434 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.73
Current children cumulated vsize (KiB) 915516
[startup+1604.19 s]
/proc/loadavg: 1.97 1.50 1.14 3/87 14110
/proc/meminfo: memFree=631448/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=1602.47
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 154446 0 1 0 160173 74 0 0 25 0 8 0 156398955 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928681 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228879 154162 2534 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=4.34
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 137365 0 0 0 383 51 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 434 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.47
Current children cumulated vsize (KiB) 915516
[startup+1664.2 s]
/proc/loadavg: 1.99 1.59 1.19 3/87 14110
/proc/meminfo: memFree=631576/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=1662.23
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 154446 0 1 0 166149 74 0 0 25 0 8 0 156398955 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073936044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228879 154162 2534 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=4.34
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 137365 0 0 0 383 51 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 434 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 915516
[startup+1724.22 s]
/proc/loadavg: 2.05 1.68 1.24 3/87 14110
/proc/meminfo: memFree=631576/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=1721.96
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 154446 0 1 0 172122 74 0 0 25 0 8 0 156398955 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073926345 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228879 154162 2534 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=4.34
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 137365 0 0 0 383 51 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 434 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 915516
[startup+1784.23 s]
/proc/loadavg: 2.02 1.73 1.29 3/87 14110
/proc/meminfo: memFree=631576/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=1781.71
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 154446 0 1 0 178097 74 0 0 25 0 8 0 156398955 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073926383 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228879 154162 2534 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=4.34
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 137365 0 0 0 383 51 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 434 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 915516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.63 s]
/proc/loadavg: 2.01 1.74 1.30 3/87 14110
/proc/meminfo: memFree=631512/2055920 swapFree=4192812/4192956
[pid=13433] ppid=13431 vsize=915516 CPUtime=1800.03
/proc/13433/stat : 13433 (java) R 13431 13433 13111 0 -1 0 154446 0 1 0 179929 74 0 0 25 0 8 0 156398955 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073961209 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13433/statm: 228879 154162 2534 14 0 215349 0
[pid=13433/tid=13435] ppid=13431 vsize=915516 CPUtime=4.34
/proc/13433/task/13435/stat : 13435 (java) S 13431 13433 13111 0 -1 64 137365 0 0 0 383 51 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13436] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13436/stat : 13436 (java) S 13431 13433 13111 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13437] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13437/stat : 13437 (java) S 13431 13433 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156398959 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13433/tid=13438] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13438/stat : 13438 (java) S 13431 13433 13111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13439] ppid=13431 vsize=915516 CPUtime=0.26
/proc/13433/task/13439/stat : 13439 (java) S 13431 13433 13111 0 -1 64 434 0 0 0 25 1 0 0 16 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13440] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13440/stat : 13440 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13433/tid=13441] ppid=13431 vsize=915516 CPUtime=0
/proc/13433/task/13441/stat : 13441 (java) S 13431 13433 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156398962 937488384 154162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1802.77
CPU time (s): 1800.18
CPU user time (s): 1799.34
CPU system time (s): 0.833873
CPU usage (%): 99.8562
Max. virtual memory (cumulated for all children) (KiB): 915516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.833873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154463
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= 37543
involuntary context switches= 19412
runsolver used 1.81572 s user time and 4.6153 s system time
The end
Begin job on node55 on Sat Jan 6 10:40:07 UTC 2007
IDJOB= 221138
IDBENCH= 5397
FILE ID= node55/221138-1168080005
PBS_JOBID= 3476148
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/queenAttacking/queenAttacking-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221138-1168080005/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-221138-1168080005 -o ROOT/results/node55/solver-221138-1168080005 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221138-1168080005/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f48bbf370f434c1ca8879a4f158ccd36
RANDOM SEED= 941709346
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.218
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 : 5931.00
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.218
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: 1281808 kB
Buffers: 56244 kB
Cached: 614916 kB
SwapCached: 0 kB
Active: 113236 kB
Inactive: 578004 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1281808 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1920 kB
Writeback: 0 kB
Mapped: 30256 kB
Slab: 68628 kB
Committed_AS: 3036976 kB
PageTables: 1572 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 node55 on Sat Jan 6 11:10:10 UTC 2007