0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/196013-1168117387/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.43 => wckTime=0.102 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
1.07
1.07 constraints being loaded...
1.35 nbConstraints=74 nbRelationTypes=74 nbExtensionStructures=74 nbSharedExtensionStructures=0
1.35 nbConflictsStructures=74 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
1.35 => wckTime=1.026 cpuTime=0.88 mem=47M629
1.48
1.48 solver IterativeSystematicSolver being built...
1.66 => wckTime=1.332 cpuTime=1.03 mem=34M704
1.77
1.77 preprocessing
1.77 nbConstraintChecks=32563 nbValidityChecks=51185 nbPropagations=206 nbRevisions=2099 nbUselessRevisions=1802
1.77 nbSingletonTests=30 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.77 => wckTime=0.107 cpuTime=0.08 mem=34M704
1.84
1.84 search
1.84 run=0 nbConstraintChecks=34312 nbValidityChecks=62385 nbPropagations=534 nbRevisions=6071
1.84 nbUselessRevisions=4969 nbAssignments=29 nbFailedAssignments=13 nbBacktracks=11 nbVisitedNodes=51
1.84 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
1.84 => wckTime=0.179 cpuTime=0.15 mem=34M704
1.97
1.97 search
1.97 run=1 nbConstraintChecks=112005 nbValidityChecks=212909 nbPropagations=1799 nbRevisions=20450
1.97 nbUselessRevisions=16512 nbAssignments=93 nbFailedAssignments=44 nbBacktracks=27 nbVisitedNodes=151
1.97 nbRestartNogoods=4 mapSize=27 nbInferences=0 nbTooLargeKeys=0
1.97 => wckTime=0.312 cpuTime=0.28 mem=34M704
2.11
2.11 search
2.11 run=2 nbConstraintChecks=185252 nbValidityChecks=363198 nbPropagations=3995 nbRevisions=44944
2.11 nbUselessRevisions=35944 nbAssignments=164 nbFailedAssignments=87 nbBacktracks=49 nbVisitedNodes=283
2.11 nbRestartNogoods=12 mapSize=48 nbInferences=0 nbTooLargeKeys=0
2.11 => wckTime=0.446 cpuTime=0.39 mem=34M704
2.23
2.23 search
2.23 run=3 nbConstraintChecks=266683 nbValidityChecks=516156 nbPropagations=6949 nbRevisions=79134
2.23 nbUselessRevisions=63039 nbAssignments=238 nbFailedAssignments=123 nbBacktracks=82 nbVisitedNodes=412
2.23 nbRestartNogoods=16 mapSize=71 nbInferences=0 nbTooLargeKeys=0
2.23 => wckTime=0.571 cpuTime=0.51 mem=34M704
2.49
2.49 search
2.49 run=4 nbConstraintChecks=431823 nbValidityChecks=818872 nbPropagations=11429 nbRevisions=130216
2.49 nbUselessRevisions=103273 nbAssignments=362 nbFailedAssignments=193 nbBacktracks=132 nbVisitedNodes=641
2.49 nbRestartNogoods=21 mapSize=111 nbInferences=0 nbTooLargeKeys=0
2.49 => wckTime=0.825 cpuTime=0.76 mem=34M704
2.77
2.77 search
2.77 run=5 nbConstraintChecks=617924 nbValidityChecks=1168832 nbPropagations=17651 nbRevisions=203340
2.77 nbUselessRevisions=161057 nbAssignments=521 nbFailedAssignments=272 nbBacktracks=208 nbVisitedNodes=927
2.77 nbRestartNogoods=29 mapSize=179 nbInferences=0 nbTooLargeKeys=0
2.77 => wckTime=1.106 cpuTime=1.03 mem=34M704
3.17
3.17 search
3.17 run=6 nbConstraintChecks=875597 nbValidityChecks=1704525 nbPropagations=27664 nbRevisions=316522
3.17 nbUselessRevisions=249690 nbAssignments=927 nbFailedAssignments=559 nbBacktracks=321 nbVisitedNodes=1692
3.17 nbRestartNogoods=33 mapSize=277 nbInferences=0 nbTooLargeKeys=0
3.17 => wckTime=1.506 cpuTime=1.42 mem=34M704
3.92
3.92 search
3.92 run=7 nbConstraintChecks=1368879 nbValidityChecks=2599928 nbPropagations=41945 nbRevisions=483327
3.92 nbUselessRevisions=381027 nbAssignments=1304 nbFailedAssignments=761 nbBacktracks=491 nbVisitedNodes=2375
3.92 nbRestartNogoods=38 mapSize=415 nbInferences=0 nbTooLargeKeys=0
3.92 => wckTime=2.26 cpuTime=2.16 mem=34M704
5.03
5.03 search
5.03 run=8 nbConstraintChecks=2094124 nbValidityChecks=3924710 nbPropagations=62682 nbRevisions=728091
5.03 nbUselessRevisions=574515 nbAssignments=1859 nbFailedAssignments=1055 nbBacktracks=747 nbVisitedNodes=3376
5.03 nbRestartNogoods=48 mapSize=621 nbInferences=0 nbTooLargeKeys=0
5.03 => wckTime=3.367 cpuTime=3.24 mem=34M704
6.48
6.48 search
6.48 run=9 nbConstraintChecks=3127705 nbValidityChecks=5862709 nbPropagations=94409 nbRevisions=1097084
6.48 nbUselessRevisions=865417 nbAssignments=2815 nbFailedAssignments=1608 nbBacktracks=1133 nbVisitedNodes=5124
6.48 nbRestartNogoods=60 mapSize=945 nbInferences=0 nbTooLargeKeys=0
6.48 => wckTime=4.815 cpuTime=4.66 mem=34M704
6.78
6.78 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=34M704)
8.88
8.88 search
8.88 run=10 nbConstraintChecks=4793845 nbValidityChecks=9133219 nbPropagations=143326 nbRevisions=1681695
8.88 nbUselessRevisions=1325839 nbAssignments=4363 nbFailedAssignments=2543 nbBacktracks=1709 nbVisitedNodes=7963
8.88 nbRestartNogoods=69
8.88 => wckTime=7.217 cpuTime=7.04 mem=34M704
11.82
11.82 search
11.82 run=11 nbConstraintChecks=6868809 nbValidityChecks=13213239 nbPropagations=216811 nbRevisions=2551904
11.82 nbUselessRevisions=2013159 nbAssignments=6433 nbFailedAssignments=3742 nbBacktracks=2574 nbVisitedNodes=11789
11.82 nbRestartNogoods=76
11.82 => wckTime=10.156 cpuTime=9.94 mem=34M704
16.62
16.62 search
16.62 run=12 nbConstraintChecks=10325402 nbValidityChecks=19469629 nbPropagations=323981 nbRevisions=3793741
16.62 nbUselessRevisions=2986386 nbAssignments=9456 nbFailedAssignments=5461 nbBacktracks=3873 nbVisitedNodes=17283
16.62 nbRestartNogoods=83
16.62 => wckTime=14.958 cpuTime=14.7 mem=34M704
25.23
25.23 search
25.23 run=13 nbConstraintChecks=16454422 nbValidityChecks=31033269 nbPropagations=489163 nbRevisions=5743450
25.23 nbUselessRevisions=4520217 nbAssignments=14509 nbFailedAssignments=8550 nbBacktracks=5819 nbVisitedNodes=26679
25.23 nbRestartNogoods=94
25.23 => wckTime=23.574 cpuTime=23.22 mem=35M692
36.44
36.44 search
36.44 run=14 nbConstraintChecks=24151548 nbValidityChecks=46602378 nbPropagations=746044 nbRevisions=8719957
36.44 nbUselessRevisions=6855415 nbAssignments=22360 nbFailedAssignments=13478 nbBacktracks=8739 nbVisitedNodes=41436
36.44 nbRestartNogoods=110
36.44 => wckTime=34.779 cpuTime=34.33 mem=35M692
51.15
51.15 search
51.15 run=15 nbConstraintChecks=34716229 nbValidityChecks=66397888 nbPropagations=1113245 nbRevisions=12987062
51.15 nbUselessRevisions=10205777 nbAssignments=31632 nbFailedAssignments=18365 nbBacktracks=13117
51.15 nbVisitedNodes=58201 nbRestartNogoods=129
51.15 => wckTime=49.487 cpuTime=48.91 mem=35M692
73.86
73.86 search
73.86 run=16 nbConstraintChecks=50835062 nbValidityChecks=97191023 nbPropagations=1643773 nbRevisions=19213714
73.86 nbUselessRevisions=15103041 nbAssignments=46121 nbFailedAssignments=26261 nbBacktracks=19685
73.86 nbVisitedNodes=84455 nbRestartNogoods=149
73.86 => wckTime=72.196 cpuTime=71.41 mem=35M692
109.18
109.18 search
109.18 run=17 nbConstraintChecks=76176851 nbValidityChecks=144940869 nbPropagations=2444158 nbRevisions=28536387
109.18 nbUselessRevisions=22447358 nbAssignments=68537 nbFailedAssignments=38813 nbBacktracks=29538
109.18 nbVisitedNodes=125511 nbRestartNogoods=161
109.18 => wckTime=107.525 cpuTime=106.42 mem=35M692
164.15
164.15 search
164.15 run=18 nbConstraintChecks=115293264 nbValidityChecks=220079784 nbPropagations=3648078 nbRevisions=42654441
164.15 nbUselessRevisions=33556787 nbAssignments=103722 nbFailedAssignments=59213 nbBacktracks=44317
164.15 nbVisitedNodes=190261 nbRestartNogoods=176
164.15 => wckTime=162.494 cpuTime=160.66 mem=35M692
242.72
242.72 search
242.72 run=19 nbConstraintChecks=170694656 nbValidityChecks=326533041 nbPropagations=5455311 nbRevisions=63545158
242.72 nbUselessRevisions=50001088 nbAssignments=155657 nbFailedAssignments=88965 nbBacktracks=66486
242.72 nbVisitedNodes=285626 nbRestartNogoods=194
242.72 => wckTime=241.057 cpuTime=238.25 mem=35M692
374.57
374.57 search
374.57 run=20 nbConstraintChecks=265217893 nbValidityChecks=506388762 nbPropagations=8213269 nbRevisions=95932196
374.57 nbUselessRevisions=75497043 nbAssignments=237621 nbFailedAssignments=137669 nbBacktracks=99738
374.57 nbVisitedNodes=437753 nbRestartNogoods=199
374.57 => wckTime=372.912 cpuTime=368.64 mem=35M692
547.31
547.31 search
547.31 run=21 nbConstraintChecks=387962527 nbValidityChecks=742427006 nbPropagations=12270181 nbRevisions=143271567
547.31 nbUselessRevisions=112749955 nbAssignments=349301 nbFailedAssignments=199412 nbBacktracks=149617
547.31 nbVisitedNodes=640508 nbRestartNogoods=216
547.31 => wckTime=545.653 cpuTime=539.16 mem=35M692
810.88
810.88 search
810.88 run=22 nbConstraintChecks=575769848 nbValidityChecks=1086067107 nbPropagations=18211996 nbRevisions=212403098
810.88 nbUselessRevisions=167087129 nbAssignments=500108 nbFailedAssignments=275396 nbBacktracks=224435
810.88 nbVisitedNodes=910799 nbRestartNogoods=248
810.88 => wckTime=809.222 cpuTime=799.64 mem=35M692
1211.27
1211.28 search
1211.28 run=23 nbConstraintChecks=859615159 nbValidityChecks=1624835146 nbPropagations=27109309 nbRevisions=315281303
1211.28 nbUselessRevisions=248004337 nbAssignments=751305 nbFailedAssignments=414352 nbBacktracks=336664
1211.28 nbVisitedNodes=1367756 nbRestartNogoods=279
1211.28 => wckTime=1209.615 cpuTime=1196.21 mem=35M692
1818.64
1818.65 search
1818.65 run=24 nbConstraintChecks=1290496944 nbValidityChecks=2448735464 nbPropagations=40676937 nbRevisions=470448351
1818.65 nbUselessRevisions=369905936 nbAssignments=1150088 nbFailedAssignments=644787 nbBacktracks=505007
1818.65 nbVisitedNodes=2099497 nbRestartNogoods=299
1818.65 => wckTime=1816.985 cpuTime=1797.69 mem=35M692
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-196013-1168117387 -o ROOT/results/node56/solver-196013-1168117387 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196013-1168117387/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.96 2.00 1.96 4/81 18984
/proc/meminfo: memFree=1471760/2055920 swapFree=4184772/4192956
[pid=18983] ppid=18981 vsize=1784 CPUtime=0
/proc/18983/stat : 18983 (java) D 18981 18983 18356 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 160136861 1826816 163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10027812 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/18983/statm: 2437 412 333 14 0 1140 0
[startup+0.114575 s]
/proc/loadavg: 1.96 2.00 1.96 4/81 18984
/proc/meminfo: memFree=1471760/2055920 swapFree=4184772/4192956
[pid=18983] ppid=18981 vsize=914988 CPUtime=0.09
/proc/18983/stat : 18983 (java) R 18981 18983 18356 0 -1 0 3022 0 1 0 8 1 0 0 17 0 8 0 160136861 936947712 2768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18983/statm: 228747 2768 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.522613 s]
/proc/loadavg: 1.96 2.00 1.96 4/81 18984
/proc/meminfo: memFree=1471760/2055920 swapFree=4184772/4192956
[pid=18983] ppid=18981 vsize=915328 CPUtime=0.49
/proc/18983/stat : 18983 (java) R 18981 18983 18356 0 -1 0 7456 0 1 0 45 4 0 0 18 0 8 0 160136861 937295872 7195 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073556573 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18983/statm: 228832 7195 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34369 s]
/proc/loadavg: 1.96 2.00 1.96 3/88 18991
/proc/meminfo: memFree=1394328/2055920 swapFree=4184772/4192956
[pid=18983] ppid=18981 vsize=915328 CPUtime=1.3
/proc/18983/stat : 18983 (java) R 18981 18983 18356 0 -1 0 19121 0 1 0 120 10 0 0 25 0 8 0 160136861 937295872 18859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073652115 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18983/statm: 228832 18859 2160 14 0 215302 0
[pid=18983/tid=18985] ppid=18981 vsize=915328 CPUtime=0.05
/proc/18983/task/18985/stat : 18985 (java) S 18981 18983 18356 0 -1 64 2657 0 0 0 4 1 0 0 17 0 8 0 160136865 937295872 18859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18986] ppid=18981 vsize=915328 CPUtime=0
/proc/18983/task/18986/stat : 18986 (java) S 18981 18983 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160136866 937295872 18859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18987] ppid=18981 vsize=915328 CPUtime=0
/proc/18983/task/18987/stat : 18987 (java) S 18981 18983 18356 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160136866 937295872 18859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18988] ppid=18981 vsize=915328 CPUtime=0
/proc/18983/task/18988/stat : 18988 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160136869 937295872 18859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18989] ppid=18981 vsize=915328 CPUtime=0.1
/proc/18983/task/18989/stat : 18989 (java) S 18981 18983 18356 0 -1 64 320 0 0 0 10 0 0 0 16 0 8 0 160136869 937295872 18859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18990] ppid=18981 vsize=915328 CPUtime=0
/proc/18983/task/18990/stat : 18990 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160136869 937295872 18859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18991] ppid=18981 vsize=915328 CPUtime=0
/proc/18983/task/18991/stat : 18991 (java) S 18981 18983 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160136869 937295872 18859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.99786 s]
/proc/loadavg: 1.96 2.00 1.96 5/88 18991
/proc/meminfo: memFree=1378456/2055920 swapFree=4184772/4192956
[pid=18983] ppid=18981 vsize=915416 CPUtime=2.94
/proc/18983/stat : 18983 (java) R 18981 18983 18356 0 -1 0 23409 0 1 0 280 14 0 0 25 0 8 0 160136861 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18983/statm: 228854 23145 2531 14 0 215324 0
[pid=18983/tid=18985] ppid=18981 vsize=915416 CPUtime=0.18
/proc/18983/task/18985/stat : 18985 (java) S 18981 18983 18356 0 -1 64 6426 0 0 0 15 3 0 0 17 0 8 0 160136865 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18986] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18986/stat : 18986 (java) S 18981 18983 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160136866 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18987] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18987/stat : 18987 (java) S 18981 18983 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160136866 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18988] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18988/stat : 18988 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160136869 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18989] ppid=18981 vsize=915416 CPUtime=0.2
/proc/18983/task/18989/stat : 18989 (java) S 18981 18983 18356 0 -1 64 371 0 0 0 19 1 0 0 15 0 8 0 160136869 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18990] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18990/stat : 18990 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160136869 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18991] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18991/stat : 18991 (java) S 18981 18983 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160136869 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915416
[startup+6.20617 s]
/proc/loadavg: 1.96 2.00 1.96 3/88 18991
/proc/meminfo: memFree=1299096/2055920 swapFree=4184772/4192956
[pid=18983] ppid=18981 vsize=915416 CPUtime=6.12
/proc/18983/stat : 18983 (java) R 18981 18983 18356 0 -1 0 23425 0 1 0 598 14 0 0 25 0 8 0 160136861 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753527 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18983/statm: 228854 23158 2531 14 0 215324 0
[pid=18983/tid=18985] ppid=18981 vsize=915416 CPUtime=0.18
/proc/18983/task/18985/stat : 18985 (java) S 18981 18983 18356 0 -1 64 6426 0 0 0 15 3 0 0 17 0 8 0 160136865 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18986] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18986/stat : 18986 (java) S 18981 18983 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160136866 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18987] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18987/stat : 18987 (java) S 18981 18983 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160136866 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18988] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18988/stat : 18988 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160136869 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18989] ppid=18981 vsize=915416 CPUtime=0.23
/proc/18983/task/18989/stat : 18989 (java) S 18981 18983 18356 0 -1 64 384 0 0 0 22 1 0 0 16 0 8 0 160136869 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18990] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18990/stat : 18990 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160136869 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18991] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18991/stat : 18991 (java) S 18981 18983 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160136869 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915416
[startup+12.6948 s]
/proc/loadavg: 1.97 2.00 1.96 3/89 18992
/proc/meminfo: memFree=1181464/2055920 swapFree=4184772/4192956
[pid=18983] ppid=18981 vsize=915416 CPUtime=12.53
/proc/18983/stat : 18983 (java) R 18981 18983 18356 0 -1 0 23429 0 1 0 1239 14 0 0 25 0 8 0 160136861 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18983/statm: 228854 23161 2531 14 0 215324 0
[pid=18983/tid=18985] ppid=18981 vsize=915416 CPUtime=0.18
/proc/18983/task/18985/stat : 18985 (java) S 18981 18983 18356 0 -1 64 6426 0 0 0 15 3 0 0 16 0 8 0 160136865 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18986] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18986/stat : 18986 (java) S 18981 18983 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160136866 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18987] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18987/stat : 18987 (java) S 18981 18983 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160136866 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18988] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18988/stat : 18988 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160136869 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18989] ppid=18981 vsize=915416 CPUtime=0.24
/proc/18983/task/18989/stat : 18989 (java) S 18981 18983 18356 0 -1 64 387 0 0 0 23 1 0 0 16 0 8 0 160136869 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18990] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18990/stat : 18990 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160136869 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18991] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18991/stat : 18991 (java) S 18981 18983 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160136869 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915416
[startup+25.5701 s]
/proc/loadavg: 1.97 2.00 1.96 3/89 18992
/proc/meminfo: memFree=1181656/2055920 swapFree=4184772/4192956
[pid=18983] ppid=18981 vsize=915416 CPUtime=25.3
/proc/18983/stat : 18983 (java) R 18981 18983 18356 0 -1 0 23429 0 1 0 2515 15 0 0 25 0 8 0 160136861 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18983/statm: 228854 23161 2531 14 0 215324 0
[pid=18983/tid=18985] ppid=18981 vsize=915416 CPUtime=0.18
/proc/18983/task/18985/stat : 18985 (java) S 18981 18983 18356 0 -1 64 6426 0 0 0 15 3 0 0 16 0 8 0 160136865 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18986] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18986/stat : 18986 (java) S 18981 18983 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160136866 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18987] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18987/stat : 18987 (java) S 18981 18983 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160136866 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18988] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18988/stat : 18988 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160136869 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18989] ppid=18981 vsize=915416 CPUtime=0.24
/proc/18983/task/18989/stat : 18989 (java) S 18981 18983 18356 0 -1 64 387 0 0 0 23 1 0 0 16 0 8 0 160136869 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18990] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18990/stat : 18990 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160136869 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18991] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18991/stat : 18991 (java) S 18981 18983 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160136869 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915416
[startup+51.2086 s]
/proc/loadavg: 1.98 2.00 1.96 3/89 18992
/proc/meminfo: memFree=1181720/2055920 swapFree=4184772/4192956
[pid=18983] ppid=18981 vsize=915416 CPUtime=50.7
/proc/18983/stat : 18983 (java) R 18981 18983 18356 0 -1 0 23431 0 1 0 5055 15 0 0 25 0 8 0 160136861 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18983/statm: 228854 23162 2531 14 0 215324 0
[pid=18983/tid=18985] ppid=18981 vsize=915416 CPUtime=0.18
/proc/18983/task/18985/stat : 18985 (java) S 18981 18983 18356 0 -1 64 6426 0 0 0 15 3 0 0 16 0 8 0 160136865 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18986] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18986/stat : 18986 (java) S 18981 18983 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160136866 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18987] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18987/stat : 18987 (java) S 18981 18983 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160136866 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18988] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18988/stat : 18988 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18989] ppid=18981 vsize=915416 CPUtime=0.24
/proc/18983/task/18989/stat : 18989 (java) S 18981 18983 18356 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18990] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18990/stat : 18990 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18991] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18991/stat : 18991 (java) S 18981 18983 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915416
[startup+102.47 s]
/proc/loadavg: 1.99 2.00 1.96 3/89 18992
/proc/meminfo: memFree=1181720/2055920 swapFree=4184772/4192956
[pid=18983] ppid=18981 vsize=915416 CPUtime=101.49
/proc/18983/stat : 18983 (java) R 18981 18983 18356 0 -1 0 23431 0 1 0 10134 15 0 0 25 0 8 0 160136861 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18983/statm: 228854 23162 2531 14 0 215324 0
[pid=18983/tid=18985] ppid=18981 vsize=915416 CPUtime=0.18
/proc/18983/task/18985/stat : 18985 (java) S 18981 18983 18356 0 -1 64 6426 0 0 0 15 3 0 0 16 0 8 0 160136865 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18986] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18986/stat : 18986 (java) S 18981 18983 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160136866 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18987] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18987/stat : 18987 (java) S 18981 18983 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160136866 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18988] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18988/stat : 18988 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18989] ppid=18981 vsize=915416 CPUtime=0.24
/proc/18983/task/18989/stat : 18989 (java) S 18981 18983 18356 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18990] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18990/stat : 18990 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18991] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18991/stat : 18991 (java) S 18981 18983 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915416
[startup+162.532 s]
/proc/loadavg: 2.11 2.03 1.97 3/89 18992
/proc/meminfo: memFree=1181848/2055920 swapFree=4184772/4192956
[pid=18983] ppid=18981 vsize=915416 CPUtime=160.79
/proc/18983/stat : 18983 (java) R 18981 18983 18356 0 -1 0 23431 0 1 0 16064 15 0 0 25 0 8 0 160136861 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757336 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1408.09
Current children cumulated vsize (KiB) 915416
[startup+1483.42 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 18994
/proc/meminfo: memFree=1181528/2055920 swapFree=4184772/4192956
[pid=18983] ppid=18981 vsize=915416 CPUtime=1467.56
/proc/18983/stat : 18983 (java) R 18981 18983 18356 0 -1 0 23431 0 1 0 146740 16 0 0 25 0 8 0 160136861 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754965 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18983/statm: 228854 23162 2531 14 0 215324 0
[pid=18983/tid=18985] ppid=18981 vsize=915416 CPUtime=0.18
/proc/18983/task/18985/stat : 18985 (java) S 18981 18983 18356 0 -1 64 6426 0 0 0 15 3 0 0 16 0 8 0 160136865 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18986] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18986/stat : 18986 (java) S 18981 18983 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160136866 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18987] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18987/stat : 18987 (java) S 18981 18983 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160136866 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18988] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18988/stat : 18988 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18989] ppid=18981 vsize=915416 CPUtime=0.24
/proc/18983/task/18989/stat : 18989 (java) S 18981 18983 18356 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18990] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18990/stat : 18990 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18991] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18991/stat : 18991 (java) S 18981 18983 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1467.56
Current children cumulated vsize (KiB) 915416
[startup+1543.44 s]
/proc/loadavg: 2.05 2.03 2.00 3/89 18994
/proc/meminfo: memFree=1181528/2055920 swapFree=4184772/4192956
[pid=18983] ppid=18981 vsize=915416 CPUtime=1527.03
/proc/18983/stat : 18983 (java) R 18981 18983 18356 0 -1 0 23431 0 1 0 152687 16 0 0 25 0 8 0 160136861 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765818 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18983/statm: 228854 23162 2531 14 0 215324 0
[pid=18983/tid=18985] ppid=18981 vsize=915416 CPUtime=0.18
/proc/18983/task/18985/stat : 18985 (java) S 18981 18983 18356 0 -1 64 6426 0 0 0 15 3 0 0 16 0 8 0 160136865 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18986] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18986/stat : 18986 (java) S 18981 18983 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160136866 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18987] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18987/stat : 18987 (java) S 18981 18983 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160136866 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18988] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18988/stat : 18988 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18989] ppid=18981 vsize=915416 CPUtime=0.24
/proc/18983/task/18989/stat : 18989 (java) S 18981 18983 18356 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18990] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18990/stat : 18990 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18991] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18991/stat : 18991 (java) S 18981 18983 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1527.03
Current children cumulated vsize (KiB) 915416
[startup+1603.46 s]
/proc/loadavg: 2.02 2.02 2.00 3/89 18994
/proc/meminfo: memFree=1181528/2055920 swapFree=4184772/4192956
[pid=18983] ppid=18981 vsize=915416 CPUtime=1586.5
/proc/18983/stat : 18983 (java) R 18981 18983 18356 0 -1 0 23431 0 1 0 158634 16 0 0 25 0 8 0 160136861 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18983/statm: 228854 23162 2531 14 0 215324 0
[pid=18983/tid=18985] ppid=18981 vsize=915416 CPUtime=0.18
/proc/18983/task/18985/stat : 18985 (java) S 18981 18983 18356 0 -1 64 6426 0 0 0 15 3 0 0 16 0 8 0 160136865 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18986] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18986/stat : 18986 (java) S 18981 18983 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160136866 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18987] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18987/stat : 18987 (java) S 18981 18983 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160136866 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18988] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18988/stat : 18988 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18989] ppid=18981 vsize=915416 CPUtime=0.24
/proc/18983/task/18989/stat : 18989 (java) S 18981 18983 18356 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18990] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18990/stat : 18990 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18991] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18991/stat : 18991 (java) S 18981 18983 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1586.5
Current children cumulated vsize (KiB) 915416
[startup+1663.47 s]
/proc/loadavg: 2.00 2.02 2.00 5/89 18994
/proc/meminfo: memFree=1181528/2055920 swapFree=4184772/4192956
[pid=18983] ppid=18981 vsize=915416 CPUtime=1645.97
/proc/18983/stat : 18983 (java) R 18981 18983 18356 0 -1 0 23431 0 1 0 164580 17 0 0 25 0 8 0 160136861 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18983/statm: 228854 23162 2531 14 0 215324 0
[pid=18983/tid=18985] ppid=18981 vsize=915416 CPUtime=0.18
/proc/18983/task/18985/stat : 18985 (java) S 18981 18983 18356 0 -1 64 6426 0 0 0 15 3 0 0 16 0 8 0 160136865 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18986] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18986/stat : 18986 (java) S 18981 18983 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160136866 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18987] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18987/stat : 18987 (java) S 18981 18983 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160136866 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18988] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18988/stat : 18988 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18989] ppid=18981 vsize=915416 CPUtime=0.24
/proc/18983/task/18989/stat : 18989 (java) S 18981 18983 18356 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18990] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18990/stat : 18990 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18991] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18991/stat : 18991 (java) S 18981 18983 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1645.97
Current children cumulated vsize (KiB) 915416
[startup+1723.53 s]
/proc/loadavg: 2.10 2.04 2.01 3/89 18994
/proc/meminfo: memFree=1181528/2055920 swapFree=4184772/4192956
[pid=18983] ppid=18981 vsize=915416 CPUtime=1705.3
/proc/18983/stat : 18983 (java) R 18981 18983 18356 0 -1 0 23431 0 1 0 170513 17 0 0 25 0 8 0 160136861 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18983/statm: 228854 23162 2531 14 0 215324 0
[pid=18983/tid=18985] ppid=18981 vsize=915416 CPUtime=0.18
/proc/18983/task/18985/stat : 18985 (java) S 18981 18983 18356 0 -1 64 6426 0 0 0 15 3 0 0 16 0 8 0 160136865 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18986] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18986/stat : 18986 (java) S 18981 18983 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160136866 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18987] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18987/stat : 18987 (java) S 18981 18983 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160136866 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18988] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18988/stat : 18988 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18989] ppid=18981 vsize=915416 CPUtime=0.24
/proc/18983/task/18989/stat : 18989 (java) S 18981 18983 18356 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18990] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18990/stat : 18990 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18991] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18991/stat : 18991 (java) S 18981 18983 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1705.3
Current children cumulated vsize (KiB) 915416
[startup+1783.61 s]
/proc/loadavg: 2.03 2.03 2.00 3/89 18994
/proc/meminfo: memFree=1181464/2055920 swapFree=4184772/4192956
[pid=18983] ppid=18981 vsize=915416 CPUtime=1764.59
/proc/18983/stat : 18983 (java) R 18981 18983 18356 0 -1 0 23431 0 1 0 176442 17 0 0 25 0 8 0 160136861 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625332 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18983/statm: 228854 23162 2531 14 0 215324 0
[pid=18983/tid=18985] ppid=18981 vsize=915416 CPUtime=0.18
/proc/18983/task/18985/stat : 18985 (java) S 18981 18983 18356 0 -1 64 6426 0 0 0 15 3 0 0 16 0 8 0 160136865 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18986] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18986/stat : 18986 (java) S 18981 18983 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160136866 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18987] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18987/stat : 18987 (java) S 18981 18983 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160136866 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18988] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18988/stat : 18988 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18989] ppid=18981 vsize=915416 CPUtime=0.24
/proc/18983/task/18989/stat : 18989 (java) S 18981 18983 18356 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18990] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18990/stat : 18990 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18991] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18991/stat : 18991 (java) S 18981 18983 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1764.59
Current children cumulated vsize (KiB) 915416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1819.23 s]
/proc/loadavg: 2.08 2.04 2.00 3/89 19070
/proc/meminfo: memFree=1163872/2055920 swapFree=4184772/4192956
[pid=18983] ppid=18981 vsize=915416 CPUtime=1800
/proc/18983/stat : 18983 (java) R 18981 18983 18356 0 -1 0 23431 0 1 0 179982 18 0 0 25 0 8 0 160136861 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073767344 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18983/statm: 228854 23162 2531 14 0 215324 0
[pid=18983/tid=18985] ppid=18981 vsize=915416 CPUtime=0.18
/proc/18983/task/18985/stat : 18985 (java) S 18981 18983 18356 0 -1 64 6426 0 0 0 15 3 0 0 16 0 8 0 160136865 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18986] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18986/stat : 18986 (java) S 18981 18983 18356 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160136866 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18987] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18987/stat : 18987 (java) S 18981 18983 18356 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160136866 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18988] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18988/stat : 18988 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18989] ppid=18981 vsize=915416 CPUtime=0.24
/proc/18983/task/18989/stat : 18989 (java) S 18981 18983 18356 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18990] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18990/stat : 18990 (java) S 18981 18983 18356 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18983/tid=18991] ppid=18981 vsize=915416 CPUtime=0
/proc/18983/task/18991/stat : 18991 (java) S 18981 18983 18356 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160136869 937385984 23162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1819.28
CPU time (s): 1800.07
CPU user time (s): 1799.86
CPU system time (s): 0.203968
CPU usage (%): 98.9437
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.203968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23447
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= 37839
involuntary context switches= 85808
runsolver used 3.2665 s user time and 7.52985 s system time
The end
Begin job on node56 on Sat Jan 6 21:03:07 UTC 2007
IDJOB= 196013
IDBENCH= 3319
FILE ID= node56/196013-1168117387
PBS_JOBID= 3477419
Free space on /tmp= 66512 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196013-1168117387/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-196013-1168117387 -o ROOT/results/node56/solver-196013-1168117387 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196013-1168117387/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4603be22ac04335b72594e90c6490c0a
RANDOM SEED= 365182417
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: 1472240 kB
Buffers: 41104 kB
Cached: 365244 kB
SwapCached: 2060 kB
Active: 213332 kB
Inactive: 301832 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1472240 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 10824 kB
Writeback: 0 kB
Mapped: 124648 kB
Slab: 53652 kB
Committed_AS: 3697940 kB
PageTables: 2148 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= 66512 MiB
End job on node56 on Sat Jan 6 21:33:27 UTC 2007