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/280441-1169305832/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.097 cpuTime=0.09 mem=6M887
0.41
0.41 relations being loaded...
0.62
0.62 constraints being loaded...
0.73 nbConstraints=5 nbRelationTypes=5 nbExtensionStructures=5 nbSharedExtensionStructures=0
0.73 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 maxDegree=5 maxArity=10
0.73 => wckTime=0.421 cpuTime=0.38 mem=38M342
0.80
0.80 solver LocalSearchSolver being built...
0.84 => wckTime=0.528 cpuTime=0.42 mem=10M982
0.84
0.84 s SATISFIABLE
0.84 o 0
0.84 c 5
1.00 o 1
1.00 c 4
6.36
6.36 search
6.36 run=0 nbConstraintChecks=4325403 nbAssignments=10000
6.36 => wckTime=5.522 cpuTime=5.44 mem=10M982
11.89
11.89 search
11.89 run=1 nbConstraintChecks=8675727 nbAssignments=20000
11.89 => wckTime=11.057 cpuTime=10.93 mem=10M982
17.42
17.42 search
17.42 run=2 nbConstraintChecks=13031733 nbAssignments=30000
17.42 => wckTime=16.583 cpuTime=16.41 mem=10M982
22.84
22.84 search
22.84 run=3 nbConstraintChecks=17336893 nbAssignments=40000
22.84 => wckTime=22.004 cpuTime=21.78 mem=10M982
28.25
28.25 search
28.25 run=4 nbConstraintChecks=21653096 nbAssignments=50000
28.25 => wckTime=27.411 cpuTime=27.14 mem=10M982
31.29
31.29 search
31.29 run=5 nbConstraintChecks=24071222 nbAssignments=55604
31.29 => wckTime=30.456 cpuTime=30.16 mem=10M982
31.29
31.29 global
31.29 nbConstraintChecks=24071222 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.29 solvingWckTime=30.454 solvingCpuTime=30.16 expiredTime=no totalExploration=no nbFoundSolutions=0
31.29 globalCpuTime=30.62
31.29 => wckTime=30.984 cpuTime=30.58 mem=10M982
31.29
31.29 solver IterativeSystematicSolver being built...
31.43 => wckTime=31.124 cpuTime=30.68 mem=21M689
31.87
31.87 preprocessing
31.87 nbConstraintChecks=381722 nbValidityChecks=392421 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.87 nbRemovedValues=0 detectedInconsistency=no
31.87 => wckTime=0.439 cpuTime=0.41 mem=21M689
32.28 o 2
32.28 c 3
32.33
32.33 search
32.33 run=0 nbConstraintChecks=407762 nbValidityChecks=415202 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.33 nbAssignments=28 nbFailedAssignments=6 nbBacktracks=16 nbVisitedNodes=40 nbRestartNogoods=0
32.33 => wckTime=0.898 cpuTime=0.87 mem=22M668
32.48
32.48 search
32.48 run=1 nbConstraintChecks=516033 nbValidityChecks=553406 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.48 nbAssignments=91 nbFailedAssignments=48 nbBacktracks=31 nbVisitedNodes=154 nbRestartNogoods=4
32.48 => wckTime=1.049 cpuTime=1.01 mem=22M668
33.20
33.20 search
33.20 run=2 nbConstraintChecks=1116212 nbValidityChecks=1198334 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.20 nbAssignments=172 nbFailedAssignments=101 nbBacktracks=53 nbVisitedNodes=301 nbRestartNogoods=6
33.20 => wckTime=1.762 cpuTime=1.71 mem=22M668
33.33
33.33 search
33.33 run=3 nbConstraintChecks=1201345 nbValidityChecks=1345749 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.33 nbAssignments=289 nbFailedAssignments=177 nbBacktracks=86 nbVisitedNodes=521 nbRestartNogoods=9
33.33 => wckTime=1.895 cpuTime=1.83 mem=22M668
34.85
34.85 search
34.85 run=4 nbConstraintChecks=2650737 nbValidityChecks=2880476 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.85 nbAssignments=453 nbFailedAssignments=284 nbBacktracks=136 nbVisitedNodes=817 nbRestartNogoods=17
34.85 => wckTime=3.418 cpuTime=3.35 mem=22M668
35.22
35.22 search
35.22 run=5 nbConstraintChecks=2952307 nbValidityChecks=3324985 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.22 nbAssignments=717 nbFailedAssignments=464 nbBacktracks=211 nbVisitedNodes=1322 nbRestartNogoods=28
35.23 => wckTime=3.791 cpuTime=3.73 mem=22M668
37.77
37.77 search
37.77 run=6 nbConstraintChecks=5251577 nbValidityChecks=5808236 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.77 nbAssignments=1061 nbFailedAssignments=687 nbBacktracks=324 nbVisitedNodes=1968 nbRestartNogoods=43
37.77 => wckTime=6.336 cpuTime=6.26 mem=22M668
38.52
38.52 search
38.52 run=7 nbConstraintChecks=5841734 nbValidityChecks=6694242 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.52 nbAssignments=1622 nbFailedAssignments=1071 nbBacktracks=494 nbVisitedNodes=3039 nbRestartNogoods=55
38.52 => wckTime=7.085 cpuTime=6.99 mem=22M668
44.06
44.06 search
44.06 run=8 nbConstraintChecks=10960500 nbValidityChecks=12201342 nbPropagations=0 nbRevisions=0
44.06 nbUselessRevisions=0 nbAssignments=2406 nbFailedAssignments=1594 nbBacktracks=750 nbVisitedNodes=4508
44.06 nbRestartNogoods=73
44.06 => wckTime=12.623 cpuTime=12.52 mem=22M668
46.02
46.02 search
46.02 run=9 nbConstraintChecks=12601970 nbValidityChecks=14455475 nbPropagations=0 nbRevisions=0
46.02 nbUselessRevisions=0 nbAssignments=3582 nbFailedAssignments=2379 nbBacktracks=1134 nbVisitedNodes=6754
46.02 nbRestartNogoods=97
46.02 => wckTime=14.587 cpuTime=14.48 mem=22M668
106.26
106.26 search
106.26 run=10 nbConstraintChecks=72062460 nbValidityChecks=74802607 nbPropagations=0 nbRevisions=0
106.26 nbUselessRevisions=0 nbAssignments=5424 nbFailedAssignments=3640 nbBacktracks=1710 nbVisitedNodes=10227
106.26 nbRestartNogoods=112
106.26 => wckTime=74.828 cpuTime=74.62 mem=22M668
109.65
109.65 search
109.65 run=11 nbConstraintChecks=74842827 nbValidityChecks=78972889 nbPropagations=0 nbRevisions=0
109.65 nbUselessRevisions=0 nbAssignments=8121 nbFailedAssignments=5466 nbBacktracks=2574 nbVisitedNodes=15406
109.65 nbRestartNogoods=123
109.65 => wckTime=78.212 cpuTime=78.01 mem=22M668
138.42
138.42 search
138.42 run=12 nbConstraintChecks=102023762 nbValidityChecks=108288052 nbPropagations=0 nbRevisions=0
138.42 nbUselessRevisions=0 nbAssignments=12219 nbFailedAssignments=8262 nbBacktracks=3871 nbVisitedNodes=23255
138.42 nbRestartNogoods=152
138.42 => wckTime=106.991 cpuTime=106.78 mem=22M668
146.43
146.43 search
146.43 run=13 nbConstraintChecks=108400608 nbValidityChecks=118017870 nbPropagations=0 nbRevisions=0
146.43 nbUselessRevisions=0 nbAssignments=18563 nbFailedAssignments=12653 nbBacktracks=5817 nbVisitedNodes=35443
146.43 nbRestartNogoods=160
146.43 => wckTime=115.001 cpuTime=114.78 mem=22M668
207.50
207.50 search
207.50 run=14 nbConstraintChecks=167888459 nbValidityChecks=182507287 nbPropagations=0 nbRevisions=0
207.50 nbUselessRevisions=0 nbAssignments=28176 nbFailedAssignments=19339 nbBacktracks=8736 nbVisitedNodes=53903
207.50 nbRestartNogoods=177
207.50 => wckTime=176.067 cpuTime=175.77 mem=22M668
235.79
235.79 search
235.79 run=15 nbConstraintChecks=191912032 nbValidityChecks=213688234 nbPropagations=0 nbRevisions=0
235.79 nbUselessRevisions=0 nbAssignments=42219 nbFailedAssignments=28997 nbBacktracks=13114 nbVisitedNodes=81010
235.79 nbRestartNogoods=189
235.79 => wckTime=204.354 cpuTime=204.03 mem=22M668
334.07
334.07 search
334.07 run=16 nbConstraintChecks=286382535 nbValidityChecks=319167138 nbPropagations=0 nbRevisions=0
334.07 nbUselessRevisions=0 nbAssignments=63137 nbFailedAssignments=43338 nbBacktracks=19683 nbVisitedNodes=121237
334.07 nbRestartNogoods=213
334.07 => wckTime=302.636 cpuTime=302.18 mem=22M668
442.54
442.54 search
442.54 run=17 nbConstraintChecks=384072119 nbValidityChecks=432607250 nbPropagations=0 nbRevisions=0
442.54 nbUselessRevisions=0 nbAssignments=93738 nbFailedAssignments=64080 nbBacktracks=29536 nbVisitedNodes=179985
442.54 nbRestartNogoods=231
442.54 => wckTime=411.103 cpuTime=410.54 mem=22M668
572.67
572.67 search
572.67 run=18 nbConstraintChecks=504348626 nbValidityChecks=576137551 nbPropagations=0 nbRevisions=0
572.67 nbUselessRevisions=0 nbAssignments=140171 nbFailedAssignments=95729 nbBacktracks=44314 nbVisitedNodes=269319
572.67 nbRestartNogoods=258
572.67 => wckTime=541.235 cpuTime=540.53 mem=22M668
730.92
730.92 search
730.92 run=19 nbConstraintChecks=644195395 nbValidityChecks=751111228 nbPropagations=0 nbRevisions=0
730.92 nbUselessRevisions=0 nbAssignments=208307 nbFailedAssignments=141690 nbBacktracks=66482 nbVisitedNodes=400922
730.92 nbRestartNogoods=282
730.92 => wckTime=699.484 cpuTime=698.62 mem=22M668
1022.75
1022.75 search
1022.75 run=20 nbConstraintChecks=910730084 nbValidityChecks=1071940266 nbPropagations=0 nbRevisions=0
1022.75 nbUselessRevisions=0 nbAssignments=314708 nbFailedAssignments=214831 nbBacktracks=99734 nbVisitedNodes=606334
1022.75 nbRestartNogoods=311
1022.75 => wckTime=991.32 cpuTime=990.12 mem=22M668
1499.91
1499.91 search
1499.91 run=21 nbConstraintChecks=1355622751 nbValidityChecks=1594952801 nbPropagations=0 nbRevisions=0
1499.91 nbUselessRevisions=0 nbAssignments=468073 nbFailedAssignments=318310 nbBacktracks=149612 nbVisitedNodes=902035
1499.91 nbRestartNogoods=348
1499.91 => wckTime=1468.473 cpuTime=1466.74 mem=22M668
2300.06
2300.06 search
2300.06 run=22 nbConstraintChecks=2089584666 nbValidityChecks=2442577988 nbPropagations=0 nbRevisions=0
2300.06 nbUselessRevisions=0 nbAssignments=694434 nbFailedAssignments=469847 nbBacktracks=224430 nbVisitedNodes=1335795
2300.06 nbRestartNogoods=372
2300.06 => wckTime=2268.625 cpuTime=2266.01 mem=22M668
2402.98 v 9 6 9 0 0 2 0 1 5 0 0 5 0 5 0 4 0 0 0 9
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-280441-1169305832 -o ROOT/results/node12/solver-280441-1169305832 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280441-1169305832/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.86 1.97 1.99 2/86 11279
/proc/meminfo: memFree=1357528/2055920 swapFree=4160348/4192956
[pid=11278] ppid=11276 vsize=18540 CPUtime=0
/proc/11278/stat : 11278 (runsolver) R 11276 11278 11210 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 278978253 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11278/statm: 4635 279 244 17 0 2626 0
[startup+0.102489 s]
/proc/loadavg: 1.86 1.97 1.99 2/86 11279
/proc/meminfo: memFree=1357528/2055920 swapFree=4160348/4192956
[pid=11278] ppid=11276 vsize=914988 CPUtime=0.09
/proc/11278/stat : 11278 (java) R 11276 11278 11210 0 -1 0 2996 0 1 0 7 2 0 0 17 0 8 0 278978253 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072924296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11278/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.510562 s]
/proc/loadavg: 1.86 1.97 1.99 2/86 11279
/proc/meminfo: memFree=1357528/2055920 swapFree=4160348/4192956
[pid=11278] ppid=11276 vsize=915332 CPUtime=0.49
/proc/11278/stat : 11278 (java) R 11276 11278 11210 0 -1 0 8145 0 1 0 43 6 0 0 18 0 8 0 278978253 937299968 7884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565358 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11278/statm: 228833 7884 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33471 s]
/proc/loadavg: 1.86 1.97 1.99 3/93 11286
/proc/meminfo: memFree=1305440/2055920 swapFree=4160348/4192956
[pid=11278] ppid=11276 vsize=915436 CPUtime=1.3
/proc/11278/stat : 11278 (java) R 11276 11278 11210 0 -1 0 15678 0 1 0 118 12 0 0 24 0 8 0 278978253 937406464 15416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630071 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11278/statm: 228859 15416 2480 14 0 215329 0
[pid=11278/tid=11280] ppid=11276 vsize=915436 CPUtime=0.05
/proc/11278/task/11280/stat : 11280 (java) S 11276 11278 11210 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278978256 937406464 15416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11281] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11281/stat : 11281 (java) S 11276 11278 11210 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278978257 937406464 15416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11282] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11282/stat : 11282 (java) S 11276 11278 11210 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278978257 937406464 15416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11283] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11283/stat : 11283 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278978260 937406464 15416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11284] ppid=11276 vsize=915436 CPUtime=0.09
/proc/11278/task/11284/stat : 11284 (java) S 11276 11278 11210 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 278978260 937406464 15416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11285] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11285/stat : 11285 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278978260 937406464 15416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11286] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11286/stat : 11286 (java) S 11276 11278 11210 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278978260 937406464 15416 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) 915436
[startup+2.97701 s]
/proc/loadavg: 1.86 1.97 1.99 3/93 11286
/proc/meminfo: memFree=1305376/2055920 swapFree=4160348/4192956
[pid=11278] ppid=11276 vsize=915436 CPUtime=2.94
/proc/11278/stat : 11278 (java) R 11276 11278 11210 0 -1 0 15682 0 1 0 270 24 0 0 25 0 8 0 278978253 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634842 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11278/statm: 228859 15419 2480 14 0 215329 0
[pid=11278/tid=11280] ppid=11276 vsize=915436 CPUtime=0.05
/proc/11278/task/11280/stat : 11280 (java) S 11276 11278 11210 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278978256 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11281] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11281/stat : 11281 (java) S 11276 11278 11210 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278978257 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11282] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11282/stat : 11282 (java) S 11276 11278 11210 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278978257 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11283] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11283/stat : 11283 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278978260 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11284] ppid=11276 vsize=915436 CPUtime=0.1
/proc/11278/task/11284/stat : 11284 (java) S 11276 11278 11210 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 278978260 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11285] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11285/stat : 11285 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278978260 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11286] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11286/stat : 11286 (java) S 11276 11278 11210 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278978260 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915436
[startup+6.2706 s]
/proc/loadavg: 1.87 1.97 1.99 3/93 11286
/proc/meminfo: memFree=1305376/2055920 swapFree=4160348/4192956
[pid=11278] ppid=11276 vsize=915436 CPUtime=6.19
/proc/11278/stat : 11278 (java) R 11276 11278 11210 0 -1 0 15682 0 1 0 570 49 0 0 25 0 8 0 278978253 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11278/statm: 228859 15419 2480 14 0 215329 0
[pid=11278/tid=11280] ppid=11276 vsize=915436 CPUtime=0.05
/proc/11278/task/11280/stat : 11280 (java) S 11276 11278 11210 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278978256 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11281] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11281/stat : 11281 (java) S 11276 11278 11210 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278978257 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11282] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11282/stat : 11282 (java) S 11276 11278 11210 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278978257 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11283] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11283/stat : 11283 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278978260 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11284] ppid=11276 vsize=915436 CPUtime=0.1
/proc/11278/task/11284/stat : 11284 (java) S 11276 11278 11210 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 278978260 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11285] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11285/stat : 11285 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278978260 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11286] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11286/stat : 11286 (java) S 11276 11278 11210 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278978260 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915436
[startup+12.7518 s]
/proc/loadavg: 1.88 1.97 1.99 3/93 11286
/proc/meminfo: memFree=1305440/2055920 swapFree=4160348/4192956
[pid=11278] ppid=11276 vsize=915436 CPUtime=12.62
/proc/11278/stat : 11278 (java) R 11276 11278 11210 0 -1 0 15686 0 1 0 1165 97 0 0 25 0 8 0 278978253 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632796 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11278/statm: 228859 15423 2480 14 0 215329 0
[pid=11278/tid=11280] ppid=11276 vsize=915436 CPUtime=0.05
/proc/11278/task/11280/stat : 11280 (java) S 11276 11278 11210 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278978256 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11281] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11281/stat : 11281 (java) S 11276 11278 11210 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278978257 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11282] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11282/stat : 11282 (java) S 11276 11278 11210 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278978257 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11283] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11283/stat : 11283 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278978260 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11284] ppid=11276 vsize=915436 CPUtime=0.1
/proc/11278/task/11284/stat : 11284 (java) S 11276 11278 11210 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 278978260 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11285] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11285/stat : 11285 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278978260 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11286] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11286/stat : 11286 (java) S 11276 11278 11210 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278978260 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915436
[startup+25.6001 s]
/proc/loadavg: 1.90 1.97 1.99 3/93 11286
/proc/meminfo: memFree=1305632/2055920 swapFree=4160348/4192956
[pid=11278] ppid=11276 vsize=915436 CPUtime=25.35
/proc/11278/stat : 11278 (java) R 11276 11278 11210 0 -1 0 15686 0 1 0 2344 191 0 0 25 0 8 0 278978253 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073638834 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11278/statm: 228859 15423 2480 14 0 215329 0
[pid=11278/tid=11280] ppid=11276 vsize=915436 CPUtime=0.05
/proc/11278/task/11280/stat : 11280 (java) S 11276 11278 11210 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278978256 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11281] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11281/stat : 11281 (java) S 11276 11278 11210 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278978257 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11282] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11282/stat : 11282 (java) S 11276 11278 11210 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278978257 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11283] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11283/stat : 11283 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278978260 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11284] ppid=11276 vsize=915436 CPUtime=0.1
/proc/11278/task/11284/stat : 11284 (java) S 11276 11278 11210 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 278978260 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11285] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11285/stat : 11285 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278978260 937406464 15423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11286] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11286/stat : 11286 (java) S 11276 11278 11210 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278978260 937406464 15423 18446744073709551615 134512640 134570532 4294956464 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.2167 s]
/proc/loadavg: 1.87 1.95 1.98 3/100 11380
/proc/meminfo: memFree=1254632/2055920 swapFree=4160348/4192956
[pid=11278] ppid=11276 vsize=915436 CPUtime=50.87
/proc/11278/stat : 11278 (java) R 11276 11278 11210 0 -1 0 15859 0 1 0 4851 236 0 0 25 0 8 0 278978253 937406464 15584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073782816 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11278/statm: 228859 15584 2535 14 0 215329 0
[pid=11278/tid=11280] ppid=11276 vsize=915436 CPUtime=0.05
/proc/11278/task/11280/stat : 11280 (java) S 11276 11278 11210 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278978256 937406464 15584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11278/tid=11281] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11281/stat : 11281 (java) S 11276 11278 11210 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278978257 937406464 15584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11282] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11282/stat : 11282 (java) S 11276 11278 11210 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278978257 937406464 15584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11283] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11283/stat : 11283 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278978260 937406464 15584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11284] ppid=11276 vsize=915436 CPUtime=0.21
/proc/11278/task/11284/stat : 11284 (java) S 11276 11278 11210 0 -1 64 388 0 0 0 21 0 0 0 16 0 8 0 278978260 937406464 15584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11278/tid=11285] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11285/stat : 11285 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278978260 937406464 15584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11286] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11286/stat : 11286 (java) S 11276 11278 11210 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278978260 937406464 15584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915436
[startup+102.456 s]
/proc/loadavg: 1.94 1.96 1.98 3/100 11380
/proc/meminfo: memFree=1254312/2055920 swapFree=4160348/4192956
[pid=11278] ppid=11276 vsize=915436 CPUtime=102.06
/proc/11278/stat : 11278 (java) R 11276 11278 11210 0 -1 0 15860 0 1 0 9969 237 0 0 25 0 8 0 278978253 937406464 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630068 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11278/statm: 228859 15585 2535 14 0 215329 0
[pid=11278/tid=11280] ppid=11276 vsize=915436 CPUtime=0.05
/proc/11278/task/11280/stat : 11280 (java) S 11276 11278 11210 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278978256 937406464 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11278/tid=11281] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11281/stat : 11281 (java) S 11276 11278 11210 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278978257 937406464 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11282] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11282/stat : 11282 (java) S 11276 11278 11210 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278978257 937406464 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11283] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11283/stat : 11283 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278978260 937406464 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11284] ppid=11276 vsize=915436 CPUtime=0.22
/proc/11278/task/11284/stat : 11284 (java) S 11276 11278 11210 0 -1 64 389 0 0 0 21 1 0 0 17 0 8 0 278978260 937406464 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11278/tid=11285] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11285/stat : 11285 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278978260 937406464 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11286] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11286/stat : 11286 (java) S 11276 11278 11210 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278978260 937406464 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 915436
[startup+162.541 s]
/proc/loadavg: 1.98 1.97 1.98 3/100 11380
/proc/meminfo: memFree=1254248/2055920 swapFree=4160348/4192956
[pid=11278] ppid=11276 vsize=915436 CPUtime=162.07
/proc/11278/stat : 11278 (java) R 11276 11278 11210 0 -1 0 15862 0 1 0 15970 237 0 0 25 0 8 0 278978253 937406464 15586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752128 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2022.59
Current children cumulated vsize (KiB) 915436
[startup+2085.21 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11382
/proc/meminfo: memFree=1254120/2055920 swapFree=4160348/4192956
[pid=11278] ppid=11276 vsize=915436 CPUtime=2082.59
/proc/11278/stat : 11278 (java) R 11276 11278 11210 0 -1 0 15864 0 1 0 208018 241 0 0 25 0 8 0 278978253 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750897 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11278/statm: 228859 15587 2535 14 0 215329 0
[pid=11278/tid=11280] ppid=11276 vsize=915436 CPUtime=0.05
/proc/11278/task/11280/stat : 11280 (java) S 11276 11278 11210 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278978256 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11278/tid=11281] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11281/stat : 11281 (java) S 11276 11278 11210 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278978257 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11282] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11282/stat : 11282 (java) S 11276 11278 11210 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278978257 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11283] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11283/stat : 11283 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11284] ppid=11276 vsize=915436 CPUtime=0.23
/proc/11278/task/11284/stat : 11284 (java) S 11276 11278 11210 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11278/tid=11285] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11285/stat : 11285 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11286] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11286/stat : 11286 (java) S 11276 11278 11210 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2082.59
Current children cumulated vsize (KiB) 915436
[startup+2145.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11382
/proc/meminfo: memFree=1254120/2055920 swapFree=4160348/4192956
[pid=11278] ppid=11276 vsize=915436 CPUtime=2142.63
/proc/11278/stat : 11278 (java) R 11276 11278 11210 0 -1 0 15864 0 1 0 214022 241 0 0 25 0 8 0 278978253 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11278/statm: 228859 15587 2535 14 0 215329 0
[pid=11278/tid=11280] ppid=11276 vsize=915436 CPUtime=0.05
/proc/11278/task/11280/stat : 11280 (java) S 11276 11278 11210 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278978256 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11278/tid=11281] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11281/stat : 11281 (java) S 11276 11278 11210 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278978257 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11282] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11282/stat : 11282 (java) S 11276 11278 11210 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278978257 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11283] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11283/stat : 11283 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11284] ppid=11276 vsize=915436 CPUtime=0.23
/proc/11278/task/11284/stat : 11284 (java) S 11276 11278 11210 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11278/tid=11285] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11285/stat : 11285 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11286] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11286/stat : 11286 (java) S 11276 11278 11210 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2142.63
Current children cumulated vsize (KiB) 915436
[startup+2205.39 s]
/proc/loadavg: 2.06 2.01 2.00 3/100 11382
/proc/meminfo: memFree=1254056/2055920 swapFree=4160348/4192956
[pid=11278] ppid=11276 vsize=915436 CPUtime=2202.65
/proc/11278/stat : 11278 (java) R 11276 11278 11210 0 -1 0 15864 0 1 0 220024 241 0 0 25 0 8 0 278978253 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757214 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11278/statm: 228859 15587 2535 14 0 215329 0
[pid=11278/tid=11280] ppid=11276 vsize=915436 CPUtime=0.05
/proc/11278/task/11280/stat : 11280 (java) S 11276 11278 11210 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278978256 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11278/tid=11281] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11281/stat : 11281 (java) S 11276 11278 11210 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278978257 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11282] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11282/stat : 11282 (java) S 11276 11278 11210 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278978257 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11283] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11283/stat : 11283 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11284] ppid=11276 vsize=915436 CPUtime=0.23
/proc/11278/task/11284/stat : 11284 (java) S 11276 11278 11210 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11278/tid=11285] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11285/stat : 11285 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11286] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11286/stat : 11286 (java) S 11276 11278 11210 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2202.65
Current children cumulated vsize (KiB) 915436
[startup+2265.48 s]
/proc/loadavg: 2.10 2.03 2.01 3/100 11382
/proc/meminfo: memFree=1254120/2055920 swapFree=4160348/4192956
[pid=11278] ppid=11276 vsize=915436 CPUtime=2262.67
/proc/11278/stat : 11278 (java) R 11276 11278 11210 0 -1 0 15864 0 1 0 226025 242 0 0 25 0 8 0 278978253 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11278/statm: 228859 15587 2535 14 0 215329 0
[pid=11278/tid=11280] ppid=11276 vsize=915436 CPUtime=0.05
/proc/11278/task/11280/stat : 11280 (java) S 11276 11278 11210 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278978256 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11278/tid=11281] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11281/stat : 11281 (java) S 11276 11278 11210 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278978257 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11282] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11282/stat : 11282 (java) S 11276 11278 11210 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278978257 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11283] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11283/stat : 11283 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11284] ppid=11276 vsize=915436 CPUtime=0.23
/proc/11278/task/11284/stat : 11284 (java) S 11276 11278 11210 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11278/tid=11285] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11285/stat : 11285 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11286] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11286/stat : 11286 (java) S 11276 11278 11210 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2262.67
Current children cumulated vsize (KiB) 915436
[startup+2325.57 s]
/proc/loadavg: 2.03 2.02 2.00 3/100 11382
/proc/meminfo: memFree=1254056/2055920 swapFree=4160348/4192956
[pid=11278] ppid=11276 vsize=915436 CPUtime=2322.7
/proc/11278/stat : 11278 (java) R 11276 11278 11210 0 -1 0 15865 0 1 0 232028 242 0 0 25 0 8 0 278978253 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754027 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11278/statm: 228859 15587 2535 14 0 215329 0
[pid=11278/tid=11280] ppid=11276 vsize=915436 CPUtime=0.05
/proc/11278/task/11280/stat : 11280 (java) S 11276 11278 11210 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278978256 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11278/tid=11281] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11281/stat : 11281 (java) S 11276 11278 11210 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278978257 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11282] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11282/stat : 11282 (java) S 11276 11278 11210 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278978257 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11283] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11283/stat : 11283 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11284] ppid=11276 vsize=915436 CPUtime=0.23
/proc/11278/task/11284/stat : 11284 (java) S 11276 11278 11210 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11278/tid=11285] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11285/stat : 11285 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11286] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11286/stat : 11286 (java) S 11276 11278 11210 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2322.7
Current children cumulated vsize (KiB) 915436
[startup+2385.58 s]
/proc/loadavg: 2.06 2.03 2.00 3/100 11382
/proc/meminfo: memFree=1254056/2055920 swapFree=4160348/4192956
[pid=11278] ppid=11276 vsize=915436 CPUtime=2382.65
/proc/11278/stat : 11278 (java) R 11276 11278 11210 0 -1 0 15865 0 1 0 238023 242 0 0 25 0 8 0 278978253 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796667 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11278/statm: 228859 15587 2535 14 0 215329 0
[pid=11278/tid=11280] ppid=11276 vsize=915436 CPUtime=0.05
/proc/11278/task/11280/stat : 11280 (java) S 11276 11278 11210 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278978256 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11278/tid=11281] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11281/stat : 11281 (java) S 11276 11278 11210 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278978257 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11282] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11282/stat : 11282 (java) S 11276 11278 11210 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278978257 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11283] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11283/stat : 11283 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11284] ppid=11276 vsize=915436 CPUtime=0.23
/proc/11278/task/11284/stat : 11284 (java) S 11276 11278 11210 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11278/tid=11285] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11285/stat : 11285 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11286] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11286/stat : 11286 (java) S 11276 11278 11210 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2382.65
Current children cumulated vsize (KiB) 915436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2402.97 s]
/proc/loadavg: 2.05 2.03 2.00 4/100 11382
/proc/meminfo: memFree=1254120/2055920 swapFree=4160348/4192956
[pid=11278] ppid=11276 vsize=915436 CPUtime=2400
/proc/11278/stat : 11278 (java) R 11276 11278 11210 0 -1 0 15865 0 1 0 239758 242 0 0 25 0 8 0 278978253 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630025 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11278/statm: 228859 15587 2535 14 0 215329 0
[pid=11278/tid=11280] ppid=11276 vsize=915436 CPUtime=0.05
/proc/11278/task/11280/stat : 11280 (java) S 11276 11278 11210 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278978256 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11278/tid=11281] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11281/stat : 11281 (java) S 11276 11278 11210 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278978257 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11282] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11282/stat : 11282 (java) S 11276 11278 11210 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278978257 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11283] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11283/stat : 11283 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11284] ppid=11276 vsize=915436 CPUtime=0.23
/proc/11278/task/11284/stat : 11284 (java) S 11276 11278 11210 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11278/tid=11285] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11285/stat : 11285 (java) S 11276 11278 11210 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11278/tid=11286] ppid=11276 vsize=915436 CPUtime=0
/proc/11278/task/11286/stat : 11286 (java) S 11276 11278 11210 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278978260 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 915436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2403.01
CPU time (s): 2400.05
CPU user time (s): 2397.62
CPU system time (s): 2.43463
CPU usage (%): 99.8767
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.62
system time used= 2.43463
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15883
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= 49512
involuntary context switches= 85506
runsolver used 3.2505 s user time and 7.39487 s system time
The end
Begin job on node12 on Sat Jan 20 15:10:32 UTC 2007
IDJOB= 280441
IDBENCH= 11094
IDSOLVER= 68
FILE ID= node12/280441-1169305832
PBS_JOBID= 3609924
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280441-1169305832/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-280441-1169305832 -o ROOT/results/node12/solver-280441-1169305832 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280441-1169305832/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f8a6610ad9164c4321527d1173795619
RANDOM SEED= 869386195
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.265
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.265
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: 1357944 kB
Buffers: 61448 kB
Cached: 524208 kB
SwapCached: 5332 kB
Active: 273980 kB
Inactive: 348160 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1357944 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2992 kB
Writeback: 0 kB
Mapped: 47004 kB
Slab: 60740 kB
Committed_AS: 8360756 kB
PageTables: 2028 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= 66560 MiB
End job on node12 on Sat Jan 20 15:50:35 UTC 2007