0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/280414-1169305615/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.101 cpuTime=0.09 mem=6M887
0.41
0.41 relations being loaded...
0.62
0.62 constraints being loaded...
0.73 nbConstraints=5 nbRelationTypes=5 nbDisconnectedVariables=2 nbExtensionStructures=5
0.73 nbSharedExtensionStructures=0 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 maxDegree=4
0.73 maxArity=10
0.73 => wckTime=0.421 cpuTime=0.38 mem=38M334
0.79
0.79 solver LocalSearchSolver being built...
0.83 => wckTime=0.524 cpuTime=0.42 mem=10M983
0.83
0.83 s SATISFIABLE
0.83 o 0
0.83 c 5
6.12
6.12 search
6.12 run=0 nbConstraintChecks=4300005 nbAssignments=10000
6.12 => wckTime=5.291 cpuTime=5.26 mem=10M983
7.15 o 1
7.15 c 4
11.05
11.05 search
11.05 run=1 nbConstraintChecks=8524076 nbAssignments=20000
11.05 => wckTime=10.226 cpuTime=10.17 mem=10M983
16.05
16.05 search
16.05 run=2 nbConstraintChecks=12878591 nbAssignments=30000
16.05 => wckTime=15.221 cpuTime=15.15 mem=10M983
21.06
21.06 search
21.06 run=3 nbConstraintChecks=17234597 nbAssignments=40000
21.06 => wckTime=20.237 cpuTime=20.14 mem=10M983
26.05
26.05 search
26.05 run=4 nbConstraintChecks=21558291 nbAssignments=50000
26.05 => wckTime=25.218 cpuTime=25.1 mem=10M983
30.85
30.85 search
30.85 run=5 nbConstraintChecks=25724429 nbAssignments=60000
30.85 => wckTime=30.021 cpuTime=29.88 mem=10M983
35.85
35.85 search
35.85 run=6 nbConstraintChecks=30080434 nbAssignments=70000
35.85 => wckTime=35.018 cpuTime=34.86 mem=10M983
37.28
37.28 search
37.28 run=7 nbConstraintChecks=31322349 nbAssignments=72851
37.28 => wckTime=36.451 cpuTime=36.29 mem=10M983
37.28
37.28 global
37.28 nbConstraintChecks=31322349 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.28 solvingWckTime=36.45 solvingCpuTime=36.29 expiredTime=no totalExploration=no nbFoundSolutions=0
37.28 globalCpuTime=36.75
37.28 => wckTime=36.976 cpuTime=36.71 mem=10M983
37.28
37.28 solver IterativeSystematicSolver being built...
37.42 => wckTime=37.112 cpuTime=36.81 mem=21M788
37.75
37.75 preprocessing
37.75 nbConstraintChecks=298002 nbValidityChecks=308196 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.75 nbRemovedValues=0 detectedInconsistency=no
37.75 => wckTime=0.334 cpuTime=0.32 mem=21M788
37.87
37.87 search
37.87 run=0 nbConstraintChecks=100560 nbValidityChecks=111537 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.87 nbAssignments=27 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=42 nbRestartNogoods=0
37.87 => wckTime=0.454 cpuTime=0.43 mem=22M751
37.93
37.93 search
37.93 run=1 nbConstraintChecks=134663 nbValidityChecks=158058 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.93 nbAssignments=63 nbFailedAssignments=20 nbBacktracks=28 nbVisitedNodes=95 nbRestartNogoods=3
37.93 => wckTime=0.514 cpuTime=0.48 mem=22M751
38.55
38.55 search
38.55 run=2 nbConstraintChecks=719750 nbValidityChecks=771994 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.55 nbAssignments=132 nbFailedAssignments=60 nbBacktracks=50 nbVisitedNodes=214 nbRestartNogoods=7
38.55 => wckTime=1.132 cpuTime=1.09 mem=22M751
38.65
38.65 search
38.65 run=3 nbConstraintChecks=797495 nbValidityChecks=883279 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.65 nbAssignments=225 nbFailedAssignments=112 nbBacktracks=83 nbVisitedNodes=375 nbRestartNogoods=16
38.65 => wckTime=1.232 cpuTime=1.19 mem=22M751
38.89
38.89 search
38.89 run=4 nbConstraintChecks=1003461 nbValidityChecks=1137454 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.89 nbAssignments=350 nbFailedAssignments=180 nbBacktracks=133 nbVisitedNodes=588 nbRestartNogoods=20
38.89 => wckTime=1.477 cpuTime=1.42 mem=22M751
39.04 o 2
39.04 c 3
39.33
39.33 search
39.33 run=5 nbConstraintChecks=1343579 nbValidityChecks=1564299 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.33 nbAssignments=533 nbFailedAssignments=283 nbBacktracks=208 nbVisitedNodes=914 nbRestartNogoods=29
39.33 => wckTime=1.91 cpuTime=1.85 mem=22M751
41.28
41.28 search
41.28 run=6 nbConstraintChecks=3210421 nbValidityChecks=3637357 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.28 nbAssignments=913 nbFailedAssignments=544 nbBacktracks=322 nbVisitedNodes=1637 nbRestartNogoods=30
41.28 => wckTime=3.866 cpuTime=3.8 mem=22M751
42.40
42.40 search
42.40 run=7 nbConstraintChecks=4075791 nbValidityChecks=4777798 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.40 nbAssignments=1437 nbFailedAssignments=894 nbBacktracks=492 nbVisitedNodes=2628 nbRestartNogoods=33
42.40 => wckTime=4.986 cpuTime=4.89 mem=22M751
45.65
45.65 search
45.65 run=8 nbConstraintChecks=7099340 nbValidityChecks=8287208 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.65 nbAssignments=2325 nbFailedAssignments=1518 nbBacktracks=748 nbVisitedNodes=4331 nbRestartNogoods=35
45.65 => wckTime=8.233 cpuTime=8.1 mem=22M751
49.20
49.20 search
49.20 run=9 nbConstraintChecks=10180476 nbValidityChecks=12019625 nbPropagations=0 nbRevisions=0
49.20 nbUselessRevisions=0 nbAssignments=3513 nbFailedAssignments=2317 nbBacktracks=1132 nbVisitedNodes=6613
49.20 nbRestartNogoods=49
49.20 => wckTime=11.779 cpuTime=11.63 mem=22M751
53.23
53.23 search
53.23 run=10 nbConstraintChecks=13690026 nbValidityChecks=16588227 nbPropagations=0 nbRevisions=0
53.23 nbUselessRevisions=0 nbAssignments=5439 nbFailedAssignments=3660 nbBacktracks=1708 nbVisitedNodes=10337
53.23 nbRestartNogoods=63
53.23 => wckTime=15.816 cpuTime=15.65 mem=22M751
69.81
69.81 search
69.81 run=11 nbConstraintChecks=29341063 nbValidityChecks=33732743 nbPropagations=0 nbRevisions=0
69.81 nbUselessRevisions=0 nbAssignments=8218 nbFailedAssignments=5568 nbBacktracks=2573 nbVisitedNodes=15703
69.81 nbRestartNogoods=75
69.81 => wckTime=32.397 cpuTime=32.16 mem=22M751
75.78
75.78 search
75.78 run=12 nbConstraintChecks=34265742 nbValidityChecks=41014665 nbPropagations=0 nbRevisions=0
75.78 nbUselessRevisions=0 nbAssignments=12521 nbFailedAssignments=8567 nbBacktracks=3871 nbVisitedNodes=24048
75.78 nbRestartNogoods=90
75.78 => wckTime=38.366 cpuTime=38.1 mem=22M751
118.38
118.38 search
118.38 run=13 nbConstraintChecks=73957554 nbValidityChecks=84037866 nbPropagations=0 nbRevisions=0
118.38 nbUselessRevisions=0 nbAssignments=18880 nbFailedAssignments=12975 nbBacktracks=5817 nbVisitedNodes=36282
118.38 nbRestartNogoods=111
118.38 => wckTime=80.967 cpuTime=80.51 mem=22M751
148.44
148.44 search
148.44 run=14 nbConstraintChecks=101149840 nbValidityChecks=116400457 nbPropagations=0 nbRevisions=0
148.44 nbUselessRevisions=0 nbAssignments=28449 nbFailedAssignments=19618 nbBacktracks=8736 nbVisitedNodes=54814
148.44 nbRestartNogoods=132
148.44 => wckTime=111.025 cpuTime=110.42 mem=22M751
206.95
206.95 search
206.95 run=15 nbConstraintChecks=154522014 nbValidityChecks=177853263 nbPropagations=0 nbRevisions=0
206.95 nbUselessRevisions=0 nbAssignments=43349 nbFailedAssignments=30133 nbBacktracks=13114 nbVisitedNodes=83728
206.95 nbRestartNogoods=153
206.95 => wckTime=169.534 cpuTime=168.67 mem=22M751
271.31
271.31 search
271.31 run=16 nbConstraintChecks=213104051 nbValidityChecks=248157769 nbPropagations=0 nbRevisions=0
271.31 nbUselessRevisions=0 nbAssignments=64877 nbFailedAssignments=45089 nbBacktracks=19682 nbVisitedNodes=125587
271.31 nbRestartNogoods=172
271.31 => wckTime=233.891 cpuTime=232.72 mem=22M751
359.89
359.89 search
359.89 run=17 nbConstraintChecks=290592443 nbValidityChecks=342837214 nbPropagations=0 nbRevisions=0
359.89 nbUselessRevisions=0 nbAssignments=97344 nbFailedAssignments=67699 nbBacktracks=29534 nbVisitedNodes=188561
359.89 nbRestartNogoods=195
359.89 => wckTime=322.47 cpuTime=320.9 mem=22M751
499.50
499.50 search
499.50 run=18 nbConstraintChecks=419930294 nbValidityChecks=497756278 nbPropagations=0 nbRevisions=0
499.50 nbUselessRevisions=0 nbAssignments=144795 nbFailedAssignments=100368 nbBacktracks=44312 nbVisitedNodes=280871
499.50 nbRestartNogoods=225
499.50 => wckTime=462.085 cpuTime=459.89 mem=22M751
802.43
802.43 search
802.43 run=19 nbConstraintChecks=694705658 nbValidityChecks=809291553 nbPropagations=0 nbRevisions=0
802.43 nbUselessRevisions=0 nbAssignments=213918 nbFailedAssignments=147317 nbBacktracks=66481 nbVisitedNodes=413748
802.43 nbRestartNogoods=237
802.43 => wckTime=765.009 cpuTime=761.41 mem=22M751
1148.04
1148.04 search
1148.04 run=20 nbConstraintChecks=1014118000 nbValidityChecks=1187112164 nbPropagations=0 nbRevisions=0
1148.04 nbUselessRevisions=0 nbAssignments=321853 nbFailedAssignments=221996 nbBacktracks=99733 nbVisitedNodes=623015
1148.04 nbRestartNogoods=258
1148.04 => wckTime=1110.621 cpuTime=1105.43 mem=22M751
1529.44
1529.44 search
1529.44 run=21 nbConstraintChecks=1353337766 nbValidityChecks=1603110135 nbPropagations=0 nbRevisions=0
1529.44 nbUselessRevisions=0 nbAssignments=469860 nbFailedAssignments=320119 nbBacktracks=149611 nbVisitedNodes=909513
1529.44 nbRestartNogoods=281
1529.44 => wckTime=1492.02 cpuTime=1485.08 mem=22M751
2129.53
2129.53 search
2129.53 run=22 nbConstraintChecks=1886118871 nbValidityChecks=2264594746 nbPropagations=0 nbRevisions=0
2129.53 nbUselessRevisions=0 nbAssignments=708360 nbFailedAssignments=483795 nbBacktracks=224430 nbVisitedNodes=1371707
2129.53 nbRestartNogoods=295
2129.53 => wckTime=2092.114 cpuTime=2082.46 mem=22M751
2411.07 v 5 1 0 0 0 0 9 0 0 0 0 5 6 7 7 6 2 0 7 2
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node65/watcher-280414-1169305615 -o ROOT/results/node65/solver-280414-1169305615 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280414-1169305615/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: 0.85 0.97 1.03 5/69 5492
/proc/meminfo: memFree=1458388/2055920 swapFree=4191892/4192956
[pid=5491] ppid=5483 vsize=18540 CPUtime=0
/proc/5491/stat : 5491 (runsolver) R 5483 5491 5385 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 78058737 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 257203694887 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/5491/statm: 4635 279 244 17 0 2626 0
[startup+0.106635 s]
/proc/loadavg: 0.85 0.97 1.03 5/69 5492
/proc/meminfo: memFree=1458388/2055920 swapFree=4191892/4192956
[pid=5491] ppid=5483 vsize=914988 CPUtime=0.08
/proc/5491/stat : 5491 (java) R 5483 5491 5385 0 -1 0 2989 0 1 0 7 1 0 0 23 0 8 0 78058737 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5491/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514701 s]
/proc/loadavg: 0.85 0.97 1.03 5/69 5492
/proc/meminfo: memFree=1458388/2055920 swapFree=4191892/4192956
[pid=5491] ppid=5483 vsize=915332 CPUtime=0.48
/proc/5491/stat : 5491 (java) R 5483 5491 5385 0 -1 0 8192 0 1 0 43 5 0 0 18 0 8 0 78058737 937299968 7931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5491/statm: 228833 7931 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33683 s]
/proc/loadavg: 0.85 0.97 1.03 2/75 5538
/proc/meminfo: memFree=1407524/2055920 swapFree=4191892/4192956
[pid=5491] ppid=5483 vsize=915436 CPUtime=1.3
/proc/5491/stat : 5491 (java) R 5483 5491 5385 0 -1 0 15684 0 1 0 119 11 0 0 18 0 8 0 78058737 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5491/statm: 228859 15422 2480 14 0 215329 0
[pid=5491/tid=5511] ppid=5483 vsize=915436 CPUtime=0.05
/proc/5491/task/5511/stat : 5511 (java) S 5483 5491 5385 0 -1 64 1537 0 0 0 5 0 0 0 17 0 8 0 78058741 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5491/tid=5513] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5513/stat : 5513 (java) S 5483 5491 5385 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5514] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5514/stat : 5514 (java) S 5483 5491 5385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5518] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5518/stat : 5518 (java) S 5483 5491 5385 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 78058745 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5519] ppid=5483 vsize=915436 CPUtime=0.09
/proc/5491/task/5519/stat : 5519 (java) S 5483 5491 5385 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 78058745 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5491/tid=5520] ppid=5483 vsize=915440 CPUtime=0
/proc/5491/task/5520/stat : 5520 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 78058745 937410560 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5521] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5521/stat : 5521 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78058745 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915436
[startup+2.98811 s]
/proc/loadavg: 0.94 0.98 1.03 4/87 5583
/proc/meminfo: memFree=1393220/2055920 swapFree=4191892/4192956
[pid=5491] ppid=5483 vsize=915436 CPUtime=2.94
/proc/5491/stat : 5491 (java) R 5483 5491 5385 0 -1 0 15688 0 1 0 271 23 0 0 25 0 8 0 78058737 937406464 15425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600899 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5491/statm: 228859 15425 2480 14 0 215329 0
[pid=5491/tid=5511] ppid=5483 vsize=915436 CPUtime=0.05
/proc/5491/task/5511/stat : 5511 (java) S 5483 5491 5385 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 78058741 937406464 15425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5491/tid=5513] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5513/stat : 5513 (java) S 5483 5491 5385 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5514] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5514/stat : 5514 (java) S 5483 5491 5385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5518] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5518/stat : 5518 (java) S 5483 5491 5385 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 78058745 937406464 15425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5519] ppid=5483 vsize=915436 CPUtime=0.09
/proc/5491/task/5519/stat : 5519 (java) S 5483 5491 5385 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 78058745 937406464 15425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5491/tid=5520] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5520/stat : 5520 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 78058745 937406464 15425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5521] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5521/stat : 5521 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78058745 937406464 15425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915436
[startup+6.26965 s]
/proc/loadavg: 0.94 0.98 1.03 3/87 5583
/proc/meminfo: memFree=1352020/2055920 swapFree=4191892/4192956
[pid=5491] ppid=5483 vsize=915436 CPUtime=6.21
/proc/5491/stat : 5491 (java) R 5483 5491 5385 0 -1 0 15692 0 1 0 574 47 0 0 25 0 8 0 78058737 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630921 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5491/statm: 228859 15429 2480 14 0 215329 0
[pid=5491/tid=5511] ppid=5483 vsize=915436 CPUtime=0.05
/proc/5491/task/5511/stat : 5511 (java) S 5483 5491 5385 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 78058741 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5491/tid=5513] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5513/stat : 5513 (java) S 5483 5491 5385 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5514] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5514/stat : 5514 (java) S 5483 5491 5385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5518] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5518/stat : 5518 (java) S 5483 5491 5385 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 78058745 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5519] ppid=5483 vsize=915436 CPUtime=0.09
/proc/5491/task/5519/stat : 5519 (java) S 5483 5491 5385 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 78058745 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5520] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5520/stat : 5520 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 78058745 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5521] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5521/stat : 5521 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78058745 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915436
[startup+12.7537 s]
/proc/loadavg: 1.10 1.02 1.04 3/87 5583
/proc/meminfo: memFree=1352044/2055920 swapFree=4191892/4192956
[pid=5491] ppid=5483 vsize=915436 CPUtime=12.67
/proc/5491/stat : 5491 (java) R 5483 5491 5385 0 -1 0 15692 0 1 0 1178 89 0 0 25 0 8 0 78058737 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596030 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5491/statm: 228859 15429 2480 14 0 215329 0
[pid=5491/tid=5511] ppid=5483 vsize=915436 CPUtime=0.05
/proc/5491/task/5511/stat : 5511 (java) S 5483 5491 5385 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 78058741 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5491/tid=5513] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5513/stat : 5513 (java) S 5483 5491 5385 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5514] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5514/stat : 5514 (java) S 5483 5491 5385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5518] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5518/stat : 5518 (java) S 5483 5491 5385 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 78058745 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5519] ppid=5483 vsize=915436 CPUtime=0.09
/proc/5491/task/5519/stat : 5519 (java) S 5483 5491 5385 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 78058745 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5520] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5520/stat : 5520 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 78058745 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5521] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5521/stat : 5521 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78058745 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915436
[startup+25.5928 s]
/proc/loadavg: 1.24 1.05 1.05 3/87 5583
/proc/meminfo: memFree=1352172/2055920 swapFree=4191892/4192956
[pid=5491] ppid=5483 vsize=915436 CPUtime=25.46
/proc/5491/stat : 5491 (java) R 5483 5491 5385 0 -1 0 15692 0 1 0 2365 181 0 0 25 0 8 0 78058737 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596067 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5491/statm: 228859 15429 2480 14 0 215329 0
[pid=5491/tid=5511] ppid=5483 vsize=915436 CPUtime=0.05
/proc/5491/task/5511/stat : 5511 (java) S 5483 5491 5385 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 78058741 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5491/tid=5513] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5513/stat : 5513 (java) S 5483 5491 5385 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5514] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5514/stat : 5514 (java) S 5483 5491 5385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5518] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5518/stat : 5518 (java) S 5483 5491 5385 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 78058745 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5519] ppid=5483 vsize=915436 CPUtime=0.09
/proc/5491/task/5519/stat : 5519 (java) S 5483 5491 5385 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 78058745 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5520] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5520/stat : 5520 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 78058745 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5521] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5521/stat : 5521 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78058745 937406464 15429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915436
[startup+51.1951 s]
/proc/loadavg: 1.50 1.12 1.08 3/87 5583
/proc/meminfo: memFree=1351596/2055920 swapFree=4191892/4192956
[pid=5491] ppid=5483 vsize=915436 CPUtime=50.93
/proc/5491/stat : 5491 (java) R 5483 5491 5385 0 -1 0 15861 0 1 0 4822 271 0 0 25 0 8 0 78058737 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757191 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5491/statm: 228859 15589 2535 14 0 215329 0
[pid=5491/tid=5511] ppid=5483 vsize=915436 CPUtime=0.05
/proc/5491/task/5511/stat : 5511 (java) S 5483 5491 5385 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 78058741 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5513] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5513/stat : 5513 (java) S 5483 5491 5385 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5514] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5514/stat : 5514 (java) S 5483 5491 5385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5518] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5518/stat : 5518 (java) S 5483 5491 5385 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 78058745 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5519] ppid=5483 vsize=915436 CPUtime=0.19
/proc/5491/task/5519/stat : 5519 (java) S 5483 5491 5385 0 -1 64 387 0 0 0 19 0 0 0 15 0 8 0 78058745 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5520] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5520/stat : 5520 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 78058745 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5521] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5521/stat : 5521 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78058745 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915436
[startup+102.405 s]
/proc/loadavg: 1.78 1.26 1.12 3/87 5583
/proc/meminfo: memFree=1351596/2055920 swapFree=4191892/4192956
[pid=5491] ppid=5483 vsize=915436 CPUtime=101.9
/proc/5491/stat : 5491 (java) R 5483 5491 5385 0 -1 0 15865 0 1 0 9919 271 0 0 25 0 8 0 78058737 937406464 15592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630068 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5491/statm: 228859 15592 2535 14 0 215329 0
[pid=5491/tid=5511] ppid=5483 vsize=915436 CPUtime=0.05
/proc/5491/task/5511/stat : 5511 (java) S 5483 5491 5385 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 78058741 937406464 15592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5513] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5513/stat : 5513 (java) S 5483 5491 5385 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5514] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5514/stat : 5514 (java) S 5483 5491 5385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5518] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5518/stat : 5518 (java) S 5483 5491 5385 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 78058745 937406464 15592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5519] ppid=5483 vsize=915436 CPUtime=0.21
/proc/5491/task/5519/stat : 5519 (java) S 5483 5491 5385 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 78058745 937406464 15592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5520] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5520/stat : 5520 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 78058745 937406464 15592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5521] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5521/stat : 5521 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78058745 937406464 15592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 915436
[startup+162.457 s]
/proc/loadavg: 1.92 1.39 1.17 3/87 5583
/proc/meminfo: memFree=1351532/2055920 swapFree=4191892/4192956
[pid=5491] ppid=5483 vsize=915436 CPUtime=161.68
/proc/5491/stat : 5491 (java) R 5483 5491 5385 0 -1 0 15865 0 1 0 15897 271 0 0 25 0 8 0 78058737 937406464 15592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2014.57
Current children cumulated vsize (KiB) 915436
[startup+2083.88 s]
/proc/loadavg: 2.00 2.01 1.87 3/87 5585
/proc/meminfo: memFree=1351404/2055920 swapFree=4191892/4192956
[pid=5491] ppid=5483 vsize=915436 CPUtime=2074.33
/proc/5491/stat : 5491 (java) R 5483 5491 5385 0 -1 0 15867 0 1 0 207157 276 0 0 25 0 8 0 78058737 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757246 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5491/statm: 228859 15593 2535 14 0 215329 0
[pid=5491/tid=5511] ppid=5483 vsize=915436 CPUtime=0.05
/proc/5491/task/5511/stat : 5511 (java) S 5483 5491 5385 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 78058741 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5513] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5513/stat : 5513 (java) S 5483 5491 5385 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5514] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5514/stat : 5514 (java) S 5483 5491 5385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5518] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5518/stat : 5518 (java) S 5483 5491 5385 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5519] ppid=5483 vsize=915436 CPUtime=0.21
/proc/5491/task/5519/stat : 5519 (java) S 5483 5491 5385 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5520] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5520/stat : 5520 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5521] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5521/stat : 5521 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2074.33
Current children cumulated vsize (KiB) 915436
[startup+2143.92 s]
/proc/loadavg: 2.00 2.00 1.87 3/87 5585
/proc/meminfo: memFree=1351340/2055920 swapFree=4191892/4192956
[pid=5491] ppid=5483 vsize=915436 CPUtime=2134.11
/proc/5491/stat : 5491 (java) R 5483 5491 5385 0 -1 0 15867 0 1 0 213135 276 0 0 25 0 8 0 78058737 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073595959 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5491/statm: 228859 15593 2535 14 0 215329 0
[pid=5491/tid=5511] ppid=5483 vsize=915436 CPUtime=0.05
/proc/5491/task/5511/stat : 5511 (java) S 5483 5491 5385 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 78058741 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5513] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5513/stat : 5513 (java) S 5483 5491 5385 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5514] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5514/stat : 5514 (java) S 5483 5491 5385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5518] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5518/stat : 5518 (java) S 5483 5491 5385 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5519] ppid=5483 vsize=915436 CPUtime=0.21
/proc/5491/task/5519/stat : 5519 (java) S 5483 5491 5385 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5520] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5520/stat : 5520 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5521] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5521/stat : 5521 (java) R 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2134.11
Current children cumulated vsize (KiB) 915436
[startup+2203.97 s]
/proc/loadavg: 2.00 2.00 1.88 3/87 5585
/proc/meminfo: memFree=1351404/2055920 swapFree=4191892/4192956
[pid=5491] ppid=5483 vsize=915436 CPUtime=2193.88
/proc/5491/stat : 5491 (java) R 5483 5491 5385 0 -1 0 15867 0 1 0 219112 276 0 0 25 0 8 0 78058737 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750910 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5491/statm: 228859 15593 2535 14 0 215329 0
[pid=5491/tid=5511] ppid=5483 vsize=915436 CPUtime=0.05
/proc/5491/task/5511/stat : 5511 (java) S 5483 5491 5385 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 78058741 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5513] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5513/stat : 5513 (java) S 5483 5491 5385 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5514] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5514/stat : 5514 (java) S 5483 5491 5385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5518] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5518/stat : 5518 (java) S 5483 5491 5385 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5519] ppid=5483 vsize=915436 CPUtime=0.21
/proc/5491/task/5519/stat : 5519 (java) S 5483 5491 5385 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5520] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5520/stat : 5520 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5521] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5521/stat : 5521 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2193.88
Current children cumulated vsize (KiB) 915436
[startup+2264.02 s]
/proc/loadavg: 2.00 2.00 1.89 3/87 5585
/proc/meminfo: memFree=1351404/2055920 swapFree=4191892/4192956
[pid=5491] ppid=5483 vsize=915436 CPUtime=2253.66
/proc/5491/stat : 5491 (java) R 5483 5491 5385 0 -1 0 15867 0 1 0 225090 276 0 0 25 0 8 0 78058737 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5491/statm: 228859 15593 2535 14 0 215329 0
[pid=5491/tid=5511] ppid=5483 vsize=915436 CPUtime=0.05
/proc/5491/task/5511/stat : 5511 (java) S 5483 5491 5385 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 78058741 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5513] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5513/stat : 5513 (java) S 5483 5491 5385 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5514] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5514/stat : 5514 (java) S 5483 5491 5385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5518] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5518/stat : 5518 (java) S 5483 5491 5385 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5519] ppid=5483 vsize=915436 CPUtime=0.21
/proc/5491/task/5519/stat : 5519 (java) S 5483 5491 5385 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5520] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5520/stat : 5520 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5521] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5521/stat : 5521 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2253.66
Current children cumulated vsize (KiB) 915436
[startup+2324.07 s]
/proc/loadavg: 2.00 2.00 1.89 3/87 5585
/proc/meminfo: memFree=1351340/2055920 swapFree=4191892/4192956
[pid=5491] ppid=5483 vsize=915436 CPUtime=2313.44
/proc/5491/stat : 5491 (java) R 5483 5491 5385 0 -1 0 15867 0 1 0 231068 276 0 0 25 0 8 0 78058737 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757191 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5491/statm: 228859 15593 2535 14 0 215329 0
[pid=5491/tid=5511] ppid=5483 vsize=915436 CPUtime=0.05
/proc/5491/task/5511/stat : 5511 (java) S 5483 5491 5385 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 78058741 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5513] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5513/stat : 5513 (java) S 5483 5491 5385 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5514] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5514/stat : 5514 (java) S 5483 5491 5385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5518] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5518/stat : 5518 (java) S 5483 5491 5385 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5519] ppid=5483 vsize=915436 CPUtime=0.21
/proc/5491/task/5519/stat : 5519 (java) S 5483 5491 5385 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5520] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5520/stat : 5520 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5521] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5521/stat : 5521 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2313.44
Current children cumulated vsize (KiB) 915436
[startup+2384.12 s]
/proc/loadavg: 2.00 2.00 1.90 3/87 5585
/proc/meminfo: memFree=1351340/2055920 swapFree=4191892/4192956
[pid=5491] ppid=5483 vsize=915436 CPUtime=2373.21
/proc/5491/stat : 5491 (java) R 5483 5491 5385 0 -1 0 15867 0 1 0 237045 276 0 0 25 0 8 0 78058737 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757186 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5491/statm: 228859 15593 2535 14 0 215329 0
[pid=5491/tid=5511] ppid=5483 vsize=915436 CPUtime=0.05
/proc/5491/task/5511/stat : 5511 (java) S 5483 5491 5385 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 78058741 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5513] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5513/stat : 5513 (java) S 5483 5491 5385 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5514] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5514/stat : 5514 (java) S 5483 5491 5385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5518] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5518/stat : 5518 (java) S 5483 5491 5385 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5519] ppid=5483 vsize=915436 CPUtime=0.21
/proc/5491/task/5519/stat : 5519 (java) S 5483 5491 5385 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5520] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5520/stat : 5520 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5521] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5521/stat : 5521 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2373.21
Current children cumulated vsize (KiB) 915436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2411.07 s]
/proc/loadavg: 2.00 2.00 1.90 3/87 5585
/proc/meminfo: memFree=1351404/2055920 swapFree=4191892/4192956
[pid=5491] ppid=5483 vsize=915436 CPUtime=2400.03
/proc/5491/stat : 5491 (java) R 5483 5491 5385 0 -1 0 15867 0 1 0 239727 276 0 0 25 0 8 0 78058737 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752128 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5491/statm: 228859 15593 2535 14 0 215329 0
[pid=5491/tid=5511] ppid=5483 vsize=915436 CPUtime=0.05
/proc/5491/task/5511/stat : 5511 (java) S 5483 5491 5385 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 78058741 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5513] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5513/stat : 5513 (java) S 5483 5491 5385 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5514] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5514/stat : 5514 (java) S 5483 5491 5385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78058742 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5518] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5518/stat : 5518 (java) S 5483 5491 5385 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5519] ppid=5483 vsize=915436 CPUtime=0.21
/proc/5491/task/5519/stat : 5519 (java) S 5483 5491 5385 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5520] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5520/stat : 5520 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5491/tid=5521] ppid=5483 vsize=915436 CPUtime=0
/proc/5491/task/5521/stat : 5521 (java) S 5483 5491 5385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78058745 937406464 15593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2411.12
CPU time (s): 2400.09
CPU user time (s): 2397.31
CPU system time (s): 2.77658
CPU usage (%): 99.5427
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.31
system time used= 2.77658
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15887
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= 49796
involuntary context switches= 81445
runsolver used 2.16467 s user time and 6.42602 s system time
The end
Begin job on node65 on Sat Jan 20 15:06:55 UTC 2007
IDJOB= 280414
IDBENCH= 11091
IDSOLVER= 68
FILE ID= node65/280414-1169305615
PBS_JOBID= 3610158
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-6_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280414-1169305615/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-280414-1169305615 -o ROOT/results/node65/solver-280414-1169305615 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280414-1169305615/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 17d1fdcdcf59945af48d18d3e7775061
RANDOM SEED= 334978977
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.263
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.263
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: 1458868 kB
Buffers: 49524 kB
Cached: 457768 kB
SwapCached: 396 kB
Active: 119148 kB
Inactive: 407868 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1458868 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 4144 kB
Writeback: 0 kB
Mapped: 28488 kB
Slab: 55680 kB
Committed_AS: 1127536 kB
PageTables: 1708 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 node65 on Sat Jan 20 15:47:06 UTC 2007