0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/202741-1168153829/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.42 => wckTime=0.103 cpuTime=0.1 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.64 nbConstraints=333 nbRelationTypes=333 nbExtensionStructures=333 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=333 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2755 maxDegree=21
0.64 maxArity=2
0.64 => wckTime=0.325 cpuTime=0.24 mem=12M803
0.68
0.68 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.533 cpuTime=0.38 mem=15M8
0.90
0.90 preprocessing
0.90 nbConstraintChecks=62257 nbPropagations=850 nbRevisions=6093 nbUselessRevisions=4958 nbSingletonTests=50
0.90 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.90 => wckTime=0.051 cpuTime=0.03 mem=15M8
0.93
0.93 search
0.93 run=0 nbConstraintChecks=32786 nbPropagations=1325 nbRevisions=11543 nbUselessRevisions=9465 nbAssignments=26
0.93 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.075 cpuTime=0.05 mem=15M8
0.95
0.95 search
0.95 run=1 nbConstraintChecks=83907 nbPropagations=3458 nbRevisions=32776 nbUselessRevisions=26790 nbAssignments=65
0.95 nbFailedAssignments=21 nbBacktracks=26 nbVisitedNodes=105 nbRestartNogoods=1 mapSize=24 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.098 cpuTime=0.07 mem=15M8
0.97
0.97 search
0.97 run=2 nbConstraintChecks=142772 nbPropagations=6465 nbRevisions=65136 nbUselessRevisions=53077
0.97 nbAssignments=111 nbFailedAssignments=37 nbBacktracks=48 nbVisitedNodes=185 nbRestartNogoods=5 mapSize=46
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.116 cpuTime=0.08 mem=15M8
0.99
0.99 search
0.99 run=3 nbConstraintChecks=235717 nbPropagations=10771 nbRevisions=113748 nbUselessRevisions=92333
0.99 nbAssignments=182 nbFailedAssignments=66 nbBacktracks=81 nbVisitedNodes=306 nbRestartNogoods=10 mapSize=76
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.136 cpuTime=0.1 mem=15M8
1.02
1.02 search
1.02 run=4 nbConstraintChecks=382531 nbPropagations=17159 nbRevisions=187281 nbUselessRevisions=151513
1.02 nbAssignments=291 nbFailedAssignments=100 nbBacktracks=133 nbVisitedNodes=466 nbRestartNogoods=15 mapSize=123
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.167 cpuTime=0.12 mem=15M8
1.06
1.06 search
1.06 run=5 nbConstraintChecks=557766 nbPropagations=26016 nbRevisions=292995 nbUselessRevisions=236399
1.06 nbAssignments=432 nbFailedAssignments=158 nbBacktracks=208 nbVisitedNodes=706 nbRestartNogoods=18 mapSize=183
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.206 cpuTime=0.16 mem=15M8
1.11
1.11 search
1.11 run=6 nbConstraintChecks=783219 nbPropagations=38338 nbRevisions=444005 nbUselessRevisions=357838
1.11 nbAssignments=623 nbFailedAssignments=228 nbBacktracks=321 nbVisitedNodes=1031 nbRestartNogoods=23 mapSize=280
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.254 cpuTime=0.21 mem=15M8
1.18
1.18 search
1.18 run=7 nbConstraintChecks=1099369 nbPropagations=55533 nbRevisions=658594 nbUselessRevisions=530259
1.18 nbAssignments=896 nbFailedAssignments=324 nbBacktracks=491 nbVisitedNodes=1488 nbRestartNogoods=28 mapSize=409
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.324 cpuTime=0.27 mem=15M8
1.29
1.29 search
1.29 run=8 nbConstraintChecks=1628733 nbPropagations=80736 nbRevisions=978533 nbUselessRevisions=787165
1.29 nbAssignments=1339 nbFailedAssignments=504 nbBacktracks=750 nbVisitedNodes=2253 nbRestartNogoods=33
1.29 mapSize=635 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.434 cpuTime=0.37 mem=15M8
1.45
1.45 search
1.45 run=9 nbConstraintChecks=2480790 nbPropagations=117977 nbRevisions=1462013 nbUselessRevisions=1176186
1.45 nbAssignments=2002 nbFailedAssignments=776 nbBacktracks=1134 nbVisitedNodes=3404 nbRestartNogoods=34
1.45 mapSize=962 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.602 cpuTime=0.52 mem=15M8
1.48
1.48 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=15M8)
1.66
1.66 search
1.66 run=10 nbConstraintChecks=3628177 nbPropagations=172119 nbRevisions=2172441 nbUselessRevisions=1748421
1.66 nbAssignments=2992 nbFailedAssignments=1181 nbBacktracks=1711 nbVisitedNodes=5104 nbRestartNogoods=43
1.66 => wckTime=0.812 cpuTime=0.73 mem=15M8
1.96
1.96 search
1.96 run=11 nbConstraintChecks=5419247 nbPropagations=251826 nbRevisions=3228908 nbUselessRevisions=2599384
1.96 nbAssignments=4436 nbFailedAssignments=1758 nbBacktracks=2575 nbVisitedNodes=7602 nbRestartNogoods=52
1.96 => wckTime=1.111 cpuTime=1.03 mem=15M8
2.38
2.38 search
2.38 run=12 nbConstraintChecks=7918209 nbPropagations=368442 nbRevisions=4770547 nbUselessRevisions=3840479
2.38 nbAssignments=6524 nbFailedAssignments=2541 nbBacktracks=3874 nbVisitedNodes=11207 nbRestartNogoods=54
2.38 => wckTime=1.532 cpuTime=1.44 mem=15M8
3.03
3.03 search
3.03 run=13 nbConstraintChecks=11846337 nbPropagations=541680 nbRevisions=7075883 nbUselessRevisions=5696851
3.03 nbAssignments=9710 nbFailedAssignments=3772 nbBacktracks=5820 nbVisitedNodes=16700 nbRestartNogoods=60
3.03 => wckTime=2.181 cpuTime=2.09 mem=15M8
4.02
4.02 search
4.02 run=14 nbConstraintChecks=17839471 nbPropagations=800764 nbRevisions=10550429 nbUselessRevisions=8497388
4.02 nbAssignments=14544 nbFailedAssignments=5657 nbBacktracks=8740 nbVisitedNodes=25009 nbRestartNogoods=69
4.02 => wckTime=3.166 cpuTime=3.07 mem=15M8
5.46
5.46 search
5.46 run=15 nbConstraintChecks=26613867 nbPropagations=1186900 nbRevisions=15754553 nbUselessRevisions=12696538
5.46 nbAssignments=21611 nbFailedAssignments=8322 nbBacktracks=13119 nbVisitedNodes=37144 nbRestartNogoods=81
5.46 => wckTime=4.612 cpuTime=4.51 mem=15M8
7.64
7.64 search
7.64 run=16 nbConstraintChecks=39703488 nbPropagations=1764714 nbRevisions=23508562 nbUselessRevisions=18943825
7.64 nbAssignments=32250 nbFailedAssignments=12384 nbBacktracks=19687 nbVisitedNodes=55554 nbRestartNogoods=87
7.64 => wckTime=6.784 cpuTime=6.67 mem=15M8
10.71
10.71 search
10.71 run=17 nbConstraintChecks=58436544 nbPropagations=2614385 nbRevisions=34883979 nbUselessRevisions=28105234
10.71 nbAssignments=47775 nbFailedAssignments=18047 nbBacktracks=29540 nbVisitedNodes=82041 nbRestartNogoods=100
10.71 => wckTime=9.858 cpuTime=9.73 mem=15M983
15.79
15.79 search
15.79 run=18 nbConstraintChecks=88945593 nbPropagations=3908976 nbRevisions=52351635 nbUselessRevisions=42201548
15.79 nbAssignments=72210 nbFailedAssignments=27701 nbBacktracks=44318 nbVisitedNodes=124493 nbRestartNogoods=109
15.79 => wckTime=14.937 cpuTime=14.78 mem=15M983
23.74
23.74 search
23.74 run=19 nbConstraintChecks=137464904 nbPropagations=5886546 nbRevisions=79350120 nbUselessRevisions=64027209
23.74 nbAssignments=109407 nbFailedAssignments=42721 nbBacktracks=66489 nbVisitedNodes=189550 nbRestartNogoods=116
23.74 => wckTime=22.89 cpuTime=22.7 mem=15M983
34.62
34.62 search
34.62 run=20 nbConstraintChecks=203169543 nbPropagations=8820554 nbRevisions=119267227 nbUselessRevisions=96270294
34.62 nbAssignments=163255 nbFailedAssignments=63310 nbBacktracks=99743 nbVisitedNodes=282176 nbRestartNogoods=123
34.62 => wckTime=33.77 cpuTime=33.53 mem=15M983
51.05
51.05 search
51.05 run=21 nbConstraintChecks=302722168 nbPropagations=13197986 nbRevisions=178543272 nbUselessRevisions=144106890
51.05 nbAssignments=243908 nbFailedAssignments=94075 nbBacktracks=149623 nbVisitedNodes=421095 nbRestartNogoods=137
51.05 => wckTime=50.193 cpuTime=49.87 mem=15M983
76.07
76.07 search
76.07 run=22 nbConstraintChecks=452918570 nbPropagations=19764737 nbRevisions=267778447 nbUselessRevisions=216191872
76.07 nbAssignments=366753 nbFailedAssignments=142092 nbBacktracks=224442 nbVisitedNodes=633659 nbRestartNogoods=152
76.07 => wckTime=75.219 cpuTime=74.78 mem=15M983
114.54
114.54 search
114.54 run=23 nbConstraintChecks=688211387 nbPropagations=29671474 nbRevisions=402771931 nbUselessRevisions=325240903
114.54 nbAssignments=551209 nbFailedAssignments=214315 nbBacktracks=336669 nbVisitedNodes=953547 nbRestartNogoods=167
114.54 => wckTime=113.69 cpuTime=113.07 mem=15M983
172.73
172.73 search
172.73 run=24 nbConstraintChecks=1045256610 nbPropagations=44609366 nbRevisions=606802904 nbUselessRevisions=490075123
172.73 nbAssignments=827026 nbFailedAssignments=321771 nbBacktracks=505017 nbVisitedNodes=1431476 nbRestartNogoods=181
172.73 => wckTime=171.88 cpuTime=170.99 mem=15M983
258.62
258.62 search
258.62 run=25 nbConstraintChecks=1571051221 nbPropagations=66993823 nbRevisions=912750166 nbUselessRevisions=737263798
258.62 nbAssignments=1238625 nbFailedAssignments=480851 nbBacktracks=757529 nbVisitedNodes=2142130
258.62 nbRestartNogoods=190
258.63 => wckTime=257.773 cpuTime=256.48 mem=15M983
387.90
387.90 search
387.90 run=26 nbConstraintChecks=2366811552 nbPropagations=100559097 nbRevisions=1371963057
387.90 nbUselessRevisions=1108301403 nbAssignments=1853935 nbFailedAssignments=717386 nbBacktracks=1136298
387.90 nbVisitedNodes=3203823 nbRestartNogoods=206
387.90 => wckTime=387.05 cpuTime=385.16 mem=15M983
405.82
405.82 search
405.82 run=27 nbConstraintChecks=2477919728 nbPropagations=135661361 nbRevisions=1852371728
405.83 nbUselessRevisions=1496443520 nbAssignments=1937455 nbFailedAssignments=749569 nbBacktracks=1187625
405.83 nbVisitedNodes=3348002 nbRestartNogoods=216
405.83 => wckTime=404.973 cpuTime=402.99 mem=15M983
405.83
405.83 global
405.83 nbConstraintChecks=2477981985 nbPropagations=135662211 nbRevisions=1852377821 nbUselessRevisions=1496448478
405.83 nbRestartNogoods=216 solvingWckTime=404.974 solvingCpuTime=402.99 expiredTime=no totalExploration=yes
405.83 nbFoundSolutions=0 globalCpuTime=403.42
405.83 => wckTime=405.511 cpuTime=403.37 mem=15M983
405.83
405.83 s UNSATISFIABLE
405.83 d NODES 1937455
405.83 d CHECKS 2477981985
405.83
405.83 totalWckTime=405.595 totalCpuTime=403.43
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-202741-1168153829 -o ROOT/results/node48/solver-202741-1168153829 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202741-1168153829/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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.57 1.57 1.80 4/85 23696
/proc/meminfo: memFree=1753512/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=906644 CPUtime=0.02
/proc/23695/stat : 23695 (java) S 23693 23695 23519 0 -1 0 2069 0 1 0 2 0 0 0 18 0 2 0 163781579 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 226661 1818 1036 14 0 214244 0
[pid=23695/tid=23697] ppid=23693 vsize=906644 CPUtime=0
/proc/23695/task/23697/stat : 23697 (java) R 23693 23695 23519 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 163781583 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104682 s]
/proc/loadavg: 1.57 1.57 1.80 4/85 23696
/proc/meminfo: memFree=1753512/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=914988 CPUtime=0.09
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 2998 0 1 0 8 1 0 0 20 0 8 0 163781579 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228747 2744 1427 14 0 215242 0
[pid=23695/tid=23697] ppid=23693 vsize=914988 CPUtime=0
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 163781583 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51272 s]
/proc/loadavg: 1.57 1.57 1.80 4/85 23696
/proc/meminfo: memFree=1753512/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915328 CPUtime=0.49
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 6776 0 1 0 46 3 0 0 18 0 8 0 163781579 937295872 6515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445374 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228832 6515 2137 14 0 215302 0
[pid=23695/tid=23697] ppid=23693 vsize=915328 CPUtime=0
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 163781583 937295872 6515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33397 s]
/proc/loadavg: 1.57 1.57 1.80 3/92 23703
/proc/meminfo: memFree=1729584/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=1.31
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8730 0 1 0 125 6 0 0 24 0 8 0 163781579 937426944 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8468 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.22
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 381 0 0 0 21 1 0 0 15 0 8 0 163781587 937426944 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456
[startup+2.97994 s]
/proc/loadavg: 1.57 1.57 1.80 3/92 23703
/proc/meminfo: memFree=1729264/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=2.95
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8769 0 1 0 289 6 0 0 25 0 8 0 163781579 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803624 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8506 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 394 0 0 0 23 1 0 0 15 0 8 0 163781587 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915456
[startup+6.18323 s]
/proc/loadavg: 1.61 1.58 1.80 3/92 23703
/proc/meminfo: memFree=1729136/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=6.13
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8776 0 1 0 607 6 0 0 25 0 8 0 163781579 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8513 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 394 0 0 0 23 1 0 0 15 0 8 0 163781587 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915456
[startup+12.6538 s]
/proc/loadavg: 1.72 1.60 1.80 3/92 23703
/proc/meminfo: memFree=1729144/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=12.57
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8783 0 1 0 1251 6 0 0 25 0 8 0 163781579 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8519 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163781587 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915456
[startup+25.506 s]
/proc/loadavg: 1.78 1.62 1.81 3/92 23703
/proc/meminfo: memFree=1729144/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=25.36
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8788 0 1 0 2530 6 0 0 25 0 8 0 163781579 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803371 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8524 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163781587 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915456
[startup+51.1104 s]
/proc/loadavg: 1.93 1.66 1.82 3/92 23703
/proc/meminfo: memFree=1729208/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=50.84
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8792 0 1 0 5078 6 0 0 25 0 8 0 163781579 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8528 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163781587 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915456
[startup+102.315 s]
/proc/loadavg: 1.97 1.71 1.82 4/92 23703
/proc/meminfo: memFree=1729208/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=101.81
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8795 0 1 0 10175 6 0 0 25 0 8 0 163781579 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803482 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8531 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163781587 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 915456
[startup+162.363 s]
/proc/loadavg: 1.99 1.76 1.83 4/92 23703
/proc/meminfo: memFree=1729144/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=161.58
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8797 0 1 0 16152 6 0 0 25 0 8 0 163781579 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8533 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163781587 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.58
Current children cumulated vsize (KiB) 915456
[startup+222.409 s]
/proc/loadavg: 1.99 1.80 1.83 3/92 23703
/proc/meminfo: memFree=1729080/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=221.34
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8800 0 1 0 22128 6 0 0 25 0 8 0 163781579 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8536 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163781587 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.34
Current children cumulated vsize (KiB) 915456
[startup+282.458 s]
/proc/loadavg: 2.15 1.87 1.85 3/92 23703
/proc/meminfo: memFree=1660608/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=281.11
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8802 0 1 0 28105 6 0 0 25 0 8 0 163781579 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803371 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8538 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163781587 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.11
Current children cumulated vsize (KiB) 915456
[startup+342.502 s]
/proc/loadavg: 2.06 1.89 1.86 3/92 23703
/proc/meminfo: memFree=1660544/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=340.88
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8802 0 1 0 34082 6 0 0 25 0 8 0 163781579 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798092 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8538 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163781587 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.88
Current children cumulated vsize (KiB) 915456
[startup+402.55 s]
/proc/loadavg: 2.02 1.91 1.86 3/92 23703
/proc/meminfo: memFree=1660480/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=400.65
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8805 0 1 0 40058 7 0 0 25 0 8 0 163781579 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814109 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8541 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163781587 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.65
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 405.894
CPU time (s): 403.932
CPU user time (s): 403.853
CPU system time (s): 0.078987
CPU usage (%): 99.5165
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 403.853
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8896
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= 9352
involuntary context switches= 21975
runsolver used 0.517921 s user time and 1.2928 s system time
The end
Begin job on node48 on Sun Jan 7 07:10:29 UTC 2007
IDJOB= 202741
IDBENCH= 3880
FILE ID= node48/202741-1168153829
PBS_JOBID= 3478498
Free space on /tmp= 66560 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202741-1168153829/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-202741-1168153829 -o ROOT/results/node48/solver-202741-1168153829 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202741-1168153829/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a8611361fc071f36f209f12d9cff780e
RANDOM SEED= 892032288
TIME LIMIT= 1800 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.218
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.218
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: 1753928 kB
Buffers: 36356 kB
Cached: 89036 kB
SwapCached: 0 kB
Active: 176304 kB
Inactive: 68688 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1753928 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1852 kB
Writeback: 0 kB
Mapped: 139784 kB
Slab: 42128 kB
Committed_AS: 4202384 kB
PageTables: 1980 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 node48 on Sun Jan 7 07:17:15 UTC 2007