0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/277075-1169254644/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.42 => wckTime=0.102 cpuTime=0.08 mem=6M887
0.42
0.42 relations being loaded...
0.50
0.50 constraints being loaded...
0.61 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1346 maxDegree=18
0.61 maxArity=2
0.61 => wckTime=0.292 cpuTime=0.21 mem=11M763
0.66
0.66 solver LocalSearchSolver being built...
0.70 => wckTime=0.381 cpuTime=0.25 mem=5M872
0.70
0.71 s SATISFIABLE
0.71 o 167
0.71 c 83
0.71 o 173
0.71 c 77
0.71 o 178
0.71 c 72
0.71 o 183
0.71 c 67
0.71 o 188
0.71 c 62
0.71 o 191
0.71 c 59
0.71 o 194
0.71 c 56
0.71 o 199
0.71 c 51
0.72 o 201
0.72 c 49
0.72 o 203
0.72 c 47
0.72 o 204
0.72 c 46
0.72 o 206
0.72 c 44
0.72 o 207
0.72 c 43
0.72 o 209
0.72 c 41
0.72 o 210
0.72 c 40
0.72 o 211
0.72 c 39
0.72 o 213
0.72 c 37
0.72 o 215
0.72 c 35
0.72 o 216
0.72 c 34
0.72 o 220
0.73 c 30
0.73 o 222
0.73 c 28
0.73 o 223
0.73 c 27
0.73 o 226
0.73 c 24
0.73 o 227
0.73 c 23
0.73 o 228
0.73 c 22
0.73 o 229
0.73 c 21
0.74 o 231
0.74 c 19
0.74 o 232
0.74 c 18
0.74 o 233
0.74 c 17
0.74 o 234
0.74 c 16
0.74 o 235
0.74 c 15
0.74 o 236
0.74 c 14
0.74 o 237
0.74 c 13
0.75 o 239
0.75 c 11
0.78 o 240
0.78 c 10
0.79 o 241
0.79 c 9
0.79 o 242
0.79 c 8
0.82 o 243
0.82 c 7
0.82 o 244
0.82 c 6
0.82 o 245
0.82 c 5
0.90 o 246
0.90 c 4
0.90 o 247
0.90 c 3
3.21
3.21 search
3.21 run=0 nbConstraintChecks=15893212 nbAssignments=10000
3.21 => wckTime=2.515 cpuTime=2.47 mem=5M872
3.35 o 248
3.35 c 2
5.69
5.69 search
5.69 run=1 nbConstraintChecks=31807127 nbAssignments=20000
5.69 => wckTime=4.986 cpuTime=4.9 mem=5M872
7.65 o 249
7.65 c 1
7.65
7.65 search
7.65 run=2 nbConstraintChecks=44630070 nbAssignments=28075
7.65 => wckTime=6.953 cpuTime=6.86 mem=5M872
7.65
7.65 global
7.65 nbConstraintChecks=44630070 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
7.65 solvingWckTime=6.951 solvingCpuTime=6.86 expiredTime=no totalExploration=no nbFoundSolutions=0
7.65 globalCpuTime=7.16
7.65 => wckTime=7.335 cpuTime=7.11 mem=5M872
7.66
7.66 solver IterativeSystematicSolver being built...
7.79 => wckTime=7.466 cpuTime=7.22 mem=16M862
7.87
7.87 preprocessing
7.87 nbConstraintChecks=115369 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
7.87 detectedInconsistency=no
7.87 => wckTime=0.086 cpuTime=0.06 mem=16M862
7.92
7.92 search
7.92 run=0 nbConstraintChecks=142084 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38
7.92 nbFailedAssignments=23 nbBacktracks=10 nbVisitedNodes=70 nbRestartNogoods=0
7.92 => wckTime=0.136 cpuTime=0.11 mem=16M862
7.98
7.98 search
7.98 run=1 nbConstraintChecks=302251 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=84
7.98 nbFailedAssignments=46 nbBacktracks=25 nbVisitedNodes=154 nbRestartNogoods=16
7.98 => wckTime=0.195 cpuTime=0.16 mem=16M862
8.05
8.05 search
8.05 run=2 nbConstraintChecks=558060 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=148
8.05 nbFailedAssignments=83 nbBacktracks=47 nbVisitedNodes=276 nbRestartNogoods=23
8.05 => wckTime=0.266 cpuTime=0.22 mem=16M862
8.14
8.14 search
8.14 run=3 nbConstraintChecks=870279 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=234
8.14 nbFailedAssignments=132 nbBacktracks=80 nbVisitedNodes=440 nbRestartNogoods=39
8.14 => wckTime=0.35 cpuTime=0.3 mem=16M862
8.26
8.26 search
8.26 run=4 nbConstraintChecks=1336370 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=374
8.26 nbFailedAssignments=215 nbBacktracks=130 nbVisitedNodes=713 nbRestartNogoods=44
8.26 => wckTime=0.477 cpuTime=0.42 mem=16M862
8.46
8.46 search
8.46 run=5 nbConstraintChecks=2094173 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=568
8.46 nbFailedAssignments=330 nbBacktracks=205 nbVisitedNodes=1096 nbRestartNogoods=63
8.46 => wckTime=0.671 cpuTime=0.62 mem=16M862
8.77
8.77 search
8.77 run=6 nbConstraintChecks=3443212 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=937
8.77 nbFailedAssignments=579 nbBacktracks=318 nbVisitedNodes=1822 nbRestartNogoods=74
8.77 => wckTime=0.985 cpuTime=0.93 mem=16M862
9.41
9.41 search
9.41 run=7 nbConstraintChecks=5852638 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1468
9.41 nbFailedAssignments=933 nbBacktracks=488 nbVisitedNodes=2857 nbRestartNogoods=111
9.41 => wckTime=1.625 cpuTime=1.55 mem=16M862
10.09
10.09 search
10.09 run=8 nbConstraintChecks=8720564 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2198
10.09 nbFailedAssignments=1400 nbBacktracks=745 nbVisitedNodes=4276 nbRestartNogoods=123
10.09 => wckTime=2.3 cpuTime=2.21 mem=16M862
11.05
11.05 search
11.05 run=9 nbConstraintChecks=12704395 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3215
11.05 nbFailedAssignments=2026 nbBacktracks=1129 nbVisitedNodes=6292 nbRestartNogoods=135
11.05 => wckTime=3.261 cpuTime=3.16 mem=16M862
12.65
12.65 search
12.65 run=10 nbConstraintChecks=19399677 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4818
12.65 nbFailedAssignments=3047 nbBacktracks=1705 nbVisitedNodes=9416 nbRestartNogoods=161
12.65 => wckTime=4.863 cpuTime=4.73 mem=16M862
14.97
14.97 search
14.97 run=11 nbConstraintChecks=29348538 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7165
14.97 nbFailedAssignments=4524 nbBacktracks=2569 nbVisitedNodes=14040 nbRestartNogoods=200
14.98 => wckTime=7.189 cpuTime=7.03 mem=16M862
18.74
18.74 search
18.74 run=12 nbConstraintChecks=44797502 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10496
18.74 nbFailedAssignments=6555 nbBacktracks=3866 nbVisitedNodes=20497 nbRestartNogoods=235
18.74 => wckTime=10.953 cpuTime=10.77 mem=16M862
23.83
23.83 search
23.83 run=13 nbConstraintChecks=64975252 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15278
23.83 nbFailedAssignments=9386 nbBacktracks=5812 nbVisitedNodes=29496 nbRestartNogoods=276
23.83 => wckTime=16.041 cpuTime=15.81 mem=16M862
31.26
31.26 search
31.26 run=14 nbConstraintChecks=93547365 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21925
31.26 nbFailedAssignments=13110 nbBacktracks=8731 nbVisitedNodes=41507 nbRestartNogoods=292
31.26 => wckTime=23.477 cpuTime=23.17 mem=16M862
41.96
41.96 search
41.96 run=15 nbConstraintChecks=133980707 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31376
41.96 nbFailedAssignments=18179 nbBacktracks=13110 nbVisitedNodes=58130 nbRestartNogoods=311
41.96 => wckTime=34.178 cpuTime=33.77 mem=16M862
56.84
56.84 search
56.84 run=16 nbConstraintChecks=190537555 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44768
56.84 nbFailedAssignments=24999 nbBacktracks=19678 nbVisitedNodes=80811 nbRestartNogoods=342
56.84 => wckTime=49.049 cpuTime=48.5 mem=16M862
75.73
75.73 search
75.73 run=17 nbConstraintChecks=262532733 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=63136
75.73 nbFailedAssignments=33511 nbBacktracks=29530 nbVisitedNodes=110501 nbRestartNogoods=388
75.73 => wckTime=67.942 cpuTime=67.22 mem=16M862
104.20
104.20 search
104.20 run=18 nbConstraintChecks=372675400 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=90933
104.20 nbFailedAssignments=46526 nbBacktracks=44308 nbVisitedNodes=155564 nbRestartNogoods=422
104.20 => wckTime=96.412 cpuTime=95.43 mem=16M862
145.66
145.66 search
145.66 run=19 nbConstraintChecks=530846180 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=131021
145.66 nbFailedAssignments=64439 nbBacktracks=66476 nbVisitedNodes=218954 nbRestartNogoods=452
145.66 => wckTime=137.875 cpuTime=136.51 mem=16M862
207.63
207.63 search
207.63 run=20 nbConstraintChecks=763683510 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=190473
207.63 nbFailedAssignments=90633 nbBacktracks=99730 nbVisitedNodes=312734 nbRestartNogoods=472
207.63 => wckTime=199.842 cpuTime=197.89 mem=16M862
301.86
301.86 search
301.86 run=21 nbConstraintChecks=1119832911 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=280355
301.86 nbFailedAssignments=130634 nbBacktracks=149608 nbVisitedNodes=454902 nbRestartNogoods=490
301.86 => wckTime=294.07 cpuTime=291.07 mem=16M862
444.77
444.77 search
444.77 run=22 nbConstraintChecks=1663539521 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=416542
444.77 nbFailedAssignments=191998 nbBacktracks=224429 nbVisitedNodes=671520 nbRestartNogoods=513
444.77 => wckTime=436.984 cpuTime=432.66 mem=16M862
664.40
664.40 search
664.40 run=23 nbConstraintChecks=2493357236 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=620989
664.40 nbFailedAssignments=284214 nbBacktracks=336656 nbVisitedNodes=996433 nbRestartNogoods=527
664.40 => wckTime=656.613 cpuTime=650.27 mem=16M862
704.27
704.28 search
704.28 run=24 nbConstraintChecks=2640988850 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=656251
704.28 nbFailedAssignments=299943 nbBacktracks=356190 nbVisitedNodes=1052268 nbRestartNogoods=539
704.28 => wckTime=696.486 cpuTime=689.77 mem=16M862
704.28
704.28 global
704.28 nbConstraintChecks=2641104219 nbRestartNogoods=539 solvingWckTime=696.486 solvingCpuTime=689.77 expiredTime=no
704.28 totalExploration=yes nbFoundSolutions=0 globalCpuTime=697.04
704.28 => wckTime=703.954 cpuTime=696.99 mem=16M862
704.29
704.29 s OPTIMUM FOUND
704.29 v 14 9 7 10 4 10 7 2 2 8 0 1 3 5 6 11 4 11 8 8 9 3 8 1 6 10 6 0 6 15 5 10 15 6 11 8 10 9 11 2
704.29
704.29 totalWckTime=704.046 totalCpuTime=697.04
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-277075-1169254644 -o ROOT/results/node11/solver-277075-1169254644 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277075-1169254644/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.99 2.01 2.00 4/94 15740
/proc/meminfo: memFree=1277912/2055920 swapFree=4171812/4192956
[pid=15739] ppid=15737 vsize=9948 CPUtime=0
/proc/15739/stat : 15739 (java) S 15737 15739 15623 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 273859453 10186752 472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/15739/statm: 2955 510 421 14 0 1602 0
[startup+0.103542 s]
/proc/loadavg: 1.99 2.01 2.00 4/94 15740
/proc/meminfo: memFree=1277912/2055920 swapFree=4171812/4192956
[pid=15739] ppid=15737 vsize=914988 CPUtime=0.08
/proc/15739/stat : 15739 (java) R 15737 15739 15623 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 273859453 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155839899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15739/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513623 s]
/proc/loadavg: 1.99 2.01 2.00 4/94 15740
/proc/meminfo: memFree=1277912/2055920 swapFree=4171812/4192956
[pid=15739] ppid=15737 vsize=915332 CPUtime=0.48
/proc/15739/stat : 15739 (java) R 15737 15739 15623 0 -1 0 6680 0 1 0 44 4 0 0 18 0 8 0 273859453 937299968 6419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15739/statm: 228833 6419 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33478 s]
/proc/loadavg: 1.99 2.01 2.00 3/101 15747
/proc/meminfo: memFree=1257056/2055920 swapFree=4171812/4192956
[pid=15739] ppid=15737 vsize=915464 CPUtime=1.29
/proc/15739/stat : 15739 (java) R 15737 15739 15623 0 -1 0 7906 0 1 0 114 15 0 0 25 0 8 0 273859453 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15739/statm: 228866 7644 2479 14 0 215336 0
[pid=15739/tid=15741] ppid=15737 vsize=915464 CPUtime=0.03
/proc/15739/task/15741/stat : 15741 (java) S 15737 15739 15623 0 -1 64 246 0 0 0 3 0 0 0 16 0 8 0 273859457 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15742] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15742/stat : 15742 (java) S 15737 15739 15623 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273859457 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15743] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15743/stat : 15743 (java) S 15737 15739 15623 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273859457 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15744] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15744/stat : 15744 (java) S 15737 15739 15623 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273859461 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15745] ppid=15737 vsize=915464 CPUtime=0.15
/proc/15739/task/15745/stat : 15745 (java) S 15737 15739 15623 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 273859461 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15746] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15746/stat : 15746 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273859461 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15747] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15747/stat : 15747 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273859461 937435136 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.29
Current children cumulated vsize (KiB) 915464
[startup+2.97211 s]
/proc/loadavg: 1.99 2.01 2.00 3/101 15747
/proc/meminfo: memFree=1257056/2055920 swapFree=4171812/4192956
[pid=15739] ppid=15737 vsize=915464 CPUtime=2.92
/proc/15739/stat : 15739 (java) R 15737 15739 15623 0 -1 0 7907 0 1 0 251 41 0 0 25 0 8 0 273859453 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073734634 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15739/statm: 228866 7644 2479 14 0 215336 0
[pid=15739/tid=15741] ppid=15737 vsize=915464 CPUtime=0.03
/proc/15739/task/15741/stat : 15741 (java) S 15737 15739 15623 0 -1 64 246 0 0 0 3 0 0 0 16 0 8 0 273859457 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15742] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15742/stat : 15742 (java) S 15737 15739 15623 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273859457 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15743] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15743/stat : 15743 (java) S 15737 15739 15623 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273859457 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15744] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15744/stat : 15744 (java) S 15737 15739 15623 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273859461 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15745] ppid=15737 vsize=915464 CPUtime=0.15
/proc/15739/task/15745/stat : 15745 (java) S 15737 15739 15623 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 273859461 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15746] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15746/stat : 15746 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273859461 937435136 7644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15747] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15747/stat : 15747 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273859461 937435136 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.92
Current children cumulated vsize (KiB) 915464
[startup+6.27376 s]
/proc/loadavg: 1.99 2.01 2.00 3/101 15747
/proc/meminfo: memFree=1256992/2055920 swapFree=4171812/4192956
[pid=15739] ppid=15737 vsize=915464 CPUtime=6.19
/proc/15739/stat : 15739 (java) R 15737 15739 15623 0 -1 0 7909 0 1 0 524 95 0 0 25 0 8 0 273859453 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073734690 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15739/statm: 228866 7646 2479 14 0 215336 0
[pid=15739/tid=15741] ppid=15737 vsize=915464 CPUtime=0.03
/proc/15739/task/15741/stat : 15741 (java) S 15737 15739 15623 0 -1 64 246 0 0 0 3 0 0 0 16 0 8 0 273859457 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15742] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15742/stat : 15742 (java) S 15737 15739 15623 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273859457 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15743] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15743/stat : 15743 (java) S 15737 15739 15623 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273859457 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15744] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15744/stat : 15744 (java) S 15737 15739 15623 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273859461 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15745] ppid=15737 vsize=915464 CPUtime=0.15
/proc/15739/task/15745/stat : 15745 (java) S 15737 15739 15623 0 -1 64 350 0 0 0 15 0 0 0 16 0 8 0 273859461 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15746] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15746/stat : 15746 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273859461 937435136 7646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15747] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15747/stat : 15747 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273859461 937435136 7646 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) 915464
[startup+12.7531 s]
/proc/loadavg: 1.99 2.01 2.00 3/101 15747
/proc/meminfo: memFree=1252256/2055920 swapFree=4171812/4192956
[pid=15739] ppid=15737 vsize=915464 CPUtime=12.61
/proc/15739/stat : 15739 (java) R 15737 15739 15623 0 -1 0 9138 0 1 0 1145 116 0 0 25 0 8 0 273859453 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845280 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15739/statm: 228866 8871 2532 14 0 215336 0
[pid=15739/tid=15741] ppid=15737 vsize=915464 CPUtime=0.03
/proc/15739/task/15741/stat : 15741 (java) S 15737 15739 15623 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 273859457 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15742] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15742/stat : 15742 (java) S 15737 15739 15623 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273859457 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15743] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15743/stat : 15743 (java) S 15737 15739 15623 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273859457 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15744] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15744/stat : 15744 (java) S 15737 15739 15623 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273859461 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15745] ppid=15737 vsize=915464 CPUtime=0.26
/proc/15739/task/15745/stat : 15745 (java) S 15737 15739 15623 0 -1 64 404 0 0 0 25 1 0 0 15 0 8 0 273859461 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15746] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15746/stat : 15746 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273859461 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15747] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15747/stat : 15747 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273859461 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915464
[startup+25.6166 s]
/proc/loadavg: 1.99 2.01 2.00 3/101 15747
/proc/meminfo: memFree=1252256/2055920 swapFree=4171812/4192956
[pid=15739] ppid=15737 vsize=915464 CPUtime=25.35
/proc/15739/stat : 15739 (java) R 15737 15739 15623 0 -1 0 9149 0 1 0 2419 116 0 0 25 0 8 0 273859453 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841843 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15739/statm: 228866 8881 2532 14 0 215336 0
[pid=15739/tid=15741] ppid=15737 vsize=915464 CPUtime=0.03
/proc/15739/task/15741/stat : 15741 (java) S 15737 15739 15623 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 273859457 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15742] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15742/stat : 15742 (java) S 15737 15739 15623 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273859457 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15743] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15743/stat : 15743 (java) S 15737 15739 15623 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273859457 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15744] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15744/stat : 15744 (java) S 15737 15739 15623 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273859461 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15745] ppid=15737 vsize=915464 CPUtime=0.26
/proc/15739/task/15745/stat : 15745 (java) S 15737 15739 15623 0 -1 64 407 0 0 0 25 1 0 0 15 0 8 0 273859461 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15746] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15746/stat : 15746 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273859461 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15747] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15747/stat : 15747 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273859461 937435136 8881 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) 915464
[startup+51.2257 s]
/proc/loadavg: 1.99 2.01 2.00 3/101 15747
/proc/meminfo: memFree=1252256/2055920 swapFree=4171812/4192956
[pid=15739] ppid=15737 vsize=915464 CPUtime=50.72
/proc/15739/stat : 15739 (java) R 15737 15739 15623 0 -1 0 9154 0 1 0 4956 116 0 0 25 0 8 0 273859453 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841889 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15739/statm: 228866 8885 2532 14 0 215336 0
[pid=15739/tid=15741] ppid=15737 vsize=915464 CPUtime=0.03
/proc/15739/task/15741/stat : 15741 (java) S 15737 15739 15623 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 273859457 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15742] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15742/stat : 15742 (java) S 15737 15739 15623 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273859457 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15743] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15743/stat : 15743 (java) S 15737 15739 15623 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273859457 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15744] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15744/stat : 15744 (java) S 15737 15739 15623 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273859461 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15745] ppid=15737 vsize=915464 CPUtime=0.27
/proc/15739/task/15745/stat : 15745 (java) S 15737 15739 15623 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 273859461 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15746] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15746/stat : 15746 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273859461 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15747] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15747/stat : 15747 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273859461 937435136 8885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915464
[startup+102.433 s]
/proc/loadavg: 1.99 2.00 2.00 3/101 15747
/proc/meminfo: memFree=1252256/2055920 swapFree=4171812/4192956
[pid=15739] ppid=15737 vsize=915464 CPUtime=101.45
/proc/15739/stat : 15739 (java) R 15737 15739 15623 0 -1 0 9161 0 1 0 10029 116 0 0 25 0 8 0 273859453 937435136 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846007 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15739/statm: 228866 8891 2532 14 0 215336 0
[pid=15739/tid=15741] ppid=15737 vsize=915464 CPUtime=0.03
/proc/15739/task/15741/stat : 15741 (java) S 15737 15739 15623 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 273859457 937435136 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15742] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15742/stat : 15742 (java) S 15737 15739 15623 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273859457 937435136 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15743] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15743/stat : 15743 (java) S 15737 15739 15623 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273859457 937435136 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15744] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15744/stat : 15744 (java) S 15737 15739 15623 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273859461 937435136 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15745] ppid=15737 vsize=915464 CPUtime=0.27
/proc/15739/task/15745/stat : 15745 (java) S 15737 15739 15623 0 -1 64 407 0 0 0 26 1 0 0 16 0 8 0 273859461 937435136 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15746] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15746/stat : 15746 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273859461 937435136 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15747] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15747/stat : 15747 (java) R 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273859461 937435136 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915464
[startup+162.502 s]
/proc/loadavg: 2.10 2.03 2.01 3/101 15747
/proc/meminfo: memFree=1252256/2055920 swapFree=4171812/4192956
[pid=15739] ppid=15737 vsize=915464 CPUtime=160.97
/proc/15739/stat : 15739 (java) R 15737 15739 15623 0 -1 0 9165 0 1 0 15980 117 0 0 25 0 8 0 273859453 937435136 8895 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073881842 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/15739/task/15744/stat : 15744 (java) S 15737 15739 15623 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273859461 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15745] ppid=15737 vsize=915464 CPUtime=0.27
/proc/15739/task/15745/stat : 15745 (java) S 15737 15739 15623 0 -1 64 408 0 0 0 26 1 0 0 16 0 8 0 273859461 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15746] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15746/stat : 15746 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273859461 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15747] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15747/stat : 15747 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273859461 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.8
Current children cumulated vsize (KiB) 915464
[startup+342.664 s]
/proc/loadavg: 2.03 2.03 2.00 3/101 15945
/proc/meminfo: memFree=1251936/2055920 swapFree=4171812/4192956
[pid=15739] ppid=15737 vsize=915464 CPUtime=339.29
/proc/15739/stat : 15739 (java) R 15737 15739 15623 0 -1 0 9172 0 1 0 33810 119 0 0 25 0 8 0 273859453 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851882 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15739/statm: 228866 8901 2532 14 0 215336 0
[pid=15739/tid=15741] ppid=15737 vsize=915464 CPUtime=0.03
/proc/15739/task/15741/stat : 15741 (java) S 15737 15739 15623 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 273859457 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15742] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15742/stat : 15742 (java) S 15737 15739 15623 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273859457 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15743] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15743/stat : 15743 (java) S 15737 15739 15623 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273859457 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15744] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15744/stat : 15744 (java) S 15737 15739 15623 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273859461 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15745] ppid=15737 vsize=915464 CPUtime=0.27
/proc/15739/task/15745/stat : 15745 (java) S 15737 15739 15623 0 -1 64 408 0 0 0 26 1 0 0 16 0 8 0 273859461 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15746] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15746/stat : 15746 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273859461 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15747] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15747/stat : 15747 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273859461 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.29
Current children cumulated vsize (KiB) 915464
[startup+402.73 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 15945
/proc/meminfo: memFree=1252000/2055920 swapFree=4171812/4192956
[pid=15739] ppid=15737 vsize=915464 CPUtime=398.8
/proc/15739/stat : 15739 (java) R 15737 15739 15623 0 -1 0 9172 0 1 0 39761 119 0 0 25 0 8 0 273859453 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845280 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15739/statm: 228866 8901 2532 14 0 215336 0
[pid=15739/tid=15741] ppid=15737 vsize=915464 CPUtime=0.03
/proc/15739/task/15741/stat : 15741 (java) S 15737 15739 15623 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 273859457 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15742] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15742/stat : 15742 (java) S 15737 15739 15623 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273859457 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15743] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15743/stat : 15743 (java) S 15737 15739 15623 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273859457 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15744] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15744/stat : 15744 (java) S 15737 15739 15623 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273859461 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15745] ppid=15737 vsize=915464 CPUtime=0.27
/proc/15739/task/15745/stat : 15745 (java) S 15737 15739 15623 0 -1 64 408 0 0 0 26 1 0 0 16 0 8 0 273859461 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15746] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15746/stat : 15746 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273859461 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15747] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15747/stat : 15747 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273859461 937435136 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.8
Current children cumulated vsize (KiB) 915464
[startup+462.829 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 15945
/proc/meminfo: memFree=1252000/2055920 swapFree=4171812/4192956
[pid=15739] ppid=15737 vsize=915464 CPUtime=458.34
/proc/15739/stat : 15739 (java) R 15737 15739 15623 0 -1 0 9175 0 1 0 45715 119 0 0 25 0 8 0 273859453 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851748 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15739/statm: 228866 8904 2532 14 0 215336 0
[pid=15739/tid=15741] ppid=15737 vsize=915464 CPUtime=0.03
/proc/15739/task/15741/stat : 15741 (java) S 15737 15739 15623 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 273859457 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15742] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15742/stat : 15742 (java) S 15737 15739 15623 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273859457 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15743] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15743/stat : 15743 (java) S 15737 15739 15623 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273859457 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15744] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15744/stat : 15744 (java) S 15737 15739 15623 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273859461 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15745] ppid=15737 vsize=915464 CPUtime=0.27
/proc/15739/task/15745/stat : 15745 (java) S 15737 15739 15623 0 -1 64 408 0 0 0 26 1 0 0 16 0 8 0 273859461 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15746] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15746/stat : 15746 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273859461 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15747] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15747/stat : 15747 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273859461 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.34
Current children cumulated vsize (KiB) 915464
[startup+522.925 s]
/proc/loadavg: 2.03 2.03 2.00 3/101 15945
/proc/meminfo: memFree=1252064/2055920 swapFree=4171812/4192956
[pid=15739] ppid=15737 vsize=915464 CPUtime=517.88
/proc/15739/stat : 15739 (java) R 15737 15739 15623 0 -1 0 9175 0 1 0 51668 120 0 0 25 0 8 0 273859453 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855303 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15739/statm: 228866 8904 2532 14 0 215336 0
[pid=15739/tid=15741] ppid=15737 vsize=915464 CPUtime=0.03
/proc/15739/task/15741/stat : 15741 (java) S 15737 15739 15623 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 273859457 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15742] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15742/stat : 15742 (java) S 15737 15739 15623 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273859457 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15743] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15743/stat : 15743 (java) S 15737 15739 15623 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273859457 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15744] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15744/stat : 15744 (java) S 15737 15739 15623 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273859461 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15745] ppid=15737 vsize=915464 CPUtime=0.27
/proc/15739/task/15745/stat : 15745 (java) S 15737 15739 15623 0 -1 64 408 0 0 0 26 1 0 0 16 0 8 0 273859461 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15746] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15746/stat : 15746 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273859461 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15747] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15747/stat : 15747 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273859461 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 517.88
Current children cumulated vsize (KiB) 915464
[startup+583.015 s]
/proc/loadavg: 2.01 2.02 2.00 4/101 15945
/proc/meminfo: memFree=1252064/2055920 swapFree=4171812/4192956
[pid=15739] ppid=15737 vsize=915464 CPUtime=577.41
/proc/15739/stat : 15739 (java) R 15737 15739 15623 0 -1 0 9175 0 1 0 57621 120 0 0 25 0 8 0 273859453 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15739/statm: 228866 8904 2532 14 0 215336 0
[pid=15739/tid=15741] ppid=15737 vsize=915464 CPUtime=0.03
/proc/15739/task/15741/stat : 15741 (java) S 15737 15739 15623 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 273859457 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15742] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15742/stat : 15742 (java) S 15737 15739 15623 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273859457 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15743] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15743/stat : 15743 (java) S 15737 15739 15623 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273859457 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15744] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15744/stat : 15744 (java) S 15737 15739 15623 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273859461 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15745] ppid=15737 vsize=915464 CPUtime=0.27
/proc/15739/task/15745/stat : 15745 (java) S 15737 15739 15623 0 -1 64 408 0 0 0 26 1 0 0 16 0 8 0 273859461 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15746] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15746/stat : 15746 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273859461 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15747] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15747/stat : 15747 (java) R 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273859461 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 577.41
Current children cumulated vsize (KiB) 915464
[startup+643.108 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 15945
/proc/meminfo: memFree=1252064/2055920 swapFree=4171812/4192956
[pid=15739] ppid=15737 vsize=915464 CPUtime=636.95
/proc/15739/stat : 15739 (java) R 15737 15739 15623 0 -1 0 9175 0 1 0 63574 121 0 0 25 0 8 0 273859453 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845284 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15739/statm: 228866 8904 2532 14 0 215336 0
[pid=15739/tid=15741] ppid=15737 vsize=915464 CPUtime=0.03
/proc/15739/task/15741/stat : 15741 (java) S 15737 15739 15623 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 273859457 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15742] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15742/stat : 15742 (java) S 15737 15739 15623 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273859457 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15743] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15743/stat : 15743 (java) S 15737 15739 15623 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273859457 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15744] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15744/stat : 15744 (java) S 15737 15739 15623 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273859461 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15745] ppid=15737 vsize=915464 CPUtime=0.27
/proc/15739/task/15745/stat : 15745 (java) S 15737 15739 15623 0 -1 64 408 0 0 0 26 1 0 0 16 0 8 0 273859461 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15746] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15746/stat : 15746 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273859461 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15747] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15747/stat : 15747 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273859461 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 636.95
Current children cumulated vsize (KiB) 915464
[startup+703.185 s]
/proc/loadavg: 2.04 2.03 2.00 3/101 15945
/proc/meminfo: memFree=1252064/2055920 swapFree=4171812/4192956
[pid=15739] ppid=15737 vsize=915464 CPUtime=696.47
/proc/15739/stat : 15739 (java) R 15737 15739 15623 0 -1 0 9177 0 1 0 69526 121 0 0 25 0 8 0 273859453 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847496 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15739/statm: 228866 8906 2532 14 0 215336 0
[pid=15739/tid=15741] ppid=15737 vsize=915464 CPUtime=0.03
/proc/15739/task/15741/stat : 15741 (java) S 15737 15739 15623 0 -1 64 247 0 0 0 3 0 0 0 16 0 8 0 273859457 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15742] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15742/stat : 15742 (java) S 15737 15739 15623 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273859457 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15743] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15743/stat : 15743 (java) S 15737 15739 15623 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273859457 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15744] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15744/stat : 15744 (java) S 15737 15739 15623 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273859461 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15745] ppid=15737 vsize=915464 CPUtime=0.27
/proc/15739/task/15745/stat : 15745 (java) S 15737 15739 15623 0 -1 64 408 0 0 0 26 1 0 0 16 0 8 0 273859461 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15746] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15746/stat : 15746 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273859461 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15739/tid=15747] ppid=15737 vsize=915464 CPUtime=0
/proc/15739/task/15747/stat : 15747 (java) S 15737 15739 15623 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273859461 937435136 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 696.47
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 704.33
CPU time (s): 697.576
CPU user time (s): 696.353
CPU system time (s): 1.22281
CPU usage (%): 99.0411
Max. virtual memory (cumulated for all children) (KiB): 915980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 696.353
system time used= 1.22281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9273
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= 15448
involuntary context switches= 37216
runsolver used 0.886865 s user time and 2.25266 s system time
The end
Begin job on node11 on Sat Jan 20 00:57:24 UTC 2007
IDJOB= 277075
IDBENCH= 6244
IDSOLVER= 68
FILE ID= node11/277075-1169254644
PBS_JOBID= 3589100
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-30_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277075-1169254644/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-277075-1169254644 -o ROOT/results/node11/solver-277075-1169254644 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277075-1169254644/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 31b034c56b16dbe76fa8e864f4e606f4
RANDOM SEED= 279344592
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.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
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: 1278392 kB
Buffers: 63112 kB
Cached: 583460 kB
SwapCached: 2828 kB
Active: 231616 kB
Inactive: 466696 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1278392 kB
SwapTotal: 4192956 kB
SwapFree: 4171812 kB
Dirty: 1880 kB
Writeback: 0 kB
Mapped: 76440 kB
Slab: 63652 kB
Committed_AS: 8270956 kB
PageTables: 2476 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 node11 on Sat Jan 20 01:09:09 UTC 2007