0.43
0.43 Abscon 109 (November, 2006)
0.43
0.43 configuration
0.43 name=esac.xml
0.49
0.49 instance
0.50 name=/tmp/evaluation/195961-1168116987/unknown.xml
0.53
0.53 domains being loaded...
0.54
0.54 variables being loaded...
0.57 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.57 => wckTime=0.135 cpuTime=0.09 mem=6M951
0.57
0.57 relations being loaded...
1.22
1.22 constraints being loaded...
1.48 nbConstraints=74 nbRelationTypes=74 nbExtensionStructures=74 nbSharedExtensionStructures=0
1.48 nbConflictsStructures=74 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
1.48 => wckTime=1.044 cpuTime=0.89 mem=47M646
1.60
1.60 solver IterativeSystematicSolver being built...
1.78 => wckTime=1.34 cpuTime=1.03 mem=34M368
1.88
1.88 preprocessing
1.88 nbConstraintChecks=34280 nbValidityChecks=53656 nbPropagations=210 nbRevisions=2000 nbUselessRevisions=1729
1.88 nbSingletonTests=33 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.88 => wckTime=0.103 cpuTime=0.07 mem=34M368
1.94
1.94 search
1.94 run=0 nbConstraintChecks=26396 nbValidityChecks=45270 nbPropagations=424 nbRevisions=4589
1.94 nbUselessRevisions=3790 nbAssignments=19 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=31
1.94 nbRestartNogoods=0 mapSize=6 nbInferences=0 nbTooLargeKeys=0
1.94 => wckTime=0.162 cpuTime=0.12 mem=35M356
2.04
2.04 search
2.04 run=1 nbConstraintChecks=85102 nbValidityChecks=157106 nbPropagations=1430 nbRevisions=16100
2.04 nbUselessRevisions=13033 nbAssignments=73 nbFailedAssignments=39 nbBacktracks=25 nbVisitedNodes=127
2.04 nbRestartNogoods=2 mapSize=19 nbInferences=0 nbTooLargeKeys=0
2.04 => wckTime=0.257 cpuTime=0.21 mem=35M356
2.20
2.21 search
2.21 run=2 nbConstraintChecks=189308 nbValidityChecks=366746 nbPropagations=3325 nbRevisions=38421
2.21 nbUselessRevisions=30913 nbAssignments=158 nbFailedAssignments=97 nbBacktracks=48 nbVisitedNodes=288
2.21 nbRestartNogoods=5 mapSize=41 nbInferences=0 nbTooLargeKeys=0
2.21 => wckTime=0.426 cpuTime=0.37 mem=35M356
2.36
2.36 search
2.36 run=3 nbConstraintChecks=286712 nbValidityChecks=562416 nbPropagations=6257 nbRevisions=72837
2.36 nbUselessRevisions=58424 nbAssignments=250 nbFailedAssignments=149 nbBacktracks=84 nbVisitedNodes=454
2.36 nbRestartNogoods=7 mapSize=72 nbInferences=0 nbTooLargeKeys=0
2.36 => wckTime=0.576 cpuTime=0.51 mem=35M356
2.74
2.74 search
2.74 run=4 nbConstraintChecks=558087 nbValidityChecks=1061440 nbPropagations=11266 nbRevisions=136010
2.74 nbUselessRevisions=108660 nbAssignments=419 nbFailedAssignments=264 nbBacktracks=134 nbVisitedNodes=782
2.74 nbRestartNogoods=9 mapSize=120 nbInferences=0 nbTooLargeKeys=0
2.74 => wckTime=0.963 cpuTime=0.89 mem=35M356
3.16
3.16 search
3.16 run=5 nbConstraintChecks=842463 nbValidityChecks=1607390 nbPropagations=19135 nbRevisions=234574
3.16 nbUselessRevisions=186677 nbAssignments=647 nbFailedAssignments=412 nbBacktracks=209 nbVisitedNodes=1218
3.16 nbRestartNogoods=19 mapSize=193 nbInferences=0 nbTooLargeKeys=0
3.16 => wckTime=1.38 cpuTime=1.3 mem=35M356
3.78
3.78 search
3.78 run=6 nbConstraintChecks=1268030 nbValidityChecks=2495221 nbPropagations=31439 nbRevisions=386060
3.78 nbUselessRevisions=306299 nbAssignments=1027 nbFailedAssignments=664 nbBacktracks=322 nbVisitedNodes=1930
3.78 nbRestartNogoods=24 mapSize=297 nbInferences=0 nbTooLargeKeys=0
3.78 => wckTime=2.004 cpuTime=1.91 mem=35M356
4.81
4.81 search
4.81 run=7 nbConstraintChecks=1975412 nbValidityChecks=3862190 nbPropagations=50304 nbRevisions=622815
4.81 nbUselessRevisions=493176 nbAssignments=1591 nbFailedAssignments=1047 nbBacktracks=492 nbVisitedNodes=3005
4.81 nbRestartNogoods=37 mapSize=460 nbInferences=0 nbTooLargeKeys=0
4.81 => wckTime=3.03 cpuTime=2.91 mem=35M356
6.67
6.67 search
6.67 run=8 nbConstraintChecks=3374696 nbValidityChecks=6495074 nbPropagations=80216 nbRevisions=1000494
6.67 nbUselessRevisions=791932 nbAssignments=2647 nbFailedAssignments=1802 nbBacktracks=748 nbVisitedNodes=4977
6.67 nbRestartNogoods=49 mapSize=707 nbInferences=0 nbTooLargeKeys=0
6.67 => wckTime=4.894 cpuTime=4.75 mem=35M356
8.76
8.76 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=35M356)
8.96
8.96 search
8.96 run=9 nbConstraintChecks=5054798 nbValidityChecks=9633824 nbPropagations=123479 nbRevisions=1562772
8.96 nbUselessRevisions=1237943 nbAssignments=3811 nbFailedAssignments=2577 nbBacktracks=1132 nbVisitedNodes=7193
8.96 nbRestartNogoods=60
8.96 => wckTime=7.178 cpuTime=7.02 mem=35M356
12.43
12.43 search
12.43 run=10 nbConstraintChecks=7594318 nbValidityChecks=14682641 nbPropagations=191754 nbRevisions=2439268
12.43 nbUselessRevisions=1931230 nbAssignments=5862 nbFailedAssignments=4034 nbBacktracks=1708 nbVisitedNodes=11154
12.43 nbRestartNogoods=73
12.43 => wckTime=10.648 cpuTime=10.45 mem=35M356
17.46
17.46 search
17.46 run=11 nbConstraintChecks=11365686 nbValidityChecks=22219400 nbPropagations=293686 nbRevisions=3733605
17.46 nbUselessRevisions=2954530 nbAssignments=8940 nbFailedAssignments=6240 nbBacktracks=2572 nbVisitedNodes=17092
17.46 nbRestartNogoods=91
17.46 => wckTime=15.684 cpuTime=15.43 mem=35M356
23.97
23.97 search
23.97 run=12 nbConstraintChecks=16127276 nbValidityChecks=31308113 nbPropagations=440100 nbRevisions=5587758
23.97 nbUselessRevisions=4421401 nbAssignments=12569 nbFailedAssignments=8568 nbBacktracks=3869 nbVisitedNodes=23943
23.97 nbRestartNogoods=100
23.97 => wckTime=22.194 cpuTime=21.88 mem=35M356
33.60
33.60 search
33.60 run=13 nbConstraintChecks=23339967 nbValidityChecks=44777175 nbPropagations=645675 nbRevisions=8193802
33.60 nbUselessRevisions=6489024 nbAssignments=17718 nbFailedAssignments=11765 nbBacktracks=5815 nbVisitedNodes=33495
33.60 nbRestartNogoods=117
33.60 => wckTime=31.822 cpuTime=31.42 mem=35M356
48.75
48.75 search
48.75 run=14 nbConstraintChecks=34441509 nbValidityChecks=67009084 nbPropagations=960138 nbRevisions=12145847
48.75 nbUselessRevisions=9620459 nbAssignments=26757 nbFailedAssignments=17848 nbBacktracks=8734 nbVisitedNodes=50858
48.75 nbRestartNogoods=149
48.75 => wckTime=46.973 cpuTime=46.43 mem=35M356
69.07
69.07 search
69.07 run=15 nbConstraintChecks=49427976 nbValidityChecks=95203039 nbPropagations=1402436 nbRevisions=17744543
69.07 nbUselessRevisions=14066617 nbAssignments=37496 nbFailedAssignments=24204 nbBacktracks=13112
69.07 nbVisitedNodes=70731 nbRestartNogoods=164
69.07 => wckTime=67.29 cpuTime=66.56 mem=35M356
102.89
102.89 search
102.89 run=16 nbConstraintChecks=75375245 nbValidityChecks=143553920 nbPropagations=2046407 nbRevisions=25931386
102.89 nbUselessRevisions=20589133 nbAssignments=56343 nbFailedAssignments=36470 nbBacktracks=19680
102.89 nbVisitedNodes=105915 nbRestartNogoods=193
102.89 => wckTime=101.111 cpuTime=100.09 mem=35M356
157.19
157.19 search
157.19 run=17 nbConstraintChecks=116020999 nbValidityChecks=224677740 nbPropagations=3059672 nbRevisions=38691467
157.19 nbUselessRevisions=30728733 nbAssignments=89405 nbFailedAssignments=59638 nbBacktracks=29532
157.19 nbVisitedNodes=169253 nbRestartNogoods=225
157.19 => wckTime=155.407 cpuTime=153.88 mem=35M356
236.80
236.80 search
236.80 run=18 nbConstraintChecks=174379033 nbValidityChecks=337205786 nbPropagations=4609715 nbRevisions=58366063
236.80 nbUselessRevisions=46345414 nbAssignments=132878 nbFailedAssignments=88329 nbBacktracks=44311
236.80 nbVisitedNodes=252395 nbRestartNogoods=250
236.80 => wckTime=235.02 cpuTime=232.77 mem=35M356
359.06
359.06 search
359.06 run=19 nbConstraintChecks=265269316 nbValidityChecks=513988371 nbPropagations=6974468 nbRevisions=88346997
359.06 nbUselessRevisions=70141828 nbAssignments=202172 nbFailedAssignments=135452 nbBacktracks=66479
359.06 nbVisitedNodes=385241 nbRestartNogoods=272
359.06 => wckTime=357.277 cpuTime=353.71 mem=35M356
561.36
561.36 search
561.36 run=20 nbConstraintChecks=416296930 nbValidityChecks=793488597 nbPropagations=10488377 nbRevisions=134036590
561.36 nbUselessRevisions=106522075 nbAssignments=300345 nbFailedAssignments=200371 nbBacktracks=99731
561.36 nbVisitedNodes=571108 nbRestartNogoods=287
561.36 => wckTime=559.577 cpuTime=554.14 mem=35M356
820.26
820.26 search
820.26 run=21 nbConstraintChecks=606212973 nbValidityChecks=1161644375 nbPropagations=15699003 nbRevisions=201118039
820.26 nbUselessRevisions=159969941 nbAssignments=440945 nbFailedAssignments=291089 nbBacktracks=149610
820.26 nbVisitedNodes=837815 nbRestartNogoods=310
820.26 => wckTime=818.484 cpuTime=810.69 mem=35M356
1255.63
1255.63 search
1255.63 run=22 nbConstraintChecks=925579824 nbValidityChecks=1764382863 nbPropagations=23560716 nbRevisions=303496798
1255.63 nbUselessRevisions=241604465 nbAssignments=655101 nbFailedAssignments=430422 nbBacktracks=224429
1255.63 nbVisitedNodes=1245543 nbRestartNogoods=324
1255.63 => wckTime=1253.85 cpuTime=1242.1 mem=35M356
1487.16
1487.16 search
1487.16 run=23 nbConstraintChecks=1100644777 nbValidityChecks=2096720166 nbPropagations=32908125 nbRevisions=425190032
1487.16 nbUselessRevisions=338671538 nbAssignments=774605 nbFailedAssignments=505682 nbBacktracks=268649
1487.16 nbVisitedNodes=1471465 nbRestartNogoods=347
1487.16 => wckTime=1485.38 cpuTime=1472.48 mem=35M356
1487.16
1487.16 global
1487.16 nbConstraintChecks=1100679057 nbValidityChecks=2096773822 nbPropagations=32908335 nbRevisions=425192032
1487.16 nbUselessRevisions=338673267 nbRestartNogoods=347 solvingWckTime=1485.381 solvingCpuTime=1472.48 expiredTime=no
1487.16 totalExploration=no nbFoundSolutions=1 globalCpuTime=1473.56
1487.16 => wckTime=1486.724 cpuTime=1473.51 mem=35M356
1487.16
1487.16 s SATISFIABLE
1487.16 v 4 9 6 13 6 17 3 14 14 7 3 18 1 19 3 13 11 12 23 0 21 0 23 10
1487.16 d NODES 774605
1487.16 d CHECKS 1100679057
1487.16
1487.16 totalWckTime=1486.818 totalCpuTime=1473.57
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-195961-1168116987 -o ROOT/results/node17/solver-195961-1168116987 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195961-1168116987/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.93 1.99 2.08 4/87 27891
/proc/meminfo: memFree=1596248/2055920 swapFree=4192812/4192956
[pid=27890] ppid=27888 vsize=308 CPUtime=0
/proc/27890/stat : 27890 (java) D 27888 27890 27688 0 -1 0 53 0 1 0 0 0 0 0 18 0 1 0 160093463 315392 37 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 2864135 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/27890/statm: 77 37 29 14 0 5 0
[startup+0.104411 s]
/proc/loadavg: 1.93 1.99 2.08 4/87 27891
/proc/meminfo: memFree=1596248/2055920 swapFree=4192812/4192956
[pid=27890] ppid=27888 vsize=907676 CPUtime=0.04
/proc/27890/stat : 27890 (java) R 27888 27890 27688 0 -1 0 2362 0 11 0 3 1 0 0 17 0 4 0 160093463 929460224 2119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155517813 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/27890/statm: 226919 2119 1183 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676
[startup+0.512453 s]
/proc/loadavg: 1.93 1.99 2.08 4/87 27891
/proc/meminfo: memFree=1596248/2055920 swapFree=4192812/4192956
[pid=27890] ppid=27888 vsize=915328 CPUtime=0.35
/proc/27890/stat : 27890 (java) R 27888 27890 27688 0 -1 0 5527 0 41 0 31 4 0 0 18 0 8 0 160093463 937295872 5306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27890/statm: 228832 5306 2062 14 0 215302 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 915328
[startup+1.33554 s]
/proc/loadavg: 1.93 1.99 2.08 3/94 27898
/proc/meminfo: memFree=1530528/2055920 swapFree=4192812/4192956
[pid=27890] ppid=27888 vsize=915328 CPUtime=1.16
/proc/27890/stat : 27890 (java) R 27888 27890 27688 0 -1 0 19075 0 44 0 106 10 0 0 23 0 8 0 160093463 937295872 18855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153928176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27890/statm: 228832 18855 2160 14 0 215302 0
[pid=27890/tid=27892] ppid=27888 vsize=915328 CPUtime=0.05
/proc/27890/task/27892/stat : 27892 (java) S 27888 27890 27688 0 -1 64 2657 0 0 0 4 1 0 0 16 0 8 0 160093470 937295872 18855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27893] ppid=27888 vsize=915328 CPUtime=0
/proc/27890/task/27893/stat : 27893 (java) S 27888 27890 27688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160093471 937295872 18855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27894] ppid=27888 vsize=915328 CPUtime=0
/proc/27890/task/27894/stat : 27894 (java) S 27888 27890 27688 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160093471 937295872 18855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27895] ppid=27888 vsize=915328 CPUtime=0
/proc/27890/task/27895/stat : 27895 (java) S 27888 27890 27688 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160093476 937295872 18855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27896] ppid=27888 vsize=915328 CPUtime=0.1
/proc/27890/task/27896/stat : 27896 (java) S 27888 27890 27688 0 -1 64 320 0 0 0 10 0 0 0 15 0 8 0 160093476 937295872 18855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27897] ppid=27888 vsize=915328 CPUtime=0
/proc/27890/task/27897/stat : 27897 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160093476 937295872 18855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27898] ppid=27888 vsize=915328 CPUtime=0
/proc/27890/task/27898/stat : 27898 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160093476 937295872 18855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 915328
[startup+2.98871 s]
/proc/loadavg: 1.93 1.99 2.08 3/94 27898
/proc/meminfo: memFree=1502624/2055920 swapFree=4192812/4192956
[pid=27890] ppid=27888 vsize=915416 CPUtime=2.8
/proc/27890/stat : 27890 (java) R 27888 27890 27688 0 -1 0 23365 0 44 0 267 13 0 0 25 0 8 0 160093463 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27890/statm: 228854 23143 2531 14 0 215324 0
[pid=27890/tid=27892] ppid=27888 vsize=915416 CPUtime=0.16
/proc/27890/task/27892/stat : 27892 (java) S 27888 27890 27688 0 -1 64 6426 0 0 0 14 2 0 0 17 0 8 0 160093470 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27893] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27893/stat : 27893 (java) S 27888 27890 27688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160093471 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27894] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27894/stat : 27894 (java) S 27888 27890 27688 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160093471 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27895] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27895/stat : 27895 (java) S 27888 27890 27688 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160093476 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27896] ppid=27888 vsize=915416 CPUtime=0.2
/proc/27890/task/27896/stat : 27896 (java) S 27888 27890 27688 0 -1 64 370 0 0 0 19 1 0 0 15 0 8 0 160093476 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27897] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27897/stat : 27897 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160093476 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27898] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27898/stat : 27898 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160093476 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 915416
[startup+6.27906 s]
/proc/loadavg: 1.94 1.99 2.08 3/94 27898
/proc/meminfo: memFree=1502368/2055920 swapFree=4192812/4192956
[pid=27890] ppid=27888 vsize=915416 CPUtime=6.05
/proc/27890/stat : 27890 (java) R 27888 27890 27688 0 -1 0 23381 0 44 0 592 13 0 0 25 0 8 0 160093463 937385984 23156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749904 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27890/statm: 228854 23156 2531 14 0 215324 0
[pid=27890/tid=27892] ppid=27888 vsize=915416 CPUtime=0.16
/proc/27890/task/27892/stat : 27892 (java) S 27888 27890 27688 0 -1 64 6426 0 0 0 14 2 0 0 17 0 8 0 160093470 937385984 23156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27893] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27893/stat : 27893 (java) S 27888 27890 27688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160093471 937385984 23156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27894] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27894/stat : 27894 (java) S 27888 27890 27688 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160093471 937385984 23156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27895] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27895/stat : 27895 (java) S 27888 27890 27688 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160093476 937385984 23156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27896] ppid=27888 vsize=915416 CPUtime=0.23
/proc/27890/task/27896/stat : 27896 (java) S 27888 27890 27688 0 -1 64 385 0 0 0 22 1 0 0 15 0 8 0 160093476 937385984 23156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27897] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27897/stat : 27897 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160093476 937385984 23156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27898] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27898/stat : 27898 (java) R 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160093476 937385984 23156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 915416
[startup+12.7747 s]
/proc/loadavg: 1.94 1.99 2.08 3/94 27898
/proc/meminfo: memFree=1502504/2055920 swapFree=4192812/4192956
[pid=27890] ppid=27888 vsize=915416 CPUtime=12.5
/proc/27890/stat : 27890 (java) R 27888 27890 27688 0 -1 0 23387 0 44 0 1236 14 0 0 25 0 8 0 160093463 937385984 23160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073625389 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27890/statm: 228854 23160 2531 14 0 215324 0
[pid=27890/tid=27892] ppid=27888 vsize=915416 CPUtime=0.16
/proc/27890/task/27892/stat : 27892 (java) S 27888 27890 27688 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160093470 937385984 23160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27893] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27893/stat : 27893 (java) S 27888 27890 27688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160093471 937385984 23160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27894] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27894/stat : 27894 (java) S 27888 27890 27688 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160093471 937385984 23160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27895] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27895/stat : 27895 (java) S 27888 27890 27688 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160093476 937385984 23160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27896] ppid=27888 vsize=915416 CPUtime=0.24
/proc/27890/task/27896/stat : 27896 (java) S 27888 27890 27688 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 160093476 937385984 23160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27897] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27897/stat : 27897 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160093476 937385984 23160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27898] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27898/stat : 27898 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160093476 937385984 23160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915416
[startup+25.6201 s]
/proc/loadavg: 1.95 1.99 2.08 3/94 27898
/proc/meminfo: memFree=1502632/2055920 swapFree=4192812/4192956
[pid=27890] ppid=27888 vsize=915416 CPUtime=25.23
/proc/27890/stat : 27890 (java) R 27888 27890 27688 0 -1 0 23389 0 44 0 2509 14 0 0 25 0 8 0 160093463 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27890/statm: 228854 23161 2531 14 0 215324 0
[pid=27890/tid=27892] ppid=27888 vsize=915416 CPUtime=0.16
/proc/27890/task/27892/stat : 27892 (java) S 27888 27890 27688 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160093470 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27893] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27893/stat : 27893 (java) S 27888 27890 27688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160093471 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27894] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27894/stat : 27894 (java) S 27888 27890 27688 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160093471 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27895] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27895/stat : 27895 (java) S 27888 27890 27688 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27896] ppid=27888 vsize=915416 CPUtime=0.25
/proc/27890/task/27896/stat : 27896 (java) S 27888 27890 27688 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27897] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27897/stat : 27897 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27898] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27898/stat : 27898 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 915416
[startup+51.2537 s]
/proc/loadavg: 1.97 1.99 2.07 3/94 27898
/proc/meminfo: memFree=1502696/2055920 swapFree=4192812/4192956
[pid=27890] ppid=27888 vsize=915416 CPUtime=50.62
/proc/27890/stat : 27890 (java) R 27888 27890 27688 0 -1 0 23389 0 44 0 5048 14 0 0 25 0 8 0 160093463 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27890/statm: 228854 23161 2531 14 0 215324 0
[pid=27890/tid=27892] ppid=27888 vsize=915416 CPUtime=0.16
/proc/27890/task/27892/stat : 27892 (java) S 27888 27890 27688 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160093470 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27893] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27893/stat : 27893 (java) S 27888 27890 27688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160093471 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27894] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27894/stat : 27894 (java) S 27888 27890 27688 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160093471 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27895] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27895/stat : 27895 (java) S 27888 27890 27688 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27896] ppid=27888 vsize=915416 CPUtime=0.25
/proc/27890/task/27896/stat : 27896 (java) S 27888 27890 27688 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27897] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27897/stat : 27897 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27898] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27898/stat : 27898 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 915416
[startup+102.514 s]
/proc/loadavg: 1.98 1.99 2.07 3/94 27898
/proc/meminfo: memFree=1502696/2055920 swapFree=4192812/4192956
[pid=27890] ppid=27888 vsize=915416 CPUtime=101.42
/proc/27890/stat : 27890 (java) R 27888 27890 27688 0 -1 0 23389 0 44 0 10127 15 0 0 25 0 8 0 160093463 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073767730 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27890/statm: 228854 23161 2531 14 0 215324 0
[pid=27890/tid=27892] ppid=27888 vsize=915416 CPUtime=0.16
/proc/27890/task/27892/stat : 27892 (java) S 27888 27890 27688 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160093470 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27893] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27893/stat : 27893 (java) S 27888 27890 27688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160093471 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27894] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27894/stat : 27894 (java) S 27888 27890 27688 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160093471 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27895] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27895/stat : 27895 (java) S 27888 27890 27688 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27896] ppid=27888 vsize=915416 CPUtime=0.25
/proc/27890/task/27896/stat : 27896 (java) S 27888 27890 27688 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27897] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27897/stat : 27897 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27898] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27898/stat : 27898 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 915416
[startup+162.525 s]
/proc/loadavg: 2.07 2.01 2.07 3/94 27898
/proc/meminfo: memFree=1502632/2055920 swapFree=4192812/4192956
[pid=27890] ppid=27888 vsize=915416 CPUtime=160.88
/proc/27890/stat : 27890 (java) R 27888 27890 27688 0 -1 0 23389 0 44 0 16073 15 0 0 25 0 8 0 160093463 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073625395 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/27890/task/27895/stat : 27895 (java) S 27888 27890 27688 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27896] ppid=27888 vsize=915416 CPUtime=0.25
/proc/27890/task/27896/stat : 27896 (java) S 27888 27890 27688 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27897] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27897/stat : 27897 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27898] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27898/stat : 27898 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1052.66
Current children cumulated vsize (KiB) 915416
[startup+1122.73 s]
/proc/loadavg: 2.01 2.01 2.00 3/96 28098
/proc/meminfo: memFree=1500952/2055920 swapFree=4192812/4192956
[pid=27890] ppid=27888 vsize=915416 CPUtime=1112.12
/proc/27890/stat : 27890 (java) R 27888 27890 27688 0 -1 0 23389 0 44 0 111189 23 0 0 25 0 8 0 160093463 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27890/statm: 228854 23161 2531 14 0 215324 0
[pid=27890/tid=27892] ppid=27888 vsize=915416 CPUtime=0.16
/proc/27890/task/27892/stat : 27892 (java) S 27888 27890 27688 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160093470 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27893] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27893/stat : 27893 (java) S 27888 27890 27688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160093471 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27894] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27894/stat : 27894 (java) S 27888 27890 27688 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160093471 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27895] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27895/stat : 27895 (java) S 27888 27890 27688 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27896] ppid=27888 vsize=915416 CPUtime=0.25
/proc/27890/task/27896/stat : 27896 (java) S 27888 27890 27688 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27897] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27897/stat : 27897 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27898] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27898/stat : 27898 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1112.12
Current children cumulated vsize (KiB) 915416
[startup+1182.75 s]
/proc/loadavg: 2.04 2.02 2.00 4/96 28098
/proc/meminfo: memFree=1500824/2055920 swapFree=4192812/4192956
[pid=27890] ppid=27888 vsize=915416 CPUtime=1171.59
/proc/27890/stat : 27890 (java) R 27888 27890 27688 0 -1 0 23389 0 44 0 117135 24 0 0 25 0 8 0 160093463 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753601 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27890/statm: 228854 23161 2531 14 0 215324 0
[pid=27890/tid=27892] ppid=27888 vsize=915416 CPUtime=0.16
/proc/27890/task/27892/stat : 27892 (java) S 27888 27890 27688 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160093470 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27893] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27893/stat : 27893 (java) S 27888 27890 27688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160093471 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27894] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27894/stat : 27894 (java) S 27888 27890 27688 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160093471 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27895] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27895/stat : 27895 (java) S 27888 27890 27688 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27896] ppid=27888 vsize=915416 CPUtime=0.25
/proc/27890/task/27896/stat : 27896 (java) S 27888 27890 27688 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27897] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27897/stat : 27897 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27898] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27898/stat : 27898 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1171.59
Current children cumulated vsize (KiB) 915416
[startup+1242.76 s]
/proc/loadavg: 2.01 2.01 2.00 3/96 28098
/proc/meminfo: memFree=1500760/2055920 swapFree=4192812/4192956
[pid=27890] ppid=27888 vsize=915416 CPUtime=1231.06
/proc/27890/stat : 27890 (java) R 27888 27890 27688 0 -1 0 23389 0 44 0 123081 25 0 0 25 0 8 0 160093463 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27890/statm: 228854 23161 2531 14 0 215324 0
[pid=27890/tid=27892] ppid=27888 vsize=915416 CPUtime=0.16
/proc/27890/task/27892/stat : 27892 (java) S 27888 27890 27688 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160093470 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27893] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27893/stat : 27893 (java) S 27888 27890 27688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160093471 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27894] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27894/stat : 27894 (java) S 27888 27890 27688 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160093471 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27895] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27895/stat : 27895 (java) S 27888 27890 27688 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27896] ppid=27888 vsize=915416 CPUtime=0.25
/proc/27890/task/27896/stat : 27896 (java) S 27888 27890 27688 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27897] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27897/stat : 27897 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27898] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27898/stat : 27898 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1231.06
Current children cumulated vsize (KiB) 915416
[startup+1302.78 s]
/proc/loadavg: 2.00 2.01 2.00 3/96 28098
/proc/meminfo: memFree=1500632/2055920 swapFree=4192812/4192956
[pid=27890] ppid=27888 vsize=915416 CPUtime=1290.53
/proc/27890/stat : 27890 (java) R 27888 27890 27688 0 -1 0 23389 0 44 0 129028 25 0 0 25 0 8 0 160093463 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073763627 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27890/statm: 228854 23161 2531 14 0 215324 0
[pid=27890/tid=27892] ppid=27888 vsize=915416 CPUtime=0.16
/proc/27890/task/27892/stat : 27892 (java) S 27888 27890 27688 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160093470 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27893] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27893/stat : 27893 (java) S 27888 27890 27688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160093471 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27894] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27894/stat : 27894 (java) S 27888 27890 27688 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160093471 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27895] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27895/stat : 27895 (java) S 27888 27890 27688 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27896] ppid=27888 vsize=915416 CPUtime=0.25
/proc/27890/task/27896/stat : 27896 (java) S 27888 27890 27688 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27897] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27897/stat : 27897 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27898] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27898/stat : 27898 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1290.53
Current children cumulated vsize (KiB) 915416
[startup+1362.79 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 28100
/proc/meminfo: memFree=1499928/2055920 swapFree=4192812/4192956
[pid=27890] ppid=27888 vsize=915416 CPUtime=1350
/proc/27890/stat : 27890 (java) R 27888 27890 27688 0 -1 0 23389 0 44 0 134974 26 0 0 25 0 8 0 160093463 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27890/statm: 228854 23161 2531 14 0 215324 0
[pid=27890/tid=27892] ppid=27888 vsize=915416 CPUtime=0.16
/proc/27890/task/27892/stat : 27892 (java) S 27888 27890 27688 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160093470 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27893] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27893/stat : 27893 (java) S 27888 27890 27688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160093471 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27894] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27894/stat : 27894 (java) S 27888 27890 27688 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160093471 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27895] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27895/stat : 27895 (java) S 27888 27890 27688 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27896] ppid=27888 vsize=915416 CPUtime=0.25
/proc/27890/task/27896/stat : 27896 (java) S 27888 27890 27688 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27897] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27897/stat : 27897 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27898] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27898/stat : 27898 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1350
Current children cumulated vsize (KiB) 915416
[startup+1422.79 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 28208
/proc/meminfo: memFree=1713208/2055920 swapFree=4192812/4192956
[pid=27890] ppid=27888 vsize=915416 CPUtime=1409.89
/proc/27890/stat : 27890 (java) R 27888 27890 27688 0 -1 0 23389 0 44 0 140960 29 0 0 25 0 8 0 160093463 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749897 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27890/statm: 228854 23161 2531 14 0 215324 0
[pid=27890/tid=27892] ppid=27888 vsize=915416 CPUtime=0.16
/proc/27890/task/27892/stat : 27892 (java) S 27888 27890 27688 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160093470 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27893] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27893/stat : 27893 (java) S 27888 27890 27688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160093471 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27894] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27894/stat : 27894 (java) S 27888 27890 27688 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160093471 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27895] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27895/stat : 27895 (java) S 27888 27890 27688 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27896] ppid=27888 vsize=915416 CPUtime=0.25
/proc/27890/task/27896/stat : 27896 (java) S 27888 27890 27688 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27897] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27897/stat : 27897 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27898] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27898/stat : 27898 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1409.89
Current children cumulated vsize (KiB) 915416
[startup+1482.89 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 28208
/proc/meminfo: memFree=1713144/2055920 swapFree=4192812/4192956
[pid=27890] ppid=27888 vsize=915416 CPUtime=1469.93
/proc/27890/stat : 27890 (java) R 27888 27890 27688 0 -1 0 23389 0 44 0 146964 29 0 0 25 0 8 0 160093463 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073761958 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27890/statm: 228854 23161 2531 14 0 215324 0
[pid=27890/tid=27892] ppid=27888 vsize=915416 CPUtime=0.16
/proc/27890/task/27892/stat : 27892 (java) S 27888 27890 27688 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 160093470 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27893] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27893/stat : 27893 (java) S 27888 27890 27688 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160093471 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27894] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27894/stat : 27894 (java) S 27888 27890 27688 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160093471 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27895] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27895/stat : 27895 (java) S 27888 27890 27688 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27896] ppid=27888 vsize=915416 CPUtime=0.25
/proc/27890/task/27896/stat : 27896 (java) S 27888 27890 27688 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27897] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27897/stat : 27897 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27890/tid=27898] ppid=27888 vsize=915416 CPUtime=0
/proc/27890/task/27898/stat : 27898 (java) S 27888 27890 27688 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160093476 937385984 23161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1469.93
Current children cumulated vsize (KiB) 915416
Child status: 0
Real time (s): 1487.22
CPU time (s): 1474.23
CPU user time (s): 1473.92
CPU system time (s): 0.313952
CPU usage (%): 99.1269
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1473.92
system time used= 0.313952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23397
page faults= 44
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31299
involuntary context switches= 55975
runsolver used 1.84072 s user time and 4.74128 s system time
The end
Begin job on node17 on Sat Jan 6 20:56:27 UTC 2007
IDJOB= 195961
IDBENCH= 3315
FILE ID= node17/195961-1168116987
PBS_JOBID= 3477132
Free space on /tmp= 66310 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195961-1168116987/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-195961-1168116987 -o ROOT/results/node17/solver-195961-1168116987 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195961-1168116987/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 06118edf9ae5aebaf6ced014016cdc21
RANDOM SEED= 454208607
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.236
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.236
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: 1596728 kB
Buffers: 36236 kB
Cached: 61004 kB
SwapCached: 0 kB
Active: 352592 kB
Inactive: 48456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1596728 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4484 kB
Writeback: 0 kB
Mapped: 324036 kB
Slab: 42384 kB
Committed_AS: 4378640 kB
PageTables: 2932 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66315 MiB
End job on node17 on Sat Jan 6 21:21:14 UTC 2007