0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=esac.xml
0.42
0.42 instance
0.43 name=/tmp/evaluation/208626-1168188982/unknown.xml
0.45
0.46 domains being loaded...
0.46
0.46 variables being loaded...
0.49 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.49 => wckTime=0.094 cpuTime=0.08 mem=6M951
0.49
0.49 relations being loaded...
0.75
0.75 constraints being loaded...
0.90 nbConstraints=58 nbRelationTypes=58 nbExtensionStructures=58 nbSharedExtensionStructures=0
0.90 nbConflictsStructures=58 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
0.90 => wckTime=0.506 cpuTime=0.46 mem=42M403
0.98
0.98 solver IterativeSystematicSolver being built...
1.14 => wckTime=0.748 cpuTime=0.6 mem=21M67
1.22
1.22 preprocessing
1.22 nbConstraintChecks=19426 nbValidityChecks=32705 nbPropagations=177 nbRevisions=1538 nbUselessRevisions=1291
1.22 nbSingletonTests=30 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.22 => wckTime=0.071 cpuTime=0.05 mem=21M67
1.27
1.27 search
1.27 run=0 nbConstraintChecks=22635 nbValidityChecks=41306 nbPropagations=471 nbRevisions=4720
1.27 nbUselessRevisions=3767 nbAssignments=26 nbFailedAssignments=11 nbBacktracks=12 nbVisitedNodes=44
1.27 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.122 cpuTime=0.09 mem=22M37
1.31
1.31 search
1.31 run=1 nbConstraintChecks=51851 nbValidityChecks=103870 nbPropagations=1426 nbRevisions=15033
1.31 nbUselessRevisions=11963 nbAssignments=81 nbFailedAssignments=45 nbBacktracks=27 nbVisitedNodes=144
1.31 nbRestartNogoods=1 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.168 cpuTime=0.13 mem=22M37
1.41
1.41 search
1.41 run=2 nbConstraintChecks=118071 nbValidityChecks=239890 nbPropagations=3288 nbRevisions=35053
1.41 nbUselessRevisions=27731 nbAssignments=171 nbFailedAssignments=98 nbBacktracks=49 nbVisitedNodes=293
1.41 nbRestartNogoods=8 mapSize=44 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.268 cpuTime=0.22 mem=22M37
1.52
1.52 search
1.52 run=3 nbConstraintChecks=199095 nbValidityChecks=405119 nbPropagations=6257 nbRevisions=67218
1.52 nbUselessRevisions=52896 nbAssignments=282 nbFailedAssignments=171 nbBacktracks=82 nbVisitedNodes=502
1.52 nbRestartNogoods=10 mapSize=75 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.374 cpuTime=0.32 mem=22M37
1.70
1.70 search
1.70 run=4 nbConstraintChecks=339805 nbValidityChecks=689380 nbPropagations=11147 nbRevisions=120290
1.70 nbUselessRevisions=94281 nbAssignments=423 nbFailedAssignments=258 nbBacktracks=133 nbVisitedNodes=772
1.70 nbRestartNogoods=13 mapSize=123 nbInferences=0 nbTooLargeKeys=0
1.70 => wckTime=0.552 cpuTime=0.5 mem=22M37
1.84
1.84 search
1.84 run=5 nbConstraintChecks=445050 nbValidityChecks=902023 nbPropagations=17743 nbRevisions=193056
1.84 nbUselessRevisions=151352 nbAssignments=600 nbFailedAssignments=357 nbBacktracks=208 nbVisitedNodes=1095
1.84 nbRestartNogoods=18 mapSize=185 nbInferences=0 nbTooLargeKeys=0
1.84 => wckTime=0.689 cpuTime=0.63 mem=22M37
2.18
2.18 search
2.18 run=6 nbConstraintChecks=728462 nbValidityChecks=1459542 nbPropagations=28246 nbRevisions=308118
2.18 nbUselessRevisions=240630 nbAssignments=944 nbFailedAssignments=583 nbBacktracks=321 nbVisitedNodes=1755
2.18 nbRestartNogoods=22 mapSize=293 nbInferences=0 nbTooLargeKeys=0
2.18 => wckTime=1.036 cpuTime=0.97 mem=22M37
2.65
2.65 search
2.65 run=7 nbConstraintChecks=1117720 nbValidityChecks=2238949 nbPropagations=44500 nbRevisions=485034
2.65 nbUselessRevisions=377453 nbAssignments=1363 nbFailedAssignments=827 nbBacktracks=491 nbVisitedNodes=2540
2.65 nbRestartNogoods=26 mapSize=450 nbInferences=0 nbTooLargeKeys=0
2.65 => wckTime=1.508 cpuTime=1.44 mem=22M37
3.41
3.41 search
3.41 run=8 nbConstraintChecks=1727754 nbValidityChecks=3484475 nbPropagations=69467 nbRevisions=760206
3.41 nbUselessRevisions=590172 nbAssignments=2050 nbFailedAssignments=1244 nbBacktracks=748 nbVisitedNodes=3823
3.41 nbRestartNogoods=33 mapSize=684 nbInferences=0 nbTooLargeKeys=0
3.41 => wckTime=2.262 cpuTime=2.17 mem=22M37
4.52
4.52 INFO : Stopping hyperNogood (mapSize=1031, nbTooLargekeys=0, mem=22M37)
4.62
4.62 search
4.62 run=9 nbConstraintChecks=2788668 nbValidityChecks=5581416 nbPropagations=109312 nbRevisions=1196430
4.62 nbUselessRevisions=926250 nbAssignments=3109 nbFailedAssignments=1900 nbBacktracks=1132 nbVisitedNodes=5825
4.62 nbRestartNogoods=45
4.62 => wckTime=3.473 cpuTime=3.37 mem=22M37
6.04
6.04 search
6.04 run=10 nbConstraintChecks=3997422 nbValidityChecks=8005470 nbPropagations=166779 nbRevisions=1826037
6.04 nbUselessRevisions=1411864 nbAssignments=4514 nbFailedAssignments=2724 nbBacktracks=1708 nbVisitedNodes=8473
6.04 nbRestartNogoods=52
6.04 => wckTime=4.891 cpuTime=4.76 mem=22M37
8.56
8.56 search
8.56 run=11 nbConstraintChecks=6256945 nbValidityChecks=12465182 nbPropagations=254637 nbRevisions=2783179
8.56 nbUselessRevisions=2148433 nbAssignments=7191 nbFailedAssignments=4531 nbBacktracks=2572 nbVisitedNodes=13618
8.56 nbRestartNogoods=63
8.56 => wckTime=7.414 cpuTime=7.28 mem=22M37
11.46
11.46 search
11.46 run=12 nbConstraintChecks=8798360 nbValidityChecks=17664712 nbPropagations=382977 nbRevisions=4172337
11.46 nbUselessRevisions=3218243 nbAssignments=10421 nbFailedAssignments=6460 nbBacktracks=3869 nbVisitedNodes=19699
11.46 nbRestartNogoods=73
11.46 => wckTime=10.313 cpuTime=10.17 mem=22M37
16.44
16.44 search
16.44 run=13 nbConstraintChecks=13230930 nbValidityChecks=26472415 nbPropagations=576622 nbRevisions=6269149
16.44 nbUselessRevisions=4832129 nbAssignments=15123 nbFailedAssignments=9212 nbBacktracks=5815 nbVisitedNodes=28567
16.44 nbRestartNogoods=87
16.44 => wckTime=15.29 cpuTime=15.15 mem=22M37
22.85
22.85 search
22.85 run=14 nbConstraintChecks=18813983 nbValidityChecks=37741742 nbPropagations=854976 nbRevisions=9289823
22.85 nbUselessRevisions=7162720 nbAssignments=21938 nbFailedAssignments=13102 nbBacktracks=8734 nbVisitedNodes=41263
22.85 nbRestartNogoods=100
22.85 => wckTime=21.706 cpuTime=21.56 mem=22M37
33.99
33.99 search
33.99 run=15 nbConstraintChecks=28858138 nbValidityChecks=57707959 nbPropagations=1282271 nbRevisions=13923603
33.99 nbUselessRevisions=10731891 nbAssignments=33051 nbFailedAssignments=19827 nbBacktracks=13112
33.99 nbVisitedNodes=62333 nbRestartNogoods=112
33.99 => wckTime=32.846 cpuTime=32.69 mem=22M37
52.79
52.79 search
52.79 run=16 nbConstraintChecks=45811576 nbValidityChecks=91322458 nbPropagations=1941014 nbRevisions=21123088
52.79 nbUselessRevisions=16288066 nbAssignments=50399 nbFailedAssignments=30603 nbBacktracks=19680
52.79 nbVisitedNodes=95528 nbRestartNogoods=134
52.79 => wckTime=51.645 cpuTime=51.47 mem=22M37
73.27
73.27 search
73.27 run=17 nbConstraintChecks=64043163 nbValidityChecks=128553402 nbPropagations=2872451 nbRevisions=31390852
73.27 nbUselessRevisions=24247508 nbAssignments=75334 nbFailedAssignments=45681 nbBacktracks=29532
73.27 nbVisitedNodes=142100 nbRestartNogoods=147
73.27 => wckTime=72.119 cpuTime=71.92 mem=22M37
109.60
109.61 search
109.61 run=18 nbConstraintChecks=96933331 nbValidityChecks=193166434 nbPropagations=4274044 nbRevisions=46822436
109.61 nbUselessRevisions=36190507 nbAssignments=111686 nbFailedAssignments=67232 nbBacktracks=44310
109.61 nbVisitedNodes=210535 nbRestartNogoods=174
109.61 => wckTime=108.459 cpuTime=108.21 mem=22M37
179.79
179.79 search
179.79 run=19 nbConstraintChecks=161077281 nbValidityChecks=319626070 nbPropagations=6506088 nbRevisions=71584883
179.79 nbUselessRevisions=55348209 nbAssignments=176363 nbFailedAssignments=109735 nbBacktracks=66479
179.79 nbVisitedNodes=335426 nbRestartNogoods=186
179.79 => wckTime=178.646 cpuTime=178.34 mem=22M37
257.23
257.23 search
257.23 run=20 nbConstraintChecks=229243586 nbValidityChecks=456342480 nbPropagations=9740929 nbRevisions=107269915
257.23 nbUselessRevisions=82938819 nbAssignments=253116 nbFailedAssignments=153221 nbBacktracks=99731
257.23 nbVisitedNodes=478611 nbRestartNogoods=198
257.23 => wckTime=256.086 cpuTime=255.7 mem=22M37
384.90
384.90 search
384.90 run=21 nbConstraintChecks=341922209 nbValidityChecks=680850478 nbPropagations=14608979 nbRevisions=160713276
384.90 nbUselessRevisions=124194089 nbAssignments=375040 nbFailedAssignments=225252 nbBacktracks=149610
384.90 nbVisitedNodes=708310 nbRestartNogoods=215
384.90 => wckTime=383.752 cpuTime=383.15 mem=22M37
585.02
585.02 search
585.02 run=22 nbConstraintChecks=520083247 nbValidityChecks=1035404380 nbPropagations=22043370 nbRevisions=242126859
585.02 nbUselessRevisions=186971309 nbAssignments=564456 nbFailedAssignments=339817 nbBacktracks=224428
585.02 nbVisitedNodes=1067074 nbRestartNogoods=244
585.02 => wckTime=583.878 cpuTime=583.06 mem=22M37
625.43
625.43 search
625.43 run=23 nbConstraintChecks=555773991 nbValidityChecks=1106509005 nbPropagations=29987860 nbRevisions=329160965
625.43 nbUselessRevisions=254101694 nbAssignments=603119 nbFailedAssignments=362535 nbBacktracks=240353
625.43 nbVisitedNodes=1139823 nbRestartNogoods=253
625.43 => wckTime=624.283 cpuTime=623.4 mem=22M37
625.43
625.43 global
625.43 nbConstraintChecks=555793417 nbValidityChecks=1106541710 nbPropagations=29988037 nbRevisions=329162503
625.43 nbUselessRevisions=254102985 nbRestartNogoods=253 solvingWckTime=624.284 solvingCpuTime=623.41 expiredTime=no
625.43 totalExploration=no nbFoundSolutions=1 globalCpuTime=624.06
625.43 => wckTime=625.035 cpuTime=624.01 mem=22M37
625.43
625.43 s SATISFIABLE
625.43 v 5 3 10 18 10 6 2 13 19 0 3 6 1 11 9 14 8 11 8 0
625.43 d NODES 603119
625.43 d CHECKS 555793417
625.43
625.43 totalWckTime=625.112 totalCpuTime=624.06
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-208626-1168188982 -o ROOT/results/node12/solver-208626-1168188982 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208626-1168188982/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.97 2.00 2.00 4/95 3540
/proc/meminfo: memFree=1421576/2055920 swapFree=4160348/4192956
[pid=3539] ppid=3537 vsize=1784 CPUtime=0
/proc/3539/stat : 3539 (java) D 3537 3539 2562 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 167293489 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/3539/statm: 446 136 102 14 0 91 0
[startup+0.104275 s]
/proc/loadavg: 1.97 2.00 2.00 4/95 3540
/proc/meminfo: memFree=1421576/2055920 swapFree=4160348/4192956
[pid=3539] ppid=3537 vsize=913228 CPUtime=0.08
/proc/3539/stat : 3539 (java) D 3537 3539 2562 0 -1 0 2920 0 1 0 6 2 0 0 22 0 8 0 167293489 935145472 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3539/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.512347 s]
/proc/loadavg: 1.97 2.00 2.00 4/95 3540
/proc/meminfo: memFree=1421576/2055920 swapFree=4160348/4192956
[pid=3539] ppid=3537 vsize=915328 CPUtime=0.39
/proc/3539/stat : 3539 (java) R 3537 3539 2562 0 -1 0 6173 0 1 0 34 5 0 0 19 0 8 0 167293489 937295872 5912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3539/statm: 228832 5912 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328
[startup+1.3335 s]
/proc/loadavg: 1.97 2.00 2.00 3/102 3547
/proc/meminfo: memFree=1364184/2055920 swapFree=4160348/4192956
[pid=3539] ppid=3537 vsize=915460 CPUtime=1.21
/proc/3539/stat : 3539 (java) R 3537 3539 2562 0 -1 0 17088 0 1 0 110 11 0 0 25 0 8 0 167293489 937431040 16826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073724541 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3539/statm: 228865 16826 2527 14 0 215335 0
[pid=3539/tid=3541] ppid=3537 vsize=915460 CPUtime=0.06
/proc/3539/task/3541/stat : 3541 (java) S 3537 3539 2562 0 -1 64 1792 0 0 0 6 0 0 0 17 0 8 0 167293493 937431040 16826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3542] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3542/stat : 3542 (java) S 3537 3539 2562 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167293494 937431040 16826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3543] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3543/stat : 3543 (java) S 3537 3539 2562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167293494 937431040 16826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3544] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3544/stat : 3544 (java) S 3537 3539 2562 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167293497 937431040 16826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3545] ppid=3537 vsize=915460 CPUtime=0.14
/proc/3539/task/3545/stat : 3545 (java) S 3537 3539 2562 0 -1 64 354 0 0 0 13 1 0 0 15 0 8 0 167293497 937431040 16826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3546] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3546/stat : 3546 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167293497 937431040 16826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3547] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3547/stat : 3547 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167293497 937431040 16826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915460
[startup+2.97979 s]
/proc/loadavg: 1.97 2.00 2.00 3/102 3547
/proc/meminfo: memFree=1363992/2055920 swapFree=4160348/4192956
[pid=3539] ppid=3537 vsize=915460 CPUtime=2.86
/proc/3539/stat : 3539 (java) R 3537 3539 2562 0 -1 0 17108 0 1 0 274 12 0 0 25 0 8 0 167293489 937431040 16845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073742785 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3539/statm: 228865 16845 2527 14 0 215335 0
[pid=3539/tid=3541] ppid=3537 vsize=915460 CPUtime=0.06
/proc/3539/task/3541/stat : 3541 (java) S 3537 3539 2562 0 -1 64 1792 0 0 0 6 0 0 0 17 0 8 0 167293493 937431040 16845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3542] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3542/stat : 3542 (java) S 3537 3539 2562 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167293494 937431040 16845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3543] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3543/stat : 3543 (java) S 3537 3539 2562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167293494 937431040 16845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3544] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3544/stat : 3544 (java) S 3537 3539 2562 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167293497 937431040 16845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3545] ppid=3537 vsize=915460 CPUtime=0.2
/proc/3539/task/3545/stat : 3545 (java) S 3537 3539 2562 0 -1 64 374 0 0 0 18 2 0 0 16 0 8 0 167293497 937431040 16845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3546] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3546/stat : 3546 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167293497 937431040 16845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3547] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3547/stat : 3547 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167293497 937431040 16845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915460
[startup+6.27438 s]
/proc/loadavg: 1.97 2.00 2.00 3/102 3547
/proc/meminfo: memFree=1363992/2055920 swapFree=4160348/4192956
[pid=3539] ppid=3537 vsize=915460 CPUtime=6.13
/proc/3539/stat : 3539 (java) R 3537 3539 2562 0 -1 0 17121 0 1 0 601 12 0 0 25 0 8 0 167293489 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073731873 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3539/statm: 228865 16855 2527 14 0 215335 0
[pid=3539/tid=3541] ppid=3537 vsize=915460 CPUtime=0.06
/proc/3539/task/3541/stat : 3541 (java) S 3537 3539 2562 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 167293493 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3542] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3542/stat : 3542 (java) S 3537 3539 2562 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3543] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3543/stat : 3543 (java) S 3537 3539 2562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3544] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3544/stat : 3544 (java) S 3537 3539 2562 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3545] ppid=3537 vsize=915460 CPUtime=0.22
/proc/3539/task/3545/stat : 3545 (java) S 3537 3539 2562 0 -1 64 386 0 0 0 20 2 0 0 16 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3546] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3546/stat : 3546 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3547] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3547/stat : 3547 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915460
[startup+12.7616 s]
/proc/loadavg: 1.97 2.00 2.00 3/102 3547
/proc/meminfo: memFree=1363992/2055920 swapFree=4160348/4192956
[pid=3539] ppid=3537 vsize=915460 CPUtime=12.61
/proc/3539/stat : 3539 (java) R 3537 3539 2562 0 -1 0 17121 0 1 0 1249 12 0 0 25 0 8 0 167293489 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3539/statm: 228865 16855 2527 14 0 215335 0
[pid=3539/tid=3541] ppid=3537 vsize=915460 CPUtime=0.06
/proc/3539/task/3541/stat : 3541 (java) S 3537 3539 2562 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 167293493 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3542] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3542/stat : 3542 (java) S 3537 3539 2562 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3543] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3543/stat : 3543 (java) S 3537 3539 2562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3544] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3544/stat : 3544 (java) S 3537 3539 2562 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3545] ppid=3537 vsize=915460 CPUtime=0.22
/proc/3539/task/3545/stat : 3545 (java) S 3537 3539 2562 0 -1 64 386 0 0 0 20 2 0 0 16 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3546] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3546/stat : 3546 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3547] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3547/stat : 3547 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460
[startup+25.6349 s]
/proc/loadavg: 1.98 2.00 2.00 3/102 3547
/proc/meminfo: memFree=1364056/2055920 swapFree=4160348/4192956
[pid=3539] ppid=3537 vsize=915460 CPUtime=25.47
/proc/3539/stat : 3539 (java) R 3537 3539 2562 0 -1 0 17122 0 1 0 2535 12 0 0 25 0 8 0 167293489 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073609022 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3539/statm: 228865 16855 2527 14 0 215335 0
[pid=3539/tid=3541] ppid=3537 vsize=915460 CPUtime=0.06
/proc/3539/task/3541/stat : 3541 (java) S 3537 3539 2562 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 167293493 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3542] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3542/stat : 3542 (java) S 3537 3539 2562 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3543] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3543/stat : 3543 (java) S 3537 3539 2562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3544] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3544/stat : 3544 (java) S 3537 3539 2562 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3545] ppid=3537 vsize=915460 CPUtime=0.22
/proc/3539/task/3545/stat : 3545 (java) S 3537 3539 2562 0 -1 64 386 0 0 0 20 2 0 0 16 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3546] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3546/stat : 3546 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3547] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3547/stat : 3547 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915460
[startup+51.2725 s]
/proc/loadavg: 1.98 2.00 2.00 3/102 3547
/proc/meminfo: memFree=1364120/2055920 swapFree=4160348/4192956
[pid=3539] ppid=3537 vsize=915460 CPUtime=51.08
/proc/3539/stat : 3539 (java) R 3537 3539 2562 0 -1 0 17122 0 1 0 5096 12 0 0 25 0 8 0 167293489 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073731841 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3539/statm: 228865 16855 2527 14 0 215335 0
[pid=3539/tid=3541] ppid=3537 vsize=915460 CPUtime=0.06
/proc/3539/task/3541/stat : 3541 (java) S 3537 3539 2562 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 167293493 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3542] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3542/stat : 3542 (java) S 3537 3539 2562 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3543] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3543/stat : 3543 (java) S 3537 3539 2562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3544] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3544/stat : 3544 (java) S 3537 3539 2562 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3545] ppid=3537 vsize=915460 CPUtime=0.22
/proc/3539/task/3545/stat : 3545 (java) S 3537 3539 2562 0 -1 64 386 0 0 0 20 2 0 0 16 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3546] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3546/stat : 3546 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3547] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3547/stat : 3547 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 915460
[startup+102.565 s]
/proc/loadavg: 1.99 2.00 2.00 3/102 3547
/proc/meminfo: memFree=1364120/2055920 swapFree=4160348/4192956
[pid=3539] ppid=3537 vsize=915460 CPUtime=102.32
/proc/3539/stat : 3539 (java) R 3537 3539 2562 0 -1 0 17122 0 1 0 10219 13 0 0 25 0 8 0 167293489 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073724459 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3539/statm: 228865 16855 2527 14 0 215335 0
[pid=3539/tid=3541] ppid=3537 vsize=915460 CPUtime=0.06
/proc/3539/task/3541/stat : 3541 (java) S 3537 3539 2562 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 167293493 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3542] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3542/stat : 3542 (java) S 3537 3539 2562 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3543] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3543/stat : 3543 (java) S 3537 3539 2562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3544] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3544/stat : 3544 (java) S 3537 3539 2562 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3545] ppid=3537 vsize=915460 CPUtime=0.22
/proc/3539/task/3545/stat : 3545 (java) S 3537 3539 2562 0 -1 64 386 0 0 0 20 2 0 0 16 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3546] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3546/stat : 3546 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3547] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3547/stat : 3547 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 915460
[startup+162.591 s]
/proc/loadavg: 1.99 2.00 2.00 3/102 3547
/proc/meminfo: memFree=1343064/2055920 swapFree=4160348/4192956
[pid=3539] ppid=3537 vsize=915460 CPUtime=162.28
/proc/3539/stat : 3539 (java) R 3537 3539 2562 0 -1 0 17122 0 1 0 16215 13 0 0 25 0 8 0 167293489 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073726256 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/3539/task/3544/stat : 3544 (java) S 3537 3539 2562 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3545] ppid=3537 vsize=915460 CPUtime=0.22
/proc/3539/task/3545/stat : 3545 (java) S 3537 3539 2562 0 -1 64 386 0 0 0 20 2 0 0 16 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3546] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3546/stat : 3546 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3547] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3547/stat : 3547 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 915460
[startup+222.629 s]
/proc/loadavg: 2.06 2.01 2.00 3/102 3547
/proc/meminfo: memFree=1343064/2055920 swapFree=4160348/4192956
[pid=3539] ppid=3537 vsize=915460 CPUtime=222.27
/proc/3539/stat : 3539 (java) R 3537 3539 2562 0 -1 0 17122 0 1 0 22214 13 0 0 25 0 8 0 167293489 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073726297 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3539/statm: 228865 16855 2527 14 0 215335 0
[pid=3539/tid=3541] ppid=3537 vsize=915460 CPUtime=0.06
/proc/3539/task/3541/stat : 3541 (java) S 3537 3539 2562 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 167293493 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3542] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3542/stat : 3542 (java) S 3537 3539 2562 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3543] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3543/stat : 3543 (java) S 3537 3539 2562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3544] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3544/stat : 3544 (java) S 3537 3539 2562 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3545] ppid=3537 vsize=915460 CPUtime=0.22
/proc/3539/task/3545/stat : 3545 (java) S 3537 3539 2562 0 -1 64 386 0 0 0 20 2 0 0 16 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3546] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3546/stat : 3546 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3547] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3547/stat : 3547 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 915460
[startup+282.652 s]
/proc/loadavg: 2.02 2.01 2.00 3/108 3611
/proc/meminfo: memFree=1341712/2055920 swapFree=4160348/4192956
[pid=3539] ppid=3537 vsize=915460 CPUtime=282.2
/proc/3539/stat : 3539 (java) R 3537 3539 2562 0 -1 0 17122 0 1 0 28204 16 0 0 25 0 8 0 167293489 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749662 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3539/statm: 228865 16855 2527 14 0 215335 0
[pid=3539/tid=3541] ppid=3537 vsize=915460 CPUtime=0.06
/proc/3539/task/3541/stat : 3541 (java) S 3537 3539 2562 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 167293493 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3542] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3542/stat : 3542 (java) S 3537 3539 2562 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3543] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3543/stat : 3543 (java) S 3537 3539 2562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3544] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3544/stat : 3544 (java) S 3537 3539 2562 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3545] ppid=3537 vsize=915460 CPUtime=0.22
/proc/3539/task/3545/stat : 3545 (java) S 3537 3539 2562 0 -1 64 386 0 0 0 20 2 0 0 16 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3546] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3546/stat : 3546 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3547] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3547/stat : 3547 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 915460
[startup+342.7 s]
/proc/loadavg: 2.09 2.03 2.01 3/108 3703
/proc/meminfo: memFree=1341720/2055920 swapFree=4160348/4192956
[pid=3539] ppid=3537 vsize=915460 CPUtime=342.14
/proc/3539/stat : 3539 (java) R 3537 3539 2562 0 -1 0 17122 0 1 0 34188 26 0 0 25 0 8 0 167293489 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073731824 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3539/statm: 228865 16855 2527 14 0 215335 0
[pid=3539/tid=3541] ppid=3537 vsize=915460 CPUtime=0.06
/proc/3539/task/3541/stat : 3541 (java) S 3537 3539 2562 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 167293493 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3542] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3542/stat : 3542 (java) S 3537 3539 2562 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3543] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3543/stat : 3543 (java) S 3537 3539 2562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3544] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3544/stat : 3544 (java) S 3537 3539 2562 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3545] ppid=3537 vsize=915460 CPUtime=0.22
/proc/3539/task/3545/stat : 3545 (java) S 3537 3539 2562 0 -1 64 386 0 0 0 20 2 0 0 16 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3546] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3546/stat : 3546 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3547] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3547/stat : 3547 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 915460
[startup+402.741 s]
/proc/loadavg: 2.03 2.02 2.00 3/102 3745
/proc/meminfo: memFree=1342744/2055920 swapFree=4160348/4192956
[pid=3539] ppid=3537 vsize=915460 CPUtime=402.12
/proc/3539/stat : 3539 (java) R 3537 3539 2562 0 -1 0 17122 0 1 0 40181 31 0 0 25 0 8 0 167293489 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613949 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3539/statm: 228865 16855 2527 14 0 215335 0
[pid=3539/tid=3541] ppid=3537 vsize=915460 CPUtime=0.06
/proc/3539/task/3541/stat : 3541 (java) S 3537 3539 2562 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 167293493 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3542] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3542/stat : 3542 (java) S 3537 3539 2562 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3543] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3543/stat : 3543 (java) S 3537 3539 2562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3544] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3544/stat : 3544 (java) S 3537 3539 2562 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3545] ppid=3537 vsize=915460 CPUtime=0.22
/proc/3539/task/3545/stat : 3545 (java) S 3537 3539 2562 0 -1 64 386 0 0 0 20 2 0 0 16 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3546] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3546/stat : 3546 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3547] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3547/stat : 3547 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 915460
[startup+462.772 s]
/proc/loadavg: 2.01 2.02 2.00 4/102 3745
/proc/meminfo: memFree=1342744/2055920 swapFree=4160348/4192956
[pid=3539] ppid=3537 vsize=915460 CPUtime=462.07
/proc/3539/stat : 3539 (java) R 3537 3539 2562 0 -1 0 17122 0 1 0 46176 31 0 0 25 0 8 0 167293489 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073738932 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3539/statm: 228865 16855 2527 14 0 215335 0
[pid=3539/tid=3541] ppid=3537 vsize=915460 CPUtime=0.06
/proc/3539/task/3541/stat : 3541 (java) S 3537 3539 2562 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 167293493 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3542] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3542/stat : 3542 (java) S 3537 3539 2562 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3543] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3543/stat : 3543 (java) S 3537 3539 2562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3544] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3544/stat : 3544 (java) S 3537 3539 2562 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3545] ppid=3537 vsize=915460 CPUtime=0.22
/proc/3539/task/3545/stat : 3545 (java) S 3537 3539 2562 0 -1 64 386 0 0 0 20 2 0 0 16 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3546] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3546/stat : 3546 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3547] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3547/stat : 3547 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 915460
[startup+522.813 s]
/proc/loadavg: 2.00 2.01 2.00 3/102 3745
/proc/meminfo: memFree=1342744/2055920 swapFree=4160348/4192956
[pid=3539] ppid=3537 vsize=915460 CPUtime=522.04
/proc/3539/stat : 3539 (java) R 3537 3539 2562 0 -1 0 17122 0 1 0 52173 31 0 0 25 0 8 0 167293489 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3539/statm: 228865 16855 2527 14 0 215335 0
[pid=3539/tid=3541] ppid=3537 vsize=915460 CPUtime=0.06
/proc/3539/task/3541/stat : 3541 (java) S 3537 3539 2562 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 167293493 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3542] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3542/stat : 3542 (java) S 3537 3539 2562 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3543] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3543/stat : 3543 (java) S 3537 3539 2562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3544] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3544/stat : 3544 (java) S 3537 3539 2562 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3545] ppid=3537 vsize=915460 CPUtime=0.22
/proc/3539/task/3545/stat : 3545 (java) S 3537 3539 2562 0 -1 64 386 0 0 0 20 2 0 0 16 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3546] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3546/stat : 3546 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3547] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3547/stat : 3547 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 915460
[startup+582.839 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 3819
/proc/meminfo: memFree=1337120/2055920 swapFree=4160348/4192956
[pid=3539] ppid=3537 vsize=915460 CPUtime=582.01
/proc/3539/stat : 3539 (java) R 3537 3539 2562 0 -1 0 17122 0 1 0 58167 34 0 0 25 0 8 0 167293489 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3539/statm: 228865 16855 2527 14 0 215335 0
[pid=3539/tid=3541] ppid=3537 vsize=915460 CPUtime=0.06
/proc/3539/task/3541/stat : 3541 (java) S 3537 3539 2562 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 167293493 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3542] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3542/stat : 3542 (java) S 3537 3539 2562 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3543] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3543/stat : 3543 (java) S 3537 3539 2562 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167293494 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3544] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3544/stat : 3544 (java) S 3537 3539 2562 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3545] ppid=3537 vsize=915460 CPUtime=0.22
/proc/3539/task/3545/stat : 3545 (java) S 3537 3539 2562 0 -1 64 386 0 0 0 20 2 0 0 16 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3546] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3546/stat : 3546 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3539/tid=3547] ppid=3537 vsize=915460 CPUtime=0
/proc/3539/task/3547/stat : 3547 (java) S 3537 3539 2562 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167293497 937431040 16855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 625.467
CPU time (s): 624.571
CPU user time (s): 624.215
CPU system time (s): 0.355945
CPU usage (%): 99.8567
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 624.215
system time used= 0.355945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17130
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= 13765
involuntary context switches= 23401
runsolver used 0.889864 s user time and 2.08368 s system time
The end
Begin job on node12 on Sun Jan 7 16:56:23 UTC 2007
IDJOB= 208626
IDBENCH= 4417
FILE ID= node12/208626-1168188982
PBS_JOBID= 3478951
Free space on /tmp= 66317 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208626-1168188982/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-208626-1168188982 -o ROOT/results/node12/solver-208626-1168188982 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208626-1168188982/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b91e7b4f54ac2883b29004e634721614
RANDOM SEED= 879983161
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.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
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: 1422120 kB
Buffers: 51776 kB
Cached: 365640 kB
SwapCached: 4660 kB
Active: 237836 kB
Inactive: 326024 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1422120 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2896 kB
Writeback: 0 kB
Mapped: 165036 kB
Slab: 54492 kB
Committed_AS: 5387100 kB
PageTables: 2396 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= 66310 MiB
End job on node12 on Sun Jan 7 17:06:51 UTC 2007