0.31
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/278066-1169273608/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.087 cpuTime=0.07 mem=6M910
0.40
0.40 relations being loaded...
0.42
0.42 constraints being loaded...
0.65 nbConstraints=1646 nbRelationTypes=37 nbExtensionStructures=37 nbSharedExtensionStructures=1609
0.65 nbConflictsStructures=37 nbSharedConflictsStructures=1609 nbSharedBinaryRepresentations=0 maxDegree=143
0.65 maxArity=3
0.65 => wckTime=0.33 cpuTime=0.21 mem=11M819
0.70
0.70 solver LocalSearchSolver being built...
0.73 => wckTime=0.418 cpuTime=0.25 mem=6M234
0.74
0.74 s SATISFIABLE
0.74 o 1436
0.74 c 210
0.74 o 1443
0.74 c 203
0.74 o 1449
0.74 c 197
0.74 o 1451
0.74 c 195
0.74 o 1461
0.74 c 185
0.74 o 1462
0.74 c 184
0.75 o 1469
0.75 c 177
0.75 o 1471
0.75 c 175
0.75 o 1475
0.75 c 171
0.75 o 1477
0.75 c 169
0.75 o 1478
0.75 c 168
0.75 o 1481
0.75 c 165
0.78 o 1482
0.78 c 164
0.78 o 1486
0.78 c 160
0.79 o 1487
0.79 c 159
0.81 o 1490
0.81 c 156
0.81 o 1491
0.81 c 155
0.84 o 1497
0.84 c 149
1.01 o 1498
1.01 c 148
1.01 o 1502
1.01 c 144
1.22 o 1503
1.22 c 143
1.42 o 1504
1.42 c 142
1.42 o 1506
1.42 c 140
1.45 o 1507
1.45 c 139
1.45 o 1510
1.45 c 136
6.34
6.34 search
6.34 run=0 nbConstraintChecks=37679303 nbAssignments=10000
6.34 => wckTime=5.607 cpuTime=5.58 mem=6M234
12.11
12.11 search
12.11 run=1 nbConstraintChecks=76334220 nbAssignments=20000
12.11 => wckTime=11.379 cpuTime=11.34 mem=6M234
17.62
17.62 search
17.63 run=2 nbConstraintChecks=114058743 nbAssignments=30000
17.63 => wckTime=16.893 cpuTime=16.85 mem=6M234
23.24
23.24 search
23.24 run=3 nbConstraintChecks=152734813 nbAssignments=40000
23.24 => wckTime=22.51 cpuTime=22.47 mem=6M234
28.78
28.78 search
28.78 run=4 nbConstraintChecks=190495172 nbAssignments=50000
28.78 => wckTime=28.045 cpuTime=28.0 mem=6M234
31.49
31.49 search
31.49 run=5 nbConstraintChecks=209033632 nbAssignments=54794
31.49 => wckTime=30.76 cpuTime=30.72 mem=6M234
31.49
31.49 global
31.49 nbConstraintChecks=209033632 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.49 solvingWckTime=30.758 solvingCpuTime=30.72 expiredTime=no totalExploration=no nbFoundSolutions=0
31.49 globalCpuTime=31.01
31.49 => wckTime=31.177 cpuTime=30.97 mem=6M234
31.49
31.49 solver IterativeSystematicSolver being built...
31.68 => wckTime=31.361 cpuTime=31.11 mem=26M58
31.70
31.70 preprocessing
31.70 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.70 detectedInconsistency=no
31.70 => wckTime=0.016 cpuTime=0.01 mem=26M58
31.82
31.82 search
31.82 run=0 nbConstraintChecks=27071 nbValidityChecks=72852 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.82 nbAssignments=40 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=58 nbRestartNogoods=0
31.82 => wckTime=0.144 cpuTime=0.12 mem=26M58
31.95
31.95 search
31.95 run=1 nbConstraintChecks=58140 nbValidityChecks=176676 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.95 nbAssignments=85 nbFailedAssignments=17 nbBacktracks=25 nbVisitedNodes=128 nbRestartNogoods=2
31.95 => wckTime=0.273 cpuTime=0.23 mem=26M58
32.10
32.10 search
32.10 run=2 nbConstraintChecks=110021 nbValidityChecks=340668 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.10 nbAssignments=147 nbFailedAssignments=35 nbBacktracks=47 nbVisitedNodes=230 nbRestartNogoods=4
32.10 => wckTime=0.424 cpuTime=0.38 mem=26M58
32.32
32.32 search
32.32 run=3 nbConstraintChecks=187598 nbValidityChecks=585761 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.32 nbAssignments=228 nbFailedAssignments=63 nbBacktracks=80 nbVisitedNodes=372 nbRestartNogoods=7
32.32 => wckTime=0.642 cpuTime=0.6 mem=26M58
32.59
32.59 search
32.59 run=4 nbConstraintChecks=293573 nbValidityChecks=909630 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.59 nbAssignments=333 nbFailedAssignments=95 nbBacktracks=130 nbVisitedNodes=559 nbRestartNogoods=9
32.59 => wckTime=0.911 cpuTime=0.87 mem=26M58
33.06
33.06 search
33.06 run=5 nbConstraintChecks=463780 nbValidityChecks=1455980 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.06 nbAssignments=489 nbFailedAssignments=157 nbBacktracks=205 nbVisitedNodes=852 nbRestartNogoods=12
33.06 => wckTime=1.377 cpuTime=1.33 mem=26M58
33.67
33.67 search
33.67 run=6 nbConstraintChecks=683502 nbValidityChecks=2214698 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.67 nbAssignments=699 nbFailedAssignments=234 nbBacktracks=318 nbVisitedNodes=1252 nbRestartNogoods=14
33.67 => wckTime=1.993 cpuTime=1.95 mem=26M58
34.63
34.63 search
34.63 run=7 nbConstraintChecks=1028124 nbValidityChecks=3397619 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.64 nbAssignments=1022 nbFailedAssignments=366 nbBacktracks=489 nbVisitedNodes=1878 nbRestartNogoods=18
34.64 => wckTime=2.956 cpuTime=2.9 mem=26M58
35.92
35.92 search
35.92 run=8 nbConstraintChecks=1563123 nbValidityChecks=5110739 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.92 nbAssignments=1471 nbFailedAssignments=538 nbBacktracks=745 nbVisitedNodes=2755 nbRestartNogoods=21
35.92 => wckTime=4.242 cpuTime=4.19 mem=26M58
38.05
38.05 search
38.05 run=9 nbConstraintChecks=2315327 nbValidityChecks=7883807 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.05 nbAssignments=2183 nbFailedAssignments=848 nbBacktracks=1130 nbVisitedNodes=4162 nbRestartNogoods=25
38.05 => wckTime=6.374 cpuTime=6.3 mem=26M58
41.14
41.14 search
41.14 run=10 nbConstraintChecks=3536564 nbValidityChecks=12122820 nbPropagations=0 nbRevisions=0
41.14 nbUselessRevisions=0 nbAssignments=3268 nbFailedAssignments=1336 nbBacktracks=1706 nbVisitedNodes=6311
41.14 nbRestartNogoods=28
41.14 => wckTime=9.463 cpuTime=9.38 mem=26M58
45.70
45.70 search
45.70 run=11 nbConstraintChecks=5179792 nbValidityChecks=18290449 nbPropagations=0 nbRevisions=0
45.70 nbUselessRevisions=0 nbAssignments=4806 nbFailedAssignments=1987 nbBacktracks=2570 nbVisitedNodes=9364
45.70 nbRestartNogoods=33
45.70 => wckTime=14.018 cpuTime=13.93 mem=26M58
52.51
52.51 search
52.51 run=12 nbConstraintChecks=7775969 nbValidityChecks=27537355 nbPropagations=0 nbRevisions=0
52.51 nbUselessRevisions=0 nbAssignments=7147 nbFailedAssignments=3013 nbBacktracks=3867 nbVisitedNodes=14028
52.51 nbRestartNogoods=36
52.51 => wckTime=20.834 cpuTime=20.75 mem=26M58
62.42
62.42 search
62.42 run=13 nbConstraintChecks=11602766 nbValidityChecks=41314939 nbPropagations=0 nbRevisions=0
62.42 nbUselessRevisions=0 nbAssignments=10578 nbFailedAssignments=4474 nbBacktracks=5813 nbVisitedNodes=20866
62.42 nbRestartNogoods=42
62.42 => wckTime=30.737 cpuTime=30.64 mem=26M58
78.48
78.48 search
78.48 run=14 nbConstraintChecks=17177775 nbValidityChecks=62750802 nbPropagations=0 nbRevisions=0
78.48 nbUselessRevisions=0 nbAssignments=15840 nbFailedAssignments=6798 nbBacktracks=8733 nbVisitedNodes=31371
78.48 nbRestartNogoods=46
78.48 => wckTime=46.804 cpuTime=46.71 mem=26M58
102.33
102.33 search
102.33 run=15 nbConstraintChecks=25477918 nbValidityChecks=95220477 nbPropagations=0 nbRevisions=0
102.33 nbUselessRevisions=0 nbAssignments=23642 nbFailedAssignments=10203 nbBacktracks=13112 nbVisitedNodes=46949
102.33 nbRestartNogoods=53
102.33 => wckTime=70.656 cpuTime=70.55 mem=26M58
137.12
137.12 search
137.12 run=16 nbConstraintChecks=37727016 nbValidityChecks=142316670 nbPropagations=0 nbRevisions=0
137.12 nbUselessRevisions=0 nbAssignments=34959 nbFailedAssignments=14934 nbBacktracks=19680 nbVisitedNodes=69565
137.12 nbRestartNogoods=58
137.12 => wckTime=105.442 cpuTime=105.32 mem=26M58
191.86
191.86 search
191.86 run=17 nbConstraintChecks=55738080 nbValidityChecks=213805943 nbPropagations=0 nbRevisions=0
191.86 nbUselessRevisions=0 nbAssignments=52531 nbFailedAssignments=22640 nbBacktracks=29532 nbVisitedNodes=104670
191.86 nbRestartNogoods=64
191.86 => wckTime=160.184 cpuTime=160.04 mem=26M58
272.94
272.94 search
272.94 run=18 nbConstraintChecks=82835922 nbValidityChecks=322989193 nbPropagations=0 nbRevisions=0
272.94 nbUselessRevisions=0 nbAssignments=78588 nbFailedAssignments=33907 nbBacktracks=44310 nbVisitedNodes=156755
272.94 nbRestartNogoods=72
272.94 => wckTime=241.265 cpuTime=241.09 mem=26M58
397.19
397.19 search
397.19 run=19 nbConstraintChecks=123752394 nbValidityChecks=485404232 nbPropagations=0 nbRevisions=0
397.19 nbUselessRevisions=0 nbAssignments=118050 nbFailedAssignments=51184 nbBacktracks=66478 nbVisitedNodes=235633
397.19 nbRestartNogoods=82
397.19 => wckTime=365.511 cpuTime=365.3 mem=26M58
580.45
580.45 search
580.45 run=20 nbConstraintChecks=183467844 nbValidityChecks=726332428 nbPropagations=0 nbRevisions=0
580.45 nbUselessRevisions=0 nbAssignments=176178 nbFailedAssignments=76043 nbBacktracks=99730 nbVisitedNodes=351727
580.45 nbRestartNogoods=89
580.45 => wckTime=548.771 cpuTime=548.48 mem=26M58
858.76
858.76 search
858.76 run=21 nbConstraintChecks=275467318 nbValidityChecks=1094885074 nbPropagations=0 nbRevisions=0
858.76 nbUselessRevisions=0 nbAssignments=264930 nbFailedAssignments=114900 nbBacktracks=149609 nbVisitedNodes=528885
858.76 nbRestartNogoods=97
858.76 => wckTime=827.08 cpuTime=826.7 mem=26M58
1276.20
1276.20 search
1276.20 run=22 nbConstraintChecks=412873668 nbValidityChecks=1631129424 nbPropagations=0 nbRevisions=0
1276.20 nbUselessRevisions=0 nbAssignments=399466 nbFailedAssignments=174602 nbBacktracks=224427 nbVisitedNodes=796992
1276.20 nbRestartNogoods=102
1276.20 => wckTime=1244.522 cpuTime=1244.0 mem=27M33
1873.20
1873.20 search
1873.20 run=23 nbConstraintChecks=628508575 nbValidityChecks=2426101139 nbPropagations=0 nbRevisions=0
1873.20 nbUselessRevisions=0 nbAssignments=598220 nbFailedAssignments=261111 nbBacktracks=336654 nbVisitedNodes=1193346
1873.20 nbRestartNogoods=108
1873.20 => wckTime=1841.523 cpuTime=1840.81 mem=27M33
2400.98 v 0 1 1 0 0 0 0 1 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node71/watcher-278066-1169273608 -o ROOT/results/node71/solver-278066-1169273608 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278066-1169273608/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.01 1.01 1.06 3/65 26591
/proc/meminfo: memFree=1297256/2055920 swapFree=4192812/4192956
[pid=26590] ppid=26588 vsize=1784 CPUtime=0
/proc/26590/stat : 26590 (java) D 26588 26590 25431 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 74857669 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/26590/statm: 446 136 102 14 0 91 0
[startup+0.106441 s]
/proc/loadavg: 1.01 1.01 1.06 3/65 26591
/proc/meminfo: memFree=1297256/2055920 swapFree=4192812/4192956
[pid=26590] ppid=26588 vsize=912760 CPUtime=0.07
/proc/26590/stat : 26590 (java) R 26588 26590 25431 0 -1 0 2797 0 1 0 5 2 0 0 22 0 8 0 74857669 934666240 2543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26590/statm: 228190 2545 1390 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760
[startup+0.516497 s]
/proc/loadavg: 1.01 1.01 1.06 3/65 26591
/proc/meminfo: memFree=1297256/2055920 swapFree=4192812/4192956
[pid=26590] ppid=26588 vsize=915332 CPUtime=0.47
/proc/26590/stat : 26590 (java) R 26588 26590 25431 0 -1 0 6423 0 1 0 42 5 0 0 16 0 8 0 74857669 937299968 6162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154101237 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26590/statm: 228833 6162 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332
[startup+1.33661 s]
/proc/loadavg: 1.01 1.01 1.06 2/72 26598
/proc/meminfo: memFree=1275504/2055920 swapFree=4192812/4192956
[pid=26590] ppid=26588 vsize=915444 CPUtime=1.28
/proc/26590/stat : 26590 (java) R 26588 26590 25431 0 -1 0 8098 0 1 0 119 9 0 0 17 0 8 0 74857669 937414656 7836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817185 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26590/statm: 228861 7836 2473 14 0 215331 0
[pid=26590/tid=26592] ppid=26588 vsize=915444 CPUtime=0.03
/proc/26590/task/26592/stat : 26592 (java) S 26588 26590 25431 0 -1 64 334 0 0 0 3 0 0 0 16 0 8 0 74857673 937414656 7836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26590/tid=26593] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 25431 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 7836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 25431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 7836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 74857679 937414656 7836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=915444 CPUtime=0.16
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 25431 0 -1 64 368 0 0 0 16 0 0 0 16 0 8 0 74857679 937414656 7836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 74857679 937414656 7836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74857679 937414656 7836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915444
[startup+2.97283 s]
/proc/loadavg: 1.01 1.01 1.06 2/72 26598
/proc/meminfo: memFree=1275440/2055920 swapFree=4192812/4192956
[pid=26590] ppid=26588 vsize=915444 CPUtime=2.92
/proc/26590/stat : 26590 (java) R 26588 26590 25431 0 -1 0 8104 0 1 0 272 20 0 0 18 0 8 0 74857669 937414656 7841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817283 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26590/statm: 228861 7841 2475 14 0 215331 0
[pid=26590/tid=26592] ppid=26588 vsize=915444 CPUtime=0.03
/proc/26590/task/26592/stat : 26592 (java) S 26588 26590 25431 0 -1 64 334 0 0 0 3 0 0 0 16 0 8 0 74857673 937414656 7841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26590/tid=26593] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 25431 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 7841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=915448 CPUtime=0
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 25431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74857674 937418752 7841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 74857679 937414656 7841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=915444 CPUtime=0.16
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 25431 0 -1 64 373 0 0 0 16 0 0 0 16 0 8 0 74857679 937414656 7841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 74857679 937414656 7841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74857679 937414656 7841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915444
[startup+6.25528 s]
/proc/loadavg: 1.01 1.01 1.06 2/72 26598
/proc/meminfo: memFree=1275392/2055920 swapFree=4192812/4192956
[pid=26590] ppid=26588 vsize=915444 CPUtime=6.21
/proc/26590/stat : 26590 (java) R 26588 26590 25431 0 -1 0 8104 0 1 0 579 42 0 0 25 0 8 0 74857669 937414656 7841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817271 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26590/statm: 228862 7841 2475 14 0 215332 0
[pid=26590/tid=26592] ppid=26588 vsize=915444 CPUtime=0.03
/proc/26590/task/26592/stat : 26592 (java) S 26588 26590 25431 0 -1 64 334 0 0 0 3 0 0 0 16 0 8 0 74857673 937414656 7841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26590/tid=26593] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 25431 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 7841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 25431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 7841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 74857679 937414656 7841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=915444 CPUtime=0.16
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 25431 0 -1 64 373 0 0 0 16 0 0 0 16 0 8 0 74857679 937414656 7841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 74857679 937414656 7841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74857679 937414656 7841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915444
[startup+12.7322 s]
/proc/loadavg: 1.01 1.01 1.06 2/72 26598
/proc/meminfo: memFree=1275392/2055920 swapFree=4192812/4192956
[pid=26590] ppid=26588 vsize=915444 CPUtime=12.67
/proc/26590/stat : 26590 (java) R 26588 26590 25431 0 -1 0 8107 0 1 0 1188 79 0 0 25 0 8 0 74857669 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818470 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26590/statm: 228861 7844 2475 14 0 215331 0
[pid=26590/tid=26592] ppid=26588 vsize=915444 CPUtime=0.03
/proc/26590/task/26592/stat : 26592 (java) S 26588 26590 25431 0 -1 64 334 0 0 0 3 0 0 0 16 0 8 0 74857673 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26590/tid=26593] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 25431 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 25431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 74857679 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=915444 CPUtime=0.17
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 25431 0 -1 64 376 0 0 0 17 0 0 0 16 0 8 0 74857679 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 74857679 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74857679 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915444
[startup+25.5879 s]
/proc/loadavg: 1.01 1.00 1.06 2/72 26598
/proc/meminfo: memFree=1275456/2055920 swapFree=4192812/4192956
[pid=26590] ppid=26588 vsize=915444 CPUtime=25.52
/proc/26590/stat : 26590 (java) R 26588 26590 25431 0 -1 0 8107 0 1 0 2385 167 0 0 25 0 8 0 74857669 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26590/statm: 228861 7844 2475 14 0 215331 0
[pid=26590/tid=26592] ppid=26588 vsize=915444 CPUtime=0.03
/proc/26590/task/26592/stat : 26592 (java) S 26588 26590 25431 0 -1 64 334 0 0 0 3 0 0 0 16 0 8 0 74857673 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26590/tid=26593] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 25431 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 25431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 74857679 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=915444 CPUtime=0.17
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 25431 0 -1 64 376 0 0 0 17 0 0 0 16 0 8 0 74857679 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 74857679 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74857679 937414656 7844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915444
[startup+51.2785 s]
/proc/loadavg: 1.00 1.00 1.06 2/72 26598
/proc/meminfo: memFree=1262272/2055920 swapFree=4192812/4192956
[pid=26590] ppid=26588 vsize=915444 CPUtime=51.17
/proc/26590/stat : 26590 (java) R 26588 26590 25431 0 -1 0 11510 0 1 0 4910 207 0 0 25 0 8 0 74857669 937414656 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073972983 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26590/statm: 228861 11239 2529 14 0 215331 0
[pid=26590/tid=26592] ppid=26588 vsize=915444 CPUtime=0.03
/proc/26590/task/26592/stat : 26592 (java) S 26588 26590 25431 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 74857673 937414656 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26593] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 25431 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 25431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 74857679 937414656 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=915444 CPUtime=0.27
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 25431 0 -1 64 440 0 0 0 26 1 0 0 16 0 8 0 74857679 937414656 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 74857679 937414656 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74857679 937414656 11239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 915444
[startup+102.551 s]
/proc/loadavg: 1.00 1.00 1.05 2/72 26598
/proc/meminfo: memFree=1262208/2055920 swapFree=4192812/4192956
[pid=26590] ppid=26588 vsize=915444 CPUtime=102.44
/proc/26590/stat : 26590 (java) R 26588 26590 25431 0 -1 0 11520 0 1 0 10036 208 0 0 25 0 8 0 74857669 937414656 11249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073953820 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26590/statm: 228861 11249 2529 14 0 215331 0
[pid=26590/tid=26592] ppid=26588 vsize=915444 CPUtime=0.03
/proc/26590/task/26592/stat : 26592 (java) S 26588 26590 25431 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 74857673 937414656 11249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26593] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 25431 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 11249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 25431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 11249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 74857679 937414656 11249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=915444 CPUtime=0.27
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 25431 0 -1 64 440 0 0 0 26 1 0 0 16 0 8 0 74857679 937414656 11249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 74857679 937414656 11249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74857679 937414656 11249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.44
Current children cumulated vsize (KiB) 915444
[startup+162.561 s]
/proc/loadavg: 1.00 1.00 1.05 2/72 26598
/proc/meminfo: memFree=1262208/2055920 swapFree=4192812/4192956
[pid=26590] ppid=26588 vsize=915444 CPUtime=162.43
/proc/26590/stat : 26590 (java) R 26588 26590 25431 0 -1 0 11522 0 1 0 16035 208 0 0 25 0 8 0 74857669 937414656 11251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073953848 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2022.05
Current children cumulated vsize (KiB) 915444
[startup+2082.83 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 26600
/proc/meminfo: memFree=1261888/2055920 swapFree=4192812/4192956
[pid=26590] ppid=26588 vsize=915444 CPUtime=2082.04
/proc/26590/stat : 26590 (java) R 26588 26590 25431 0 -1 0 11542 0 1 0 207992 212 0 0 25 0 8 0 74857669 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834494 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26590/statm: 228861 11271 2529 14 0 215331 0
[pid=26590/tid=26592] ppid=26588 vsize=915444 CPUtime=0.03
/proc/26590/task/26592/stat : 26592 (java) S 26588 26590 25431 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 74857673 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26593] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 25431 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 25431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=915444 CPUtime=0.28
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 25431 0 -1 64 442 0 0 0 27 1 0 0 16 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2082.04
Current children cumulated vsize (KiB) 915444
[startup+2142.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 26600
/proc/meminfo: memFree=1261888/2055920 swapFree=4192812/4192956
[pid=26590] ppid=26588 vsize=915444 CPUtime=2142.03
/proc/26590/stat : 26590 (java) R 26588 26590 25431 0 -1 0 11542 0 1 0 213991 212 0 0 25 0 8 0 74857669 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073974492 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26590/statm: 228861 11271 2529 14 0 215331 0
[pid=26590/tid=26592] ppid=26588 vsize=915444 CPUtime=0.03
/proc/26590/task/26592/stat : 26592 (java) S 26588 26590 25431 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 74857673 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26593] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 25431 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 25431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=915444 CPUtime=0.28
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 25431 0 -1 64 442 0 0 0 27 1 0 0 16 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2142.03
Current children cumulated vsize (KiB) 915444
[startup+2202.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 26600
/proc/meminfo: memFree=1261888/2055920 swapFree=4192812/4192956
[pid=26590] ppid=26588 vsize=915444 CPUtime=2202.02
/proc/26590/stat : 26590 (java) R 26588 26590 25431 0 -1 0 11542 0 1 0 219990 212 0 0 25 0 8 0 74857669 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073949318 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26590/statm: 228861 11271 2529 14 0 215331 0
[pid=26590/tid=26592] ppid=26588 vsize=915444 CPUtime=0.03
/proc/26590/task/26592/stat : 26592 (java) S 26588 26590 25431 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 74857673 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26593] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 25431 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 25431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=915444 CPUtime=0.28
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 25431 0 -1 64 442 0 0 0 27 1 0 0 16 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2202.02
Current children cumulated vsize (KiB) 915444
[startup+2262.86 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 26600
/proc/meminfo: memFree=1261888/2055920 swapFree=4192812/4192956
[pid=26590] ppid=26588 vsize=915444 CPUtime=2262.01
/proc/26590/stat : 26590 (java) R 26588 26590 25431 0 -1 0 11542 0 1 0 225989 212 0 0 25 0 8 0 74857669 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073949318 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26590/statm: 228861 11271 2529 14 0 215331 0
[pid=26590/tid=26592] ppid=26588 vsize=915444 CPUtime=0.03
/proc/26590/task/26592/stat : 26592 (java) S 26588 26590 25431 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 74857673 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26593] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 25431 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 25431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=915444 CPUtime=0.28
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 25431 0 -1 64 442 0 0 0 27 1 0 0 16 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2262.01
Current children cumulated vsize (KiB) 915444
[startup+2322.88 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 26600
/proc/meminfo: memFree=1261888/2055920 swapFree=4192812/4192956
[pid=26590] ppid=26588 vsize=915444 CPUtime=2322
/proc/26590/stat : 26590 (java) R 26588 26590 25431 0 -1 0 11542 0 1 0 231988 212 0 0 25 0 8 0 74857669 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073914192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26590/statm: 228861 11271 2529 14 0 215331 0
[pid=26590/tid=26592] ppid=26588 vsize=915444 CPUtime=0.03
/proc/26590/task/26592/stat : 26592 (java) S 26588 26590 25431 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 74857673 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26593] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 25431 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 25431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=915444 CPUtime=0.28
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 25431 0 -1 64 442 0 0 0 27 1 0 0 16 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2322
Current children cumulated vsize (KiB) 915444
[startup+2382.89 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 26600
/proc/meminfo: memFree=1261888/2055920 swapFree=4192812/4192956
[pid=26590] ppid=26588 vsize=915444 CPUtime=2381.99
/proc/26590/stat : 26590 (java) R 26588 26590 25431 0 -1 0 11542 0 1 0 237987 212 0 0 25 0 8 0 74857669 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074016961 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26590/statm: 228861 11271 2529 14 0 215331 0
[pid=26590/tid=26592] ppid=26588 vsize=915444 CPUtime=0.03
/proc/26590/task/26592/stat : 26592 (java) S 26588 26590 25431 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 74857673 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26593] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 25431 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 25431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=915444 CPUtime=0.28
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 25431 0 -1 64 442 0 0 0 27 1 0 0 16 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2381.99
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.97 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 26600
/proc/meminfo: memFree=1261824/2055920 swapFree=4192812/4192956
[pid=26590] ppid=26588 vsize=915444 CPUtime=2400.07
/proc/26590/stat : 26590 (java) R 26588 26590 25431 0 -1 0 11542 0 1 0 239795 212 0 0 25 0 8 0 74857669 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074016359 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26590/statm: 228861 11271 2529 14 0 215331 0
[pid=26590/tid=26592] ppid=26588 vsize=915444 CPUtime=0.03
/proc/26590/task/26592/stat : 26592 (java) S 26588 26590 25431 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 74857673 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26593] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26593/stat : 26593 (java) S 26588 26590 25431 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26594] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26594/stat : 26594 (java) S 26588 26590 25431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74857674 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26595] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26595/stat : 26595 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26596] ppid=26588 vsize=915444 CPUtime=0.28
/proc/26590/task/26596/stat : 26596 (java) S 26588 26590 25431 0 -1 64 442 0 0 0 27 1 0 0 16 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26597] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26597/stat : 26597 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26590/tid=26598] ppid=26588 vsize=915444 CPUtime=0
/proc/26590/task/26598/stat : 26598 (java) S 26588 26590 25431 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74857679 937414656 11271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2401.01
CPU time (s): 2400.12
CPU user time (s): 2397.98
CPU system time (s): 2.13368
CPU usage (%): 99.9628
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.98
system time used= 2.13368
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11564
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= 49578
involuntary context switches= 56070
runsolver used 1.85872 s user time and 6.65699 s system time
The end
Begin job on node71 on Sat Jan 20 06:13:28 UTC 2007
IDJOB= 278066
IDBENCH= 8003
IDSOLVER= 69
FILE ID= node71/278066-1169273608
PBS_JOBID= 3607396
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-1100-2000/cnf-3-40-1800-067521_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278066-1169273608/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-278066-1169273608 -o ROOT/results/node71/solver-278066-1169273608 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278066-1169273608/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7c14bcbf3dd42ca331de32fdac546c31
RANDOM SEED= 952554296
TIME LIMIT= 2400 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: 1297672 kB
Buffers: 50812 kB
Cached: 617016 kB
SwapCached: 0 kB
Active: 112024 kB
Inactive: 571692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1297672 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1756 kB
Writeback: 0 kB
Mapped: 26028 kB
Slab: 60556 kB
Committed_AS: 688164 kB
PageTables: 1448 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= 66563 MiB
End job on node71 on Sat Jan 20 06:53:29 UTC 2007