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/282898-1169323734/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=83 nbDomainTypes=3 minDomainSize=1 maxDomainSize=4
0.40 => wckTime=0.106 cpuTime=0.09 mem=6M887
0.40
0.40 relations being loaded...
0.40
0.40 constraints being loaded...
0.52 nbConstraints=462 nbRelationTypes=7 nbSingletonDomainVariables=1 nbExtensionStructures=7
0.52 nbSharedExtensionStructures=455 nbConflictsStructures=7 nbSharedConflictsStructures=455
0.52 nbSharedBinaryRepresentations=28 maxDegree=82 maxArity=2
0.52 => wckTime=0.223 cpuTime=0.16 mem=8M837
0.55
0.55 solver LocalSearchSolver being built...
0.60 => wckTime=0.303 cpuTime=0.2 mem=5M615
0.60
0.60 s SATISFIABLE
0.60 o 351
0.60 c 111
0.60 o 360
0.60 c 102
0.60 o 369
0.60 c 93
0.60 o 376
0.60 c 86
0.60 o 381
0.60 c 81
0.61 o 385
0.61 c 77
0.61 o 389
0.61 c 73
0.61 o 392
0.61 c 70
0.61 o 394
0.61 c 68
0.61 o 396
0.61 c 66
0.61 o 398
0.61 c 64
0.61 o 399
0.61 c 63
0.61 o 400
0.61 c 62
0.61 o 401
0.61 c 61
0.61 o 402
0.61 c 60
0.61 o 403
0.62 c 59
0.62 o 404
0.62 c 58
0.62 o 405
0.62 c 57
0.62 o 406
0.62 c 56
0.62 o 407
0.62 c 55
0.62 o 408
0.62 c 54
0.62 o 409
0.62 c 53
0.62 o 410
0.62 c 52
0.62 o 411
0.62 c 51
0.62 o 412
0.63 c 50
2.24
2.24 search
2.25 run=0 nbConstraintChecks=8576666 nbAssignments=10000
2.25 => wckTime=1.649 cpuTime=1.62 mem=5M615
3.86
3.86 search
3.86 run=1 nbConstraintChecks=17454040 nbAssignments=20000
3.86 => wckTime=3.265 cpuTime=3.24 mem=5M615
5.44
5.44 search
5.44 run=2 nbConstraintChecks=26016595 nbAssignments=30000
5.44 => wckTime=4.842 cpuTime=4.82 mem=5M615
7.07
7.07 search
7.07 run=3 nbConstraintChecks=34928100 nbAssignments=40000
7.07 => wckTime=6.471 cpuTime=6.43 mem=5M615
8.63
8.63 search
8.64 run=4 nbConstraintChecks=43497068 nbAssignments=50000
8.64 => wckTime=8.04 cpuTime=8.0 mem=5M615
10.24
10.24 search
10.24 run=5 nbConstraintChecks=52448283 nbAssignments=60000
10.24 => wckTime=9.647 cpuTime=9.61 mem=5M615
11.81
11.81 search
11.81 run=6 nbConstraintChecks=61006023 nbAssignments=70000
11.81 => wckTime=11.212 cpuTime=11.17 mem=5M615
13.42
13.42 search
13.42 run=7 nbConstraintChecks=69952534 nbAssignments=80000
13.42 => wckTime=12.823 cpuTime=12.78 mem=5M615
13.42 o 413
13.42 c 49
13.42 o 414
13.42 c 48
14.98
14.98 search
14.98 run=8 nbConstraintChecks=78519490 nbAssignments=90000
14.98 => wckTime=14.389 cpuTime=14.35 mem=5M615
16.59
16.59 search
16.59 run=9 nbConstraintChecks=87438520 nbAssignments=100000
16.59 => wckTime=15.997 cpuTime=15.95 mem=5M615
18.16
18.16 search
18.16 run=10 nbConstraintChecks=95961031 nbAssignments=110000
18.16 => wckTime=17.568 cpuTime=17.52 mem=5M615
19.79
19.79 search
19.79 run=11 nbConstraintChecks=104957989 nbAssignments=120000
19.79 => wckTime=19.195 cpuTime=19.16 mem=5M615
21.37
21.37 search
21.37 run=12 nbConstraintChecks=113555762 nbAssignments=130000
21.37 => wckTime=20.778 cpuTime=20.73 mem=5M615
22.99
22.99 search
22.99 run=13 nbConstraintChecks=122452369 nbAssignments=140000
22.99 => wckTime=22.398 cpuTime=22.36 mem=5M615
24.57
24.57 search
24.57 run=14 nbConstraintChecks=130994663 nbAssignments=150000
24.57 => wckTime=23.975 cpuTime=23.93 mem=5M615
26.19
26.19 search
26.19 run=15 nbConstraintChecks=139948969 nbAssignments=160000
26.19 => wckTime=25.598 cpuTime=25.55 mem=5M615
27.77
27.77 search
27.77 run=16 nbConstraintChecks=148542007 nbAssignments=170000
27.77 => wckTime=27.175 cpuTime=27.13 mem=5M615
29.40
29.40 search
29.40 run=17 nbConstraintChecks=157412218 nbAssignments=180000
29.40 => wckTime=28.804 cpuTime=28.74 mem=5M615
30.98
30.98 search
30.98 run=18 nbConstraintChecks=166019471 nbAssignments=190000
30.98 => wckTime=30.381 cpuTime=30.3 mem=5M615
32.59
32.59 search
32.59 run=19 nbConstraintChecks=174958787 nbAssignments=200000
32.59 => wckTime=31.991 cpuTime=31.91 mem=5M615
34.16
34.16 search
34.16 run=20 nbConstraintChecks=183560660 nbAssignments=210000
34.16 => wckTime=33.562 cpuTime=33.49 mem=5M615
35.76
35.76 search
35.76 run=21 nbConstraintChecks=192397030 nbAssignments=220000
35.76 => wckTime=35.162 cpuTime=35.09 mem=5M615
37.33
37.33 search
37.33 run=22 nbConstraintChecks=200978532 nbAssignments=230000
37.33 => wckTime=36.73 cpuTime=36.65 mem=5M615
38.95
38.95 search
38.95 run=23 nbConstraintChecks=209956064 nbAssignments=240000
38.95 => wckTime=38.355 cpuTime=38.28 mem=5M615
40.53
40.53 search
40.53 run=24 nbConstraintChecks=218539949 nbAssignments=250000
40.53 => wckTime=39.936 cpuTime=39.86 mem=5M615
42.15
42.15 search
42.15 run=25 nbConstraintChecks=227444769 nbAssignments=260000
42.15 => wckTime=41.557 cpuTime=41.48 mem=5M615
43.47
43.47 search
43.47 run=26 nbConstraintChecks=234591749 nbAssignments=268371
43.47 => wckTime=42.876 cpuTime=42.8 mem=5M615
43.47
43.47 global
43.47 nbConstraintChecks=234591749 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.47 solvingWckTime=42.875 solvingCpuTime=42.79 expiredTime=no totalExploration=no nbFoundSolutions=0
43.47 globalCpuTime=43.04
43.47 => wckTime=43.18 cpuTime=43.0 mem=5M615
43.47
43.47 solver IterativeSystematicSolver being built...
43.60 => wckTime=43.31 cpuTime=43.1 mem=16M621
43.68
43.68 preprocessing
43.68 nbConstraintChecks=37562 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
43.68 detectedInconsistency=no
43.68 => wckTime=0.071 cpuTime=0.05 mem=16M621
43.71
43.71 search
43.71 run=0 nbConstraintChecks=39645 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=58
43.71 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=75 nbRestartNogoods=0
43.71 => wckTime=0.109 cpuTime=0.08 mem=16M621
43.74
43.74 search
43.75 run=1 nbConstraintChecks=68682 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=93
43.75 nbFailedAssignments=13 nbBacktracks=27 nbVisitedNodes=120 nbRestartNogoods=4
43.75 => wckTime=0.141 cpuTime=0.11 mem=16M621
43.81
43.81 search
43.81 run=2 nbConstraintChecks=120218 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=143
43.81 nbFailedAssignments=30 nbBacktracks=51 nbVisitedNodes=204 nbRestartNogoods=6
43.81 => wckTime=0.202 cpuTime=0.16 mem=16M621
43.88
43.88 search
43.88 run=3 nbConstraintChecks=190225 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=222
43.88 nbFailedAssignments=53 nbBacktracks=92 nbVisitedNodes=332 nbRestartNogoods=7
43.88 => wckTime=0.278 cpuTime=0.24 mem=16M621
43.98
43.98 search
43.98 run=4 nbConstraintChecks=275276 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=313
43.98 nbFailedAssignments=81 nbBacktracks=145 nbVisitedNodes=477 nbRestartNogoods=9
43.98 => wckTime=0.373 cpuTime=0.33 mem=16M621
44.11
44.11 search
44.11 run=5 nbConstraintChecks=454291 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=480
44.11 nbFailedAssignments=136 nbBacktracks=221 nbVisitedNodes=759 nbRestartNogoods=14
44.11 => wckTime=0.505 cpuTime=0.46 mem=16M621
44.31
44.31 search
44.31 run=6 nbConstraintChecks=716545 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=709
44.31 nbFailedAssignments=207 nbBacktracks=341 nbVisitedNodes=1145 nbRestartNogoods=22
44.31 => wckTime=0.705 cpuTime=0.66 mem=16M621
44.56
44.56 search
44.56 run=7 nbConstraintChecks=1122922 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1012
44.56 nbFailedAssignments=300 nbBacktracks=517 nbVisitedNodes=1717 nbRestartNogoods=31
44.56 => wckTime=0.951 cpuTime=0.91 mem=16M621
44.92
44.92 search
44.92 run=8 nbConstraintChecks=1726138 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1453
44.92 nbFailedAssignments=443 nbBacktracks=777 nbVisitedNodes=2554 nbRestartNogoods=38
44.92 => wckTime=1.314 cpuTime=1.26 mem=16M621
45.36
45.36 search
45.36 run=9 nbConstraintChecks=2519658 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2024
45.36 nbFailedAssignments=586 nbBacktracks=1169 nbVisitedNodes=3639 nbRestartNogoods=46
45.36 => wckTime=1.752 cpuTime=1.69 mem=16M621
45.97
45.97 search
45.97 run=10 nbConstraintChecks=3664401 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2830
45.97 nbFailedAssignments=777 nbBacktracks=1751 nbVisitedNodes=5170 nbRestartNogoods=55
45.97 => wckTime=2.362 cpuTime=2.29 mem=16M621
46.91
46.91 search
46.91 run=11 nbConstraintChecks=5369176 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4031
46.91 nbFailedAssignments=1069 nbBacktracks=2625 nbVisitedNodes=7474 nbRestartNogoods=62
46.91 => wckTime=3.301 cpuTime=3.23 mem=16M621
48.59
48.59 search
48.59 run=12 nbConstraintChecks=8326830 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6152
48.59 nbFailedAssignments=1856 nbBacktracks=3925 nbVisitedNodes=11550 nbRestartNogoods=75
48.59 => wckTime=4.981 cpuTime=4.9 mem=16M621
51.19
51.19 search
51.19 run=13 nbConstraintChecks=12813855 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9370
51.19 nbFailedAssignments=3098 nbBacktracks=5871 nbVisitedNodes=17850 nbRestartNogoods=83
51.19 => wckTime=7.584 cpuTime=7.51 mem=16M621
54.90
54.90 search
54.90 run=14 nbConstraintChecks=19282882 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14067
54.90 nbFailedAssignments=4846 nbBacktracks=8791 nbVisitedNodes=27012 nbRestartNogoods=99
54.90 => wckTime=11.295 cpuTime=11.2 mem=16M621
60.12
60.12 search
60.12 run=15 nbConstraintChecks=28774961 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20562
60.12 nbFailedAssignments=6924 nbBacktracks=13173 nbVisitedNodes=39743 nbRestartNogoods=112
60.12 => wckTime=16.51 cpuTime=16.42 mem=16M621
66.75
66.75 search
66.75 run=16 nbConstraintChecks=42775330 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32046
66.75 nbFailedAssignments=11802 nbBacktracks=19741 nbVisitedNodes=60507 nbRestartNogoods=126
66.75 => wckTime=23.147 cpuTime=23.05 mem=16M621
79.39
79.39 search
79.39 run=17 nbConstraintChecks=66452509 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48717
79.39 nbFailedAssignments=18589 nbBacktracks=29594 nbVisitedNodes=92654 nbRestartNogoods=137
79.39 => wckTime=35.787 cpuTime=35.67 mem=16M621
92.80
92.80 search
92.80 run=18 nbConstraintChecks=96272360 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73347
92.80 nbFailedAssignments=28402 nbBacktracks=44372 nbVisitedNodes=136851 nbRestartNogoods=147
92.80 => wckTime=49.196 cpuTime=49.07 mem=16M621
130.39
130.39 search
130.39 run=19 nbConstraintChecks=148770783 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=114978
130.39 nbFailedAssignments=47840 nbBacktracks=66540 nbVisitedNodes=216385 nbRestartNogoods=160
130.39 => wckTime=86.785 cpuTime=86.61 mem=16M621
180.02
180.02 search
180.02 run=20 nbConstraintChecks=229383144 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=173175
180.02 nbFailedAssignments=72755 nbBacktracks=99796 nbVisitedNodes=326132 nbRestartNogoods=168
180.02 => wckTime=136.418 cpuTime=136.19 mem=16M621
254.59
254.59 search
254.59 run=21 nbConstraintChecks=336786118 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=265503
254.59 nbFailedAssignments=115179 nbBacktracks=149674 nbVisitedNodes=493352 nbRestartNogoods=180
254.59 => wckTime=210.985 cpuTime=210.68 mem=16M621
351.63
351.63 search
351.63 run=22 nbConstraintChecks=519714397 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=394702
351.63 nbFailedAssignments=169535 nbBacktracks=224498 nbVisitedNodes=739704 nbRestartNogoods=195
351.63 => wckTime=308.024 cpuTime=307.62 mem=16M621
478.47
478.47 search
478.47 run=23 nbConstraintChecks=745663520 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=568427
478.47 nbFailedAssignments=230993 nbBacktracks=336726 nbVisitedNodes=1060739 nbRestartNogoods=207
478.47 => wckTime=434.867 cpuTime=434.34 mem=16M621
653.88
653.88 search
653.88 run=24 nbConstraintChecks=1062072402 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=826820
653.88 nbFailedAssignments=321017 nbBacktracks=505067 nbVisitedNodes=1515591 nbRestartNogoods=224
653.88 => wckTime=610.271 cpuTime=609.56 mem=16M621
876.91
876.91 search
876.91 run=25 nbConstraintChecks=1476505418 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1203043
876.91 nbFailedAssignments=444697 nbBacktracks=757586 nbVisitedNodes=2124961 nbRestartNogoods=236
876.91 => wckTime=833.301 cpuTime=832.37 mem=16M621
1188.50
1188.50 search
1188.50 run=26 nbConstraintChecks=2022265173 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1744459
1188.50 nbFailedAssignments=607309 nbBacktracks=1136353 nbVisitedNodes=2960113 nbRestartNogoods=245
1188.50 => wckTime=1144.894 cpuTime=1142.92 mem=16M621
1646.24
1646.24 search
1646.24 run=27 nbConstraintChecks=2843066748 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2537091
1646.24 nbFailedAssignments=831748 nbBacktracks=1704504 nbVisitedNodes=4171245 nbRestartNogoods=267
1646.24 => wckTime=1602.637 cpuTime=1597.15 mem=16M621
2407.81 v 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 0 2 0 0 0 1 1 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 3 2 0 1 1 1 0 1 3 3 3 2 0 1 1 0 1 3 2 0 1 3 1 3 0 0 3 2 -1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-282898-1169323734 -o ROOT/results/node7/solver-282898-1169323734 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282898-1169323734/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.95 1.99 1.99 3/87 1518
/proc/meminfo: memFree=1176912/2055920 swapFree=4192812/4192956
[pid=1517] ppid=1515 vsize=1784 CPUtime=0
/proc/1517/stat : 1517 (java) D 1515 1517 1449 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 280768845 1826816 163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10416932 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/1517/statm: 446 163 128 14 0 91 0
[startup+0.107639 s]
/proc/loadavg: 1.95 1.99 1.99 3/87 1518
/proc/meminfo: memFree=1176912/2055920 swapFree=4192812/4192956
[pid=1517] ppid=1515 vsize=914988 CPUtime=0.08
/proc/1517/stat : 1517 (java) R 1515 1517 1449 0 -1 0 3072 0 1 0 7 1 0 0 24 0 8 0 280768845 936947712 2818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1517/statm: 228747 2819 1454 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.518686 s]
/proc/loadavg: 1.95 1.99 1.99 3/87 1518
/proc/meminfo: memFree=1176912/2055920 swapFree=4192812/4192956
[pid=1517] ppid=1515 vsize=915332 CPUtime=0.5
/proc/1517/stat : 1517 (java) R 1515 1517 1449 0 -1 0 6686 0 1 0 46 4 0 0 25 0 8 0 280768845 937299968 6425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1517/statm: 228833 6425 2160 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.34077 s]
/proc/loadavg: 1.95 1.99 1.99 4/94 1525
/proc/meminfo: memFree=1158808/2055920 swapFree=4192812/4192956
[pid=1517] ppid=1515 vsize=915452 CPUtime=1.32
/proc/1517/stat : 1517 (java) R 1515 1517 1449 0 -1 0 7227 0 1 0 113 19 0 0 25 0 8 0 280768845 937422848 6965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1517/statm: 228863 6965 2479 14 0 215333 0
[pid=1517/tid=1519] ppid=1515 vsize=915452 CPUtime=0.02
/proc/1517/task/1519/stat : 1519 (java) S 1515 1517 1449 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 280768849 937422848 6965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1520] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1520/stat : 1520 (java) S 1515 1517 1449 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280768849 937422848 6965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1521] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1521/stat : 1521 (java) S 1515 1517 1449 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280768849 937422848 6965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1522] ppid=1515 vsize=915456 CPUtime=0
/proc/1517/task/1522/stat : 1522 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280768852 937426944 6965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1523] ppid=1515 vsize=915452 CPUtime=0.12
/proc/1517/task/1523/stat : 1523 (java) S 1515 1517 1449 0 -1 64 340 0 0 0 12 0 0 0 16 0 8 0 280768852 937422848 6965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1524] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1524/stat : 1524 (java) S 1515 1517 1449 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280768852 937422848 6965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1525] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1525/stat : 1525 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280768852 937422848 6965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915452
[startup+2.99495 s]
/proc/loadavg: 1.95 1.99 1.99 4/94 1525
/proc/meminfo: memFree=1158808/2055920 swapFree=4192812/4192956
[pid=1517] ppid=1515 vsize=915452 CPUtime=2.96
/proc/1517/stat : 1517 (java) R 1515 1517 1449 0 -1 0 7230 0 1 0 238 58 0 0 25 0 8 0 280768845 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1517/statm: 228863 6967 2479 14 0 215333 0
[pid=1517/tid=1519] ppid=1515 vsize=915452 CPUtime=0.02
/proc/1517/task/1519/stat : 1519 (java) S 1515 1517 1449 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 280768849 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1520] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1520/stat : 1520 (java) S 1515 1517 1449 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280768849 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1521] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1521/stat : 1521 (java) S 1515 1517 1449 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280768849 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1522] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1522/stat : 1522 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280768852 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1523] ppid=1515 vsize=915456 CPUtime=0.12
/proc/1517/task/1523/stat : 1523 (java) S 1515 1517 1449 0 -1 64 342 0 0 0 12 0 0 0 16 0 8 0 280768852 937426944 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1524] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1524/stat : 1524 (java) S 1515 1517 1449 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280768852 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1525] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1525/stat : 1525 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280768852 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915452
[startup+6.20228 s]
/proc/loadavg: 1.96 1.99 1.99 4/94 1525
/proc/meminfo: memFree=1158808/2055920 swapFree=4192812/4192956
[pid=1517] ppid=1515 vsize=915452 CPUtime=6.16
/proc/1517/stat : 1517 (java) R 1515 1517 1449 0 -1 0 7230 0 1 0 483 133 0 0 25 0 8 0 280768845 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1517/statm: 228863 6967 2479 14 0 215333 0
[pid=1517/tid=1519] ppid=1515 vsize=915452 CPUtime=0.02
/proc/1517/task/1519/stat : 1519 (java) S 1515 1517 1449 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 280768849 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1520] ppid=1515 vsize=915456 CPUtime=0
/proc/1517/task/1520/stat : 1520 (java) S 1515 1517 1449 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280768849 937426944 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1521] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1521/stat : 1521 (java) S 1515 1517 1449 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280768849 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1522] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1522/stat : 1522 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280768852 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1523] ppid=1515 vsize=915452 CPUtime=0.12
/proc/1517/task/1523/stat : 1523 (java) S 1515 1517 1449 0 -1 64 342 0 0 0 12 0 0 0 16 0 8 0 280768852 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1524] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1524/stat : 1524 (java) S 1515 1517 1449 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280768852 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1525] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1525/stat : 1525 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280768852 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915452
[startup+12.686 s]
/proc/loadavg: 1.96 1.99 1.99 4/94 1525
/proc/meminfo: memFree=1158808/2055920 swapFree=4192812/4192956
[pid=1517] ppid=1515 vsize=915452 CPUtime=12.65
/proc/1517/stat : 1517 (java) R 1515 1517 1449 0 -1 0 7230 0 1 0 986 279 0 0 25 0 8 0 280768845 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1517/statm: 228863 6967 2479 14 0 215333 0
[pid=1517/tid=1519] ppid=1515 vsize=915452 CPUtime=0.02
/proc/1517/task/1519/stat : 1519 (java) S 1515 1517 1449 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 280768849 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1520] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1520/stat : 1520 (java) S 1515 1517 1449 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280768849 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1521] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1521/stat : 1521 (java) S 1515 1517 1449 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280768849 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1522] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1522/stat : 1522 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280768852 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1523] ppid=1515 vsize=915452 CPUtime=0.12
/proc/1517/task/1523/stat : 1523 (java) S 1515 1517 1449 0 -1 64 342 0 0 0 12 0 0 0 16 0 8 0 280768852 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1524] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1524/stat : 1524 (java) S 1515 1517 1449 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280768852 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1525] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1525/stat : 1525 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280768852 937422848 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915452
[startup+25.5453 s]
/proc/loadavg: 1.97 1.99 1.99 3/94 1525
/proc/meminfo: memFree=1158872/2055920 swapFree=4192812/4192956
[pid=1517] ppid=1515 vsize=915452 CPUtime=25.5
/proc/1517/stat : 1517 (java) R 1515 1517 1449 0 -1 0 7232 0 1 0 1971 579 0 0 25 0 8 0 280768845 937422848 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1517/statm: 228863 6968 2479 14 0 215333 0
[pid=1517/tid=1519] ppid=1515 vsize=915456 CPUtime=0.02
/proc/1517/task/1519/stat : 1519 (java) S 1515 1517 1449 0 -1 64 181 0 0 0 2 0 0 0 16 0 8 0 280768849 937426944 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1520] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1520/stat : 1520 (java) S 1515 1517 1449 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280768849 937422848 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1521] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1521/stat : 1521 (java) S 1515 1517 1449 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280768849 937422848 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1522] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1522/stat : 1522 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280768852 937422848 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1523] ppid=1515 vsize=915452 CPUtime=0.13
/proc/1517/task/1523/stat : 1523 (java) S 1515 1517 1449 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 280768852 937422848 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1524] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1524/stat : 1524 (java) S 1515 1517 1449 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280768852 937422848 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1525] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1525/stat : 1525 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280768852 937422848 6968 18446744073709551615 134512640 134570532 4294956480 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) 915452
[startup+51.169 s]
/proc/loadavg: 1.98 1.99 1.99 3/94 1525
/proc/meminfo: memFree=1151576/2055920 swapFree=4192812/4192956
[pid=1517] ppid=1515 vsize=915452 CPUtime=51.08
/proc/1517/stat : 1517 (java) R 1515 1517 1449 0 -1 0 9147 0 1 0 4119 989 0 0 25 0 8 0 280768845 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073868654 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1517/statm: 228863 8879 2532 14 0 215333 0
[pid=1517/tid=1519] ppid=1515 vsize=915452 CPUtime=0.02
/proc/1517/task/1519/stat : 1519 (java) S 1515 1517 1449 0 -1 64 182 0 0 0 2 0 0 0 16 0 8 0 280768849 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1520] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1520/stat : 1520 (java) S 1515 1517 1449 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280768849 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1521] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1521/stat : 1521 (java) S 1515 1517 1449 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280768849 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1522] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1522/stat : 1522 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280768852 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1523] ppid=1515 vsize=915452 CPUtime=0.23
/proc/1517/task/1523/stat : 1523 (java) S 1515 1517 1449 0 -1 64 406 0 0 0 22 1 0 0 17 0 8 0 280768852 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1524] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1524/stat : 1524 (java) S 1515 1517 1449 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280768852 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1525] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1525/stat : 1525 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280768852 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 915452
[startup+102.447 s]
/proc/loadavg: 2.06 2.00 2.00 3/94 1525
/proc/meminfo: memFree=1151512/2055920 swapFree=4192812/4192956
[pid=1517] ppid=1515 vsize=915452 CPUtime=102.31
/proc/1517/stat : 1517 (java) R 1515 1517 1449 0 -1 0 9165 0 1 0 9241 990 0 0 25 0 8 0 280768845 937422848 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918480 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1517/statm: 228863 8896 2532 14 0 215333 0
[pid=1517/tid=1519] ppid=1515 vsize=915452 CPUtime=0.02
/proc/1517/task/1519/stat : 1519 (java) S 1515 1517 1449 0 -1 64 182 0 0 0 2 0 0 0 16 0 8 0 280768849 937422848 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1520] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1520/stat : 1520 (java) S 1515 1517 1449 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280768849 937422848 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1521] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1521/stat : 1521 (java) S 1515 1517 1449 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280768849 937422848 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1522] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1522/stat : 1522 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280768852 937422848 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1523] ppid=1515 vsize=915452 CPUtime=0.24
/proc/1517/task/1523/stat : 1523 (java) S 1515 1517 1449 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 280768852 937422848 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1524] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1524/stat : 1524 (java) S 1515 1517 1449 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280768852 937422848 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1525] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1525/stat : 1525 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280768852 937422848 8896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 915452
[startup+162.491 s]
/proc/loadavg: 2.02 2.00 2.00 3/94 1525
/proc/meminfo: memFree=1151448/2055920 swapFree=4192812/4192956
[pid=1517] ppid=1515 vsize=915452 CPUtime=162.29
/proc/1517/stat : 1517 (java) R 1515 1517 1449 0 -1 0 9168 0 1 0 15239 990 0 0 25 0 8 0 280768845 937422848 8899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073868722 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2016.14
Current children cumulated vsize (KiB) 915452
[startup+2083.44 s]
/proc/loadavg: 1.99 1.99 1.99 3/94 1995
/proc/meminfo: memFree=1221472/2055920 swapFree=4192812/4192956
[pid=1517] ppid=1515 vsize=915452 CPUtime=2076.09
/proc/1517/stat : 1517 (java) R 1515 1517 1449 0 -1 0 9189 0 1 0 206606 1003 0 0 25 0 8 0 280768845 937422848 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832583 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1517/statm: 228863 8920 2532 14 0 215333 0
[pid=1517/tid=1519] ppid=1515 vsize=915452 CPUtime=0.02
/proc/1517/task/1519/stat : 1519 (java) S 1515 1517 1449 0 -1 64 182 0 0 0 2 0 0 0 16 0 8 0 280768849 937422848 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1520] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1520/stat : 1520 (java) S 1515 1517 1449 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280768849 937422848 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1521] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1521/stat : 1521 (java) S 1515 1517 1449 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280768849 937422848 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1522] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1522/stat : 1522 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280768852 937422848 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1523] ppid=1515 vsize=915452 CPUtime=0.24
/proc/1517/task/1523/stat : 1523 (java) S 1515 1517 1449 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 280768852 937422848 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1524] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1524/stat : 1524 (java) S 1515 1517 1449 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280768852 937422848 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1525] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1525/stat : 1525 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280768852 937422848 8920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2076.09
Current children cumulated vsize (KiB) 915452
[startup+2143.46 s]
/proc/loadavg: 1.99 1.99 1.99 3/94 1995
/proc/meminfo: memFree=1221408/2055920 swapFree=4192812/4192956
[pid=1517] ppid=1515 vsize=915452 CPUtime=2136.04
/proc/1517/stat : 1517 (java) R 1515 1517 1449 0 -1 0 9190 0 1 0 212601 1003 0 0 25 0 8 0 280768845 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831497 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1517/statm: 228863 8921 2532 14 0 215333 0
[pid=1517/tid=1519] ppid=1515 vsize=915452 CPUtime=0.02
/proc/1517/task/1519/stat : 1519 (java) S 1515 1517 1449 0 -1 64 182 0 0 0 2 0 0 0 16 0 8 0 280768849 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1520] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1520/stat : 1520 (java) S 1515 1517 1449 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280768849 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1521] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1521/stat : 1521 (java) S 1515 1517 1449 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280768849 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1522] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1522/stat : 1522 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1523] ppid=1515 vsize=915452 CPUtime=0.24
/proc/1517/task/1523/stat : 1523 (java) S 1515 1517 1449 0 -1 64 408 0 0 0 23 1 0 0 16 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1524] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1524/stat : 1524 (java) S 1515 1517 1449 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1525] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1525/stat : 1525 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2136.04
Current children cumulated vsize (KiB) 915452
[startup+2203.47 s]
/proc/loadavg: 1.99 1.99 1.99 4/94 1995
/proc/meminfo: memFree=1221408/2055920 swapFree=4192812/4192956
[pid=1517] ppid=1515 vsize=915452 CPUtime=2195.99
/proc/1517/stat : 1517 (java) R 1515 1517 1449 0 -1 0 9191 0 1 0 218596 1003 0 0 25 0 8 0 280768845 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867417 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1517/statm: 228863 8921 2532 14 0 215333 0
[pid=1517/tid=1519] ppid=1515 vsize=915452 CPUtime=0.02
/proc/1517/task/1519/stat : 1519 (java) S 1515 1517 1449 0 -1 64 182 0 0 0 2 0 0 0 16 0 8 0 280768849 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1520] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1520/stat : 1520 (java) S 1515 1517 1449 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280768849 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1521] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1521/stat : 1521 (java) S 1515 1517 1449 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280768849 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1522] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1522/stat : 1522 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1523] ppid=1515 vsize=915452 CPUtime=0.24
/proc/1517/task/1523/stat : 1523 (java) S 1515 1517 1449 0 -1 64 408 0 0 0 23 1 0 0 16 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1524] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1524/stat : 1524 (java) S 1515 1517 1449 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1525] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1525/stat : 1525 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2195.99
Current children cumulated vsize (KiB) 915452
[startup+2263.51 s]
/proc/loadavg: 1.99 1.99 1.99 4/94 1995
/proc/meminfo: memFree=1221408/2055920 swapFree=4192812/4192956
[pid=1517] ppid=1515 vsize=915452 CPUtime=2255.97
/proc/1517/stat : 1517 (java) R 1515 1517 1449 0 -1 0 9191 0 1 0 224594 1003 0 0 25 0 8 0 280768845 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073901267 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1517/statm: 228863 8921 2532 14 0 215333 0
[pid=1517/tid=1519] ppid=1515 vsize=915452 CPUtime=0.02
/proc/1517/task/1519/stat : 1519 (java) S 1515 1517 1449 0 -1 64 182 0 0 0 2 0 0 0 16 0 8 0 280768849 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1520] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1520/stat : 1520 (java) S 1515 1517 1449 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280768849 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1521] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1521/stat : 1521 (java) S 1515 1517 1449 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280768849 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1522] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1522/stat : 1522 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1523] ppid=1515 vsize=915452 CPUtime=0.24
/proc/1517/task/1523/stat : 1523 (java) S 1515 1517 1449 0 -1 64 408 0 0 0 23 1 0 0 16 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1524] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1524/stat : 1524 (java) S 1515 1517 1449 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1525] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1525/stat : 1525 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2255.97
Current children cumulated vsize (KiB) 915452
[startup+2323.56 s]
/proc/loadavg: 1.99 1.99 1.99 4/94 1995
/proc/meminfo: memFree=1221472/2055920 swapFree=4192812/4192956
[pid=1517] ppid=1515 vsize=915452 CPUtime=2315.94
/proc/1517/stat : 1517 (java) R 1515 1517 1449 0 -1 0 9191 0 1 0 230591 1003 0 0 25 0 8 0 280768845 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470929 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1517/statm: 228863 8921 2532 14 0 215333 0
[pid=1517/tid=1519] ppid=1515 vsize=915452 CPUtime=0.02
/proc/1517/task/1519/stat : 1519 (java) S 1515 1517 1449 0 -1 64 182 0 0 0 2 0 0 0 16 0 8 0 280768849 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1520] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1520/stat : 1520 (java) S 1515 1517 1449 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280768849 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1521] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1521/stat : 1521 (java) S 1515 1517 1449 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280768849 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1522] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1522/stat : 1522 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1523] ppid=1515 vsize=915452 CPUtime=0.24
/proc/1517/task/1523/stat : 1523 (java) S 1515 1517 1449 0 -1 64 408 0 0 0 23 1 0 0 16 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1524] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1524/stat : 1524 (java) S 1515 1517 1449 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1525] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1525/stat : 1525 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2315.94
Current children cumulated vsize (KiB) 915452
[startup+2383.6 s]
/proc/loadavg: 2.08 2.02 2.00 4/94 1995
/proc/meminfo: memFree=1221408/2055920 swapFree=4192812/4192956
[pid=1517] ppid=1515 vsize=915452 CPUtime=2375.84
/proc/1517/stat : 1517 (java) R 1515 1517 1449 0 -1 0 9191 0 1 0 236581 1003 0 0 25 0 8 0 280768845 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832502 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1517/statm: 228863 8921 2532 14 0 215333 0
[pid=1517/tid=1519] ppid=1515 vsize=915452 CPUtime=0.02
/proc/1517/task/1519/stat : 1519 (java) S 1515 1517 1449 0 -1 64 182 0 0 0 2 0 0 0 16 0 8 0 280768849 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1520] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1520/stat : 1520 (java) S 1515 1517 1449 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280768849 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1521] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1521/stat : 1521 (java) S 1515 1517 1449 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280768849 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1522] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1522/stat : 1522 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1523] ppid=1515 vsize=915452 CPUtime=0.24
/proc/1517/task/1523/stat : 1523 (java) S 1515 1517 1449 0 -1 64 408 0 0 0 23 1 0 0 16 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1524] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1524/stat : 1524 (java) S 1515 1517 1449 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1525] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1525/stat : 1525 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2375.84
Current children cumulated vsize (KiB) 915452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2407.8 s]
/proc/loadavg: 2.05 2.02 2.00 4/94 1995
/proc/meminfo: memFree=1221408/2055920 swapFree=4192812/4192956
[pid=1517] ppid=1515 vsize=915452 CPUtime=2400.02
/proc/1517/stat : 1517 (java) R 1515 1517 1449 0 -1 0 9191 0 1 0 238999 1003 0 0 25 0 8 0 280768845 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867451 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1517/statm: 228863 8921 2532 14 0 215333 0
[pid=1517/tid=1519] ppid=1515 vsize=915452 CPUtime=0.02
/proc/1517/task/1519/stat : 1519 (java) S 1515 1517 1449 0 -1 64 182 0 0 0 2 0 0 0 16 0 8 0 280768849 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1520] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1520/stat : 1520 (java) S 1515 1517 1449 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280768849 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1521] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1521/stat : 1521 (java) S 1515 1517 1449 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280768849 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1522] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1522/stat : 1522 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1523] ppid=1515 vsize=915452 CPUtime=0.24
/proc/1517/task/1523/stat : 1523 (java) S 1515 1517 1449 0 -1 64 408 0 0 0 23 1 0 0 16 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1524] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1524/stat : 1524 (java) S 1515 1517 1449 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1517/tid=1525] ppid=1515 vsize=915452 CPUtime=0
/proc/1517/task/1525/stat : 1525 (java) S 1515 1517 1449 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280768852 937422848 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2407.84
CPU time (s): 2400.07
CPU user time (s): 2390.03
CPU system time (s): 10.0445
CPU usage (%): 99.6773
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.03
system time used= 10.0445
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9212
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= 49919
involuntary context switches= 95837
runsolver used 2.57461 s user time and 8.08477 s system time
The end
Begin job on node7 on Sat Jan 20 20:08:54 UTC 2007
IDJOB= 282898
IDBENCH= 12909
IDSOLVER= 68
FILE ID= node7/282898-1169323734
PBS_JOBID= 3610471
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/spot5/spot5-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282898-1169323734/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-282898-1169323734 -o ROOT/results/node7/solver-282898-1169323734 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282898-1169323734/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d6994feb2c840659c8083290fb61c6fc
RANDOM SEED= 972040650
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.220
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.220
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: 1177392 kB
Buffers: 56932 kB
Cached: 541876 kB
SwapCached: 0 kB
Active: 362744 kB
Inactive: 432380 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1177392 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2076 kB
Writeback: 0 kB
Mapped: 216464 kB
Slab: 67668 kB
Committed_AS: 9472732 kB
PageTables: 2636 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66560 MiB
End job on node7 on Sat Jan 20 20:49:10 UTC 2007