0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/199804-1168071587/unknown.xml
0.45
0.45 domains being loaded...
0.45
0.45 variables being loaded...
0.48 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.48 => wckTime=0.162 cpuTime=0.08 mem=6M951
0.48
0.48 relations being loaded...
1.16
1.16 constraints being loaded...
1.44 nbConstraints=76 nbRelationTypes=76 nbExtensionStructures=76 nbSharedExtensionStructures=0
1.44 nbConflictsStructures=76 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
1.44 => wckTime=1.122 cpuTime=0.92 mem=50M840
1.57
1.57 solver IterativeSystematicSolver being built...
1.73 => wckTime=1.412 cpuTime=1.05 mem=34M589
1.74
1.74 preprocessing
1.74 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.74 detectedInconsistency=no
1.74 => wckTime=0.0050 cpuTime=0.0 mem=34M589
1.87
1.87 search
1.87 run=0 nbConstraintChecks=39451 nbValidityChecks=67927 nbPropagations=449 nbRevisions=4829
1.87 nbUselessRevisions=3778 nbAssignments=34 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=57
1.87 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.87 => wckTime=0.136 cpuTime=0.11 mem=35M580
1.94
1.94 search
1.94 run=1 nbConstraintChecks=71849 nbValidityChecks=138432 nbPropagations=1330 nbRevisions=14352
1.94 nbUselessRevisions=11289 nbAssignments=75 nbFailedAssignments=36 nbBacktracks=26 nbVisitedNodes=127
1.94 nbRestartNogoods=7 mapSize=23 nbInferences=0 nbTooLargeKeys=0
1.94 => wckTime=0.201 cpuTime=0.17 mem=35M580
2.07
2.07 search
2.07 run=2 nbConstraintChecks=139147 nbValidityChecks=273601 nbPropagations=2975 nbRevisions=33018
2.07 nbUselessRevisions=25885 nbAssignments=149 nbFailedAssignments=82 nbBacktracks=49 nbVisitedNodes=260
2.07 nbRestartNogoods=9 mapSize=42 nbInferences=0 nbTooLargeKeys=0
2.07 => wckTime=0.338 cpuTime=0.28 mem=35M580
2.21
2.21 search
2.21 run=3 nbConstraintChecks=227874 nbValidityChecks=454963 nbPropagations=5719 nbRevisions=65481
2.21 nbUselessRevisions=51452 nbAssignments=235 nbFailedAssignments=127 nbBacktracks=82 nbVisitedNodes=416
2.21 nbRestartNogoods=12 mapSize=73 nbInferences=0 nbTooLargeKeys=0
2.21 => wckTime=0.475 cpuTime=0.41 mem=35M580
2.36
2.36 search
2.36 run=4 nbConstraintChecks=318348 nbValidityChecks=632120 nbPropagations=9619 nbRevisions=111379
2.36 nbUselessRevisions=87521 nbAssignments=338 nbFailedAssignments=174 nbBacktracks=134 nbVisitedNodes=592
2.36 nbRestartNogoods=18 mapSize=113 nbInferences=0 nbTooLargeKeys=0
2.36 => wckTime=0.625 cpuTime=0.56 mem=35M580
2.85
2.85 search
2.85 run=5 nbConstraintChecks=634878 nbValidityChecks=1320590 nbPropagations=16834 nbRevisions=202116
2.85 nbUselessRevisions=159368 nbAssignments=682 nbFailedAssignments=436 nbBacktracks=209 nbVisitedNodes=1256
2.85 nbRestartNogoods=21 mapSize=188 nbInferences=0 nbTooLargeKeys=0
2.85 => wckTime=1.109 cpuTime=1.03 mem=35M580
3.15
3.15 search
3.15 run=6 nbConstraintChecks=826666 nbValidityChecks=1701763 nbPropagations=26744 nbRevisions=324409
3.15 nbUselessRevisions=255879 nbAssignments=918 nbFailedAssignments=552 nbBacktracks=324 nbVisitedNodes=1668
3.15 nbRestartNogoods=29 mapSize=275 nbInferences=0 nbTooLargeKeys=0
3.15 => wckTime=1.413 cpuTime=1.34 mem=35M580
3.68
3.68 search
3.68 run=7 nbConstraintChecks=1164266 nbValidityChecks=2351338 nbPropagations=40711 nbRevisions=495944
3.68 nbUselessRevisions=390893 nbAssignments=1263 nbFailedAssignments=722 nbBacktracks=494 nbVisitedNodes=2276
3.68 nbRestartNogoods=35 mapSize=412 nbInferences=0 nbTooLargeKeys=0
3.68 => wckTime=1.944 cpuTime=1.85 mem=35M580
4.49
4.49 search
4.49 run=8 nbConstraintChecks=1683320 nbValidityChecks=3431301 nbPropagations=62158 nbRevisions=754250
4.49 nbUselessRevisions=593652 nbAssignments=1891 nbFailedAssignments=1088 nbBacktracks=750 nbVisitedNodes=3429
4.49 nbRestartNogoods=41 mapSize=630 nbInferences=0 nbTooLargeKeys=0
4.49 => wckTime=2.753 cpuTime=2.64 mem=35M580
6.02
6.02 search
6.02 run=9 nbConstraintChecks=2680898 nbValidityChecks=5709983 nbPropagations=97318 nbRevisions=1174889
6.02 nbUselessRevisions=923254 nbAssignments=3088 nbFailedAssignments=1894 nbBacktracks=1135 nbVisitedNodes=5687
6.02 nbRestartNogoods=53 mapSize=980 nbInferences=0 nbTooLargeKeys=0
6.02 => wckTime=4.281 cpuTime=4.14 mem=35M580
6.35
6.35 INFO : Stopping hyperNogood (mapSize=1040, nbTooLargekeys=0, mem=35M580)
8.34
8.34 search
8.34 run=10 nbConstraintChecks=4208754 nbValidityChecks=8936404 nbPropagations=152308 nbRevisions=1825395
8.34 nbUselessRevisions=1430089 nbAssignments=4575 nbFailedAssignments=2798 nbBacktracks=1711 nbVisitedNodes=8456
8.34 nbRestartNogoods=61
8.34 => wckTime=6.608 cpuTime=6.44 mem=35M580
10.83
10.83 search
10.83 run=11 nbConstraintChecks=5913051 nbValidityChecks=12293539 nbPropagations=230022 nbRevisions=2737978
10.83 nbUselessRevisions=2141789 nbAssignments=6382 nbFailedAssignments=3734 nbBacktracks=2575 nbVisitedNodes=11695
10.83 nbRestartNogoods=76
10.83 => wckTime=9.097 cpuTime=8.91 mem=35M580
16.68
16.68 search
16.68 run=12 nbConstraintChecks=9900078 nbValidityChecks=20583856 nbPropagations=352893 nbRevisions=4210441
16.68 nbUselessRevisions=3290415 nbAssignments=10117 nbFailedAssignments=6167 nbBacktracks=3872 nbVisitedNodes=18756
16.68 nbRestartNogoods=96
16.68 => wckTime=14.942 cpuTime=14.71 mem=35M580
23.58
23.58 search
23.58 run=13 nbConstraintChecks=14573495 nbValidityChecks=30320843 nbPropagations=536765 nbRevisions=6394565
23.58 nbUselessRevisions=4988892 nbAssignments=14812 nbFailedAssignments=8909 nbBacktracks=5820 nbVisitedNodes=27538
23.58 nbRestartNogoods=112
23.58 => wckTime=21.847 cpuTime=21.54 mem=35M580
32.61
32.61 search
32.61 run=14 nbConstraintChecks=20699295 nbValidityChecks=42234895 nbPropagations=795862 nbRevisions=9464443
32.61 nbUselessRevisions=7383395 nbAssignments=20746 nbFailedAssignments=11919 nbBacktracks=8739 nbVisitedNodes=38156
32.61 nbRestartNogoods=122
32.61 => wckTime=30.872 cpuTime=30.48 mem=35M580
51.78
51.78 search
51.78 run=15 nbConstraintChecks=33809450 nbValidityChecks=69495860 nbPropagations=1201495 nbRevisions=14370054
51.78 nbUselessRevisions=11217158 nbAssignments=32656 nbFailedAssignments=19445 nbBacktracks=13120
51.78 nbVisitedNodes=60642 nbRestartNogoods=133
51.78 => wckTime=50.045 cpuTime=49.48 mem=35M580
74.20
74.20 search
74.20 run=16 nbConstraintChecks=48953059 nbValidityChecks=100730527 nbPropagations=1804066 nbRevisions=21613219
74.20 nbUselessRevisions=16869397 nbAssignments=47770 nbFailedAssignments=27983 nbBacktracks=19689
74.20 nbVisitedNodes=88648 nbRestartNogoods=141
74.20 => wckTime=72.462 cpuTime=71.68 mem=35M580
115.04
115.04 search
115.04 run=17 nbConstraintChecks=76632028 nbValidityChecks=158408671 nbPropagations=2738088 nbRevisions=32911713
115.04 nbUselessRevisions=25686075 nbAssignments=74516 nbFailedAssignments=44872 nbBacktracks=29541
115.04 nbVisitedNodes=138961 nbRestartNogoods=156
115.04 => wckTime=113.304 cpuTime=112.16 mem=35M580
162.17
162.17 search
162.17 run=18 nbConstraintChecks=108465852 nbValidityChecks=223162059 nbPropagations=4087260 nbRevisions=49089483
162.17 nbUselessRevisions=38305024 nbAssignments=106831 nbFailedAssignments=62403 nbBacktracks=44320
162.17 nbVisitedNodes=198083 nbRestartNogoods=162
162.17 => wckTime=160.437 cpuTime=158.85 mem=35M580
247.75
247.75 search
247.75 run=19 nbConstraintChecks=166654356 nbValidityChecks=343135187 nbPropagations=6128406 nbRevisions=73742369
247.75 nbUselessRevisions=57546445 nbAssignments=163107 nbFailedAssignments=96505 nbBacktracks=66488
247.75 nbVisitedNodes=302733 nbRestartNogoods=175
247.75 => wckTime=246.018 cpuTime=243.65 mem=35M580
353.79
353.79 search
353.79 run=20 nbConstraintChecks=238059654 nbValidityChecks=488411096 nbPropagations=9110990 nbRevisions=109413578
353.79 nbUselessRevisions=85347816 nbAssignments=235276 nbFailedAssignments=135417 nbBacktracks=99740
353.79 nbVisitedNodes=434389 nbRestartNogoods=189
353.79 => wckTime=352.058 cpuTime=348.71 mem=35M580
568.70
568.70 search
568.70 run=21 nbConstraintChecks=382730477 nbValidityChecks=789768143 nbPropagations=13813545 nbRevisions=166086004
568.70 nbUselessRevisions=129537122 nbAssignments=368009 nbFailedAssignments=218266 nbBacktracks=149618
568.70 nbVisitedNodes=684720 nbRestartNogoods=206
568.70 => wckTime=566.966 cpuTime=561.63 mem=35M580
803.62
803.62 search
803.62 run=22 nbConstraintChecks=541370449 nbValidityChecks=1109296091 nbPropagations=20558128 nbRevisions=247069523
803.62 nbUselessRevisions=192750113 nbAssignments=528707 nbFailedAssignments=304139 nbBacktracks=224439
803.62 nbVisitedNodes=976552 nbRestartNogoods=228
803.62 => wckTime=801.885 cpuTime=794.39 mem=35M580
1257.55
1257.55 search
1257.55 run=23 nbConstraintChecks=861821472 nbValidityChecks=1782498878 nbPropagations=31181212 nbRevisions=375577256
1257.55 nbUselessRevisions=293086015 nbAssignments=851920 nbFailedAssignments=515118 nbBacktracks=336666
1257.55 nbVisitedNodes=1589027 nbRestartNogoods=249
1257.55 => wckTime=1255.81 cpuTime=1245.8 mem=35M580
1743.45
1743.45 search
1743.45 run=24 nbConstraintChecks=1215892098 nbValidityChecks=2488103033 nbPropagations=46280530 nbRevisions=557001236
1743.45 nbUselessRevisions=434583518 nbAssignments=1224071 nbFailedAssignments=718922 nbBacktracks=505007
1743.45 nbVisitedNodes=2259034 nbRestartNogoods=269
1743.45 => wckTime=1741.713 cpuTime=1731.17 mem=35M580
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-199804-1168071587 -o ROOT/results/node2/solver-199804-1168071587 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199804-1168071587/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: 2.00 2.00 2.00 4/93 3501
/proc/meminfo: memFree=1067104/2055920 swapFree=4191880/4192956
[pid=3500] ppid=3498 vsize=1784 CPUtime=0
/proc/3500/stat : 3500 (java) D 3498 3500 2676 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 155554376 1826816 160 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/3500/statm: 446 160 125 14 0 91 0
[startup+0.102846 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 3501
/proc/meminfo: memFree=1067104/2055920 swapFree=4191880/4192956
[pid=3500] ppid=3498 vsize=913228 CPUtime=0.08
/proc/3500/stat : 3500 (java) R 3498 3500 2676 0 -1 0 2918 0 1 0 7 1 0 0 17 0 8 0 155554376 935145472 2664 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3500/statm: 228307 2664 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.510915 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 3501
/proc/meminfo: memFree=1067104/2055920 swapFree=4191880/4192956
[pid=3500] ppid=3498 vsize=915328 CPUtime=0.43
/proc/3500/stat : 3500 (java) R 3498 3500 2676 0 -1 0 6226 0 1 0 39 4 0 0 18 0 8 0 155554376 937295872 5965 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3500/statm: 228832 5965 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.33207 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3508
/proc/meminfo: memFree=1000104/2055920 swapFree=4191880/4192956
[pid=3500] ppid=3498 vsize=915328 CPUtime=1.24
/proc/3500/stat : 3500 (java) R 3498 3500 2676 0 -1 0 19112 0 1 0 114 10 0 0 25 0 8 0 155554376 937295872 18849 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073654716 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3500/statm: 228832 18849 2160 14 0 215302 0
[pid=3500/tid=3502] ppid=3498 vsize=915328 CPUtime=0.05
/proc/3500/task/3502/stat : 3502 (java) S 3498 3500 2676 0 -1 64 2650 0 0 0 4 1 0 0 17 0 8 0 155554380 937295872 18849 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3503] ppid=3498 vsize=915328 CPUtime=0
/proc/3500/task/3503/stat : 3503 (java) S 3498 3500 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554381 937295872 18849 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3504] ppid=3498 vsize=915328 CPUtime=0
/proc/3500/task/3504/stat : 3504 (java) S 3498 3500 2676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155554381 937295872 18849 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3505] ppid=3498 vsize=915328 CPUtime=0
/proc/3500/task/3505/stat : 3505 (java) S 3498 3500 2676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554384 937295872 18849 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3506] ppid=3498 vsize=915328 CPUtime=0.1
/proc/3500/task/3506/stat : 3506 (java) S 3498 3500 2676 0 -1 64 320 0 0 0 10 0 0 0 16 0 8 0 155554384 937295872 18849 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3507] ppid=3498 vsize=915328 CPUtime=0
/proc/3500/task/3507/stat : 3507 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554384 937295872 18849 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3508] ppid=3498 vsize=915328 CPUtime=0
/proc/3500/task/3508/stat : 3508 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155554384 937295872 18849 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915328
[startup+2.98137 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3508
/proc/meminfo: memFree=983464/2055920 swapFree=4191880/4192956
[pid=3500] ppid=3498 vsize=915420 CPUtime=2.86
/proc/3500/stat : 3500 (java) R 3498 3500 2676 0 -1 0 23549 0 1 0 275 11 0 0 25 0 8 0 155554376 937390080 23283 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3500/statm: 228855 23283 2521 14 0 215325 0
[pid=3500/tid=3502] ppid=3498 vsize=915420 CPUtime=0.17
/proc/3500/task/3502/stat : 3502 (java) S 3498 3500 2676 0 -1 64 6584 0 0 0 15 2 0 0 17 0 8 0 155554380 937390080 23283 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3503] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3503/stat : 3503 (java) S 3498 3500 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554381 937390080 23283 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3504] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3504/stat : 3504 (java) S 3498 3500 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554381 937390080 23283 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3505] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3505/stat : 3505 (java) S 3498 3500 2676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554384 937390080 23283 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3506] ppid=3498 vsize=915420 CPUtime=0.2
/proc/3500/task/3506/stat : 3506 (java) S 3498 3500 2676 0 -1 64 373 0 0 0 20 0 0 0 15 0 8 0 155554384 937390080 23283 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3507] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3507/stat : 3507 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554384 937390080 23283 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3508] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3508/stat : 3508 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155554384 937390080 23283 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915420
[startup+6.27398 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3508
/proc/meminfo: memFree=983464/2055920 swapFree=4191880/4192956
[pid=3500] ppid=3498 vsize=915420 CPUtime=6.13
/proc/3500/stat : 3500 (java) R 3498 3500 2676 0 -1 0 23566 0 1 0 601 12 0 0 25 0 8 0 155554376 937390080 23298 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3500/statm: 228855 23298 2521 14 0 215325 0
[pid=3500/tid=3502] ppid=3498 vsize=915420 CPUtime=0.17
/proc/3500/task/3502/stat : 3502 (java) S 3498 3500 2676 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 155554380 937390080 23298 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3503] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3503/stat : 3503 (java) S 3498 3500 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554381 937390080 23298 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3504] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3504/stat : 3504 (java) S 3498 3500 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554381 937390080 23298 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3505] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3505/stat : 3505 (java) S 3498 3500 2676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554384 937390080 23298 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3506] ppid=3498 vsize=915420 CPUtime=0.24
/proc/3500/task/3506/stat : 3506 (java) S 3498 3500 2676 0 -1 64 389 0 0 0 23 1 0 0 15 0 8 0 155554384 937390080 23298 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3507] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3507/stat : 3507 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554384 937390080 23298 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3508] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3508/stat : 3508 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155554384 937390080 23298 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915420
[startup+12.7612 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3508
/proc/meminfo: memFree=983464/2055920 swapFree=4191880/4192956
[pid=3500] ppid=3498 vsize=915420 CPUtime=12.55
/proc/3500/stat : 3500 (java) R 3498 3500 2676 0 -1 0 23570 0 1 0 1243 12 0 0 25 0 8 0 155554376 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3500/statm: 228855 23301 2521 14 0 215325 0
[pid=3500/tid=3502] ppid=3498 vsize=915420 CPUtime=0.17
/proc/3500/task/3502/stat : 3502 (java) S 3498 3500 2676 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 155554380 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3503] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3503/stat : 3503 (java) S 3498 3500 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3504] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3504/stat : 3504 (java) S 3498 3500 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3505] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3505/stat : 3505 (java) S 3498 3500 2676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3506] ppid=3498 vsize=915420 CPUtime=0.24
/proc/3500/task/3506/stat : 3506 (java) S 3498 3500 2676 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3507] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3507/stat : 3507 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3508] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3508/stat : 3508 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915420
[startup+25.6285 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3508
/proc/meminfo: memFree=983592/2055920 swapFree=4191880/4192956
[pid=3500] ppid=3498 vsize=915420 CPUtime=25.3
/proc/3500/stat : 3500 (java) R 3498 3500 2676 0 -1 0 23570 0 1 0 2518 12 0 0 25 0 8 0 155554376 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3500/statm: 228855 23301 2521 14 0 215325 0
[pid=3500/tid=3502] ppid=3498 vsize=915420 CPUtime=0.17
/proc/3500/task/3502/stat : 3502 (java) S 3498 3500 2676 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 155554380 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3503] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3503/stat : 3503 (java) S 3498 3500 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3504] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3504/stat : 3504 (java) S 3498 3500 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3505] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3505/stat : 3505 (java) S 3498 3500 2676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3506] ppid=3498 vsize=915420 CPUtime=0.24
/proc/3500/task/3506/stat : 3506 (java) S 3498 3500 2676 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3507] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3507/stat : 3507 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3508] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3508/stat : 3508 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915420
[startup+51.2623 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3508
/proc/meminfo: memFree=983656/2055920 swapFree=4191880/4192956
[pid=3500] ppid=3498 vsize=915420 CPUtime=50.7
/proc/3500/stat : 3500 (java) R 3498 3500 2676 0 -1 0 23570 0 1 0 5057 13 0 0 25 0 8 0 155554376 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073814949 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3500/statm: 228855 23301 2521 14 0 215325 0
[pid=3500/tid=3502] ppid=3498 vsize=915420 CPUtime=0.17
/proc/3500/task/3502/stat : 3502 (java) S 3498 3500 2676 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 155554380 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3503] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3503/stat : 3503 (java) S 3498 3500 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3504] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3504/stat : 3504 (java) S 3498 3500 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3505] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3505/stat : 3505 (java) S 3498 3500 2676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3506] ppid=3498 vsize=915420 CPUtime=0.25
/proc/3500/task/3506/stat : 3506 (java) S 3498 3500 2676 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3507] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3507/stat : 3507 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3508] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3508/stat : 3508 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915420
[startup+102.519 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3508
/proc/meminfo: memFree=983656/2055920 swapFree=4191880/4192956
[pid=3500] ppid=3498 vsize=915420 CPUtime=101.48
/proc/3500/stat : 3500 (java) R 3498 3500 2676 0 -1 0 23571 0 1 0 10135 13 0 0 25 0 8 0 155554376 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073760576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3500/statm: 228855 23301 2521 14 0 215325 0
[pid=3500/tid=3502] ppid=3498 vsize=915420 CPUtime=0.17
/proc/3500/task/3502/stat : 3502 (java) S 3498 3500 2676 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 155554380 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3503] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3503/stat : 3503 (java) S 3498 3500 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3504] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3504/stat : 3504 (java) S 3498 3500 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3505] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3505/stat : 3505 (java) S 3498 3500 2676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3506] ppid=3498 vsize=915420 CPUtime=0.25
/proc/3500/task/3506/stat : 3506 (java) S 3498 3500 2676 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3507] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3507/stat : 3507 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3508] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3508/stat : 3508 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915420
[startup+162.535 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3508
/proc/meminfo: memFree=983720/2055920 swapFree=4191880/4192956
[pid=3500] ppid=3498 vsize=915420 CPUtime=160.95
/proc/3500/stat : 3500 (java) R 3498 3500 2676 0 -1 0 23571 0 1 0 16081 14 0 0 25 0 8 0 155554376 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073793119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1412.96
Current children cumulated vsize (KiB) 915420
[startup+1483.17 s]
/proc/loadavg: 2.01 1.99 1.97 3/100 3936
/proc/meminfo: memFree=924712/2055920 swapFree=4191880/4192956
[pid=3500] ppid=3498 vsize=915420 CPUtime=1472.88
/proc/3500/stat : 3500 (java) R 3498 3500 2676 0 -1 0 23571 0 1 0 147249 39 0 0 25 0 8 0 155554376 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073772610 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3500/statm: 228855 23301 2521 14 0 215325 0
[pid=3500/tid=3502] ppid=3498 vsize=915420 CPUtime=0.17
/proc/3500/task/3502/stat : 3502 (java) S 3498 3500 2676 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 155554380 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3503] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3503/stat : 3503 (java) S 3498 3500 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3504] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3504/stat : 3504 (java) S 3498 3500 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3505] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3505/stat : 3505 (java) S 3498 3500 2676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3506] ppid=3498 vsize=915420 CPUtime=0.25
/proc/3500/task/3506/stat : 3506 (java) S 3498 3500 2676 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3507] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3507/stat : 3507 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3508] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3508/stat : 3508 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1472.88
Current children cumulated vsize (KiB) 915420
[startup+1543.18 s]
/proc/loadavg: 2.00 1.99 1.97 3/100 3936
/proc/meminfo: memFree=924648/2055920 swapFree=4191880/4192956
[pid=3500] ppid=3498 vsize=915420 CPUtime=1532.85
/proc/3500/stat : 3500 (java) R 3498 3500 2676 0 -1 0 23571 0 1 0 153245 40 0 0 25 0 8 0 155554376 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3500/statm: 228855 23301 2521 14 0 215325 0
[pid=3500/tid=3502] ppid=3498 vsize=915420 CPUtime=0.17
/proc/3500/task/3502/stat : 3502 (java) S 3498 3500 2676 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 155554380 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3503] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3503/stat : 3503 (java) S 3498 3500 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3504] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3504/stat : 3504 (java) S 3498 3500 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3505] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3505/stat : 3505 (java) S 3498 3500 2676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3506] ppid=3498 vsize=915420 CPUtime=0.25
/proc/3500/task/3506/stat : 3506 (java) S 3498 3500 2676 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3507] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3507/stat : 3507 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3508] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3508/stat : 3508 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1532.85
Current children cumulated vsize (KiB) 915420
[startup+1603.19 s]
/proc/loadavg: 2.00 1.99 1.97 3/100 3936
/proc/meminfo: memFree=924712/2055920 swapFree=4191880/4192956
[pid=3500] ppid=3498 vsize=915420 CPUtime=1592.79
/proc/3500/stat : 3500 (java) R 3498 3500 2676 0 -1 0 23571 0 1 0 159239 40 0 0 25 0 8 0 155554376 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073758772 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3500/statm: 228855 23301 2521 14 0 215325 0
[pid=3500/tid=3502] ppid=3498 vsize=915420 CPUtime=0.17
/proc/3500/task/3502/stat : 3502 (java) S 3498 3500 2676 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 155554380 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3503] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3503/stat : 3503 (java) S 3498 3500 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3504] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3504/stat : 3504 (java) S 3498 3500 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3505] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3505/stat : 3505 (java) S 3498 3500 2676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3506] ppid=3498 vsize=915420 CPUtime=0.25
/proc/3500/task/3506/stat : 3506 (java) S 3498 3500 2676 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3507] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3507/stat : 3507 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3508] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3508/stat : 3508 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1592.79
Current children cumulated vsize (KiB) 915420
[startup+1663.19 s]
/proc/loadavg: 2.00 1.99 1.97 3/100 3936
/proc/meminfo: memFree=924712/2055920 swapFree=4191880/4192956
[pid=3500] ppid=3498 vsize=915420 CPUtime=1652.71
/proc/3500/stat : 3500 (java) R 3498 3500 2676 0 -1 0 23571 0 1 0 165231 40 0 0 25 0 8 0 155554376 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3500/statm: 228855 23301 2521 14 0 215325 0
[pid=3500/tid=3502] ppid=3498 vsize=915420 CPUtime=0.17
/proc/3500/task/3502/stat : 3502 (java) S 3498 3500 2676 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 155554380 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3503] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3503/stat : 3503 (java) S 3498 3500 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3504] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3504/stat : 3504 (java) S 3498 3500 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3505] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3505/stat : 3505 (java) S 3498 3500 2676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3506] ppid=3498 vsize=915420 CPUtime=0.25
/proc/3500/task/3506/stat : 3506 (java) S 3498 3500 2676 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3507] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3507/stat : 3507 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3508] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3508/stat : 3508 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1652.71
Current children cumulated vsize (KiB) 915420
[startup+1723.2 s]
/proc/loadavg: 2.00 1.99 1.97 3/100 3936
/proc/meminfo: memFree=924712/2055920 swapFree=4191880/4192956
[pid=3500] ppid=3498 vsize=915420 CPUtime=1712.66
/proc/3500/stat : 3500 (java) R 3498 3500 2676 0 -1 0 23571 0 1 0 171226 40 0 0 25 0 8 0 155554376 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073766577 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3500/statm: 228855 23301 2521 14 0 215325 0
[pid=3500/tid=3502] ppid=3498 vsize=915420 CPUtime=0.17
/proc/3500/task/3502/stat : 3502 (java) S 3498 3500 2676 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 155554380 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3503] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3503/stat : 3503 (java) S 3498 3500 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3504] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3504/stat : 3504 (java) S 3498 3500 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3505] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3505/stat : 3505 (java) S 3498 3500 2676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3506] ppid=3498 vsize=915420 CPUtime=0.25
/proc/3500/task/3506/stat : 3506 (java) S 3498 3500 2676 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3507] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3507/stat : 3507 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3508] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3508/stat : 3508 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1712.66
Current children cumulated vsize (KiB) 915420
[startup+1783.21 s]
/proc/loadavg: 2.00 1.99 1.97 3/100 3936
/proc/meminfo: memFree=924712/2055920 swapFree=4191880/4192956
[pid=3500] ppid=3498 vsize=915420 CPUtime=1772.62
/proc/3500/stat : 3500 (java) R 3498 3500 2676 0 -1 0 23571 0 1 0 177222 40 0 0 25 0 8 0 155554376 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073764658 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3500/statm: 228855 23301 2521 14 0 215325 0
[pid=3500/tid=3502] ppid=3498 vsize=915420 CPUtime=0.17
/proc/3500/task/3502/stat : 3502 (java) S 3498 3500 2676 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 155554380 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3503] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3503/stat : 3503 (java) S 3498 3500 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3504] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3504/stat : 3504 (java) S 3498 3500 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3505] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3505/stat : 3505 (java) S 3498 3500 2676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3506] ppid=3498 vsize=915420 CPUtime=0.25
/proc/3500/task/3506/stat : 3506 (java) S 3498 3500 2676 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3507] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3507/stat : 3507 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3508] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3508/stat : 3508 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1772.62
Current children cumulated vsize (KiB) 915420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.69 s]
/proc/loadavg: 2.00 1.99 1.97 3/100 3936
/proc/meminfo: memFree=924712/2055920 swapFree=4191880/4192956
[pid=3500] ppid=3498 vsize=915420 CPUtime=1800.06
/proc/3500/stat : 3500 (java) R 3498 3500 2676 0 -1 0 23571 0 1 0 179966 40 0 0 25 0 8 0 155554376 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073818864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3500/statm: 228855 23301 2521 14 0 215325 0
[pid=3500/tid=3502] ppid=3498 vsize=915420 CPUtime=0.17
/proc/3500/task/3502/stat : 3502 (java) S 3498 3500 2676 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 155554380 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3503] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3503/stat : 3503 (java) S 3498 3500 2676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3504] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3504/stat : 3504 (java) S 3498 3500 2676 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554381 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3505] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3505/stat : 3505 (java) S 3498 3500 2676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3506] ppid=3498 vsize=915420 CPUtime=0.25
/proc/3500/task/3506/stat : 3506 (java) S 3498 3500 2676 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3507] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3507/stat : 3507 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3500/tid=3508] ppid=3498 vsize=915420 CPUtime=0
/proc/3500/task/3508/stat : 3508 (java) S 3498 3500 2676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155554384 937390080 23301 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1810.76
CPU time (s): 1800.14
CPU user time (s): 1799.71
CPU system time (s): 0.421935
CPU usage (%): 99.4131
Max. virtual memory (cumulated for all children) (KiB): 915420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.421935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23586
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= 37720
involuntary context switches= 74956
runsolver used 2.46563 s user time and 5.55316 s system time
The end
Begin job on node2 on Sat Jan 6 08:19:47 UTC 2007
IDJOB= 199804
IDBENCH= 3637
FILE ID= node2/199804-1168071587
PBS_JOBID= 3475427
Free space on /tmp= 66318 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199804-1168071587/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-199804-1168071587 -o ROOT/results/node2/solver-199804-1168071587 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199804-1168071587/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ec84a2bde200f6aa9630d098bbdec3cd
RANDOM SEED= 283161471
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.259
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.259
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: 1067584 kB
Buffers: 73496 kB
Cached: 673556 kB
SwapCached: 268 kB
Active: 372924 kB
Inactive: 518148 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1067584 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 4676 kB
Writeback: 0 kB
Mapped: 172324 kB
Slab: 81812 kB
Committed_AS: 4250076 kB
PageTables: 2592 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= 66315 MiB
End job on node2 on Sat Jan 6 08:50:02 UTC 2007