0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=epfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/278398-1169287819/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.38 => wckTime=0.089 cpuTime=0.08 mem=6M887
0.38
0.38 relations being loaded...
0.39
0.39 constraints being loaded...
0.53 nbConstraints=531 nbRelationTypes=14 nbExtensionStructures=14 nbSharedExtensionStructures=517
0.53 nbConflictsStructures=14 nbSharedConflictsStructures=517 nbSharedBinaryRepresentations=52 maxDegree=31
0.53 maxArity=2
0.53 => wckTime=0.233 cpuTime=0.16 mem=8M847
0.57
0.57 solver LocalSearchSolver being built...
0.61 => wckTime=0.312 cpuTime=0.2 mem=5M627
0.61
0.61 s SATISFIABLE
0.61 o 334
0.61 c 197
0.61 o 340
0.61 c 191
0.61 o 346
0.61 c 185
0.61 o 353
0.61 c 178
0.61 o 357
0.61 c 174
0.62 o 360
0.62 c 171
0.62 o 364
0.62 c 167
0.62 o 368
0.62 c 163
0.62 o 369
0.62 c 162
0.62 o 371
0.62 c 160
0.62 o 376
0.62 c 155
0.62 o 379
0.62 c 152
0.62 o 380
0.62 c 151
0.62 o 381
0.62 c 150
0.62 o 385
0.62 c 146
0.63 o 388
0.63 c 143
0.63 o 389
0.63 c 142
0.66 o 392
0.66 c 139
0.69 o 393
0.69 c 138
0.87 o 394
0.87 c 137
0.87 o 395
0.87 c 136
2.47
2.47 search
2.47 run=0 nbConstraintChecks=8239682 nbAssignments=10000
2.47 => wckTime=1.868 cpuTime=1.84 mem=5M627
4.18
4.18 search
4.18 run=1 nbConstraintChecks=16604497 nbAssignments=20000
4.18 => wckTime=3.577 cpuTime=3.54 mem=5M627
5.87
5.87 search
5.87 run=2 nbConstraintChecks=24849709 nbAssignments=30000
5.87 => wckTime=5.27 cpuTime=5.22 mem=5M627
7.58
7.58 search
7.58 run=3 nbConstraintChecks=33218691 nbAssignments=40000
7.58 => wckTime=6.974 cpuTime=6.92 mem=5M627
9.29
9.29 search
9.29 run=4 nbConstraintChecks=41469287 nbAssignments=50000
9.29 => wckTime=8.682 cpuTime=8.61 mem=5M627
11.02
11.02 search
11.02 run=5 nbConstraintChecks=49824990 nbAssignments=60000
11.02 => wckTime=10.414 cpuTime=10.34 mem=5M627
12.74
12.74 search
12.74 run=6 nbConstraintChecks=58097232 nbAssignments=70000
12.74 => wckTime=12.135 cpuTime=12.05 mem=5M627
14.51
14.51 search
14.51 run=7 nbConstraintChecks=66461687 nbAssignments=80000
14.51 => wckTime=13.905 cpuTime=13.81 mem=5M627
16.31
16.31 search
16.31 run=8 nbConstraintChecks=74723426 nbAssignments=90000
16.31 => wckTime=15.701 cpuTime=15.61 mem=5M627
18.12
18.12 search
18.12 run=9 nbConstraintChecks=83073839 nbAssignments=100000
18.12 => wckTime=17.514 cpuTime=17.42 mem=5M627
19.93
19.93 search
19.93 run=10 nbConstraintChecks=91321364 nbAssignments=110000
19.93 => wckTime=19.323 cpuTime=19.23 mem=5M627
21.75
21.75 search
21.75 run=11 nbConstraintChecks=99701332 nbAssignments=120000
21.76 => wckTime=21.151 cpuTime=21.05 mem=5M627
23.57
23.57 search
23.57 run=12 nbConstraintChecks=107956772 nbAssignments=130000
23.57 => wckTime=22.961 cpuTime=22.87 mem=5M627
25.39
25.39 search
25.39 run=13 nbConstraintChecks=116312339 nbAssignments=140000
25.39 => wckTime=24.785 cpuTime=24.69 mem=5M627
27.20
27.20 search
27.20 run=14 nbConstraintChecks=124570953 nbAssignments=150000
27.20 => wckTime=26.596 cpuTime=26.5 mem=5M627
29.01
29.01 search
29.01 run=15 nbConstraintChecks=132938980 nbAssignments=160000
29.01 => wckTime=28.409 cpuTime=28.31 mem=5M627
30.81
30.81 search
30.81 run=16 nbConstraintChecks=141183481 nbAssignments=170000
30.81 => wckTime=30.202 cpuTime=30.1 mem=5M627
30.97
30.97 search
30.97 run=17 nbConstraintChecks=141938184 nbAssignments=170905
30.97 => wckTime=30.366 cpuTime=30.27 mem=5M627
30.97
30.97 global
30.97 nbConstraintChecks=141938184 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.97 solvingWckTime=30.363 solvingCpuTime=30.27 expiredTime=no totalExploration=no nbFoundSolutions=0
30.97 globalCpuTime=30.52
30.97 => wckTime=30.677 cpuTime=30.47 mem=5M627
30.97
30.97 solver IterativeSystematicSolver being built...
31.11 => wckTime=30.815 cpuTime=30.58 mem=16M631
31.17
31.17 preprocessing
31.17 nbConstraintChecks=39676 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.17 detectedInconsistency=no
31.17 => wckTime=0.057 cpuTime=0.04 mem=16M631
31.19
31.19 search
31.19 run=0 nbConstraintChecks=38719 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34
31.19 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=51 nbRestartNogoods=0
31.19 => wckTime=0.083 cpuTime=0.06 mem=16M631
31.23
31.23 search
31.23 run=1 nbConstraintChecks=97771 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=80
31.24 nbFailedAssignments=17 nbBacktracks=27 nbVisitedNodes=125 nbRestartNogoods=2
31.24 => wckTime=0.125 cpuTime=0.09 mem=16M631
31.27
31.27 search
31.27 run=2 nbConstraintChecks=167618 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=133
31.27 nbFailedAssignments=31 nbBacktracks=49 nbVisitedNodes=213 nbRestartNogoods=6
31.27 => wckTime=0.157 cpuTime=0.12 mem=16M631
31.31
31.31 search
31.31 run=3 nbConstraintChecks=262547 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=199
31.31 nbFailedAssignments=50 nbBacktracks=82 nbVisitedNodes=328 nbRestartNogoods=9
31.31 => wckTime=0.202 cpuTime=0.17 mem=16M631
31.39
31.39 search
31.39 run=4 nbConstraintChecks=421160 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=305
31.39 nbFailedAssignments=89 nbBacktracks=132 nbVisitedNodes=519 nbRestartNogoods=11
31.39 => wckTime=0.276 cpuTime=0.24 mem=16M631
31.49
31.49 search
31.49 run=5 nbConstraintChecks=644935 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=450
31.49 nbFailedAssignments=143 nbBacktracks=207 nbVisitedNodes=789 nbRestartNogoods=14
31.49 => wckTime=0.379 cpuTime=0.34 mem=16M631
31.62
31.62 search
31.62 run=6 nbConstraintChecks=969168 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=654
31.62 nbFailedAssignments=218 nbBacktracks=320 nbVisitedNodes=1180 nbRestartNogoods=18
31.62 => wckTime=0.513 cpuTime=0.47 mem=16M631
31.82
31.82 search
31.82 run=7 nbConstraintChecks=1418184 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=932
31.82 nbFailedAssignments=315 nbBacktracks=490 nbVisitedNodes=1716 nbRestartNogoods=22
31.82 => wckTime=0.711 cpuTime=0.67 mem=16M631
32.11
32.11 search
32.11 run=8 nbConstraintChecks=2091066 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1342
32.11 nbFailedAssignments=453 nbBacktracks=746 nbVisitedNodes=2518 nbRestartNogoods=23
32.11 => wckTime=0.996 cpuTime=0.95 mem=16M631
32.60
32.60 search
32.60 run=9 nbConstraintChecks=3204041 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2009
32.60 nbFailedAssignments=720 nbBacktracks=1131 nbVisitedNodes=3825 nbRestartNogoods=28
32.60 => wckTime=1.492 cpuTime=1.43 mem=16M631
33.24
33.24 search
33.24 run=10 nbConstraintChecks=4758919 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2948
33.24 nbFailedAssignments=1069 nbBacktracks=1707 nbVisitedNodes=5665 nbRestartNogoods=33
33.24 => wckTime=2.128 cpuTime=2.06 mem=16M631
34.28
34.28 search
34.28 run=11 nbConstraintChecks=7241657 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4431
34.28 nbFailedAssignments=1673 nbBacktracks=2571 nbVisitedNodes=8567 nbRestartNogoods=38
34.28 => wckTime=3.174 cpuTime=3.1 mem=16M631
35.69
35.69 search
35.69 run=12 nbConstraintChecks=10670026 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6519
35.69 nbFailedAssignments=2451 nbBacktracks=3868 nbVisitedNodes=12671 nbRestartNogoods=43
35.69 => wckTime=4.582 cpuTime=4.51 mem=16M631
38.07
38.07 search
38.07 run=13 nbConstraintChecks=16322449 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9853
38.07 nbFailedAssignments=3818 nbBacktracks=5815 nbVisitedNodes=19202 nbRestartNogoods=48
38.07 => wckTime=6.958 cpuTime=6.88 mem=16M631
41.70
41.70 search
41.70 run=14 nbConstraintChecks=24434630 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14625
41.70 nbFailedAssignments=5655 nbBacktracks=8734 nbVisitedNodes=28584 nbRestartNogoods=53
41.70 => wckTime=10.585 cpuTime=10.51 mem=16M631
46.71
46.71 search
46.71 run=15 nbConstraintChecks=36392298 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21758
46.71 nbFailedAssignments=8393 nbBacktracks=13112 nbVisitedNodes=42647 nbRestartNogoods=57
46.71 => wckTime=15.602 cpuTime=15.52 mem=16M631
54.35
54.35 search
54.35 run=16 nbConstraintChecks=53996974 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32231
54.35 nbFailedAssignments=12285 nbBacktracks=19680 nbVisitedNodes=63297 nbRestartNogoods=60
54.35 => wckTime=23.243 cpuTime=23.16 mem=16M631
66.32
66.32 search
66.32 run=17 nbConstraintChecks=81653983 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48550
66.32 nbFailedAssignments=18738 nbBacktracks=29533 nbVisitedNodes=95450 nbRestartNogoods=66
66.32 => wckTime=35.209 cpuTime=35.12 mem=16M631
84.94
84.94 search
84.94 run=18 nbConstraintChecks=123192787 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=72827
84.94 nbFailedAssignments=28224 nbBacktracks=44311 nbVisitedNodes=143173 nbRestartNogoods=73
84.94 => wckTime=53.827 cpuTime=53.73 mem=16M631
112.81
112.81 search
112.81 run=19 nbConstraintChecks=185050108 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=109293
112.81 nbFailedAssignments=42510 nbBacktracks=66480 nbVisitedNodes=214903 nbRestartNogoods=80
112.81 => wckTime=81.703 cpuTime=81.6 mem=16M631
116.11 o 397
116.11 c 134
154.80
154.81 search
154.81 run=20 nbConstraintChecks=276930539 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=164045
154.81 nbFailedAssignments=63998 nbBacktracks=99732 nbVisitedNodes=322120 nbRestartNogoods=87
154.81 => wckTime=123.694 cpuTime=123.59 mem=16M631
215.03
215.03 search
215.03 run=21 nbConstraintChecks=408101631 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=246096
215.03 nbFailedAssignments=96161 nbBacktracks=149610 nbVisitedNodes=480532 nbRestartNogoods=94
215.03 => wckTime=183.923 cpuTime=183.8 mem=16M631
305.89
305.89 search
305.89 run=22 nbConstraintChecks=600831975 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=368546
305.89 nbFailedAssignments=143782 nbBacktracks=224428 nbVisitedNodes=714604 nbRestartNogoods=103
305.89 => wckTime=274.782 cpuTime=274.64 mem=16M631
315.09
315.09 search
315.09 run=23 nbConstraintChecks=619683195 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=380453
315.09 nbFailedAssignments=148167 nbBacktracks=231951 nbVisitedNodes=737172 nbRestartNogoods=105
315.09 => wckTime=283.981 cpuTime=283.83 mem=16M631
315.09
315.09 global
315.09 nbConstraintChecks=619722871 nbRestartNogoods=105 solvingWckTime=283.981 solvingCpuTime=283.83 expiredTime=no
315.09 totalExploration=yes nbFoundSolutions=1 globalCpuTime=314.46
315.09 => wckTime=314.797 cpuTime=314.41 mem=17M606
315.10
315.10 s OPTIMUM FOUND
315.10 v 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1
315.10
315.10 totalWckTime=314.875 totalCpuTime=314.46
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-278398-1169287819 -o ROOT/results/node18/solver-278398-1169287819 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278398-1169287819/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.12 1.65 1.77 3/81 13392
/proc/meminfo: memFree=1294064/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=1500 CPUtime=0
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 254 0 0 0 0 0 0 0 18 0 1 0 277176698 1536000 60 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7830497 0 0 4096 0 0 0 0 17 1 0 0
/proc/13391/statm: 375 69 55 14 0 8 0
[startup+0.102899 s]
/proc/loadavg: 1.12 1.65 1.77 3/81 13392
/proc/meminfo: memFree=1294064/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=914988 CPUtime=0.09
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 3069 0 1 0 8 1 0 0 16 0 8 0 277176698 936947712 2815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13391/statm: 228747 2815 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.510938 s]
/proc/loadavg: 1.12 1.65 1.77 3/81 13392
/proc/meminfo: memFree=1294064/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915332 CPUtime=0.5
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 6582 0 1 0 46 4 0 0 16 0 8 0 277176698 937299968 6321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073649872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13391/statm: 228833 6322 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33301 s]
/proc/loadavg: 1.12 1.65 1.77 2/88 13399
/proc/meminfo: memFree=1276088/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915460 CPUtime=1.31
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 7175 0 1 0 112 19 0 0 17 0 8 0 277176698 937431040 6913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13391/statm: 228866 6913 2479 14 0 215336 0
[pid=13391/tid=13393] ppid=13389 vsize=915460 CPUtime=0.02
/proc/13391/task/13393/stat : 13393 (java) S 13389 13391 12776 0 -1 64 188 0 0 0 2 0 0 0 16 0 8 0 277176701 937431040 6913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13391/tid=13394] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13394/stat : 13394 (java) S 13389 13391 12776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 6913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13395] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13395/stat : 13395 (java) S 13389 13391 12776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 6913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13396] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13396/stat : 13396 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277176704 937431040 6913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13397] ppid=13389 vsize=915464 CPUtime=0.11
/proc/13391/task/13397/stat : 13397 (java) S 13389 13391 12776 0 -1 64 339 0 0 0 11 0 0 0 16 0 8 0 277176704 937435136 6913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13391/tid=13398] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13398/stat : 13398 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277176704 937431040 6913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13399] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13399/stat : 13399 (java) S 13389 13391 12776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277176704 937431040 6913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.98417 s]
/proc/loadavg: 1.11 1.64 1.77 2/88 13404
/proc/meminfo: memFree=1278008/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915460 CPUtime=2.95
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 7179 0 1 0 238 57 0 0 17 0 8 0 277176698 937431040 6915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073704310 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13391/statm: 228865 6915 2479 14 0 215335 0
[pid=13391/tid=13393] ppid=13389 vsize=915460 CPUtime=0.02
/proc/13391/task/13393/stat : 13393 (java) S 13389 13391 12776 0 -1 64 188 0 0 0 2 0 0 0 17 0 8 0 277176701 937431040 6915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13391/tid=13394] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13394/stat : 13394 (java) S 13389 13391 12776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 6915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13395] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13395/stat : 13395 (java) S 13389 13391 12776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 6915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13396] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13396/stat : 13396 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277176704 937431040 6915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13397] ppid=13389 vsize=915460 CPUtime=0.12
/proc/13391/task/13397/stat : 13397 (java) S 13389 13391 12776 0 -1 64 341 0 0 0 12 0 0 0 16 0 8 0 277176704 937431040 6915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13391/tid=13398] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13398/stat : 13398 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277176704 937431040 6915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13399] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13399/stat : 13399 (java) S 13389 13391 12776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277176704 937431040 6915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.27949 s]
/proc/loadavg: 1.11 1.64 1.77 3/95 13469
/proc/meminfo: memFree=1274240/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915460 CPUtime=6.23
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 7180 0 1 0 495 128 0 0 25 0 8 0 277176698 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073702921 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13391/statm: 228865 6916 2479 14 0 215335 0
[pid=13391/tid=13393] ppid=13389 vsize=915460 CPUtime=0.02
/proc/13391/task/13393/stat : 13393 (java) S 13389 13391 12776 0 -1 64 188 0 0 0 2 0 0 0 16 0 8 0 277176701 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13391/tid=13394] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13394/stat : 13394 (java) S 13389 13391 12776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13395] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13395/stat : 13395 (java) S 13389 13391 12776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13396] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13396/stat : 13396 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13397] ppid=13389 vsize=915460 CPUtime=0.12
/proc/13391/task/13397/stat : 13397 (java) S 13389 13391 12776 0 -1 64 342 0 0 0 12 0 0 0 16 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13398] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13398/stat : 13398 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13399] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13399/stat : 13399 (java) S 13389 13391 12776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460
[startup+12.7611 s]
/proc/loadavg: 1.17 1.64 1.76 3/96 13571
/proc/meminfo: memFree=1273088/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915460 CPUtime=12.68
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 7180 0 1 0 996 272 0 0 16 0 8 0 277176698 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073700040 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13391/statm: 228865 6916 2479 14 0 215335 0
[pid=13391/tid=13393] ppid=13389 vsize=915460 CPUtime=0.02
/proc/13391/task/13393/stat : 13393 (java) S 13389 13391 12776 0 -1 64 188 0 0 0 2 0 0 0 16 0 8 0 277176701 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13391/tid=13394] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13394/stat : 13394 (java) S 13389 13391 12776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13395] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13395/stat : 13395 (java) S 13389 13391 12776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13396] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13396/stat : 13396 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13397] ppid=13389 vsize=915460 CPUtime=0.12
/proc/13391/task/13397/stat : 13397 (java) S 13389 13391 12776 0 -1 64 342 0 0 0 12 0 0 0 16 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13398] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13398/stat : 13398 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13399] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13399/stat : 13399 (java) S 13389 13391 12776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915460
[startup+25.5904 s]
/proc/loadavg: 1.14 1.61 1.75 2/85 13605
/proc/meminfo: memFree=1283176/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915460 CPUtime=25.5
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 7180 0 1 0 1996 554 0 0 17 0 8 0 277176698 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13391/statm: 228865 6916 2479 14 0 215335 0
[pid=13391/tid=13393] ppid=13389 vsize=915460 CPUtime=0.02
/proc/13391/task/13393/stat : 13393 (java) S 13389 13391 12776 0 -1 64 188 0 0 0 2 0 0 0 16 0 8 0 277176701 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13394/stat : 13394 (java) S 13389 13391 12776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13395] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13395/stat : 13395 (java) S 13389 13391 12776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13396] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13396/stat : 13396 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13397] ppid=13389 vsize=915460 CPUtime=0.12
/proc/13391/task/13397/stat : 13397 (java) S 13389 13391 12776 0 -1 64 342 0 0 0 12 0 0 0 16 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13398] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13398/stat : 13398 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277176704 937431040 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13399] ppid=13389 vsize=915464 CPUtime=0
/proc/13391/task/13399/stat : 13399 (java) S 13389 13391 12776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277176704 937435136 6916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915460
[startup+51.2798 s]
/proc/loadavg: 1.09 1.56 1.73 2/85 13605
/proc/meminfo: memFree=1275880/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915460 CPUtime=51.19
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 9171 0 1 0 4444 675 0 0 25 0 8 0 277176698 937431040 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839472 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13391/statm: 228865 8904 2532 14 0 215335 0
[pid=13391/tid=13393] ppid=13389 vsize=915460 CPUtime=0.02
/proc/13391/task/13393/stat : 13393 (java) S 13389 13391 12776 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 277176701 937431040 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13394/stat : 13394 (java) S 13389 13391 12776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13395] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13395/stat : 13395 (java) S 13389 13391 12776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13396] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13396/stat : 13396 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277176704 937431040 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13397] ppid=13389 vsize=915460 CPUtime=0.23
/proc/13391/task/13397/stat : 13397 (java) S 13389 13391 12776 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 277176704 937431040 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13398] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13398/stat : 13398 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277176704 937431040 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13399] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13399/stat : 13399 (java) S 13389 13391 12776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277176704 937431040 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 915460
[startup+102.545 s]
/proc/loadavg: 1.04 1.47 1.69 2/85 13605
/proc/meminfo: memFree=1275880/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915460 CPUtime=102.44
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 9179 0 1 0 9569 675 0 0 25 0 8 0 277176698 937431040 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822470 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13391/statm: 228865 8912 2532 14 0 215335 0
[pid=13391/tid=13393] ppid=13389 vsize=915460 CPUtime=0.02
/proc/13391/task/13393/stat : 13393 (java) S 13389 13391 12776 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 277176701 937431040 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13394/stat : 13394 (java) S 13389 13391 12776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13395] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13395/stat : 13395 (java) S 13389 13391 12776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13396] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13396/stat : 13396 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277176704 937431040 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13397] ppid=13389 vsize=915460 CPUtime=0.23
/proc/13391/task/13397/stat : 13397 (java) S 13389 13391 12776 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 277176704 937431040 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13398] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13398/stat : 13398 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277176704 937431040 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13399] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13399/stat : 13399 (java) S 13389 13391 12776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277176704 937431040 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.44
Current children cumulated vsize (KiB) 915460
[startup+162.645 s]
/proc/loadavg: 1.01 1.38 1.64 2/85 13605
/proc/meminfo: memFree=1275880/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915460 CPUtime=162.52
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 9187 0 1 0 15577 675 0 0 25 0 8 0 277176698 937431040 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848503 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13391/statm: 228865 8918 2532 14 0 215335 0
[pid=13391/tid=13393] ppid=13389 vsize=915460 CPUtime=0.02
/proc/13391/task/13393/stat : 13393 (java) S 13389 13391 12776 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 277176701 937431040 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13394/stat : 13394 (java) S 13389 13391 12776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13395] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13395/stat : 13395 (java) S 13389 13391 12776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13396] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13396/stat : 13396 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277176704 937431040 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13397] ppid=13389 vsize=915460 CPUtime=0.23
/proc/13391/task/13397/stat : 13397 (java) S 13389 13391 12776 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 277176704 937431040 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13398] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13398/stat : 13398 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277176704 937431040 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13399] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13399/stat : 13399 (java) S 13389 13391 12776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277176704 937431040 8918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.52
Current children cumulated vsize (KiB) 915460
[startup+222.747 s]
/proc/loadavg: 1.00 1.31 1.60 2/85 13605
/proc/meminfo: memFree=1275880/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915460 CPUtime=222.61
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 9189 0 1 0 21586 675 0 0 25 0 8 0 277176698 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073714591 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13391/statm: 228865 8920 2532 14 0 215335 0
[pid=13391/tid=13393] ppid=13389 vsize=915460 CPUtime=0.02
/proc/13391/task/13393/stat : 13393 (java) S 13389 13391 12776 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 277176701 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13394/stat : 13394 (java) S 13389 13391 12776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13395] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13395/stat : 13395 (java) S 13389 13391 12776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13396] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13396/stat : 13396 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277176704 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13397] ppid=13389 vsize=915460 CPUtime=0.23
/proc/13391/task/13397/stat : 13397 (java) S 13389 13391 12776 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 277176704 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13398] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13398/stat : 13398 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277176704 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13399] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13399/stat : 13399 (java) S 13389 13391 12776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277176704 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.61
Current children cumulated vsize (KiB) 915460
[startup+282.845 s]
/proc/loadavg: 1.00 1.25 1.56 2/85 13605
/proc/meminfo: memFree=1275880/2055920 swapFree=4192812/4192956
[pid=13391] ppid=13389 vsize=915460 CPUtime=282.69
/proc/13391/stat : 13391 (java) R 13389 13391 12776 0 -1 0 9189 0 1 0 27594 675 0 0 25 0 8 0 277176698 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839209 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13391/statm: 228865 8920 2532 14 0 215335 0
[pid=13391/tid=13393] ppid=13389 vsize=915460 CPUtime=0.02
/proc/13391/task/13393/stat : 13393 (java) S 13389 13391 12776 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 277176701 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13394] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13394/stat : 13394 (java) S 13389 13391 12776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13395] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13395/stat : 13395 (java) S 13389 13391 12776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277176701 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13396] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13396/stat : 13396 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277176704 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13397] ppid=13389 vsize=915460 CPUtime=0.23
/proc/13391/task/13397/stat : 13397 (java) S 13389 13391 12776 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 277176704 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13398] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13398/stat : 13398 (java) S 13389 13391 12776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277176704 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13391/tid=13399] ppid=13389 vsize=915460 CPUtime=0
/proc/13391/task/13399/stat : 13399 (java) S 13389 13391 12776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277176704 937431040 8920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.69
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 315.168
CPU time (s): 314.955
CPU user time (s): 308.189
CPU system time (s): 6.76597
CPU usage (%): 99.9326
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 308.189
system time used= 6.76597
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9286
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= 7241
involuntary context switches= 980
runsolver used 0.285956 s user time and 0.845871 s system time
The end
Begin job on node18 on Sat Jan 20 10:10:20 UTC 2007
IDJOB= 278398
IDBENCH= 8321
IDSOLVER= 68
FILE ID= node18/278398-1169287819
PBS_JOBID= 3609526
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-100-1000/cnf-2-40-900-536221_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278398-1169287819/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-278398-1169287819 -o ROOT/results/node18/solver-278398-1169287819 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278398-1169287819/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ccfbb8c72d2512e999a65c5ec7bdec39
RANDOM SEED= 287134235
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1294416 kB
Buffers: 53300 kB
Cached: 568084 kB
SwapCached: 0 kB
Active: 253464 kB
Inactive: 428228 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1294416 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4368 kB
Writeback: 0 kB
Mapped: 79328 kB
Slab: 65036 kB
Committed_AS: 8575680 kB
PageTables: 1920 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66563 MiB
End job on node18 on Sat Jan 20 10:15:35 UTC 2007