0.32
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/275957-1169229873/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.42 => wckTime=0.102 cpuTime=0.09 mem=6M910
0.42
0.42 relations being loaded...
0.71
0.71 constraints being loaded...
0.87 nbConstraints=59 nbRelationTypes=59 nbExtensionStructures=59 nbSharedExtensionStructures=0
0.87 nbConflictsStructures=59 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=12 maxArity=3
0.87 => wckTime=0.55 cpuTime=0.49 mem=43M398
0.95
0.95 solver LocalSearchSolver being built...
0.99 => wckTime=0.676 cpuTime=0.53 mem=12M447
1.00
1.00 s SATISFIABLE
1.00 o 28
1.00 c 31
1.01 o 30
1.01 c 29
1.01 o 34
1.01 c 25
1.01 o 37
1.01 c 22
1.01 o 40
1.01 c 19
1.01 o 42
1.01 c 17
1.02 o 43
1.02 c 16
1.02 o 45
1.02 c 14
1.02 o 47
1.02 c 12
1.02 o 48
1.02 c 11
1.03 o 49
1.03 c 10
1.03 o 50
1.03 c 9
1.03 o 51
1.03 c 8
1.06 o 52
1.06 c 7
1.06 o 53
1.06 c 6
1.06 o 54
1.06 c 5
1.08 o 55
1.08 c 4
3.39 o 56
3.39 c 3
8.64 o 57
8.64 c 2
10.04
10.04 search
10.04 run=0 nbConstraintChecks=10462902 nbAssignments=10000
10.04 => wckTime=9.049 cpuTime=8.95 mem=12M447
19.04
19.04 search
19.05 run=1 nbConstraintChecks=20808517 nbAssignments=20000
19.05 => wckTime=18.052 cpuTime=17.87 mem=12M447
28.09
28.09 search
28.09 run=2 nbConstraintChecks=31242007 nbAssignments=30000
28.09 => wckTime=27.095 cpuTime=26.83 mem=12M447
37.08
37.08 search
37.08 run=3 nbConstraintChecks=41628052 nbAssignments=40000
37.08 => wckTime=36.084 cpuTime=35.74 mem=12M447
38.93
38.93 search
38.93 run=4 nbConstraintChecks=43739528 nbAssignments=42029
38.93 => wckTime=37.938 cpuTime=37.57 mem=12M447
38.93
38.93 global
38.93 nbConstraintChecks=43739528 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.93 solvingWckTime=37.936 solvingCpuTime=37.56 expiredTime=no totalExploration=no nbFoundSolutions=0
38.93 globalCpuTime=38.14
38.93 => wckTime=38.614 cpuTime=38.1 mem=12M447
38.93
38.93 solver IterativeSystematicSolver being built...
39.07 => wckTime=38.754 cpuTime=38.21 mem=23M359
39.08
39.08 preprocessing
39.08 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
39.08 detectedInconsistency=no
39.08 => wckTime=0.0050 cpuTime=0.01 mem=23M359
39.22
39.22 search
39.22 run=0 nbConstraintChecks=42917 nbValidityChecks=209773 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.22 nbAssignments=102 nbFailedAssignments=85 nbBacktracks=10 nbVisitedNodes=198 nbRestartNogoods=0
39.22 => wckTime=0.143 cpuTime=0.11 mem=24M361
39.32
39.32 search
39.32 run=1 nbConstraintChecks=89484 nbValidityChecks=406211 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.32 nbAssignments=170 nbFailedAssignments=131 nbBacktracks=25 nbVisitedNodes=324 nbRestartNogoods=21
39.32 => wckTime=0.241 cpuTime=0.2 mem=24M361
39.58
39.58 search
39.58 run=2 nbConstraintChecks=244861 nbValidityChecks=1140431 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.58 nbAssignments=398 nbFailedAssignments=330 nbBacktracks=47 nbVisitedNodes=773 nbRestartNogoods=34
39.58 => wckTime=0.504 cpuTime=0.46 mem=24M361
39.92
39.92 search
39.92 run=3 nbConstraintChecks=456507 nbValidityChecks=2086354 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.92 nbAssignments=722 nbFailedAssignments=613 nbBacktracks=80 nbVisitedNodes=1410 nbRestartNogoods=58
39.92 => wckTime=0.85 cpuTime=0.79 mem=24M361
40.31
40.31 search
40.31 run=4 nbConstraintChecks=684944 nbValidityChecks=3204707 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.31 nbAssignments=1095 nbFailedAssignments=931 nbBacktracks=130 nbVisitedNodes=2147 nbRestartNogoods=84
40.31 => wckTime=1.239 cpuTime=1.18 mem=24M361
40.77
40.77 search
40.77 run=5 nbConstraintChecks=925998 nbValidityChecks=4562979 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.77 nbAssignments=1556 nbFailedAssignments=1311 nbBacktracks=205 nbVisitedNodes=3060 nbRestartNogoods=101
40.77 => wckTime=1.699 cpuTime=1.62 mem=24M361
41.49
41.49 search
41.49 run=6 nbConstraintChecks=1358685 nbValidityChecks=6471866 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.49 nbAssignments=2260 nbFailedAssignments=1896 nbBacktracks=318 nbVisitedNodes=4455 nbRestartNogoods=113
41.49 => wckTime=2.414 cpuTime=2.32 mem=24M361
42.69
42.69 search
42.69 run=7 nbConstraintChecks=2076386 nbValidityChecks=9893978 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.69 nbAssignments=3392 nbFailedAssignments=2854 nbBacktracks=489 nbVisitedNodes=6690 nbRestartNogoods=134
42.69 => wckTime=3.613 cpuTime=3.5 mem=24M361
44.38
44.38 search
44.38 run=8 nbConstraintChecks=3080089 nbValidityChecks=15284729 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.38 nbAssignments=5407 nbFailedAssignments=4607 nbBacktracks=745 nbVisitedNodes=10707 nbRestartNogoods=136
44.38 => wckTime=5.304 cpuTime=5.17 mem=24M361
46.39
46.39 search
46.39 run=9 nbConstraintChecks=4291651 nbValidityChecks=21513606 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.39 nbAssignments=7347 nbFailedAssignments=6156 nbBacktracks=1129 nbVisitedNodes=14524 nbRestartNogoods=142
46.39 => wckTime=7.311 cpuTime=7.17 mem=24M361
49.31
49.31 search
49.31 run=10 nbConstraintChecks=6113395 nbValidityChecks=29945771 nbPropagations=0 nbRevisions=0
49.31 nbUselessRevisions=0 nbAssignments=10149 nbFailedAssignments=8375 nbBacktracks=1705 nbVisitedNodes=20028
49.31 nbRestartNogoods=151
49.31 => wckTime=10.233 cpuTime=10.06 mem=24M361
52.51
52.51 search
52.51 run=11 nbConstraintChecks=8154284 nbValidityChecks=38583820 nbPropagations=0 nbRevisions=0
52.51 nbUselessRevisions=0 nbAssignments=13237 nbFailedAssignments=10594 nbBacktracks=2569 nbVisitedNodes=25951
52.51 nbRestartNogoods=173
52.51 => wckTime=13.431 cpuTime=13.22 mem=24M361
57.23
57.23 search
57.23 run=12 nbConstraintChecks=11191062 nbValidityChecks=51189848 nbPropagations=0 nbRevisions=0
57.23 nbUselessRevisions=0 nbAssignments=17469 nbFailedAssignments=13522 nbBacktracks=3866 nbVisitedNodes=33934
57.23 nbRestartNogoods=205
57.23 => wckTime=18.16 cpuTime=17.91 mem=24M361
62.29
62.29 search
62.29 run=13 nbConstraintChecks=14352474 nbValidityChecks=63799491 nbPropagations=0 nbRevisions=0
62.29 nbUselessRevisions=0 nbAssignments=21996 nbFailedAssignments=16095 nbBacktracks=5812 nbVisitedNodes=42031
62.29 nbRestartNogoods=234
62.29 => wckTime=23.218 cpuTime=22.92 mem=24M361
70.91
70.91 search
70.91 run=14 nbConstraintChecks=19735964 nbValidityChecks=85591895 nbPropagations=0 nbRevisions=0
70.91 nbUselessRevisions=0 nbAssignments=29162 nbFailedAssignments=20338 nbBacktracks=8731 nbVisitedNodes=55133
70.91 nbRestartNogoods=247
70.91 => wckTime=31.832 cpuTime=31.45 mem=24M361
71.50 o 58
71.50 c 1
80.38
80.38 search
80.38 run=15 nbConstraintChecks=25657147 nbValidityChecks=108186059 nbPropagations=0 nbRevisions=0
80.38 nbUselessRevisions=0 nbAssignments=37634 nbFailedAssignments=24427 nbBacktracks=13110 nbVisitedNodes=69123
80.38 nbRestartNogoods=258
80.38 => wckTime=41.308 cpuTime=40.84 mem=24M361
97.16
97.16 search
97.16 run=16 nbConstraintChecks=36082192 nbValidityChecks=146414836 nbPropagations=0 nbRevisions=0
97.16 nbUselessRevisions=0 nbAssignments=50561 nbFailedAssignments=30782 nbBacktracks=19679 nbVisitedNodes=90582
97.16 nbRestartNogoods=272
97.16 => wckTime=58.081 cpuTime=57.46 mem=24M361
117.51
117.51 search
117.51 run=17 nbConstraintChecks=48777503 nbValidityChecks=195023745 nbPropagations=0 nbRevisions=0
117.51 nbUselessRevisions=0 nbAssignments=69725 nbFailedAssignments=40089 nbBacktracks=29531 nbVisitedNodes=122370
117.51 nbRestartNogoods=294
117.51 => wckTime=78.439 cpuTime=77.63 mem=24M361
154.84
154.84 search
154.84 run=18 nbConstraintChecks=72446581 nbValidityChecks=287009426 nbPropagations=0 nbRevisions=0
154.84 nbUselessRevisions=0 nbAssignments=99262 nbFailedAssignments=54844 nbBacktracks=44309 nbVisitedNodes=172319
154.84 nbRestartNogoods=315
154.84 => wckTime=115.768 cpuTime=114.62 mem=24M361
204.32
204.32 search
204.32 run=19 nbConstraintChecks=102976006 nbValidityChecks=408156632 nbPropagations=0 nbRevisions=0
204.32 nbUselessRevisions=0 nbAssignments=141795 nbFailedAssignments=75203 nbBacktracks=66477 nbVisitedNodes=242185
204.32 nbRestartNogoods=340
204.32 => wckTime=165.242 cpuTime=163.63 mem=24M361
281.60
281.60 search
281.60 run=20 nbConstraintChecks=150782291 nbValidityChecks=593280346 nbPropagations=0 nbRevisions=0
281.60 nbUselessRevisions=0 nbAssignments=205741 nbFailedAssignments=105893 nbBacktracks=99729 nbVisitedNodes=347267
281.60 nbRestartNogoods=367
281.60 => wckTime=242.53 cpuTime=240.21 mem=24M361
396.91
396.91 search
396.91 run=21 nbConstraintChecks=222517801 nbValidityChecks=867510940 nbPropagations=0 nbRevisions=0
396.91 nbUselessRevisions=0 nbAssignments=299500 nbFailedAssignments=149768 nbBacktracks=149607 nbVisitedNodes=500151
396.91 nbRestartNogoods=391
396.91 => wckTime=357.838 cpuTime=354.45 mem=24M361
562.30
562.30 search
562.30 run=22 nbConstraintChecks=324643252 nbValidityChecks=1266734763 nbPropagations=0 nbRevisions=0
562.30 nbUselessRevisions=0 nbAssignments=440464 nbFailedAssignments=215909 nbBacktracks=224425 nbVisitedNodes=729240
562.30 nbRestartNogoods=416
562.30 => wckTime=523.228 cpuTime=518.77 mem=24M361
683.34
683.34 search
683.34 run=23 nbConstraintChecks=400047745 nbValidityChecks=1558805855 nbPropagations=0 nbRevisions=0
683.34 nbUselessRevisions=0 nbAssignments=543529 nbFailedAssignments=264094 nbBacktracks=279306 nbVisitedNodes=897174
683.34 nbRestartNogoods=430
683.34 => wckTime=644.267 cpuTime=639.24 mem=24M361
683.34
683.34 global
683.34 nbConstraintChecks=400047745 nbValidityChecks=1558805855 nbRestartNogoods=430 solvingWckTime=644.269
683.34 solvingCpuTime=639.24 expiredTime=no totalExploration=yes nbFoundSolutions=1 globalCpuTime=677.49
683.34 => wckTime=683.024 cpuTime=677.45 mem=24M361
683.35
683.35 s OPTIMUM FOUND
683.35 v 8 11 15 4 9 9 0 1 0 3 5 5 1 1 15 19 6 17 5 18
683.35
683.35 totalWckTime=683.104 totalCpuTime=677.49
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-275957-1169229873 -o ROOT/results/node55/solver-275957-1169229873 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275957-1169229873/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: 2.01 2.01 1.96 4/81 14418
/proc/meminfo: memFree=1334664/2055920 swapFree=4192192/4192956
[pid=14417] ppid=14415 vsize=47892 CPUtime=0
/proc/14417/stat : 14417 (java) D 14415 14417 13605 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 271385580 49041408 968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/14417/statm: 11973 968 766 14 0 1707 0
[startup+0.103821 s]
/proc/loadavg: 2.01 2.01 1.96 4/81 14418
/proc/meminfo: memFree=1334664/2055920 swapFree=4192192/4192956
[pid=14417] ppid=14415 vsize=913228 CPUtime=0.08
/proc/14417/stat : 14417 (java) S 14415 14417 13605 0 -1 0 2909 0 1 0 7 1 0 0 19 0 8 0 271385580 935145472 2655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14417/statm: 228307 2655 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.511857 s]
/proc/loadavg: 2.01 2.01 1.96 4/81 14418
/proc/meminfo: memFree=1334664/2055920 swapFree=4192192/4192956
[pid=14417] ppid=14415 vsize=915332 CPUtime=0.49
/proc/14417/stat : 14417 (java) R 14415 14417 13605 0 -1 0 7279 0 1 0 45 4 0 0 18 0 8 0 271385580 937299968 7018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152820123 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14417/statm: 228833 7018 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33294 s]
/proc/loadavg: 2.01 2.01 1.96 3/88 14425
/proc/meminfo: memFree=1276176/2055920 swapFree=4192192/4192956
[pid=14417] ppid=14415 vsize=915440 CPUtime=1.29
/proc/14417/stat : 14417 (java) R 14415 14417 13605 0 -1 0 17264 0 1 0 119 10 0 0 25 0 8 0 271385580 937410560 17002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073610745 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14417/statm: 228860 17002 2475 14 0 215330 0
[pid=14417/tid=14419] ppid=14415 vsize=915440 CPUtime=0.06
/proc/14417/task/14419/stat : 14419 (java) S 14415 14417 13605 0 -1 64 1843 0 0 0 6 0 0 0 16 0 8 0 271385584 937410560 17002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14420] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14420/stat : 14420 (java) S 14415 14417 13605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14421] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14421/stat : 14421 (java) S 14415 14417 13605 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14422] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14422/stat : 14422 (java) S 14415 14417 13605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271385588 937410560 17002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14423] ppid=14415 vsize=915440 CPUtime=0.11
/proc/14417/task/14423/stat : 14423 (java) S 14415 14417 13605 0 -1 64 320 0 0 0 11 0 0 0 15 0 8 0 271385588 937410560 17002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14424] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14424/stat : 14424 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271385588 937410560 17002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14425] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14425/stat : 14425 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271385588 937410560 17002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915440
[startup+2.9711 s]
/proc/loadavg: 2.01 2.01 1.96 3/88 14425
/proc/meminfo: memFree=1276048/2055920 swapFree=4192192/4192956
[pid=14417] ppid=14415 vsize=915440 CPUtime=2.92
/proc/14417/stat : 14417 (java) R 14415 14417 13605 0 -1 0 17272 0 1 0 275 17 0 0 25 0 8 0 271385580 937410560 17009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073610733 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14417/statm: 228860 17009 2477 14 0 215330 0
[pid=14417/tid=14419] ppid=14415 vsize=915440 CPUtime=0.06
/proc/14417/task/14419/stat : 14419 (java) S 14415 14417 13605 0 -1 64 1843 0 0 0 6 0 0 0 16 0 8 0 271385584 937410560 17009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14420] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14420/stat : 14420 (java) S 14415 14417 13605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14421] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14421/stat : 14421 (java) S 14415 14417 13605 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14422] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14422/stat : 14422 (java) S 14415 14417 13605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271385588 937410560 17009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14423] ppid=14415 vsize=915440 CPUtime=0.12
/proc/14417/task/14423/stat : 14423 (java) S 14415 14417 13605 0 -1 64 327 0 0 0 12 0 0 0 15 0 8 0 271385588 937410560 17009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14424] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14424/stat : 14424 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271385588 937410560 17009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14425] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14425/stat : 14425 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271385588 937410560 17009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915440
[startup+6.17841 s]
/proc/loadavg: 2.01 2.01 1.96 3/88 14425
/proc/meminfo: memFree=1276048/2055920 swapFree=4192192/4192956
[pid=14417] ppid=14415 vsize=915440 CPUtime=6.09
/proc/14417/stat : 14417 (java) R 14415 14417 13605 0 -1 0 17272 0 1 0 576 33 0 0 25 0 8 0 271385580 937410560 17009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14417/statm: 228860 17009 2477 14 0 215330 0
[pid=14417/tid=14419] ppid=14415 vsize=915440 CPUtime=0.06
/proc/14417/task/14419/stat : 14419 (java) S 14415 14417 13605 0 -1 64 1843 0 0 0 6 0 0 0 16 0 8 0 271385584 937410560 17009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14420] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14420/stat : 14420 (java) S 14415 14417 13605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14421] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14421/stat : 14421 (java) S 14415 14417 13605 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14422] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14422/stat : 14422 (java) S 14415 14417 13605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271385588 937410560 17009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14423] ppid=14415 vsize=915440 CPUtime=0.12
/proc/14417/task/14423/stat : 14423 (java) S 14415 14417 13605 0 -1 64 327 0 0 0 12 0 0 0 15 0 8 0 271385588 937410560 17009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14424] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14424/stat : 14424 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271385588 937410560 17009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14425] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14425/stat : 14425 (java) R 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271385588 937410560 17009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915440
[startup+12.65 s]
/proc/loadavg: 2.01 2.00 1.96 3/88 14425
/proc/meminfo: memFree=1276184/2055920 swapFree=4192192/4192956
[pid=14417] ppid=14415 vsize=915440 CPUtime=12.5
/proc/14417/stat : 14417 (java) R 14415 14417 13605 0 -1 0 17274 0 1 0 1189 61 0 0 25 0 8 0 271385580 937410560 17011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073650376 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14417/statm: 228860 17011 2477 14 0 215330 0
[pid=14417/tid=14419] ppid=14415 vsize=915440 CPUtime=0.06
/proc/14417/task/14419/stat : 14419 (java) S 14415 14417 13605 0 -1 64 1843 0 0 0 6 0 0 0 16 0 8 0 271385584 937410560 17011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14420] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14420/stat : 14420 (java) S 14415 14417 13605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14421] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14421/stat : 14421 (java) S 14415 14417 13605 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14422] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14422/stat : 14422 (java) S 14415 14417 13605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271385588 937410560 17011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14423] ppid=14415 vsize=915440 CPUtime=0.12
/proc/14417/task/14423/stat : 14423 (java) S 14415 14417 13605 0 -1 64 329 0 0 0 12 0 0 0 16 0 8 0 271385588 937410560 17011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14424] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14424/stat : 14424 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271385588 937410560 17011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14425] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14425/stat : 14425 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271385588 937410560 17011 18446744073709551615 134512640 134570532 4294956480 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) 915440
[startup+25.5173 s]
/proc/loadavg: 2.01 2.00 1.96 3/88 14425
/proc/meminfo: memFree=1276312/2055920 swapFree=4192192/4192956
[pid=14417] ppid=14415 vsize=915440 CPUtime=25.26
/proc/14417/stat : 14417 (java) R 14415 14417 13605 0 -1 0 17274 0 1 0 2401 125 0 0 25 0 8 0 271385580 937410560 17011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615622 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14417/statm: 228860 17011 2477 14 0 215330 0
[pid=14417/tid=14419] ppid=14415 vsize=915440 CPUtime=0.06
/proc/14417/task/14419/stat : 14419 (java) S 14415 14417 13605 0 -1 64 1843 0 0 0 6 0 0 0 16 0 8 0 271385584 937410560 17011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14420] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14420/stat : 14420 (java) S 14415 14417 13605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14421] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14421/stat : 14421 (java) S 14415 14417 13605 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14422] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14422/stat : 14422 (java) S 14415 14417 13605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271385588 937410560 17011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14423] ppid=14415 vsize=915440 CPUtime=0.12
/proc/14417/task/14423/stat : 14423 (java) S 14415 14417 13605 0 -1 64 329 0 0 0 12 0 0 0 16 0 8 0 271385588 937410560 17011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14424] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14424/stat : 14424 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271385588 937410560 17011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14425] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14425/stat : 14425 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271385588 937410560 17011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915440
[startup+51.1438 s]
/proc/loadavg: 2.00 2.00 1.96 3/88 14425
/proc/meminfo: memFree=1275992/2055920 swapFree=4192192/4192956
[pid=14417] ppid=14415 vsize=915440 CPUtime=50.64
/proc/14417/stat : 14417 (java) R 14415 14417 13605 0 -1 0 17439 0 1 0 4871 193 0 0 25 0 8 0 271385580 937410560 17171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782718 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14417/statm: 228860 17171 2530 14 0 215330 0
[pid=14417/tid=14419] ppid=14415 vsize=915440 CPUtime=0.06
/proc/14417/task/14419/stat : 14419 (java) S 14415 14417 13605 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271385584 937410560 17171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14420] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14420/stat : 14420 (java) S 14415 14417 13605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14421] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14421/stat : 14421 (java) S 14415 14417 13605 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14422] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14422/stat : 14422 (java) S 14415 14417 13605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271385588 937410560 17171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14423] ppid=14415 vsize=915440 CPUtime=0.23
/proc/14417/task/14423/stat : 14423 (java) S 14415 14417 13605 0 -1 64 389 0 0 0 23 0 0 0 16 0 8 0 271385588 937410560 17171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14424] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14424/stat : 14424 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271385588 937410560 17171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14425] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14425/stat : 14425 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271385588 937410560 17171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915440
[startup+102.404 s]
/proc/loadavg: 2.00 2.00 1.96 3/88 14425
/proc/meminfo: memFree=1276056/2055920 swapFree=4192192/4192956
[pid=14417] ppid=14415 vsize=915440 CPUtime=101.44
/proc/14417/stat : 14417 (java) R 14415 14417 13605 0 -1 0 17443 0 1 0 9950 194 0 0 25 0 8 0 271385580 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14417/statm: 228860 17173 2530 14 0 215330 0
[pid=14417/tid=14419] ppid=14415 vsize=915440 CPUtime=0.06
/proc/14417/task/14419/stat : 14419 (java) S 14415 14417 13605 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271385584 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14420] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14420/stat : 14420 (java) S 14415 14417 13605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14421] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14421/stat : 14421 (java) S 14415 14417 13605 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14422] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14422/stat : 14422 (java) S 14415 14417 13605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14423] ppid=14415 vsize=915440 CPUtime=0.24
/proc/14417/task/14423/stat : 14423 (java) S 14415 14417 13605 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14424] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14424/stat : 14424 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14425] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14425/stat : 14425 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915440
[startup+162.452 s]
/proc/loadavg: 2.00 2.00 1.96 3/88 14425
/proc/meminfo: memFree=1276184/2055920 swapFree=4192192/4192956
[pid=14417] ppid=14415 vsize=915440 CPUtime=160.93
/proc/14417/stat : 14417 (java) R 14415 14417 13605 0 -1 0 17444 0 1 0 15899 194 0 0 25 0 8 0 271385580 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780910 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/14417/task/14422/stat : 14422 (java) S 14415 14417 13605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14423] ppid=14415 vsize=915440 CPUtime=0.24
/proc/14417/task/14423/stat : 14423 (java) S 14415 14417 13605 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14424] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14424/stat : 14424 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14425] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14425/stat : 14425 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.42
Current children cumulated vsize (KiB) 915440
[startup+282.541 s]
/proc/loadavg: 2.00 2.00 1.96 3/88 14425
/proc/meminfo: memFree=1276120/2055920 swapFree=4192192/4192956
[pid=14417] ppid=14415 vsize=915440 CPUtime=279.92
/proc/14417/stat : 14417 (java) R 14415 14417 13605 0 -1 0 17444 0 1 0 27797 195 0 0 25 0 8 0 271385580 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14417/statm: 228860 17173 2530 14 0 215330 0
[pid=14417/tid=14419] ppid=14415 vsize=915440 CPUtime=0.06
/proc/14417/task/14419/stat : 14419 (java) S 14415 14417 13605 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271385584 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14420] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14420/stat : 14420 (java) S 14415 14417 13605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14421] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14421/stat : 14421 (java) S 14415 14417 13605 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14422] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14422/stat : 14422 (java) S 14415 14417 13605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14423] ppid=14415 vsize=915440 CPUtime=0.24
/proc/14417/task/14423/stat : 14423 (java) S 14415 14417 13605 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14424] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14424/stat : 14424 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14425] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14425/stat : 14425 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.92
Current children cumulated vsize (KiB) 915440
[startup+342.588 s]
/proc/loadavg: 2.00 2.00 1.96 3/88 14425
/proc/meminfo: memFree=1276120/2055920 swapFree=4192192/4192956
[pid=14417] ppid=14415 vsize=915440 CPUtime=339.42
/proc/14417/stat : 14417 (java) R 14415 14417 13605 0 -1 0 17444 0 1 0 33747 195 0 0 25 0 8 0 271385580 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806787 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14417/statm: 228860 17173 2530 14 0 215330 0
[pid=14417/tid=14419] ppid=14415 vsize=915440 CPUtime=0.06
/proc/14417/task/14419/stat : 14419 (java) S 14415 14417 13605 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271385584 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14420] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14420/stat : 14420 (java) S 14415 14417 13605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14421] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14421/stat : 14421 (java) S 14415 14417 13605 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14422] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14422/stat : 14422 (java) S 14415 14417 13605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14423] ppid=14415 vsize=915440 CPUtime=0.24
/proc/14417/task/14423/stat : 14423 (java) S 14415 14417 13605 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14424] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14424/stat : 14424 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14425] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14425/stat : 14425 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.42
Current children cumulated vsize (KiB) 915440
[startup+402.636 s]
/proc/loadavg: 2.12 2.03 1.98 3/88 14425
/proc/meminfo: memFree=1276184/2055920 swapFree=4192192/4192956
[pid=14417] ppid=14415 vsize=915440 CPUtime=398.91
/proc/14417/stat : 14417 (java) R 14415 14417 13605 0 -1 0 17444 0 1 0 39696 195 0 0 25 0 8 0 271385580 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073650376 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14417/statm: 228860 17173 2530 14 0 215330 0
[pid=14417/tid=14419] ppid=14415 vsize=915440 CPUtime=0.06
/proc/14417/task/14419/stat : 14419 (java) S 14415 14417 13605 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271385584 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14420] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14420/stat : 14420 (java) S 14415 14417 13605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14421] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14421/stat : 14421 (java) S 14415 14417 13605 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14422] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14422/stat : 14422 (java) S 14415 14417 13605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14423] ppid=14415 vsize=915440 CPUtime=0.24
/proc/14417/task/14423/stat : 14423 (java) S 14415 14417 13605 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14424] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14424/stat : 14424 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14425] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14425/stat : 14425 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.91
Current children cumulated vsize (KiB) 915440
[startup+462.678 s]
/proc/loadavg: 2.04 2.02 1.98 3/88 14425
/proc/meminfo: memFree=1276120/2055920 swapFree=4192192/4192956
[pid=14417] ppid=14415 vsize=915440 CPUtime=458.41
/proc/14417/stat : 14417 (java) R 14415 14417 13605 0 -1 0 17444 0 1 0 45645 196 0 0 25 0 8 0 271385580 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782726 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14417/statm: 228860 17173 2530 14 0 215330 0
[pid=14417/tid=14419] ppid=14415 vsize=915440 CPUtime=0.06
/proc/14417/task/14419/stat : 14419 (java) S 14415 14417 13605 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271385584 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14420] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14420/stat : 14420 (java) S 14415 14417 13605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14421] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14421/stat : 14421 (java) S 14415 14417 13605 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14422] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14422/stat : 14422 (java) S 14415 14417 13605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14423] ppid=14415 vsize=915440 CPUtime=0.24
/proc/14417/task/14423/stat : 14423 (java) S 14415 14417 13605 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14424] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14424/stat : 14424 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14425] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14425/stat : 14425 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.41
Current children cumulated vsize (KiB) 915440
[startup+522.728 s]
/proc/loadavg: 2.06 2.03 1.98 3/88 14425
/proc/meminfo: memFree=1276120/2055920 swapFree=4192192/4192956
[pid=14417] ppid=14415 vsize=915440 CPUtime=518.18
/proc/14417/stat : 14417 (java) R 14415 14417 13605 0 -1 0 17444 0 1 0 51622 196 0 0 25 0 8 0 271385580 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780869 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14417/statm: 228860 17173 2530 14 0 215330 0
[pid=14417/tid=14419] ppid=14415 vsize=915440 CPUtime=0.06
/proc/14417/task/14419/stat : 14419 (java) S 14415 14417 13605 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271385584 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14420] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14420/stat : 14420 (java) S 14415 14417 13605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14421] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14421/stat : 14421 (java) S 14415 14417 13605 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14422] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14422/stat : 14422 (java) S 14415 14417 13605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14423] ppid=14415 vsize=915440 CPUtime=0.24
/proc/14417/task/14423/stat : 14423 (java) S 14415 14417 13605 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14424] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14424/stat : 14424 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14425] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14425/stat : 14425 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 518.18
Current children cumulated vsize (KiB) 915440
[startup+582.809 s]
/proc/loadavg: 2.02 2.02 1.98 3/88 14425
/proc/meminfo: memFree=1276120/2055920 swapFree=4192192/4192956
[pid=14417] ppid=14415 vsize=915440 CPUtime=577.97
/proc/14417/stat : 14417 (java) R 14415 14417 13605 0 -1 0 17444 0 1 0 57601 196 0 0 25 0 8 0 271385580 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073656512 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14417/statm: 228860 17173 2530 14 0 215330 0
[pid=14417/tid=14419] ppid=14415 vsize=915440 CPUtime=0.06
/proc/14417/task/14419/stat : 14419 (java) S 14415 14417 13605 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271385584 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14420] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14420/stat : 14420 (java) S 14415 14417 13605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14421] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14421/stat : 14421 (java) S 14415 14417 13605 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14422] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14422/stat : 14422 (java) S 14415 14417 13605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14423] ppid=14415 vsize=915440 CPUtime=0.24
/proc/14417/task/14423/stat : 14423 (java) S 14415 14417 13605 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14424] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14424/stat : 14424 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14425] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14425/stat : 14425 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 577.97
Current children cumulated vsize (KiB) 915440
[startup+642.893 s]
/proc/loadavg: 2.00 2.02 1.98 3/88 14425
/proc/meminfo: memFree=1276120/2055920 swapFree=4192192/4192956
[pid=14417] ppid=14415 vsize=915440 CPUtime=637.77
/proc/14417/stat : 14417 (java) R 14415 14417 13605 0 -1 0 17444 0 1 0 63581 196 0 0 25 0 8 0 271385580 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805975 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14417/statm: 228860 17173 2530 14 0 215330 0
[pid=14417/tid=14419] ppid=14415 vsize=915440 CPUtime=0.06
/proc/14417/task/14419/stat : 14419 (java) S 14415 14417 13605 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271385584 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14420] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14420/stat : 14420 (java) S 14415 14417 13605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14421] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14421/stat : 14421 (java) S 14415 14417 13605 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271385585 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14422] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14422/stat : 14422 (java) S 14415 14417 13605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14423] ppid=14415 vsize=915440 CPUtime=0.24
/proc/14417/task/14423/stat : 14423 (java) S 14415 14417 13605 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14424] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14424/stat : 14424 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14417/tid=14425] ppid=14415 vsize=915440 CPUtime=0
/proc/14417/task/14425/stat : 14425 (java) S 14415 14417 13605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271385588 937410560 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 637.77
Current children cumulated vsize (KiB) 915440
Child status: 0
Real time (s): 683.411
CPU time (s): 678.059
CPU user time (s): 676.081
CPU system time (s): 1.9777
CPU usage (%): 99.2168
Max. virtual memory (cumulated for all children) (KiB): 915444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 676.081
system time used= 1.9777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17457
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= 14977
involuntary context switches= 28131
runsolver used 0.884865 s user time and 2.16567 s system time
The end
Begin job on node55 on Fri Jan 19 18:04:33 UTC 2007
IDJOB= 275957
IDBENCH= 5190
IDSOLVER= 69
FILE ID= node55/275957-1169229873
PBS_JOBID= 3589224
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-34_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275957-1169229873/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-275957-1169229873 -o ROOT/results/node55/solver-275957-1169229873 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275957-1169229873/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 230ee84d23c0c4ee8d63e7356ef06b87
RANDOM SEED= 594053549
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.218
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 : 5931.00
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.218
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: 1335080 kB
Buffers: 47840 kB
Cached: 542404 kB
SwapCached: 268 kB
Active: 153164 kB
Inactive: 488116 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1335080 kB
SwapTotal: 4192956 kB
SwapFree: 4192192 kB
Dirty: 2924 kB
Writeback: 0 kB
Mapped: 67904 kB
Slab: 64920 kB
Committed_AS: 5213608 kB
PageTables: 1860 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= 66562 MiB
End job on node55 on Fri Jan 19 18:15:57 UTC 2007