0.40
0.40 Abscon 109 (November, 2006)
0.40
0.40 configuration
0.41 name=esac.xml
0.44
0.44 instance
0.44 name=/tmp/evaluation/196182-1168120158/unknown.xml
0.47
0.47 domains being loaded...
0.47
0.47 variables being loaded...
0.51 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.51 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.51
0.51 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=20 maxArity=3
1.44 => wckTime=1.031 cpuTime=0.9 mem=50M841
1.57
1.57 solver IterativeSystematicSolver being built...
1.74 => wckTime=1.331 cpuTime=1.05 mem=35M597
1.85
1.85 preprocessing
1.85 nbConstraintChecks=35614 nbValidityChecks=55606 nbPropagations=180 nbRevisions=2191 nbUselessRevisions=1892
1.85 nbSingletonTests=30 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.85 => wckTime=0.111 cpuTime=0.08 mem=35M597
1.94
1.94 search
1.94 run=0 nbConstraintChecks=43268 nbValidityChecks=83365 nbPropagations=631 nbRevisions=6835
1.94 nbUselessRevisions=5504 nbAssignments=36 nbFailedAssignments=22 nbBacktracks=10 nbVisitedNodes=68
1.94 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.94 => wckTime=0.197 cpuTime=0.16 mem=35M597
2.03
2.04 search
2.04 run=1 nbConstraintChecks=95391 nbValidityChecks=188490 nbPropagations=1839 nbRevisions=20614
2.04 nbUselessRevisions=16385 nbAssignments=83 nbFailedAssignments=50 nbBacktracks=25 nbVisitedNodes=153
2.04 nbRestartNogoods=3 mapSize=24 nbInferences=0 nbTooLargeKeys=0
2.04 => wckTime=0.293 cpuTime=0.25 mem=35M597
2.22
2.22 search
2.22 run=2 nbConstraintChecks=211207 nbValidityChecks=416936 nbPropagations=4021 nbRevisions=46854
2.22 nbUselessRevisions=37219 nbAssignments=162 nbFailedAssignments=93 nbBacktracks=49 nbVisitedNodes=283
2.22 nbRestartNogoods=8 mapSize=45 nbInferences=0 nbTooLargeKeys=0
2.22 => wckTime=0.481 cpuTime=0.43 mem=35M597
2.39
2.39 search
2.39 run=3 nbConstraintChecks=315677 nbValidityChecks=610088 nbPropagations=7238 nbRevisions=84864
2.39 nbUselessRevisions=66981 nbAssignments=236 nbFailedAssignments=130 nbBacktracks=82 nbVisitedNodes=417
2.39 nbRestartNogoods=14 mapSize=74 nbInferences=0 nbTooLargeKeys=0
2.39 => wckTime=0.653 cpuTime=0.6 mem=35M597
2.67
2.67 search
2.67 run=4 nbConstraintChecks=490617 nbValidityChecks=968794 nbPropagations=12304 nbRevisions=145759
2.67 nbUselessRevisions=114580 nbAssignments=420 nbFailedAssignments=257 nbBacktracks=133 nbVisitedNodes=761
2.67 nbRestartNogoods=20 mapSize=114 nbInferences=0 nbTooLargeKeys=0
2.67 => wckTime=0.931 cpuTime=0.87 mem=35M597
3.18
3.18 search
3.18 run=5 nbConstraintChecks=827235 nbValidityChecks=1650348 nbPropagations=20749 nbRevisions=247227
3.18 nbUselessRevisions=193734 nbAssignments=701 nbFailedAssignments=423 nbBacktracks=209 nbVisitedNodes=1233
3.18 nbRestartNogoods=31 mapSize=186 nbInferences=0 nbTooLargeKeys=0
3.18 => wckTime=1.444 cpuTime=1.37 mem=35M597
3.83
3.83 search
3.83 run=6 nbConstraintChecks=1247566 nbValidityChecks=2475048 nbPropagations=33525 nbRevisions=399688
3.83 nbUselessRevisions=312051 nbAssignments=1031 nbFailedAssignments=636 nbBacktracks=324 nbVisitedNodes=1859
3.83 nbRestartNogoods=39 mapSize=293 nbInferences=0 nbTooLargeKeys=0
3.83 => wckTime=2.086 cpuTime=2.0 mem=35M597
4.69
4.69 search
4.69 run=7 nbConstraintChecks=1818218 nbValidityChecks=3640356 nbPropagations=52380 nbRevisions=626859
4.69 nbUselessRevisions=488985 nbAssignments=1498 nbFailedAssignments=929 nbBacktracks=494 nbVisitedNodes=2737
4.69 nbRestartNogoods=54 mapSize=454 nbInferences=0 nbTooLargeKeys=0
4.69 => wckTime=2.95 cpuTime=2.85 mem=35M597
6.31
6.31 search
6.31 run=8 nbConstraintChecks=2906468 nbValidityChecks=5686292 nbPropagations=79785 nbRevisions=965706
6.31 nbUselessRevisions=754807 nbAssignments=2162 nbFailedAssignments=1333 nbBacktracks=751 nbVisitedNodes=3989
6.31 nbRestartNogoods=65 mapSize=678 nbInferences=0 nbTooLargeKeys=0
6.31 => wckTime=4.569 cpuTime=4.44 mem=35M597
8.27
8.27 INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=35M597)
8.42
8.42 search
8.42 run=9 nbConstraintChecks=4366499 nbValidityChecks=8506383 nbPropagations=121272 nbRevisions=1472527
8.42 nbUselessRevisions=1150824 nbAssignments=3258 nbFailedAssignments=2034 nbBacktracks=1135 nbVisitedNodes=6062
8.42 nbRestartNogoods=76
8.42 => wckTime=6.676 cpuTime=6.52 mem=35M597
11.83
11.83 search
11.83 run=10 nbConstraintChecks=6775673 nbValidityChecks=13159005 nbPropagations=185292 nbRevisions=2256755
11.83 nbUselessRevisions=1762946 nbAssignments=4959 nbFailedAssignments=3155 nbBacktracks=1711 nbVisitedNodes=9328
11.83 nbRestartNogoods=83
11.83 => wckTime=10.086 cpuTime=9.89 mem=35M597
17.40
17.40 search
17.40 run=11 nbConstraintChecks=10684642 nbValidityChecks=20946964 nbPropagations=285723 nbRevisions=3509421
17.40 nbUselessRevisions=2744494 nbAssignments=8075 nbFailedAssignments=5396 nbBacktracks=2577 nbVisitedNodes=15328
17.40 nbRestartNogoods=96
17.40 => wckTime=15.658 cpuTime=15.41 mem=35M597
23.94
23.94 search
23.94 run=12 nbConstraintChecks=15396781 nbValidityChecks=30277428 nbPropagations=432627 nbRevisions=5343006
23.94 nbUselessRevisions=4174715 nbAssignments=11898 nbFailedAssignments=7917 nbBacktracks=3875 nbVisitedNodes=22600
23.94 nbRestartNogoods=103
23.94 => wckTime=22.199 cpuTime=21.9 mem=35M597
33.91
33.91 search
33.91 run=13 nbConstraintChecks=22488367 nbValidityChecks=44306150 nbPropagations=650292 nbRevisions=8054328
33.91 nbUselessRevisions=6286094 nbAssignments=17570 nbFailedAssignments=11640 nbBacktracks=5821 nbVisitedNodes=33464
33.91 nbRestartNogoods=116
33.91 => wckTime=32.171 cpuTime=31.78 mem=35M597
49.06
49.06 search
49.06 run=14 nbConstraintChecks=33169766 nbValidityChecks=65158606 nbPropagations=975153 nbRevisions=12051601
49.07 nbUselessRevisions=9389836 nbAssignments=25807 nbFailedAssignments=16952 nbBacktracks=8741 nbVisitedNodes=49231
49.07 nbRestartNogoods=132
49.07 => wckTime=47.324 cpuTime=46.79 mem=35M597
71.44
71.44 search
71.44 run=15 nbConstraintChecks=48874667 nbValidityChecks=96791728 nbPropagations=1464712 nbRevisions=18087674
71.44 nbUselessRevisions=14084472 nbAssignments=39001 nbFailedAssignments=25749 nbBacktracks=13119
71.44 nbVisitedNodes=74484 nbRestartNogoods=155
71.44 => wckTime=69.701 cpuTime=68.96 mem=35M597
105.16
105.16 search
105.16 run=16 nbConstraintChecks=72481905 nbValidityChecks=143996584 nbPropagations=2196575 nbRevisions=27163190
105.16 nbUselessRevisions=21154454 nbAssignments=58631 nbFailedAssignments=38807 nbBacktracks=19688
105.16 nbVisitedNodes=112004 nbRestartNogoods=168
105.16 => wckTime=103.417 cpuTime=102.38 mem=35M597
162.21
162.21 search
162.21 run=17 nbConstraintChecks=112555090 nbValidityChecks=221613030 nbPropagations=3293723 nbRevisions=40817809
162.21 nbUselessRevisions=31804459 nbAssignments=87197 nbFailedAssignments=57518 nbBacktracks=29541
162.21 nbVisitedNodes=166688 nbRestartNogoods=182
162.21 => wckTime=160.466 cpuTime=158.91 mem=35M597
242.52
242.52 search
242.52 run=18 nbConstraintChecks=169007021 nbValidityChecks=331990559 nbPropagations=4943086 nbRevisions=61179579
242.52 nbUselessRevisions=47661785 nbAssignments=130227 nbFailedAssignments=85766 nbBacktracks=44319
242.52 nbVisitedNodes=249195 nbRestartNogoods=199
242.52 => wckTime=240.782 cpuTime=238.49 mem=35M597
370.61
370.61 search
370.61 run=19 nbConstraintChecks=259283119 nbValidityChecks=506102671 nbPropagations=7432399 nbRevisions=91901478
370.61 nbUselessRevisions=71588308 nbAssignments=194952 nbFailedAssignments=128321 nbBacktracks=66487
370.61 nbVisitedNodes=373455 nbRestartNogoods=231
370.61 => wckTime=368.868 cpuTime=365.41 mem=35M597
560.05
560.05 search
560.05 run=20 nbConstraintChecks=392888856 nbValidityChecks=765680937 nbPropagations=11188420 nbRevisions=138308663
560.05 nbUselessRevisions=107744778 nbAssignments=293635 nbFailedAssignments=193749 nbBacktracks=99739
560.05 nbVisitedNodes=563127 nbRestartNogoods=234
560.05 => wckTime=558.305 cpuTime=553.12 mem=35M597
845.67
845.67 search
845.67 run=21 nbConstraintChecks=594428453 nbValidityChecks=1155807100 nbPropagations=16823760 nbRevisions=208145071
845.67 nbUselessRevisions=162200346 nbAssignments=439785 nbFailedAssignments=290017 nbBacktracks=149618
845.67 nbVisitedNodes=843714 nbRestartNogoods=246
845.67 => wckTime=843.934 cpuTime=835.95 mem=35M597
922.57
922.57 search
922.57 run=22 nbConstraintChecks=648701180 nbValidityChecks=1262441184 nbPropagations=22975351 nbRevisions=284452873
922.57 nbUselessRevisions=221703576 nbAssignments=480771 nbFailedAssignments=317660 nbBacktracks=162962
922.57 nbVisitedNodes=922692 nbRestartNogoods=274
922.57 => wckTime=920.828 cpuTime=912.14 mem=35M597
922.57
922.57 global
922.57 nbConstraintChecks=648736794 nbValidityChecks=1262496790 nbPropagations=22975531 nbRevisions=284455064
922.57 nbUselessRevisions=221705468 nbRestartNogoods=274 solvingWckTime=920.83 solvingCpuTime=912.15 expiredTime=no
922.57 totalExploration=yes nbFoundSolutions=0 globalCpuTime=913.26
922.57 => wckTime=922.164 cpuTime=913.2 mem=35M597
922.57
922.57 s UNSATISFIABLE
922.58 d NODES 480771
922.58 d CHECKS 648736794
922.58
922.58 totalWckTime=922.245 totalCpuTime=913.26
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node52/watcher-196182-1168120158 -o ROOT/results/node52/solver-196182-1168120158 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196182-1168120158/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.01 1.99 1.91 3/81 6609
/proc/meminfo: memFree=1818960/2055920 swapFree=4192812/4192956
[pid=6608] ppid=6606 vsize=18540 CPUtime=0
/proc/6608/stat : 6608 (runsolver) R 6606 6608 6322 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 160414326 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 273653755175 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/6608/statm: 4635 279 244 17 0 2626 0
[startup+0.107647 s]
/proc/loadavg: 2.01 1.99 1.91 3/81 6609
/proc/meminfo: memFree=1818960/2055920 swapFree=4192812/4192956
[pid=6608] ppid=6606 vsize=914988 CPUtime=0.08
/proc/6608/stat : 6608 (java) R 6606 6608 6322 0 -1 0 2988 0 1 0 6 2 0 0 17 0 8 0 160414326 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6608/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515673 s]
/proc/loadavg: 2.01 1.99 1.91 3/81 6609
/proc/meminfo: memFree=1818960/2055920 swapFree=4192812/4192956
[pid=6608] ppid=6606 vsize=915328 CPUtime=0.4
/proc/6608/stat : 6608 (java) R 6606 6608 6322 0 -1 0 6112 0 1 0 36 4 0 0 18 0 8 0 160414326 937295872 5851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6608/statm: 228832 5851 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328
[startup+1.33673 s]
/proc/loadavg: 2.01 1.99 1.91 4/88 6616
/proc/meminfo: memFree=1752024/2055920 swapFree=4192812/4192956
[pid=6608] ppid=6606 vsize=915328 CPUtime=1.21
/proc/6608/stat : 6608 (java) R 6606 6608 6322 0 -1 0 19114 0 1 0 112 9 0 0 24 0 8 0 160414326 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073654738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6608/statm: 228832 18851 2160 14 0 215302 0
[pid=6608/tid=6610] ppid=6606 vsize=915328 CPUtime=0.04
/proc/6608/task/6610/stat : 6610 (java) S 6606 6608 6322 0 -1 64 2649 0 0 0 4 0 0 0 17 0 8 0 160414330 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6611] ppid=6606 vsize=915328 CPUtime=0
/proc/6608/task/6611/stat : 6611 (java) S 6606 6608 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160414331 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6612] ppid=6606 vsize=915328 CPUtime=0
/proc/6608/task/6612/stat : 6612 (java) S 6606 6608 6322 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160414331 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6613] ppid=6606 vsize=915328 CPUtime=0
/proc/6608/task/6613/stat : 6613 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160414334 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6614] ppid=6606 vsize=915328 CPUtime=0.09
/proc/6608/task/6614/stat : 6614 (java) S 6606 6608 6322 0 -1 64 321 0 0 0 9 0 0 0 15 0 8 0 160414334 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6615] ppid=6606 vsize=915328 CPUtime=0
/proc/6608/task/6615/stat : 6615 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160414334 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6616] ppid=6606 vsize=915328 CPUtime=0
/proc/6608/task/6616/stat : 6616 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160414334 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915328
[startup+2.98685 s]
/proc/loadavg: 2.01 1.99 1.91 3/88 6616
/proc/meminfo: memFree=1735512/2055920 swapFree=4192812/4192956
[pid=6608] ppid=6606 vsize=915420 CPUtime=2.84
/proc/6608/stat : 6608 (java) R 6606 6608 6322 0 -1 0 23568 0 1 0 272 12 0 0 25 0 8 0 160414326 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6608/statm: 228855 23303 2531 14 0 215325 0
[pid=6608/tid=6610] ppid=6606 vsize=915420 CPUtime=0.16
/proc/6608/task/6610/stat : 6610 (java) S 6606 6608 6322 0 -1 64 6583 0 0 0 14 2 0 0 17 0 8 0 160414330 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6611] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6611/stat : 6611 (java) S 6606 6608 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160414331 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6612] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6612/stat : 6612 (java) S 6606 6608 6322 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160414331 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6613] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6613/stat : 6613 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160414334 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6614] ppid=6606 vsize=915420 CPUtime=0.19
/proc/6608/task/6614/stat : 6614 (java) S 6606 6608 6322 0 -1 64 373 0 0 0 18 1 0 0 15 0 8 0 160414334 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6615] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6615/stat : 6615 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160414334 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6616] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6616/stat : 6616 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160414334 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 915420
[startup+6.19307 s]
/proc/loadavg: 2.01 1.99 1.91 3/88 6616
/proc/meminfo: memFree=1735384/2055920 swapFree=4192812/4192956
[pid=6608] ppid=6606 vsize=915420 CPUtime=6.02
/proc/6608/stat : 6608 (java) R 6606 6608 6322 0 -1 0 23583 0 1 0 589 13 0 0 25 0 8 0 160414326 937390080 23315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6608/statm: 228855 23315 2531 14 0 215325 0
[pid=6608/tid=6610] ppid=6606 vsize=915420 CPUtime=0.16
/proc/6608/task/6610/stat : 6610 (java) S 6606 6608 6322 0 -1 64 6583 0 0 0 14 2 0 0 17 0 8 0 160414330 937390080 23315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6611] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6611/stat : 6611 (java) S 6606 6608 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160414331 937390080 23315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6612] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6612/stat : 6612 (java) S 6606 6608 6322 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160414331 937390080 23315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6613] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6613/stat : 6613 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160414334 937390080 23315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6614] ppid=6606 vsize=915420 CPUtime=0.22
/proc/6608/task/6614/stat : 6614 (java) S 6606 6608 6322 0 -1 64 386 0 0 0 21 1 0 0 15 0 8 0 160414334 937390080 23315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6615] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6615/stat : 6615 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160414334 937390080 23315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6616] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6616/stat : 6616 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160414334 937390080 23315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 915420
[startup+12.6695 s]
/proc/loadavg: 2.01 1.99 1.91 3/88 6616
/proc/meminfo: memFree=1735448/2055920 swapFree=4192812/4192956
[pid=6608] ppid=6606 vsize=915420 CPUtime=12.44
/proc/6608/stat : 6608 (java) R 6606 6608 6322 0 -1 0 23589 0 1 0 1231 13 0 0 25 0 8 0 160414326 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6608/statm: 228855 23319 2531 14 0 215325 0
[pid=6608/tid=6610] ppid=6606 vsize=915420 CPUtime=0.16
/proc/6608/task/6610/stat : 6610 (java) S 6606 6608 6322 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160414330 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6611] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6611/stat : 6611 (java) S 6606 6608 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6612] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6612/stat : 6612 (java) S 6606 6608 6322 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6613] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6613/stat : 6613 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6614] ppid=6606 vsize=915420 CPUtime=0.23
/proc/6608/task/6614/stat : 6614 (java) S 6606 6608 6322 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6615] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6615/stat : 6615 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6616] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6616/stat : 6616 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 915420
[startup+25.5324 s]
/proc/loadavg: 2.01 1.99 1.91 3/88 6616
/proc/meminfo: memFree=1735640/2055920 swapFree=4192812/4192956
[pid=6608] ppid=6606 vsize=915420 CPUtime=25.18
/proc/6608/stat : 6608 (java) R 6606 6608 6322 0 -1 0 23589 0 1 0 2505 13 0 0 25 0 8 0 160414326 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771737 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6608/statm: 228855 23319 2531 14 0 215325 0
[pid=6608/tid=6610] ppid=6606 vsize=915420 CPUtime=0.16
/proc/6608/task/6610/stat : 6610 (java) S 6606 6608 6322 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160414330 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6611] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6611/stat : 6611 (java) S 6606 6608 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6612] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6612/stat : 6612 (java) S 6606 6608 6322 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6613] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6613/stat : 6613 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6614] ppid=6606 vsize=915420 CPUtime=0.23
/proc/6608/task/6614/stat : 6614 (java) S 6606 6608 6322 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6615] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6615/stat : 6615 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6616] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6616/stat : 6616 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 915420
[startup+51.1632 s]
/proc/loadavg: 2.00 1.99 1.91 3/88 6616
/proc/meminfo: memFree=1735640/2055920 swapFree=4192812/4192956
[pid=6608] ppid=6606 vsize=915420 CPUtime=50.58
/proc/6608/stat : 6608 (java) R 6606 6608 6322 0 -1 0 23589 0 1 0 5045 13 0 0 25 0 8 0 160414326 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802655 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6608/statm: 228855 23319 2531 14 0 215325 0
[pid=6608/tid=6610] ppid=6606 vsize=915420 CPUtime=0.16
/proc/6608/task/6610/stat : 6610 (java) S 6606 6608 6322 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160414330 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6611] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6611/stat : 6611 (java) S 6606 6608 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6612] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6612/stat : 6612 (java) S 6606 6608 6322 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6613] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6613/stat : 6613 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6614] ppid=6606 vsize=915420 CPUtime=0.23
/proc/6608/task/6614/stat : 6614 (java) S 6606 6608 6322 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6615] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6615/stat : 6615 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6616] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6616/stat : 6616 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 915420
[startup+102.412 s]
/proc/loadavg: 2.08 2.00 1.92 3/88 6616
/proc/meminfo: memFree=1735640/2055920 swapFree=4192812/4192956
[pid=6608] ppid=6606 vsize=915420 CPUtime=101.36
/proc/6608/stat : 6608 (java) R 6606 6608 6322 0 -1 0 23589 0 1 0 10123 13 0 0 25 0 8 0 160414326 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073774153 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6608/statm: 228855 23319 2531 14 0 215325 0
[pid=6608/tid=6610] ppid=6606 vsize=915420 CPUtime=0.16
/proc/6608/task/6610/stat : 6610 (java) S 6606 6608 6322 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160414330 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6611] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6611/stat : 6611 (java) S 6606 6608 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6612] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6612/stat : 6612 (java) S 6606 6608 6322 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6613] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6613/stat : 6613 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6614] ppid=6606 vsize=915420 CPUtime=0.23
/proc/6608/task/6614/stat : 6614 (java) S 6606 6608 6322 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6615] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6615/stat : 6615 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6616] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6616/stat : 6616 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.36
Current children cumulated vsize (KiB) 915420
[startup+162.513 s]
/proc/loadavg: 2.03 2.00 1.92 3/88 6616
/proc/meminfo: memFree=1735640/2055920 swapFree=4192812/4192956
[pid=6608] ppid=6606 vsize=915420 CPUtime=160.92
/proc/6608/stat : 6608 (java) R 6606 6608 6322 0 -1 0 23589 0 1 0 16078 14 0 0 25 0 8 0 160414326 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/6608/task/6613/stat : 6613 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6614] ppid=6606 vsize=915420 CPUtime=0.23
/proc/6608/task/6614/stat : 6614 (java) S 6606 6608 6322 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6615] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6615/stat : 6615 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6616] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6616/stat : 6616 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.36
Current children cumulated vsize (KiB) 915420
[startup+522.682 s]
/proc/loadavg: 2.00 2.00 1.92 3/88 6616
/proc/meminfo: memFree=1735512/2055920 swapFree=4192812/4192956
[pid=6608] ppid=6606 vsize=915420 CPUtime=517.82
/proc/6608/stat : 6608 (java) R 6606 6608 6322 0 -1 0 23589 0 1 0 51768 14 0 0 25 0 8 0 160414326 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6608/statm: 228855 23319 2531 14 0 215325 0
[pid=6608/tid=6610] ppid=6606 vsize=915420 CPUtime=0.16
/proc/6608/task/6610/stat : 6610 (java) S 6606 6608 6322 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160414330 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6611] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6611/stat : 6611 (java) S 6606 6608 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6612] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6612/stat : 6612 (java) S 6606 6608 6322 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6613] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6613/stat : 6613 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6614] ppid=6606 vsize=915420 CPUtime=0.23
/proc/6608/task/6614/stat : 6614 (java) S 6606 6608 6322 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6615] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6615/stat : 6615 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6616] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6616/stat : 6616 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 517.82
Current children cumulated vsize (KiB) 915420
[startup+582.689 s]
/proc/loadavg: 2.00 2.00 1.92 3/88 6616
/proc/meminfo: memFree=1735448/2055920 swapFree=4192812/4192956
[pid=6608] ppid=6606 vsize=915420 CPUtime=577.28
/proc/6608/stat : 6608 (java) R 6606 6608 6322 0 -1 0 23589 0 1 0 57714 14 0 0 25 0 8 0 160414326 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763089 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6608/statm: 228855 23319 2531 14 0 215325 0
[pid=6608/tid=6610] ppid=6606 vsize=915420 CPUtime=0.16
/proc/6608/task/6610/stat : 6610 (java) S 6606 6608 6322 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160414330 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6611] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6611/stat : 6611 (java) S 6606 6608 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6612] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6612/stat : 6612 (java) S 6606 6608 6322 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6613] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6613/stat : 6613 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6614] ppid=6606 vsize=915420 CPUtime=0.23
/proc/6608/task/6614/stat : 6614 (java) S 6606 6608 6322 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6615] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6615/stat : 6615 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6616] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6616/stat : 6616 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 577.28
Current children cumulated vsize (KiB) 915420
[startup+642.702 s]
/proc/loadavg: 2.00 2.00 1.92 3/88 6616
/proc/meminfo: memFree=1735448/2055920 swapFree=4192812/4192956
[pid=6608] ppid=6606 vsize=915420 CPUtime=636.75
/proc/6608/stat : 6608 (java) R 6606 6608 6322 0 -1 0 23589 0 1 0 63661 14 0 0 25 0 8 0 160414326 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6608/statm: 228855 23319 2531 14 0 215325 0
[pid=6608/tid=6610] ppid=6606 vsize=915420 CPUtime=0.16
/proc/6608/task/6610/stat : 6610 (java) S 6606 6608 6322 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160414330 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6611] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6611/stat : 6611 (java) S 6606 6608 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6612] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6612/stat : 6612 (java) S 6606 6608 6322 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6613] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6613/stat : 6613 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6614] ppid=6606 vsize=915420 CPUtime=0.23
/proc/6608/task/6614/stat : 6614 (java) S 6606 6608 6322 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6615] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6615/stat : 6615 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6616] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6616/stat : 6616 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 636.75
Current children cumulated vsize (KiB) 915420
[startup+702.802 s]
/proc/loadavg: 2.00 2.00 1.92 3/88 6616
/proc/meminfo: memFree=1735384/2055920 swapFree=4192812/4192956
[pid=6608] ppid=6606 vsize=915420 CPUtime=696.28
/proc/6608/stat : 6608 (java) R 6606 6608 6322 0 -1 0 23589 0 1 0 69614 14 0 0 25 0 8 0 160414326 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761137 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6608/statm: 228855 23319 2531 14 0 215325 0
[pid=6608/tid=6610] ppid=6606 vsize=915420 CPUtime=0.16
/proc/6608/task/6610/stat : 6610 (java) S 6606 6608 6322 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160414330 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6611] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6611/stat : 6611 (java) S 6606 6608 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6612] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6612/stat : 6612 (java) S 6606 6608 6322 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6613] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6613/stat : 6613 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6614] ppid=6606 vsize=915420 CPUtime=0.23
/proc/6608/task/6614/stat : 6614 (java) S 6606 6608 6322 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6615] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6615/stat : 6615 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6616] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6616/stat : 6616 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 696.28
Current children cumulated vsize (KiB) 915420
[startup+762.833 s]
/proc/loadavg: 2.03 2.01 1.93 3/94 6766
/proc/meminfo: memFree=1734040/2055920 swapFree=4192812/4192956
[pid=6608] ppid=6606 vsize=915420 CPUtime=755.62
/proc/6608/stat : 6608 (java) R 6606 6608 6322 0 -1 0 23589 0 1 0 75548 14 0 0 25 0 8 0 160414326 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803304 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6608/statm: 228855 23319 2531 14 0 215325 0
[pid=6608/tid=6610] ppid=6606 vsize=915420 CPUtime=0.16
/proc/6608/task/6610/stat : 6610 (java) S 6606 6608 6322 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160414330 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6611] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6611/stat : 6611 (java) S 6606 6608 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6612] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6612/stat : 6612 (java) S 6606 6608 6322 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6613] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6613/stat : 6613 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6614] ppid=6606 vsize=915420 CPUtime=0.23
/proc/6608/task/6614/stat : 6614 (java) S 6606 6608 6322 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6615] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6615/stat : 6615 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6616] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6616/stat : 6616 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 755.62
Current children cumulated vsize (KiB) 915420
[startup+822.845 s]
/proc/loadavg: 2.01 2.01 1.93 3/88 6814
/proc/meminfo: memFree=1735000/2055920 swapFree=4192812/4192956
[pid=6608] ppid=6606 vsize=915420 CPUtime=815.03
/proc/6608/stat : 6608 (java) R 6606 6608 6322 0 -1 0 23589 0 1 0 81489 14 0 0 25 0 8 0 160414326 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632858 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6608/statm: 228855 23319 2531 14 0 215325 0
[pid=6608/tid=6610] ppid=6606 vsize=915420 CPUtime=0.16
/proc/6608/task/6610/stat : 6610 (java) S 6606 6608 6322 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160414330 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6611] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6611/stat : 6611 (java) S 6606 6608 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6612] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6612/stat : 6612 (java) S 6606 6608 6322 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6613] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6613/stat : 6613 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6614] ppid=6606 vsize=915420 CPUtime=0.23
/proc/6608/task/6614/stat : 6614 (java) S 6606 6608 6322 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6615] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6615/stat : 6615 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6616] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6616/stat : 6616 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 815.03
Current children cumulated vsize (KiB) 915420
[startup+882.845 s]
/proc/loadavg: 2.11 2.03 1.94 3/88 6814
/proc/meminfo: memFree=1735064/2055920 swapFree=4192812/4192956
[pid=6608] ppid=6606 vsize=915420 CPUtime=874.49
/proc/6608/stat : 6608 (java) R 6606 6608 6322 0 -1 0 23589 0 1 0 87435 14 0 0 25 0 8 0 160414326 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6608/statm: 228855 23319 2531 14 0 215325 0
[pid=6608/tid=6610] ppid=6606 vsize=915420 CPUtime=0.16
/proc/6608/task/6610/stat : 6610 (java) S 6606 6608 6322 0 -1 64 6583 0 0 0 14 2 0 0 16 0 8 0 160414330 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6611] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6611/stat : 6611 (java) S 6606 6608 6322 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6612] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6612/stat : 6612 (java) S 6606 6608 6322 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160414331 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6613] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6613/stat : 6613 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6614] ppid=6606 vsize=915420 CPUtime=0.23
/proc/6608/task/6614/stat : 6614 (java) S 6606 6608 6322 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6615] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6615/stat : 6615 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6608/tid=6616] ppid=6606 vsize=915420 CPUtime=0
/proc/6608/task/6616/stat : 6616 (java) S 6606 6608 6322 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160414334 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 874.49
Current children cumulated vsize (KiB) 915420
Child status: 0
Real time (s): 922.708
CPU time (s): 913.892
CPU user time (s): 913.725
CPU system time (s): 0.166974
CPU usage (%): 99.0446
Max. virtual memory (cumulated for all children) (KiB): 915420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 913.725
system time used= 0.166974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23597
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= 19820
involuntary context switches= 37960
runsolver used 1.15182 s user time and 2.96255 s system time
The end
Begin job on node52 on Sat Jan 6 21:49:18 UTC 2007
IDJOB= 196182
IDBENCH= 3332
FILE ID= node52/196182-1168120158
PBS_JOBID= 3477486
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-4_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196182-1168120158/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-196182-1168120158 -o ROOT/results/node52/solver-196182-1168120158 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196182-1168120158/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4ea4c4ee290c9adfb8c44879b86c5eca
RANDOM SEED= 769216172
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.232
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.232
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: 1819440 kB
Buffers: 34364 kB
Cached: 88716 kB
SwapCached: 0 kB
Active: 110932 kB
Inactive: 68124 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1819440 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4588 kB
Writeback: 0 kB
Mapped: 73760 kB
Slab: 42532 kB
Committed_AS: 3369784 kB
PageTables: 2028 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= 66546 MiB
End job on node52 on Sat Jan 6 22:04:41 UTC 2007