0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/282584-1169320499/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=22 nbDomainTypes=2 minDomainSize=36 maxDomainSize=44
0.42 => wckTime=0.103 cpuTime=0.09 mem=6M910
0.42
0.42 relations being loaded...
0.57
0.57 constraints being loaded...
0.71 nbConstraints=477 nbRelationTypes=174 nbExtensionStructures=174 nbSharedExtensionStructures=303
0.71 nbConflictsStructures=174 nbSharedConflictsStructures=303 nbSharedBinaryRepresentations=13159 maxDegree=69
0.71 maxArity=2
0.71 => wckTime=0.391 cpuTime=0.3 mem=17M639
0.75
0.75 solver LocalSearchSolver being built...
0.80 => wckTime=0.482 cpuTime=0.34 mem=5M832
0.81
0.81 s SATISFIABLE
0.81 o 302
0.81 c 175
0.81 o 311
0.81 c 166
0.82 o 319
0.82 c 158
0.82 o 328
0.82 c 149
0.82 o 336
0.82 c 141
0.82 o 343
0.82 c 134
0.82 o 353
0.82 c 124
0.83 o 369
0.83 c 108
0.83 o 382
0.83 c 95
0.83 o 393
0.83 c 84
0.83 o 406
0.83 c 71
0.83 o 411
0.83 c 66
0.83 o 420
0.83 c 57
0.83 o 428
0.83 c 49
0.83 o 435
0.83 c 42
0.83 o 440
0.83 c 37
0.84 o 444
0.84 c 33
0.84 o 454
0.84 c 23
1.49 o 456
1.49 c 21
17.71 o 457
17.71 c 20
26.23
26.23 search
26.23 run=0 nbConstraintChecks=206636156 nbAssignments=10000
26.23 => wckTime=25.429 cpuTime=25.18 mem=5M832
48.00
48.00 search
48.00 run=1 nbConstraintChecks=385603004 nbAssignments=18639
48.00 => wckTime=47.202 cpuTime=46.75 mem=5M832
48.00
48.00 global
48.00 nbConstraintChecks=385603004 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
48.00 solvingWckTime=47.2 solvingCpuTime=46.74 expiredTime=no totalExploration=no nbFoundSolutions=0
48.00 globalCpuTime=47.12
48.00 => wckTime=47.685 cpuTime=47.08 mem=5M832
48.00
48.00 solver IterativeSystematicSolver being built...
48.13 => wckTime=47.812 cpuTime=47.18 mem=16M805
48.14
48.14 preprocessing
48.14 nbConstraintChecks=4360 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
48.14 detectedInconsistency=no
48.14 => wckTime=0.012 cpuTime=0.01 mem=16M805
50.32
50.32 search
50.32 run=0 nbConstraintChecks=13212333 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=617
50.32 nbFailedAssignments=602 nbBacktracks=10 nbVisitedNodes=1230 nbRestartNogoods=0
50.32 => wckTime=2.186 cpuTime=2.13 mem=16M805
51.10
51.10 search
51.10 run=1 nbConstraintChecks=16853829 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=783
51.10 nbFailedAssignments=750 nbBacktracks=25 nbVisitedNodes=1559 nbRestartNogoods=23
51.10 => wckTime=2.97 cpuTime=2.9 mem=16M805
51.42
51.42 search
51.42 run=2 nbConstraintChecks=18751621 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=922
51.42 nbFailedAssignments=860 nbBacktracks=47 nbVisitedNodes=1830 nbRestartNogoods=86
51.42 => wckTime=3.295 cpuTime=3.22 mem=16M805
51.80
51.80 search
51.80 run=3 nbConstraintChecks=21349754 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1091
51.80 nbFailedAssignments=989 nbBacktracks=80 nbVisitedNodes=2161 nbRestartNogoods=118
51.80 => wckTime=3.676 cpuTime=3.6 mem=16M805
52.45
52.45 search
52.45 run=4 nbConstraintChecks=25675459 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1404
52.45 nbFailedAssignments=1246 nbBacktracks=130 nbVisitedNodes=2781 nbRestartNogoods=128
52.45 => wckTime=4.318 cpuTime=4.23 mem=16M805
53.47
53.47 search
53.47 run=5 nbConstraintChecks=31935478 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1788
53.47 nbFailedAssignments=1548 nbBacktracks=205 nbVisitedNodes=3542 nbRestartNogoods=147
53.47 => wckTime=5.337 cpuTime=5.22 mem=16M805
54.53
54.53 search
54.53 run=6 nbConstraintChecks=38404741 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2310
54.53 nbFailedAssignments=1950 nbBacktracks=318 nbVisitedNodes=4579 nbRestartNogoods=183
54.53 => wckTime=6.4 cpuTime=6.27 mem=16M805
56.27
56.27 search
56.27 run=7 nbConstraintChecks=49195181 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3069
56.27 nbFailedAssignments=2533 nbBacktracks=488 nbVisitedNodes=6091 nbRestartNogoods=240
56.27 => wckTime=8.138 cpuTime=8.0 mem=16M805
78.08
78.08 search
78.08 run=8 nbConstraintChecks=179188502 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9385
78.08 nbFailedAssignments=8589 nbBacktracks=744 nbVisitedNodes=18719 nbRestartNogoods=277
78.08 => wckTime=29.951 cpuTime=29.61 mem=16M805
86.05
86.05 search
86.05 run=9 nbConstraintChecks=227112811 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11587
86.05 nbFailedAssignments=10405 nbBacktracks=1128 nbVisitedNodes=23121 nbRestartNogoods=337
86.05 => wckTime=37.926 cpuTime=37.51 mem=16M805
94.91
94.91 search
94.91 run=10 nbConstraintChecks=285439633 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16088
94.91 nbFailedAssignments=14323 nbBacktracks=1704 nbVisitedNodes=32116 nbRestartNogoods=355
94.91 => wckTime=46.778 cpuTime=46.28 mem=16M805
106.94
106.94 search
106.94 run=11 nbConstraintChecks=362653891 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21142
106.94 nbFailedAssignments=18506 nbBacktracks=2568 nbVisitedNodes=42217 nbRestartNogoods=387
106.94 => wckTime=58.808 cpuTime=58.2 mem=16M805
146.47
146.47 search
146.47 run=12 nbConstraintChecks=582586702 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31625
146.47 nbFailedAssignments=27688 nbBacktracks=3865 nbVisitedNodes=63168 nbRestartNogoods=424
146.47 => wckTime=98.338 cpuTime=97.37 mem=16M805
205.36
205.36 search
205.36 run=13 nbConstraintChecks=935045769 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=54023
205.36 nbFailedAssignments=48134 nbBacktracks=5811 nbVisitedNodes=107957 nbRestartNogoods=459
205.36 => wckTime=157.232 cpuTime=155.72 mem=16M805
271.18
271.18 search
271.18 run=14 nbConstraintChecks=1328565061 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=85037
271.18 nbFailedAssignments=76225 nbBacktracks=8730 nbVisitedNodes=169981 nbRestartNogoods=483
271.18 => wckTime=223.048 cpuTime=220.95 mem=16M805
325.27
325.27 search
325.27 run=15 nbConstraintChecks=1653909139 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=105012
325.27 nbFailedAssignments=91813 nbBacktracks=13109 nbVisitedNodes=209921 nbRestartNogoods=495
325.27 => wckTime=277.143 cpuTime=274.54 mem=16M805
442.06
442.06 search
442.06 run=16 nbConstraintChecks=2336979176 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=151473
442.06 nbFailedAssignments=131700 nbBacktracks=19677 nbVisitedNodes=302806 nbRestartNogoods=508
442.06 => wckTime=393.933 cpuTime=390.26 mem=16M805
543.12
543.12 search
543.12 run=17 nbConstraintChecks=2945721028 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=201658
543.12 nbFailedAssignments=172026 nbBacktracks=29529 nbVisitedNodes=403153 nbRestartNogoods=525
543.12 => wckTime=494.987 cpuTime=490.4 mem=16M805
678.89
678.89 search
678.89 run=18 nbConstraintChecks=3727779473 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=264430
678.89 nbFailedAssignments=220012 nbBacktracks=44307 nbVisitedNodes=528687 nbRestartNogoods=550
678.89 => wckTime=630.763 cpuTime=624.94 mem=16M805
875.47
875.47 search
875.47 run=19 nbConstraintChecks=4852914285 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=350519
875.47 nbFailedAssignments=283923 nbBacktracks=66475 nbVisitedNodes=700824 nbRestartNogoods=577
875.47 => wckTime=827.338 cpuTime=819.72 mem=16M805
1107.23
1107.23 search
1107.23 run=20 nbConstraintChecks=6195353673 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=473841
1107.23 nbFailedAssignments=373981 nbBacktracks=99728 nbVisitedNodes=947408 nbRestartNogoods=658
1107.23 => wckTime=1059.099 cpuTime=1049.37 mem=16M805
1269.51
1269.51 search
1269.51 run=21 nbConstraintChecks=7037083110 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=602507
1269.51 nbFailedAssignments=452760 nbBacktracks=149606 nbVisitedNodes=1204714 nbRestartNogoods=737
1269.51 => wckTime=1221.378 cpuTime=1210.16 mem=16M805
1773.01
1773.01 search
1773.01 run=22 nbConstraintChecks=9840261108 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=813052
1773.01 nbFailedAssignments=604267 nbBacktracks=208645 nbVisitedNodes=1625267 nbRestartNogoods=771
1773.01 => wckTime=1724.881 cpuTime=1710.41 mem=16M805
1773.01
1773.01 global
1773.01 nbConstraintChecks=9840265468 nbRestartNogoods=771 solvingWckTime=1724.882 solvingCpuTime=1710.42
1773.01 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1757.64
1773.01 => wckTime=1772.695 cpuTime=1757.6 mem=16M805
1773.01
1773.01 s OPTIMUM FOUND
1773.01 v 1 1 38 33 37 43 36 32 32 12 42 42 9 14 19 36 37 37 9 13 24 7
1773.01
1773.01 totalWckTime=1772.774 totalCpuTime=1757.64
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node66/watcher-282584-1169320499 -o ROOT/results/node66/solver-282584-1169320499 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282584-1169320499/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.90 1.52 1.21 4/81 13485
/proc/meminfo: memFree=1333008/2055920 swapFree=4192812/4192956
[pid=13484] ppid=13482 vsize=18540 CPUtime=0
/proc/13484/stat : 13484 (runsolver) R 13482 13484 13153 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 79547166 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 227607637287 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/13484/statm: 4635 279 244 17 0 2626 0
[startup+0.109105 s]
/proc/loadavg: 1.90 1.52 1.21 4/81 13485
/proc/meminfo: memFree=1333008/2055920 swapFree=4192812/4192956
[pid=13484] ppid=13482 vsize=914988 CPUtime=0.09
/proc/13484/stat : 13484 (java) R 13482 13484 13153 0 -1 0 2994 0 1 0 8 1 0 0 17 0 8 0 79547166 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4160647281 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13484/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517159 s]
/proc/loadavg: 1.90 1.52 1.21 4/81 13485
/proc/meminfo: memFree=1333008/2055920 swapFree=4192812/4192956
[pid=13484] ppid=13482 vsize=915332 CPUtime=0.49
/proc/13484/stat : 13484 (java) R 13482 13484 13153 0 -1 0 7218 0 1 0 45 4 0 0 18 0 8 0 79547166 937299968 6957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073566382 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13484/statm: 228833 6957 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33825 s]
/proc/loadavg: 1.90 1.52 1.21 3/88 13492
/proc/meminfo: memFree=1305816/2055920 swapFree=4192812/4192956
[pid=13484] ppid=13482 vsize=915436 CPUtime=1.3
/proc/13484/stat : 13484 (java) R 13482 13484 13153 0 -1 0 9468 0 1 0 123 7 0 0 25 0 8 0 79547166 937406464 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073742054 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13484/statm: 228859 9206 2476 14 0 215329 0
[pid=13484/tid=13486] ppid=13482 vsize=915436 CPUtime=0.03
/proc/13484/task/13486/stat : 13486 (java) S 13482 13484 13153 0 -1 64 236 0 0 0 3 0 0 0 16 0 8 0 79547171 937406464 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13487] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13487/stat : 13487 (java) S 13482 13484 13153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79547171 937406464 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13488] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13488/stat : 13488 (java) S 13482 13484 13153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79547171 937406464 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13489] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13489/stat : 13489 (java) S 13482 13484 13153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79547175 937406464 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13490] ppid=13482 vsize=915436 CPUtime=0.16
/proc/13484/task/13490/stat : 13490 (java) S 13482 13484 13153 0 -1 64 345 0 0 0 15 1 0 0 16 0 8 0 79547175 937406464 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13491] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13491/stat : 13491 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 79547175 937406464 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13492] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13492/stat : 13492 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79547175 937406464 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915436
[startup+2.97545 s]
/proc/loadavg: 1.91 1.53 1.21 3/88 13492
/proc/meminfo: memFree=1305816/2055920 swapFree=4192812/4192956
[pid=13484] ppid=13482 vsize=915436 CPUtime=2.93
/proc/13484/stat : 13484 (java) R 13482 13484 13153 0 -1 0 9469 0 1 0 282 11 0 0 25 0 8 0 79547166 937406464 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073742047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13484/statm: 228859 9206 2476 14 0 215329 0
[pid=13484/tid=13486] ppid=13482 vsize=915436 CPUtime=0.03
/proc/13484/task/13486/stat : 13486 (java) S 13482 13484 13153 0 -1 64 236 0 0 0 3 0 0 0 16 0 8 0 79547171 937406464 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13487] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13487/stat : 13487 (java) S 13482 13484 13153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79547171 937406464 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13488] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13488/stat : 13488 (java) S 13482 13484 13153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79547171 937406464 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13489] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13489/stat : 13489 (java) S 13482 13484 13153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79547175 937406464 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13490] ppid=13482 vsize=915436 CPUtime=0.16
/proc/13484/task/13490/stat : 13490 (java) S 13482 13484 13153 0 -1 64 345 0 0 0 15 1 0 0 16 0 8 0 79547175 937406464 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13491] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13491/stat : 13491 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 79547175 937406464 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13492] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13492/stat : 13492 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79547175 937406464 9206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915436
[startup+6.27785 s]
/proc/loadavg: 1.91 1.53 1.21 3/88 13492
/proc/meminfo: memFree=1305696/2055920 swapFree=4192812/4192956
[pid=13484] ppid=13482 vsize=915436 CPUtime=6.2
/proc/13484/stat : 13484 (java) R 13482 13484 13153 0 -1 0 9472 0 1 0 603 17 0 0 25 0 8 0 79547166 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073742025 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13484/statm: 228859 9209 2476 14 0 215329 0
[pid=13484/tid=13486] ppid=13482 vsize=915436 CPUtime=0.03
/proc/13484/task/13486/stat : 13486 (java) S 13482 13484 13153 0 -1 64 236 0 0 0 3 0 0 0 16 0 8 0 79547171 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13487] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13487/stat : 13487 (java) S 13482 13484 13153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79547171 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13488] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13488/stat : 13488 (java) S 13482 13484 13153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79547171 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13489] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13489/stat : 13489 (java) S 13482 13484 13153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79547175 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13490] ppid=13482 vsize=915436 CPUtime=0.17
/proc/13484/task/13490/stat : 13490 (java) S 13482 13484 13153 0 -1 64 348 0 0 0 16 1 0 0 16 0 8 0 79547175 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13491] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13491/stat : 13491 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 79547175 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13492] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13492/stat : 13492 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79547175 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915436
[startup+12.7456 s]
/proc/loadavg: 1.92 1.54 1.22 3/88 13492
/proc/meminfo: memFree=1305696/2055920 swapFree=4192812/4192956
[pid=13484] ppid=13482 vsize=915436 CPUtime=12.61
/proc/13484/stat : 13484 (java) R 13482 13484 13153 0 -1 0 9472 0 1 0 1232 29 0 0 25 0 8 0 79547166 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073742004 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13484/statm: 228859 9209 2476 14 0 215329 0
[pid=13484/tid=13486] ppid=13482 vsize=915436 CPUtime=0.03
/proc/13484/task/13486/stat : 13486 (java) S 13482 13484 13153 0 -1 64 236 0 0 0 3 0 0 0 16 0 8 0 79547171 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13487] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13487/stat : 13487 (java) S 13482 13484 13153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79547171 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13488] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13488/stat : 13488 (java) S 13482 13484 13153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79547171 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13489] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13489/stat : 13489 (java) S 13482 13484 13153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79547175 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13490] ppid=13482 vsize=915436 CPUtime=0.17
/proc/13484/task/13490/stat : 13490 (java) S 13482 13484 13153 0 -1 64 348 0 0 0 16 1 0 0 16 0 8 0 79547175 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13491] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13491/stat : 13491 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 79547175 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13492] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13492/stat : 13492 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79547175 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915436
[startup+25.6062 s]
/proc/loadavg: 1.93 1.56 1.23 3/88 13492
/proc/meminfo: memFree=1305696/2055920 swapFree=4192812/4192956
[pid=13484] ppid=13482 vsize=915436 CPUtime=25.35
/proc/13484/stat : 13484 (java) R 13482 13484 13153 0 -1 0 9472 0 1 0 2486 49 0 0 25 0 8 0 79547166 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073743866 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13484/statm: 228859 9209 2476 14 0 215329 0
[pid=13484/tid=13486] ppid=13482 vsize=915436 CPUtime=0.03
/proc/13484/task/13486/stat : 13486 (java) S 13482 13484 13153 0 -1 64 236 0 0 0 3 0 0 0 16 0 8 0 79547171 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13487] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13487/stat : 13487 (java) S 13482 13484 13153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79547171 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13488] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13488/stat : 13488 (java) S 13482 13484 13153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79547171 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13489] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13489/stat : 13489 (java) S 13482 13484 13153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79547175 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13490] ppid=13482 vsize=915436 CPUtime=0.17
/proc/13484/task/13490/stat : 13490 (java) S 13482 13484 13153 0 -1 64 348 0 0 0 16 1 0 0 16 0 8 0 79547175 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13491] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13491/stat : 13491 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 79547175 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13492] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13492/stat : 13492 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79547175 937406464 9209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915436
[startup+51.2114 s]
/proc/loadavg: 1.95 1.59 1.25 3/88 13492
/proc/meminfo: memFree=1305376/2055920 swapFree=4192812/4192956
[pid=13484] ppid=13482 vsize=915436 CPUtime=50.72
/proc/13484/stat : 13484 (java) R 13482 13484 13153 0 -1 0 9611 0 1 0 4984 88 0 0 25 0 8 0 79547166 937406464 9346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844011 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13484/statm: 228859 9346 2527 14 0 215329 0
[pid=13484/tid=13486] ppid=13482 vsize=915436 CPUtime=0.03
/proc/13484/task/13486/stat : 13486 (java) S 13482 13484 13153 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 79547171 937406464 9346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13487] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13487/stat : 13487 (java) S 13482 13484 13153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79547171 937406464 9346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13488] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13488/stat : 13488 (java) S 13482 13484 13153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79547171 937406464 9346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13489] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13489/stat : 13489 (java) S 13482 13484 13153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79547175 937406464 9346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13490] ppid=13482 vsize=915436 CPUtime=0.23
/proc/13484/task/13490/stat : 13490 (java) S 13482 13484 13153 0 -1 64 389 0 0 0 22 1 0 0 15 0 8 0 79547175 937406464 9346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13491] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13491/stat : 13491 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 79547175 937406464 9346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13492] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13492/stat : 13492 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79547175 937406464 9346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915436
[startup+102.412 s]
/proc/loadavg: 1.98 1.66 1.29 3/88 13492
/proc/meminfo: memFree=1305376/2055920 swapFree=4192812/4192956
[pid=13484] ppid=13482 vsize=915436 CPUtime=101.45
/proc/13484/stat : 13484 (java) R 13482 13484 13153 0 -1 0 9631 0 1 0 10057 88 0 0 25 0 8 0 79547166 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849366 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13484/statm: 228859 9362 2527 14 0 215329 0
[pid=13484/tid=13486] ppid=13482 vsize=915436 CPUtime=0.03
/proc/13484/task/13486/stat : 13486 (java) S 13482 13484 13153 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13487] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13487/stat : 13487 (java) S 13482 13484 13153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13488] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13488/stat : 13488 (java) S 13482 13484 13153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13489] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13489/stat : 13489 (java) S 13482 13484 13153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13490] ppid=13482 vsize=915436 CPUtime=0.26
/proc/13484/task/13490/stat : 13490 (java) S 13482 13484 13153 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13491] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13491/stat : 13491 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13492] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13492/stat : 13492 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915436
[startup+162.473 s]
/proc/loadavg: 1.99 1.71 1.33 3/88 13492
/proc/meminfo: memFree=1305376/2055920 swapFree=4192812/4192956
[pid=13484] ppid=13482 vsize=915436 CPUtime=160.97
/proc/13484/stat : 13484 (java) R 13482 13484 13153 0 -1 0 9632 0 1 0 16009 88 0 0 25 0 8 0 79547166 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/13484/task/13489/stat : 13489 (java) S 13482 13484 13153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13490] ppid=13482 vsize=915436 CPUtime=0.26
/proc/13484/task/13490/stat : 13490 (java) S 13482 13484 13153 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13491] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13491/stat : 13491 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13492] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13492/stat : 13492 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1291.9
Current children cumulated vsize (KiB) 915436
[startup+1363.88 s]
/proc/loadavg: 2.00 2.00 1.80 3/88 13494
/proc/meminfo: memFree=1305312/2055920 swapFree=4192812/4192956
[pid=13484] ppid=13482 vsize=915436 CPUtime=1351.42
/proc/13484/stat : 13484 (java) R 13482 13484 13153 0 -1 0 9633 0 1 0 135049 93 0 0 25 0 8 0 79547166 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13484/statm: 228859 9362 2527 14 0 215329 0
[pid=13484/tid=13486] ppid=13482 vsize=915436 CPUtime=0.03
/proc/13484/task/13486/stat : 13486 (java) S 13482 13484 13153 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13487] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13487/stat : 13487 (java) S 13482 13484 13153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13488] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13488/stat : 13488 (java) S 13482 13484 13153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13489] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13489/stat : 13489 (java) S 13482 13484 13153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13490] ppid=13482 vsize=915436 CPUtime=0.26
/proc/13484/task/13490/stat : 13490 (java) S 13482 13484 13153 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13491] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13491/stat : 13491 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13492] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13492/stat : 13492 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1351.42
Current children cumulated vsize (KiB) 915436
[startup+1423.92 s]
/proc/loadavg: 2.03 2.01 1.81 3/88 13494
/proc/meminfo: memFree=1305248/2055920 swapFree=4192812/4192956
[pid=13484] ppid=13482 vsize=915436 CPUtime=1410.91
/proc/13484/stat : 13484 (java) R 13482 13484 13153 0 -1 0 9633 0 1 0 140998 93 0 0 25 0 8 0 79547166 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073918194 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13484/statm: 228859 9362 2527 14 0 215329 0
[pid=13484/tid=13486] ppid=13482 vsize=915436 CPUtime=0.03
/proc/13484/task/13486/stat : 13486 (java) S 13482 13484 13153 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13487] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13487/stat : 13487 (java) S 13482 13484 13153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13488] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13488/stat : 13488 (java) S 13482 13484 13153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13489] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13489/stat : 13489 (java) S 13482 13484 13153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13490] ppid=13482 vsize=915436 CPUtime=0.26
/proc/13484/task/13490/stat : 13490 (java) S 13482 13484 13153 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13491] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13491/stat : 13491 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13492] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13492/stat : 13492 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1410.91
Current children cumulated vsize (KiB) 915436
[startup+1483.97 s]
/proc/loadavg: 2.07 2.02 1.83 3/88 13494
/proc/meminfo: memFree=1305248/2055920 swapFree=4192812/4192956
[pid=13484] ppid=13482 vsize=915436 CPUtime=1470.47
/proc/13484/stat : 13484 (java) R 13482 13484 13153 0 -1 0 9633 0 1 0 146954 93 0 0 25 0 8 0 79547166 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848458 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13484/statm: 228859 9362 2527 14 0 215329 0
[pid=13484/tid=13486] ppid=13482 vsize=915436 CPUtime=0.03
/proc/13484/task/13486/stat : 13486 (java) S 13482 13484 13153 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13487] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13487/stat : 13487 (java) S 13482 13484 13153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13488] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13488/stat : 13488 (java) S 13482 13484 13153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13489] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13489/stat : 13489 (java) S 13482 13484 13153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13490] ppid=13482 vsize=915436 CPUtime=0.26
/proc/13484/task/13490/stat : 13490 (java) S 13482 13484 13153 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13491] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13491/stat : 13491 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13492] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13492/stat : 13492 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.47
Current children cumulated vsize (KiB) 915436
[startup+1544.01 s]
/proc/loadavg: 2.02 2.02 1.83 3/88 13494
/proc/meminfo: memFree=1305248/2055920 swapFree=4192812/4192956
[pid=13484] ppid=13482 vsize=915436 CPUtime=1530.23
/proc/13484/stat : 13484 (java) R 13482 13484 13153 0 -1 0 9633 0 1 0 152930 93 0 0 25 0 8 0 79547166 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073879792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13484/statm: 228859 9362 2527 14 0 215329 0
[pid=13484/tid=13486] ppid=13482 vsize=915436 CPUtime=0.03
/proc/13484/task/13486/stat : 13486 (java) S 13482 13484 13153 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13487] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13487/stat : 13487 (java) S 13482 13484 13153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13488] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13488/stat : 13488 (java) S 13482 13484 13153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13489] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13489/stat : 13489 (java) S 13482 13484 13153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13490] ppid=13482 vsize=915436 CPUtime=0.26
/proc/13484/task/13490/stat : 13490 (java) S 13482 13484 13153 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13491] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13491/stat : 13491 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13492] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13492/stat : 13492 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.23
Current children cumulated vsize (KiB) 915436
[startup+1604.06 s]
/proc/loadavg: 2.01 2.01 1.84 3/88 13494
/proc/meminfo: memFree=1305248/2055920 swapFree=4192812/4192956
[pid=13484] ppid=13482 vsize=915436 CPUtime=1590.01
/proc/13484/stat : 13484 (java) R 13482 13484 13153 0 -1 0 9633 0 1 0 158907 94 0 0 25 0 8 0 79547166 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13484/statm: 228859 9362 2527 14 0 215329 0
[pid=13484/tid=13486] ppid=13482 vsize=915436 CPUtime=0.03
/proc/13484/task/13486/stat : 13486 (java) S 13482 13484 13153 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13487] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13487/stat : 13487 (java) S 13482 13484 13153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13488] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13488/stat : 13488 (java) S 13482 13484 13153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13489] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13489/stat : 13489 (java) S 13482 13484 13153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13490] ppid=13482 vsize=915436 CPUtime=0.26
/proc/13484/task/13490/stat : 13490 (java) S 13482 13484 13153 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13491] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13491/stat : 13491 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13492] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13492/stat : 13492 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1590.01
Current children cumulated vsize (KiB) 915436
[startup+1664.11 s]
/proc/loadavg: 2.00 2.00 1.84 3/88 13494
/proc/meminfo: memFree=1305248/2055920 swapFree=4192812/4192956
[pid=13484] ppid=13482 vsize=915436 CPUtime=1649.77
/proc/13484/stat : 13484 (java) R 13482 13484 13153 0 -1 0 9633 0 1 0 164883 94 0 0 25 0 8 0 79547166 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13484/statm: 228859 9362 2527 14 0 215329 0
[pid=13484/tid=13486] ppid=13482 vsize=915436 CPUtime=0.03
/proc/13484/task/13486/stat : 13486 (java) S 13482 13484 13153 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13487] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13487/stat : 13487 (java) S 13482 13484 13153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13488] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13488/stat : 13488 (java) S 13482 13484 13153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13489] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13489/stat : 13489 (java) S 13482 13484 13153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13490] ppid=13482 vsize=915436 CPUtime=0.26
/proc/13484/task/13490/stat : 13490 (java) S 13482 13484 13153 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13491] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13491/stat : 13491 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13492] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13492/stat : 13492 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1649.77
Current children cumulated vsize (KiB) 915436
[startup+1724.16 s]
/proc/loadavg: 2.00 2.00 1.85 3/88 13494
/proc/meminfo: memFree=1305248/2055920 swapFree=4192812/4192956
[pid=13484] ppid=13482 vsize=915436 CPUtime=1709.54
/proc/13484/stat : 13484 (java) R 13482 13484 13153 0 -1 0 9633 0 1 0 170860 94 0 0 25 0 8 0 79547166 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073864546 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13484/statm: 228859 9362 2527 14 0 215329 0
[pid=13484/tid=13486] ppid=13482 vsize=915436 CPUtime=0.03
/proc/13484/task/13486/stat : 13486 (java) S 13482 13484 13153 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13487] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13487/stat : 13487 (java) S 13482 13484 13153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13488] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13488/stat : 13488 (java) S 13482 13484 13153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79547171 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13489] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13489/stat : 13489 (java) S 13482 13484 13153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13490] ppid=13482 vsize=915436 CPUtime=0.26
/proc/13484/task/13490/stat : 13490 (java) S 13482 13484 13153 0 -1 64 407 0 0 0 25 1 0 0 16 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13491] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13491/stat : 13491 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13484/tid=13492] ppid=13482 vsize=915436 CPUtime=0
/proc/13484/task/13492/stat : 13492 (java) S 13482 13484 13153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79547175 937406464 9362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1709.54
Current children cumulated vsize (KiB) 915436
Child status: 0
Real time (s): 1773.08
CPU time (s): 1758.18
CPU user time (s): 1757.23
CPU system time (s): 0.953854
CPU usage (%): 99.1599
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1757.23
system time used= 0.953854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9645
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= 36999
involuntary context switches= 93000
runsolver used 2.36064 s user time and 5.49216 s system time
The end
Begin job on node66 on Sat Jan 20 19:15:00 UTC 2007
IDJOB= 282584
IDBENCH= 12867
IDSOLVER= 69
FILE ID= node66/282584-1169320499
PBS_JOBID= 3610426
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/celar/subs7/scenw-7-sub4_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282584-1169320499/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-282584-1169320499 -o ROOT/results/node66/solver-282584-1169320499 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282584-1169320499/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ff28fd6fcca6fab00aa59f0a86d5d4fa
RANDOM SEED= 33009259
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.230
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.230
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: 1333488 kB
Buffers: 50484 kB
Cached: 566260 kB
SwapCached: 16 kB
Active: 130336 kB
Inactive: 520644 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1333488 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3120 kB
Writeback: 0 kB
Mapped: 51960 kB
Slab: 56800 kB
Committed_AS: 1213952 kB
PageTables: 1828 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 node66 on Sat Jan 20 19:44:33 UTC 2007