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/280351-1169305022/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.39 => wckTime=0.091 cpuTime=0.07 mem=6M887
0.39
0.39 relations being loaded...
0.59
0.59 constraints being loaded...
0.69 nbConstraints=5 nbRelationTypes=5 nbExtensionStructures=5 nbSharedExtensionStructures=0
0.69 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 maxDegree=4 maxArity=10
0.69 => wckTime=0.391 cpuTime=0.34 mem=38M342
0.75
0.75 solver LocalSearchSolver being built...
0.79 => wckTime=0.495 cpuTime=0.38 mem=10M982
0.80
0.80 s SATISFIABLE
0.80 o 0
0.80 c 5
4.25 o 1
4.25 c 4
6.13
6.13 search
6.13 run=0 nbConstraintChecks=4305841 nbAssignments=10000
6.13 => wckTime=5.341 cpuTime=5.31 mem=10M982
9.87 o 2
9.87 c 3
11.16
11.16 search
11.16 run=1 nbConstraintChecks=8501264 nbAssignments=20000
11.16 => wckTime=10.369 cpuTime=10.34 mem=10M982
15.89
15.89 search
15.89 run=2 nbConstraintChecks=12525255 nbAssignments=30000
15.89 => wckTime=15.102 cpuTime=15.07 mem=10M982
20.62
20.62 search
20.62 run=3 nbConstraintChecks=16529109 nbAssignments=40000
20.62 => wckTime=19.833 cpuTime=19.8 mem=10M982
25.36
25.36 search
25.36 run=4 nbConstraintChecks=20546494 nbAssignments=50000
25.36 => wckTime=24.568 cpuTime=24.53 mem=10M982
30.10
30.10 search
30.10 run=5 nbConstraintChecks=24590744 nbAssignments=60000
30.10 => wckTime=29.31 cpuTime=29.27 mem=10M982
34.77
34.77 search
34.77 run=6 nbConstraintChecks=28593558 nbAssignments=70000
34.77 => wckTime=33.982 cpuTime=33.93 mem=10M982
39.48
39.48 search
39.48 run=7 nbConstraintChecks=32589937 nbAssignments=80000
39.48 => wckTime=38.695 cpuTime=38.65 mem=10M982
39.89
39.89 search
39.89 run=8 nbConstraintChecks=32929274 nbAssignments=80833
39.89 => wckTime=39.099 cpuTime=39.06 mem=10M982
39.89
39.89 global
39.89 nbConstraintChecks=32929274 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.89 solvingWckTime=39.098 solvingCpuTime=39.06 expiredTime=no totalExploration=no nbFoundSolutions=0
39.89 globalCpuTime=39.49
39.89 => wckTime=39.595 cpuTime=39.44 mem=10M982
39.89
39.89 solver IterativeSystematicSolver being built...
40.02 => wckTime=39.724 cpuTime=39.53 mem=21M786
40.49
40.49 preprocessing
40.49 nbConstraintChecks=432126 nbValidityChecks=442079 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.49 nbRemovedValues=0 detectedInconsistency=no
40.49 => wckTime=0.464 cpuTime=0.45 mem=21M786
40.64
40.64 search
40.64 run=0 nbConstraintChecks=131742 nbValidityChecks=153912 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.64 nbAssignments=44 nbFailedAssignments=28 nbBacktracks=12 nbVisitedNodes=79 nbRestartNogoods=0
40.64 => wckTime=0.619 cpuTime=0.6 mem=22M749
40.75
40.75 search
40.75 run=1 nbConstraintChecks=203589 nbValidityChecks=247423 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.75 nbAssignments=92 nbFailedAssignments=54 nbBacktracks=27 nbVisitedNodes=160 nbRestartNogoods=1
40.75 => wckTime=0.731 cpuTime=0.69 mem=22M749
41.10
41.10 search
41.10 run=2 nbConstraintChecks=501874 nbValidityChecks=562947 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.10 nbAssignments=135 nbFailedAssignments=68 nbBacktracks=49 nbVisitedNodes=221 nbRestartNogoods=9
41.10 => wckTime=1.081 cpuTime=1.04 mem=22M749
41.43
41.43 search
41.43 run=3 nbConstraintChecks=786353 nbValidityChecks=893760 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.43 nbAssignments=227 nbFailedAssignments=121 nbBacktracks=82 nbVisitedNodes=386 nbRestartNogoods=13
41.43 => wckTime=1.413 cpuTime=1.37 mem=22M749
41.80
41.80 search
41.80 run=4 nbConstraintChecks=1050952 nbValidityChecks=1233804 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.80 nbAssignments=377 nbFailedAssignments=214 nbBacktracks=132 nbVisitedNodes=666 nbRestartNogoods=17
41.80 => wckTime=1.781 cpuTime=1.73 mem=22M749
42.69
42.69 search
42.69 run=5 nbConstraintChecks=1837301 nbValidityChecks=2121158 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.69 nbAssignments=589 nbFailedAssignments=344 nbBacktracks=207 nbVisitedNodes=1053 nbRestartNogoods=19
42.69 => wckTime=2.673 cpuTime=2.62 mem=22M749
43.17
43.17 search
43.17 run=6 nbConstraintChecks=2203323 nbValidityChecks=2635836 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.17 nbAssignments=893 nbFailedAssignments=530 nbBacktracks=320 nbVisitedNodes=1613 nbRestartNogoods=28
43.17 => wckTime=3.149 cpuTime=3.09 mem=22M749
45.71
45.71 search
45.71 run=7 nbConstraintChecks=4379983 nbValidityChecks=5052071 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.71 nbAssignments=1385 nbFailedAssignments=845 nbBacktracks=490 nbVisitedNodes=2509 nbRestartNogoods=36
45.71 => wckTime=5.687 cpuTime=5.62 mem=22M749
46.77
46.77 search
46.77 run=8 nbConstraintChecks=5206543 nbValidityChecks=6215132 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.77 nbAssignments=2054 nbFailedAssignments=1250 nbBacktracks=747 nbVisitedNodes=3750 nbRestartNogoods=59
46.77 => wckTime=6.746 cpuTime=6.66 mem=22M749
49.96
49.96 search
49.96 run=9 nbConstraintChecks=7894170 nbValidityChecks=9390504 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
49.96 nbAssignments=3098 nbFailedAssignments=1905 nbBacktracks=1131 nbVisitedNodes=5718 nbRestartNogoods=70
49.96 => wckTime=9.943 cpuTime=9.85 mem=22M749
52.91
52.91 search
52.91 run=10 nbConstraintChecks=10279056 nbValidityChecks=12643007 nbPropagations=0 nbRevisions=0
52.91 nbUselessRevisions=0 nbAssignments=4862 nbFailedAssignments=3087 nbBacktracks=1707 nbVisitedNodes=9040
52.91 nbRestartNogoods=75
52.91 => wckTime=12.89 cpuTime=12.79 mem=22M749
61.89
61.89 search
61.89 run=11 nbConstraintChecks=17870898 nbValidityChecks=21416582 nbPropagations=0 nbRevisions=0
61.89 nbUselessRevisions=0 nbAssignments=7241 nbFailedAssignments=4597 nbBacktracks=2571 nbVisitedNodes=13549
61.89 nbRestartNogoods=88
61.89 => wckTime=21.873 cpuTime=21.77 mem=22M749
70.33
70.33 search
70.33 run=12 nbConstraintChecks=25034022 nbValidityChecks=30405613 nbPropagations=0 nbRevisions=0
70.33 nbUselessRevisions=0 nbAssignments=10934 nbFailedAssignments=6984 nbBacktracks=3869 nbVisitedNodes=20532
70.33 nbRestartNogoods=102
70.33 => wckTime=30.305 cpuTime=30.2 mem=22M749
88.61
88.61 search
88.61 run=13 nbConstraintChecks=40610880 nbValidityChecks=48771717 nbPropagations=0 nbRevisions=0
88.61 nbUselessRevisions=0 nbAssignments=16563 nbFailedAssignments=10661 nbBacktracks=5815 nbVisitedNodes=31227
88.61 nbRestartNogoods=116
88.61 => wckTime=48.587 cpuTime=48.48 mem=22M749
103.17
103.17 search
103.17 run=14 nbConstraintChecks=52688933 nbValidityChecks=64622668 nbPropagations=0 nbRevisions=0
103.17 nbUselessRevisions=0 nbAssignments=24544 nbFailedAssignments=15718 nbBacktracks=8734 nbVisitedNodes=46307
103.17 nbRestartNogoods=136
103.17 => wckTime=63.149 cpuTime=63.03 mem=22M749
166.48 o 3
166.48 c 2
190.04
190.04 search
190.04 run=15 nbConstraintChecks=130806652 nbValidityChecks=150135353 nbPropagations=0 nbRevisions=0
190.04 nbUselessRevisions=0 nbAssignments=38524 nbFailedAssignments=25313 nbBacktracks=13113 nbVisitedNodes=73091
190.04 nbRestartNogoods=162
190.04 => wckTime=150.022 cpuTime=149.88 mem=22M749
256.87
256.87 search
256.87 run=16 nbConstraintChecks=188530016 nbValidityChecks=218899424 nbPropagations=0 nbRevisions=0
256.87 nbUselessRevisions=0 nbAssignments=57286 nbFailedAssignments=37503 nbBacktracks=19682 nbVisitedNodes=108750
256.87 nbRestartNogoods=178
256.87 => wckTime=216.847 cpuTime=216.66 mem=22M749
334.28
334.28 search
334.28 run=17 nbConstraintChecks=253294726 nbValidityChecks=300862479 nbPropagations=0 nbRevisions=0
334.28 nbUselessRevisions=0 nbAssignments=85966 nbFailedAssignments=56327 nbBacktracks=29534 nbVisitedNodes=163885
334.28 nbRestartNogoods=200
334.28 => wckTime=294.261 cpuTime=294.0 mem=22M749
427.54
427.54 search
427.54 run=18 nbConstraintChecks=329632091 nbValidityChecks=400148884 nbPropagations=0 nbRevisions=0
427.54 nbUselessRevisions=0 nbAssignments=125234 nbFailedAssignments=80812 nbBacktracks=44312 nbVisitedNodes=239045
427.54 nbRestartNogoods=224
427.54 => wckTime=387.52 cpuTime=387.23 mem=22M749
582.04
582.04 search
582.04 run=19 nbConstraintChecks=458647999 nbValidityChecks=565741902 nbPropagations=0 nbRevisions=0
582.04 nbUselessRevisions=0 nbAssignments=186891 nbFailedAssignments=120297 nbBacktracks=66480 nbVisitedNodes=357548
582.04 nbRestartNogoods=242
582.04 => wckTime=542.02 cpuTime=541.69 mem=22M749
810.71
810.71 search
810.71 run=20 nbConstraintChecks=649653009 nbValidityChecks=809502427 nbPropagations=0 nbRevisions=0
810.71 nbUselessRevisions=0 nbAssignments=276729 nbFailedAssignments=176878 nbBacktracks=99734 nbVisitedNodes=530235
810.71 nbRestartNogoods=262
810.71 => wckTime=770.686 cpuTime=770.31 mem=22M749
1135.92
1135.92 search
1135.92 run=21 nbConstraintChecks=922832878 nbValidityChecks=1158747396 nbPropagations=0 nbRevisions=0
1135.92 nbUselessRevisions=0 nbAssignments=408160 nbFailedAssignments=258427 nbBacktracks=149612 nbVisitedNodes=780865
1135.92 nbRestartNogoods=284
1135.92 => wckTime=1095.9 cpuTime=1095.43 mem=22M749
1160.99
1160.99 search
1160.99 run=22 nbConstraintChecks=943840131 nbValidityChecks=1186357433 nbPropagations=0 nbRevisions=0
1160.99 nbUselessRevisions=0 nbAssignments=420078 nbFailedAssignments=265295 nbBacktracks=154663 nbVisitedNodes=803246
1160.99 nbRestartNogoods=294
1160.99 => wckTime=1120.97 cpuTime=1120.5 mem=22M749
1160.99
1160.99 global
1160.99 nbConstraintChecks=944272257 nbValidityChecks=1186799512 nbRestartNogoods=294 solvingWckTime=1120.971
1160.99 solvingCpuTime=1120.5 expiredTime=no totalExploration=yes nbFoundSolutions=1 globalCpuTime=1160.08
1160.99 => wckTime=1160.696 cpuTime=1160.03 mem=22M749
1161.00
1161.00 s OPTIMUM FOUND
1161.00 v 1 1 0 1 0 3 2 9 6 8 0 0 7 6 4 9 2 2 2 5
1161.00
1161.00 totalWckTime=1160.777 totalCpuTime=1160.08
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-280351-1169305022 -o ROOT/results/node56/solver-280351-1169305022 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280351-1169305022/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.62 1.89 1.89 2/65 21359
/proc/meminfo: memFree=1532128/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=1500 CPUtime=0
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 265 0 0 0 0 0 0 0 18 0 1 0 278900379 1536000 69 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 9995958 0 0 4096 0 0 0 0 17 1 0 0
/proc/21358/statm: 363 62 46 14 0 8 0
[startup+0.1028 s]
/proc/loadavg: 1.62 1.89 1.89 2/65 21359
/proc/meminfo: memFree=1532128/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=914988 CPUtime=0.09
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 3077 0 1 0 8 1 0 0 16 0 8 0 278900379 936947712 2823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 228747 2823 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.510843 s]
/proc/loadavg: 1.62 1.89 1.89 2/65 21359
/proc/meminfo: memFree=1532128/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=915332 CPUtime=0.5
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 8771 0 1 0 45 5 0 0 17 0 8 0 278900379 937299968 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073559765 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21358/statm: 228833 8510 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33291 s]
/proc/loadavg: 1.62 1.89 1.89 2/72 21366
/proc/meminfo: memFree=1480104/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=915436 CPUtime=1.31
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15676 0 1 0 120 11 0 0 20 0 8 0 278900379 937406464 15414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 228859 15414 2480 14 0 215329 0
[pid=21358/tid=21360] ppid=21356 vsize=915436 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1537 0 0 0 5 0 0 0 17 0 8 0 278900382 937406464 15414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=915436 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 937406464 15414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=915436 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 937406464 15414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=915436 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 937406464 15414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=915436 CPUtime=0.09
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 318 0 0 0 9 0 0 0 15 0 8 0 278900386 937406464 15414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21365] ppid=21356 vsize=915436 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 937406464 15414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=915436 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278900386 937406464 15414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915436
[startup+2.98508 s]
/proc/loadavg: 1.62 1.89 1.89 2/72 21366
/proc/meminfo: memFree=1480104/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=2.96
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15681 0 1 0 273 23 0 0 25 0 8 0 278900379 938455040 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073636384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15418 2480 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.1
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 278900386 938455040 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15418 18446744073709551615 134512640 134570532 4294956464 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) 916460
[startup+6.2634 s]
/proc/loadavg: 1.57 1.87 1.88 2/72 21366
/proc/meminfo: memFree=1480112/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=6.23
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15685 0 1 0 576 47 0 0 25 0 8 0 278900379 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15422 2480 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.1
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 916460
[startup+12.743 s]
/proc/loadavg: 1.53 1.86 1.88 2/72 21366
/proc/meminfo: memFree=1480064/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=12.72
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15685 0 1 0 1171 101 0 0 25 0 8 0 278900379 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15422 2480 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.1
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 916460
[startup+25.5663 s]
/proc/loadavg: 1.41 1.82 1.86 2/72 21366
/proc/meminfo: memFree=1480192/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=25.54
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15685 0 1 0 2351 203 0 0 25 0 8 0 278900379 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15422 2480 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.1
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 916460
[startup+51.2458 s]
/proc/loadavg: 1.27 1.75 1.84 2/72 21366
/proc/meminfo: memFree=1480000/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=51.18
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15854 0 1 0 4790 328 0 0 25 0 8 0 278900379 938455040 15583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596077 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15583 2535 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1538 0 0 0 5 0 0 0 17 0 8 0 278900382 938455040 15583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.21
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 384 0 0 0 21 0 0 0 16 0 8 0 278900386 938455040 15583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 916460
[startup+102.498 s]
/proc/loadavg: 1.11 1.63 1.79 2/72 21366
/proc/meminfo: memFree=1479936/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=102.42
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15860 0 1 0 9914 328 0 0 25 0 8 0 278900379 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757249 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15585 2535 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.21
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 387 0 0 0 21 0 0 0 16 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.42
Current children cumulated vsize (KiB) 916460
[startup+162.582 s]
/proc/loadavg: 1.04 1.51 1.74 2/72 21366
/proc/meminfo: memFree=1479936/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=162.5
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15860 0 1 0 15921 329 0 0 25 0 8 0 278900379 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.22
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 387 0 0 0 22 0 0 0 16 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 702.97
Current children cumulated vsize (KiB) 916460
[startup+763.374 s]
/proc/loadavg: 1.00 1.06 1.36 2/72 21564
/proc/meminfo: memFree=1479808/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=763.04
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15861 0 1 0 75974 330 0 0 25 0 8 0 278900379 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630029 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15585 2535 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.22
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 387 0 0 0 22 0 0 0 16 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 763.04
Current children cumulated vsize (KiB) 916460
[startup+823.457 s]
/proc/loadavg: 1.00 1.04 1.34 2/72 21564
/proc/meminfo: memFree=1479808/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=823.11
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15861 0 1 0 81981 330 0 0 25 0 8 0 278900379 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15585 2535 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.22
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 387 0 0 0 22 0 0 0 16 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 823.11
Current children cumulated vsize (KiB) 916460
[startup+883.543 s]
/proc/loadavg: 1.00 1.03 1.32 2/72 21564
/proc/meminfo: memFree=1479744/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=883.18
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15861 0 1 0 87988 330 0 0 25 0 8 0 278900379 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757214 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15585 2535 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.22
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 387 0 0 0 22 0 0 0 16 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 883.18
Current children cumulated vsize (KiB) 916460
[startup+943.633 s]
/proc/loadavg: 1.00 1.02 1.29 2/72 21564
/proc/meminfo: memFree=1479808/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=943.25
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15861 0 1 0 93995 330 0 0 25 0 8 0 278900379 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750891 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15585 2535 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.22
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 387 0 0 0 22 0 0 0 16 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 943.25
Current children cumulated vsize (KiB) 916460
[startup+1003.72 s]
/proc/loadavg: 1.00 1.02 1.27 2/72 21564
/proc/meminfo: memFree=1479808/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=1003.32
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15861 0 1 0 100002 330 0 0 25 0 8 0 278900379 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15585 2535 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.22
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 387 0 0 0 22 0 0 0 16 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1003.32
Current children cumulated vsize (KiB) 916460
[startup+1063.8 s]
/proc/loadavg: 1.00 1.01 1.25 2/72 21564
/proc/meminfo: memFree=1479744/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=1063.39
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15861 0 1 0 106009 330 0 0 25 0 8 0 278900379 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15585 2535 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.22
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 387 0 0 0 22 0 0 0 16 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1063.39
Current children cumulated vsize (KiB) 916460
[startup+1123.89 s]
/proc/loadavg: 1.00 1.01 1.23 2/72 21564
/proc/meminfo: memFree=1479744/2055920 swapFree=4184804/4192956
[pid=21358] ppid=21356 vsize=916460 CPUtime=1123.46
/proc/21358/stat : 21358 (java) R 21356 21358 20673 0 -1 0 15861 0 1 0 112016 330 0 0 25 0 8 0 278900379 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21358/statm: 229115 15585 2535 14 0 215585 0
[pid=21358/tid=21360] ppid=21356 vsize=916460 CPUtime=0.05
/proc/21358/task/21360/stat : 21360 (java) S 21356 21358 20673 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278900382 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21358/tid=21361] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21361/stat : 21361 (java) S 21356 21358 20673 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21362] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21362/stat : 21362 (java) S 21356 21358 20673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278900383 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21363] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21363/stat : 21363 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21364] ppid=21356 vsize=916460 CPUtime=0.22
/proc/21358/task/21364/stat : 21364 (java) S 21356 21358 20673 0 -1 64 387 0 0 0 22 0 0 0 16 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21365] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21365/stat : 21365 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21358/tid=21366] ppid=21356 vsize=916460 CPUtime=0
/proc/21358/task/21366/stat : 21366 (java) S 21356 21358 20673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278900386 938455040 15585 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1123.46
Current children cumulated vsize (KiB) 916460
Child status: 0
Real time (s): 1161.05
CPU time (s): 1160.59
CPU user time (s): 1157.27
CPU system time (s): 3.3215
CPU usage (%): 99.9608
Max. virtual memory (cumulated for all children) (KiB): 916464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1157.27
system time used= 3.3215
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15876
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= 24316
involuntary context switches= 3497
runsolver used 1.13683 s user time and 2.98555 s system time
The end
Begin job on node56 on Sat Jan 20 14:57:02 UTC 2007
IDJOB= 280351
IDBENCH= 11084
IDSOLVER= 68
FILE ID= node56/280351-1169305022
PBS_JOBID= 3610142
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-0_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280351-1169305022/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-280351-1169305022 -o ROOT/results/node56/solver-280351-1169305022 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280351-1169305022/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ebe3455652e622664ec0a1054c7775af
RANDOM SEED= 163840844
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.232
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.232
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: 1532608 kB
Buffers: 43356 kB
Cached: 398948 kB
SwapCached: 2144 kB
Active: 109040 kB
Inactive: 342756 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1532608 kB
SwapTotal: 4192956 kB
SwapFree: 4184804 kB
Dirty: 2920 kB
Writeback: 0 kB
Mapped: 16512 kB
Slab: 57512 kB
Committed_AS: 5228880 kB
PageTables: 1472 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= 66562 MiB
End job on node56 on Sat Jan 20 15:16:24 UTC 2007