0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/277174-1169258848/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.41 => wckTime=0.101 cpuTime=0.09 mem=6M887
0.41
0.41 relations being loaded...
0.49
0.49 constraints being loaded...
0.60 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1380 maxDegree=18
0.60 maxArity=2
0.60 => wckTime=0.289 cpuTime=0.21 mem=11M763
0.65
0.65 solver LocalSearchSolver being built...
0.69 => wckTime=0.379 cpuTime=0.25 mem=5M871
0.69
0.69 s SATISFIABLE
0.70 o 164
0.70 c 86
0.70 o 170
0.70 c 80
0.70 o 176
0.70 c 74
0.70 o 179
0.70 c 71
0.70 o 184
0.70 c 66
0.70 o 186
0.70 c 64
0.70 o 189
0.70 c 61
0.71 o 194
0.71 c 56
0.71 o 197
0.71 c 53
0.71 o 201
0.71 c 49
0.71 o 204
0.71 c 46
0.71 o 206
0.71 c 44
0.71 o 207
0.71 c 43
0.71 o 209
0.71 c 41
0.71 o 212
0.71 c 38
0.71 o 214
0.71 c 36
0.71 o 217
0.71 c 33
0.71 o 218
0.71 c 32
0.71 o 221
0.71 c 29
0.71 o 223
0.71 c 27
0.71 o 225
0.71 c 25
0.72 o 226
0.72 c 24
0.72 o 228
0.72 c 22
0.72 o 230
0.72 c 20
0.72 o 233
0.72 c 17
0.72 o 234
0.72 c 16
0.72 o 235
0.72 c 15
0.73 o 236
0.73 c 14
0.73 o 237
0.73 c 13
0.73 o 238
0.73 c 12
0.74 o 239
0.74 c 11
0.74 o 242
0.74 c 8
0.75 o 243
0.75 c 7
0.83 o 244
0.83 c 6
0.83 o 246
0.83 c 4
0.83 o 247
0.83 c 3
0.88 o 248
0.88 c 2
3.10
3.10 search
3.10 run=0 nbConstraintChecks=15251700 nbAssignments=10000
3.10 => wckTime=2.412 cpuTime=2.36 mem=5M871
4.22 o 249
4.22 c 1
4.23
4.23 search
4.23 run=1 nbConstraintChecks=22644125 nbAssignments=14428
4.23 => wckTime=3.537 cpuTime=3.48 mem=5M871
4.23
4.23 global
4.23 nbConstraintChecks=22644125 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.23 solvingWckTime=3.533 solvingCpuTime=3.48 expiredTime=no totalExploration=no nbFoundSolutions=0
4.23 globalCpuTime=3.78
4.23 => wckTime=3.915 cpuTime=3.73 mem=5M871
4.23
4.23 solver IterativeSystematicSolver being built...
4.36 => wckTime=4.047 cpuTime=3.83 mem=16M845
4.45
4.45 preprocessing
4.45 nbConstraintChecks=101649 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
4.45 detectedInconsistency=no
4.45 => wckTime=0.089 cpuTime=0.06 mem=16M845
4.49
4.49 search
4.49 run=0 nbConstraintChecks=115908 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33
4.49 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=62 nbRestartNogoods=0
4.49 => wckTime=0.13 cpuTime=0.1 mem=16M845
4.57
4.57 search
4.57 run=1 nbConstraintChecks=353622 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=95
4.57 nbFailedAssignments=60 nbBacktracks=25 nbVisitedNodes=181 nbRestartNogoods=3
4.57 => wckTime=0.214 cpuTime=0.17 mem=16M845
4.65
4.65 search
4.65 run=2 nbConstraintChecks=623657 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=166
4.65 nbFailedAssignments=103 nbBacktracks=47 nbVisitedNodes=317 nbRestartNogoods=24
4.65 => wckTime=0.289 cpuTime=0.24 mem=16M845
4.74
4.74 search
4.74 run=3 nbConstraintChecks=995106 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=266
4.74 nbFailedAssignments=165 nbBacktracks=81 nbVisitedNodes=512 nbRestartNogoods=41
4.74 => wckTime=0.377 cpuTime=0.32 mem=16M845
4.88
4.88 search
4.88 run=4 nbConstraintChecks=1553383 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=405
4.88 nbFailedAssignments=249 nbBacktracks=131 nbVisitedNodes=784 nbRestartNogoods=42
4.88 => wckTime=0.521 cpuTime=0.47 mem=16M845
5.09
5.09 search
5.09 run=5 nbConstraintChecks=2400376 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=630
5.09 nbFailedAssignments=392 nbBacktracks=206 nbVisitedNodes=1224 nbRestartNogoods=52
5.09 => wckTime=0.734 cpuTime=0.68 mem=16M845
5.38
5.38 search
5.38 run=6 nbConstraintChecks=3547620 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=926
5.38 nbFailedAssignments=568 nbBacktracks=319 nbVisitedNodes=1805 nbRestartNogoods=65
5.38 => wckTime=1.024 cpuTime=0.97 mem=16M845
5.83
5.83 search
5.83 run=7 nbConstraintChecks=5306502 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1386
5.83 nbFailedAssignments=852 nbBacktracks=489 nbVisitedNodes=2715 nbRestartNogoods=89
5.83 => wckTime=1.471 cpuTime=1.4 mem=16M845
6.56
6.56 search
6.56 run=8 nbConstraintChecks=8402206 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2125
6.56 nbFailedAssignments=1329 nbBacktracks=745 nbVisitedNodes=4175 nbRestartNogoods=106
6.56 => wckTime=2.199 cpuTime=2.11 mem=16M845
7.59
7.59 search
7.59 run=9 nbConstraintChecks=12790836 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3312
7.59 nbFailedAssignments=2125 nbBacktracks=1129 nbVisitedNodes=6536 nbRestartNogoods=129
7.59 => wckTime=3.227 cpuTime=3.12 mem=16M845
9.33
9.34 search
9.34 run=10 nbConstraintChecks=19955411 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4865
9.34 nbFailedAssignments=3097 nbBacktracks=1705 nbVisitedNodes=9598 nbRestartNogoods=159
9.34 => wckTime=4.974 cpuTime=4.84 mem=16M845
11.78
11.78 search
11.78 run=11 nbConstraintChecks=30340010 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7310
11.78 nbFailedAssignments=4673 nbBacktracks=2569 nbVisitedNodes=14455 nbRestartNogoods=181
11.78 => wckTime=7.417 cpuTime=7.26 mem=16M845
15.07
15.07 search
15.07 run=12 nbConstraintChecks=44385332 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10778
15.07 nbFailedAssignments=6840 nbBacktracks=3866 nbVisitedNodes=21258 nbRestartNogoods=205
15.07 => wckTime=10.708 cpuTime=10.52 mem=16M845
20.23
20.23 search
20.23 run=13 nbConstraintChecks=65707755 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15696
20.23 nbFailedAssignments=9808 nbBacktracks=5812 nbVisitedNodes=30833 nbRestartNogoods=231
20.23 => wckTime=15.868 cpuTime=15.64 mem=16M845
27.27
27.27 search
27.27 run=14 nbConstraintChecks=94063460 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22547
27.27 nbFailedAssignments=13734 nbBacktracks=8732 nbVisitedNodes=43756 nbRestartNogoods=280
27.27 => wckTime=22.913 cpuTime=22.61 mem=16M845
38.87
38.87 search
38.87 run=15 nbConstraintChecks=139616440 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32755
38.87 nbFailedAssignments=19562 nbBacktracks=13110 nbVisitedNodes=62559 nbRestartNogoods=286
38.87 => wckTime=34.512 cpuTime=34.1 mem=16M845
54.53
54.53 search
54.53 run=16 nbConstraintChecks=199726750 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47134
54.53 nbFailedAssignments=27367 nbBacktracks=19679 nbVisitedNodes=87968 nbRestartNogoods=329
54.53 => wckTime=50.173 cpuTime=49.62 mem=16M845
75.85
75.85 search
75.85 run=17 nbConstraintChecks=279267098 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=66999
75.85 nbFailedAssignments=37376 nbBacktracks=29531 nbVisitedNodes=121556 nbRestartNogoods=343
75.85 => wckTime=71.493 cpuTime=70.74 mem=16M845
105.17
105.17 search
105.17 run=18 nbConstraintChecks=387712203 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=95221
105.17 nbFailedAssignments=50815 nbBacktracks=44310 nbVisitedNodes=167834 nbRestartNogoods=369
105.17 => wckTime=100.814 cpuTime=99.81 mem=16M845
147.70
147.70 search
147.70 run=19 nbConstraintChecks=545839860 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=136044
147.70 nbFailedAssignments=69466 nbBacktracks=66478 nbVisitedNodes=232807 nbRestartNogoods=399
147.70 => wckTime=143.341 cpuTime=141.94 mem=16M845
209.32
209.32 search
209.32 run=20 nbConstraintChecks=780489288 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=197107
209.32 nbFailedAssignments=97272 nbBacktracks=99731 nbVisitedNodes=329849 nbRestartNogoods=416
209.32 => wckTime=204.956 cpuTime=203.0 mem=16M845
296.26
296.26 search
296.26 run=21 nbConstraintChecks=1098885172 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=282894
296.26 nbFailedAssignments=133177 nbBacktracks=149611 nbVisitedNodes=461662 nbRestartNogoods=431
296.26 => wckTime=291.896 cpuTime=289.14 mem=16M845
427.19
427.19 search
427.19 run=22 nbConstraintChecks=1587568862 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=413373
427.19 nbFailedAssignments=188833 nbBacktracks=224429 nbVisitedNodes=663300 nbRestartNogoods=468
427.19 => wckTime=422.826 cpuTime=418.88 mem=16M845
617.54
617.54 search
617.54 run=23 nbConstraintChecks=2301327765 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=607307
617.54 nbFailedAssignments=270536 nbBacktracks=336657 nbVisitedNodes=961605 nbRestartNogoods=511
617.54 => wckTime=613.182 cpuTime=607.5 mem=16M845
915.54
915.55 search
915.55 run=24 nbConstraintChecks=3408499858 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=900211
915.55 nbFailedAssignments=395094 nbBacktracks=504998 nbVisitedNodes=1413206 nbRestartNogoods=563
915.55 => wckTime=911.185 cpuTime=902.78 mem=16M845
970.00
970.00 search
970.00 run=25 nbConstraintChecks=3607159673 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=951608
970.00 nbFailedAssignments=416676 nbBacktracks=534814 nbVisitedNodes=1491983 nbRestartNogoods=573
970.00 => wckTime=965.638 cpuTime=956.73 mem=16M845
970.00
970.00 global
970.00 nbConstraintChecks=3607261322 nbRestartNogoods=573 solvingWckTime=965.639 solvingCpuTime=956.74 expiredTime=no
970.00 totalExploration=yes nbFoundSolutions=0 globalCpuTime=960.62
970.00 => wckTime=969.687 cpuTime=960.57 mem=16M845
970.00
970.00 s OPTIMUM FOUND
970.00 v 15 13 10 1 4 5 12 0 8 13 10 4 7 14 1 5 0 7 4 7 6 12 8 14 1 7 4 6 11 12 0 8 1 15 0 6 9 14 0 11
970.00
970.00 totalWckTime=969.77 totalCpuTime=960.62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-277174-1169258848 -o ROOT/results/node18/solver-277174-1169258848 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277174-1169258848/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.93 1.99 1.83 4/94 7548
/proc/meminfo: memFree=1291976/2055920 swapFree=4192812/4192956
[pid=7547] ppid=7545 vsize=11820 CPUtime=0
/proc/7547/stat : 7547 (java) D 7545 7547 6989 0 -1 0 760 0 1 0 0 0 0 0 17 0 1 0 274279494 12103680 510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7861028 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/7547/statm: 2955 510 421 14 0 1602 0
[startup+0.103478 s]
/proc/loadavg: 1.93 1.99 1.83 4/94 7548
/proc/meminfo: memFree=1291976/2055920 swapFree=4192812/4192956
[pid=7547] ppid=7545 vsize=916012 CPUtime=0.09
/proc/7547/stat : 7547 (java) R 7545 7547 6989 0 -1 0 2997 0 1 0 7 2 0 0 17 0 8 0 274279494 937996288 2743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072932851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7547/statm: 229003 2743 1427 14 0 215498 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 916012
[startup+0.511514 s]
/proc/loadavg: 1.93 1.99 1.83 4/94 7548
/proc/meminfo: memFree=1291976/2055920 swapFree=4192812/4192956
[pid=7547] ppid=7545 vsize=916356 CPUtime=0.49
/proc/7547/stat : 7547 (java) R 7545 7547 6989 0 -1 0 6694 0 1 0 45 4 0 0 18 0 8 0 274279494 938348544 6433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072917045 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7547/statm: 229089 6433 2143 14 0 215559 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 916356
[startup+1.33459 s]
/proc/loadavg: 1.93 1.99 1.83 3/101 7555
/proc/meminfo: memFree=1270992/2055920 swapFree=4192812/4192956
[pid=7547] ppid=7545 vsize=916488 CPUtime=1.3
/proc/7547/stat : 7547 (java) R 7545 7547 6989 0 -1 0 7906 0 1 0 113 17 0 0 25 0 8 0 274279494 938483712 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073730011 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7547/statm: 229122 7644 2479 14 0 215592 0
[pid=7547/tid=7549] ppid=7545 vsize=916488 CPUtime=0.03
/proc/7547/task/7549/stat : 7549 (java) S 7545 7547 6989 0 -1 64 246 0 0 0 3 0 0 0 16 0 8 0 274279498 938483712 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7550] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7550/stat : 7550 (java) S 7545 7547 6989 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274279498 938483712 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7551] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7551/stat : 7551 (java) S 7545 7547 6989 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274279498 938483712 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7552] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7552/stat : 7552 (java) S 7545 7547 6989 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274279502 938483712 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7553] ppid=7545 vsize=916488 CPUtime=0.16
/proc/7547/task/7553/stat : 7553 (java) S 7545 7547 6989 0 -1 64 348 0 0 0 15 1 0 0 16 0 8 0 274279502 938483712 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7554] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7554/stat : 7554 (java) S 7545 7547 6989 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274279502 938483712 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7555] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7555/stat : 7555 (java) S 7545 7547 6989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274279502 938483712 7644 18446744073709551615 134512640 134570532 4294956464 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) 916488
[startup+2.98775 s]
/proc/loadavg: 1.93 1.99 1.83 3/101 7555
/proc/meminfo: memFree=1270992/2055920 swapFree=4192812/4192956
[pid=7547] ppid=7545 vsize=916488 CPUtime=2.95
/proc/7547/stat : 7547 (java) R 7545 7547 6989 0 -1 0 7907 0 1 0 251 44 0 0 25 0 8 0 274279494 938483712 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733141 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7547/statm: 229122 7644 2479 14 0 215592 0
[pid=7547/tid=7549] ppid=7545 vsize=916488 CPUtime=0.03
/proc/7547/task/7549/stat : 7549 (java) S 7545 7547 6989 0 -1 64 246 0 0 0 3 0 0 0 16 0 8 0 274279498 938483712 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7550] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7550/stat : 7550 (java) S 7545 7547 6989 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274279498 938483712 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7551] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7551/stat : 7551 (java) S 7545 7547 6989 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274279498 938483712 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7552] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7552/stat : 7552 (java) S 7545 7547 6989 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274279502 938483712 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7553] ppid=7545 vsize=916488 CPUtime=0.16
/proc/7547/task/7553/stat : 7553 (java) S 7545 7547 6989 0 -1 64 348 0 0 0 15 1 0 0 16 0 8 0 274279502 938483712 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7554] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7554/stat : 7554 (java) S 7545 7547 6989 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274279502 938483712 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7555] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7555/stat : 7555 (java) S 7545 7547 6989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274279502 938483712 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 916488
[startup+6.28106 s]
/proc/loadavg: 1.93 1.99 1.83 3/101 7555
/proc/meminfo: memFree=1266192/2055920 swapFree=4192812/4192956
[pid=7547] ppid=7545 vsize=916488 CPUtime=6.21
/proc/7547/stat : 7547 (java) R 7545 7547 6989 0 -1 0 9143 0 1 0 555 66 0 0 25 0 8 0 274279494 938483712 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839382 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7547/statm: 229122 8878 2532 14 0 215592 0
[pid=7547/tid=7549] ppid=7545 vsize=916488 CPUtime=0.03
/proc/7547/task/7549/stat : 7549 (java) S 7545 7547 6989 0 -1 64 247 0 0 0 3 0 0 0 17 0 8 0 274279498 938483712 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7550] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7550/stat : 7550 (java) S 7545 7547 6989 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274279498 938483712 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7551] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7551/stat : 7551 (java) S 7545 7547 6989 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274279498 938483712 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7552] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7552/stat : 7552 (java) S 7545 7547 6989 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274279502 938483712 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7553] ppid=7545 vsize=916488 CPUtime=0.25
/proc/7547/task/7553/stat : 7553 (java) S 7545 7547 6989 0 -1 64 400 0 0 0 24 1 0 0 15 0 8 0 274279502 938483712 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7554] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7554/stat : 7554 (java) S 7545 7547 6989 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274279502 938483712 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7555] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7555/stat : 7555 (java) S 7545 7547 6989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274279502 938483712 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 916488
[startup+12.7667 s]
/proc/loadavg: 1.94 1.99 1.83 3/101 7555
/proc/meminfo: memFree=1266136/2055920 swapFree=4192812/4192956
[pid=7547] ppid=7545 vsize=916488 CPUtime=12.63
/proc/7547/stat : 7547 (java) R 7545 7547 6989 0 -1 0 9161 0 1 0 1197 66 0 0 25 0 8 0 274279494 938483712 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073899625 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7547/statm: 229122 8893 2532 14 0 215592 0
[pid=7547/tid=7549] ppid=7545 vsize=916488 CPUtime=0.03
/proc/7547/task/7549/stat : 7549 (java) S 7545 7547 6989 0 -1 64 247 0 0 0 3 0 0 0 17 0 8 0 274279498 938483712 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7550] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7550/stat : 7550 (java) S 7545 7547 6989 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274279498 938483712 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7551] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7551/stat : 7551 (java) S 7545 7547 6989 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274279498 938483712 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7552] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7552/stat : 7552 (java) S 7545 7547 6989 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274279502 938483712 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7553] ppid=7545 vsize=916488 CPUtime=0.27
/proc/7547/task/7553/stat : 7553 (java) S 7545 7547 6989 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 274279502 938483712 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7554] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7554/stat : 7554 (java) S 7545 7547 6989 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274279502 938483712 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7555] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7555/stat : 7555 (java) S 7545 7547 6989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274279502 938483712 8893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 916488
[startup+25.6069 s]
/proc/loadavg: 1.95 1.99 1.84 3/101 7555
/proc/meminfo: memFree=1266072/2055920 swapFree=4192812/4192956
[pid=7547] ppid=7545 vsize=916488 CPUtime=25.36
/proc/7547/stat : 7547 (java) R 7545 7547 6989 0 -1 0 9167 0 1 0 2470 66 0 0 25 0 8 0 274279494 938483712 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849506 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7547/statm: 229122 8898 2532 14 0 215592 0
[pid=7547/tid=7549] ppid=7545 vsize=916488 CPUtime=0.03
/proc/7547/task/7549/stat : 7549 (java) S 7545 7547 6989 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 274279498 938483712 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7550] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7550/stat : 7550 (java) S 7545 7547 6989 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274279498 938483712 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7551] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7551/stat : 7551 (java) S 7545 7547 6989 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274279498 938483712 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7552] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7552/stat : 7552 (java) S 7545 7547 6989 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274279502 938483712 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7553] ppid=7545 vsize=916488 CPUtime=0.27
/proc/7547/task/7553/stat : 7553 (java) S 7545 7547 6989 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 274279502 938483712 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7554] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7554/stat : 7554 (java) S 7545 7547 6989 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274279502 938483712 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7555] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7555/stat : 7555 (java) S 7545 7547 6989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274279502 938483712 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 916488
[startup+51.2304 s]
/proc/loadavg: 1.97 1.99 1.84 3/101 7555
/proc/meminfo: memFree=1266072/2055920 swapFree=4192812/4192956
[pid=7547] ppid=7545 vsize=916488 CPUtime=50.74
/proc/7547/stat : 7547 (java) R 7545 7547 6989 0 -1 0 9173 0 1 0 5008 66 0 0 25 0 8 0 274279494 938483712 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849320 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7547/statm: 229122 8904 2532 14 0 215592 0
[pid=7547/tid=7549] ppid=7545 vsize=916488 CPUtime=0.03
/proc/7547/task/7549/stat : 7549 (java) S 7545 7547 6989 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 274279498 938483712 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7550] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7550/stat : 7550 (java) S 7545 7547 6989 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274279498 938483712 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7551] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7551/stat : 7551 (java) S 7545 7547 6989 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274279498 938483712 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7552] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7552/stat : 7552 (java) S 7545 7547 6989 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274279502 938483712 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7553] ppid=7545 vsize=916488 CPUtime=0.27
/proc/7547/task/7553/stat : 7553 (java) S 7545 7547 6989 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 274279502 938483712 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7554] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7554/stat : 7554 (java) S 7545 7547 6989 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274279502 938483712 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7555] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7555/stat : 7555 (java) S 7545 7547 6989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274279502 938483712 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 916488
[startup+102.438 s]
/proc/loadavg: 1.98 1.99 1.84 3/101 7555
/proc/meminfo: memFree=1266072/2055920 swapFree=4192812/4192956
[pid=7547] ppid=7545 vsize=916488 CPUtime=101.49
/proc/7547/stat : 7547 (java) R 7545 7547 6989 0 -1 0 9180 0 1 0 10082 67 0 0 25 0 8 0 274279494 938483712 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073911479 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7547/statm: 229122 8910 2532 14 0 215592 0
[pid=7547/tid=7549] ppid=7545 vsize=916488 CPUtime=0.03
/proc/7547/task/7549/stat : 7549 (java) S 7545 7547 6989 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 274279498 938483712 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7550] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7550/stat : 7550 (java) S 7545 7547 6989 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274279498 938483712 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7551] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7551/stat : 7551 (java) S 7545 7547 6989 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274279498 938483712 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7552] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7552/stat : 7552 (java) S 7545 7547 6989 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274279502 938483712 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7553] ppid=7545 vsize=916488 CPUtime=0.27
/proc/7547/task/7553/stat : 7553 (java) S 7545 7547 6989 0 -1 64 408 0 0 0 26 1 0 0 16 0 8 0 274279502 938483712 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7554] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7554/stat : 7554 (java) S 7545 7547 6989 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274279502 938483712 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7555] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7555/stat : 7555 (java) S 7545 7547 6989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274279502 938483712 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 916488
[startup+162.489 s]
/proc/loadavg: 1.99 1.99 1.85 3/101 7555
/proc/meminfo: memFree=1266136/2055920 swapFree=4192812/4192956
[pid=7547] ppid=7545 vsize=916488 CPUtime=160.99
/proc/7547/stat : 7547 (java) R 7545 7547 6989 0 -1 0 9185 0 1 0 16032 67 0 0 25 0 8 0 274279494 938483712 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073899479 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/7547/task/7552/stat : 7552 (java) S 7545 7547 6989 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274279502 938483712 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7553] ppid=7545 vsize=916488 CPUtime=0.27
/proc/7547/task/7553/stat : 7553 (java) S 7545 7547 6989 0 -1 64 408 0 0 0 26 1 0 0 16 0 8 0 274279502 938483712 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7554] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7554/stat : 7554 (java) S 7545 7547 6989 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274279502 938483712 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7555] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7555/stat : 7555 (java) S 7545 7547 6989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274279502 938483712 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 518.08
Current children cumulated vsize (KiB) 916488
[startup+582.962 s]
/proc/loadavg: 2.00 2.00 1.90 3/101 7555
/proc/meminfo: memFree=1266072/2055920 swapFree=4192812/4192956
[pid=7547] ppid=7545 vsize=916488 CPUtime=577.62
/proc/7547/stat : 7547 (java) R 7545 7547 6989 0 -1 0 9193 0 1 0 57692 70 0 0 25 0 8 0 274279494 938483712 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7547/statm: 229122 8922 2532 14 0 215592 0
[pid=7547/tid=7549] ppid=7545 vsize=916488 CPUtime=0.03
/proc/7547/task/7549/stat : 7549 (java) S 7545 7547 6989 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 274279498 938483712 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7550] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7550/stat : 7550 (java) S 7545 7547 6989 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274279498 938483712 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7551] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7551/stat : 7551 (java) S 7545 7547 6989 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274279498 938483712 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7552] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7552/stat : 7552 (java) S 7545 7547 6989 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274279502 938483712 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7553] ppid=7545 vsize=916488 CPUtime=0.27
/proc/7547/task/7553/stat : 7553 (java) S 7545 7547 6989 0 -1 64 408 0 0 0 26 1 0 0 16 0 8 0 274279502 938483712 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7554] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7554/stat : 7554 (java) S 7545 7547 6989 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274279502 938483712 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7555] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7555/stat : 7555 (java) S 7545 7547 6989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274279502 938483712 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 577.62
Current children cumulated vsize (KiB) 916488
[startup+643.059 s]
/proc/loadavg: 2.00 2.00 1.90 3/101 7555
/proc/meminfo: memFree=1266072/2055920 swapFree=4192812/4192956
[pid=7547] ppid=7545 vsize=916488 CPUtime=637.18
/proc/7547/stat : 7547 (java) R 7545 7547 6989 0 -1 0 9196 0 1 0 63647 71 0 0 25 0 8 0 274279494 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849284 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7547/statm: 229122 8925 2532 14 0 215592 0
[pid=7547/tid=7549] ppid=7545 vsize=916488 CPUtime=0.03
/proc/7547/task/7549/stat : 7549 (java) S 7545 7547 6989 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 274279498 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7550] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7550/stat : 7550 (java) S 7545 7547 6989 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274279498 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7551] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7551/stat : 7551 (java) S 7545 7547 6989 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274279498 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7552] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7552/stat : 7552 (java) S 7545 7547 6989 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274279502 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7553] ppid=7545 vsize=916488 CPUtime=0.27
/proc/7547/task/7553/stat : 7553 (java) S 7545 7547 6989 0 -1 64 408 0 0 0 26 1 0 0 16 0 8 0 274279502 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7554] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7554/stat : 7554 (java) S 7545 7547 6989 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274279502 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7555] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7555/stat : 7555 (java) S 7545 7547 6989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274279502 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 637.18
Current children cumulated vsize (KiB) 916488
[startup+703.154 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 7555
/proc/meminfo: memFree=1266136/2055920 swapFree=4192812/4192956
[pid=7547] ppid=7545 vsize=916488 CPUtime=696.72
/proc/7547/stat : 7547 (java) R 7545 7547 6989 0 -1 0 9196 0 1 0 69601 71 0 0 25 0 8 0 274279494 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7547/statm: 229122 8925 2532 14 0 215592 0
[pid=7547/tid=7549] ppid=7545 vsize=916488 CPUtime=0.03
/proc/7547/task/7549/stat : 7549 (java) S 7545 7547 6989 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 274279498 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7550] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7550/stat : 7550 (java) S 7545 7547 6989 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274279498 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7551] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7551/stat : 7551 (java) S 7545 7547 6989 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274279498 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7552] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7552/stat : 7552 (java) S 7545 7547 6989 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274279502 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7553] ppid=7545 vsize=916488 CPUtime=0.27
/proc/7547/task/7553/stat : 7553 (java) S 7545 7547 6989 0 -1 64 408 0 0 0 26 1 0 0 16 0 8 0 274279502 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7554] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7554/stat : 7554 (java) S 7545 7547 6989 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274279502 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7555] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7555/stat : 7555 (java) S 7545 7547 6989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274279502 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 696.72
Current children cumulated vsize (KiB) 916488
[startup+763.249 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 7555
/proc/meminfo: memFree=1266072/2055920 swapFree=4192812/4192956
[pid=7547] ppid=7545 vsize=916488 CPUtime=756.27
/proc/7547/stat : 7547 (java) R 7545 7547 6989 0 -1 0 9196 0 1 0 75555 72 0 0 25 0 8 0 274279494 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073868163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7547/statm: 229122 8925 2532 14 0 215592 0
[pid=7547/tid=7549] ppid=7545 vsize=916488 CPUtime=0.03
/proc/7547/task/7549/stat : 7549 (java) S 7545 7547 6989 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 274279498 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7550] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7550/stat : 7550 (java) S 7545 7547 6989 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274279498 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7551] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7551/stat : 7551 (java) S 7545 7547 6989 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274279498 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7552] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7552/stat : 7552 (java) S 7545 7547 6989 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274279502 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7553] ppid=7545 vsize=916488 CPUtime=0.27
/proc/7547/task/7553/stat : 7553 (java) S 7545 7547 6989 0 -1 64 408 0 0 0 26 1 0 0 16 0 8 0 274279502 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7554] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7554/stat : 7554 (java) S 7545 7547 6989 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274279502 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7555] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7555/stat : 7555 (java) S 7545 7547 6989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274279502 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 756.27
Current children cumulated vsize (KiB) 916488
[startup+823.342 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 7555
/proc/meminfo: memFree=1266136/2055920 swapFree=4192812/4192956
[pid=7547] ppid=7545 vsize=916488 CPUtime=815.82
/proc/7547/stat : 7547 (java) R 7545 7547 6989 0 -1 0 9196 0 1 0 81510 72 0 0 25 0 8 0 274279494 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7547/statm: 229122 8925 2532 14 0 215592 0
[pid=7547/tid=7549] ppid=7545 vsize=916488 CPUtime=0.03
/proc/7547/task/7549/stat : 7549 (java) S 7545 7547 6989 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 274279498 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7550] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7550/stat : 7550 (java) S 7545 7547 6989 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274279498 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7551] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7551/stat : 7551 (java) S 7545 7547 6989 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274279498 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7552] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7552/stat : 7552 (java) S 7545 7547 6989 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274279502 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7553] ppid=7545 vsize=916488 CPUtime=0.27
/proc/7547/task/7553/stat : 7553 (java) S 7545 7547 6989 0 -1 64 408 0 0 0 26 1 0 0 16 0 8 0 274279502 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7554] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7554/stat : 7554 (java) S 7545 7547 6989 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274279502 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7555] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7555/stat : 7555 (java) S 7545 7547 6989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274279502 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 815.82
Current children cumulated vsize (KiB) 916488
[startup+883.433 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 7557
/proc/meminfo: memFree=1265944/2055920 swapFree=4192812/4192956
[pid=7547] ppid=7545 vsize=916488 CPUtime=875.35
/proc/7547/stat : 7547 (java) R 7545 7547 6989 0 -1 0 9196 0 1 0 87463 72 0 0 25 0 8 0 274279494 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073918346 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7547/statm: 229122 8925 2532 14 0 215592 0
[pid=7547/tid=7549] ppid=7545 vsize=916488 CPUtime=0.03
/proc/7547/task/7549/stat : 7549 (java) S 7545 7547 6989 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 274279498 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7550] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7550/stat : 7550 (java) S 7545 7547 6989 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274279498 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7551] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7551/stat : 7551 (java) S 7545 7547 6989 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274279498 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7552] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7552/stat : 7552 (java) S 7545 7547 6989 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274279502 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7553] ppid=7545 vsize=916488 CPUtime=0.27
/proc/7547/task/7553/stat : 7553 (java) S 7545 7547 6989 0 -1 64 408 0 0 0 26 1 0 0 16 0 8 0 274279502 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7554] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7554/stat : 7554 (java) S 7545 7547 6989 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274279502 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7555] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7555/stat : 7555 (java) S 7545 7547 6989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274279502 938483712 8925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 875.35
Current children cumulated vsize (KiB) 916488
[startup+943.524 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 7557
/proc/meminfo: memFree=1266008/2055920 swapFree=4192812/4192956
[pid=7547] ppid=7545 vsize=916488 CPUtime=934.9
/proc/7547/stat : 7547 (java) R 7545 7547 6989 0 -1 0 9198 0 1 0 93417 73 0 0 25 0 8 0 274279494 938483712 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073735552 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7547/statm: 229122 8927 2532 14 0 215592 0
[pid=7547/tid=7549] ppid=7545 vsize=916488 CPUtime=0.03
/proc/7547/task/7549/stat : 7549 (java) S 7545 7547 6989 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 274279498 938483712 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7550] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7550/stat : 7550 (java) S 7545 7547 6989 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274279498 938483712 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7551] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7551/stat : 7551 (java) S 7545 7547 6989 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274279498 938483712 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7552] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7552/stat : 7552 (java) S 7545 7547 6989 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274279502 938483712 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7553] ppid=7545 vsize=916488 CPUtime=0.27
/proc/7547/task/7553/stat : 7553 (java) S 7545 7547 6989 0 -1 64 408 0 0 0 26 1 0 0 16 0 8 0 274279502 938483712 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7554] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7554/stat : 7554 (java) S 7545 7547 6989 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274279502 938483712 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7547/tid=7555] ppid=7545 vsize=916488 CPUtime=0
/proc/7547/task/7555/stat : 7555 (java) S 7545 7547 6989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 274279502 938483712 8927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 934.9
Current children cumulated vsize (KiB) 916488
Child status: 0
Real time (s): 970.067
CPU time (s): 961.152
CPU user time (s): 960.412
CPU system time (s): 0.739887
CPU usage (%): 99.081
Max. virtual memory (cumulated for all children) (KiB): 916492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 960.412
system time used= 0.739887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9294
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= 20820
involuntary context switches= 51620
runsolver used 1.21481 s user time and 3.09353 s system time
The end
Begin job on node18 on Sat Jan 20 02:07:28 UTC 2007
IDJOB= 277174
IDBENCH= 6325
IDSOLVER= 68
FILE ID= node18/277174-1169258848
PBS_JOBID= 3607265
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-16_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277174-1169258848/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-277174-1169258848 -o ROOT/results/node18/solver-277174-1169258848 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277174-1169258848/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 178eec286af49f44f96eb28fb5bd3b84
RANDOM SEED= 595104983
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.231
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.231
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: 1292392 kB
Buffers: 52288 kB
Cached: 562092 kB
SwapCached: 0 kB
Active: 257128 kB
Inactive: 426716 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1292392 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1788 kB
Writeback: 0 kB
Mapped: 96076 kB
Slab: 64548 kB
Committed_AS: 8298424 kB
PageTables: 2168 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66563 MiB
End job on node18 on Sat Jan 20 02:23:38 UTC 2007