0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.35 name=/tmp/evaluation/202535-1168072581/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.102 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.65 nbConstraints=333 nbRelationTypes=333 nbExtensionStructures=333 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=333 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2773 maxDegree=21
0.65 maxArity=2
0.65 => wckTime=0.33 cpuTime=0.24 mem=12M803
0.69
0.69 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.53 cpuTime=0.38 mem=13M917
0.85
0.85 preprocessing
0.85 nbConstraintChecks=19 nbPropagations=41 nbRevisions=1 nbUselessRevisions=0 nbRemovedValues=1
0.85 detectedInconsistency=no
0.85 => wckTime=0.0060 cpuTime=0.0 mem=13M917
0.90
0.90 search
0.91 run=0 nbConstraintChecks=33780 nbPropagations=545 nbRevisions=5954 nbUselessRevisions=4799 nbAssignments=27
0.91 nbFailedAssignments=9 nbBacktracks=11 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.056 cpuTime=0.03 mem=14M892
0.93
0.93 search
0.93 run=1 nbConstraintChecks=82738 nbPropagations=1784 nbRevisions=20789 nbUselessRevisions=16755 nbAssignments=65
0.93 nbFailedAssignments=24 nbBacktracks=27 nbVisitedNodes=108 nbRestartNogoods=2 mapSize=24 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.078 cpuTime=0.04 mem=14M892
0.95
0.95 search
0.95 run=2 nbConstraintChecks=130749 nbPropagations=3784 nbRevisions=44866 nbUselessRevisions=36246
0.95 nbAssignments=107 nbFailedAssignments=36 nbBacktracks=49 nbVisitedNodes=175 nbRestartNogoods=4 mapSize=44
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.1 cpuTime=0.06 mem=14M892
0.97
0.97 search
0.97 run=3 nbConstraintChecks=205620 nbPropagations=7021 nbRevisions=84555 nbUselessRevisions=68488
0.97 nbAssignments=177 nbFailedAssignments=60 nbBacktracks=84 nbVisitedNodes=293 nbRestartNogoods=6 mapSize=76
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.118 cpuTime=0.07 mem=14M892
0.99
0.99 search
0.99 run=4 nbConstraintChecks=303651 nbPropagations=11700 nbRevisions=142712 nbUselessRevisions=115844
0.99 nbAssignments=262 nbFailedAssignments=86 nbBacktracks=134 nbVisitedNodes=433 nbRestartNogoods=11 mapSize=115
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.14 cpuTime=0.1 mem=14M892
1.03
1.03 search
1.03 run=5 nbConstraintChecks=476964 nbPropagations=18855 nbRevisions=234719 nbUselessRevisions=190564
1.03 nbAssignments=403 nbFailedAssignments=144 nbBacktracks=209 nbVisitedNodes=669 nbRestartNogoods=15 mapSize=177
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.179 cpuTime=0.13 mem=14M892
1.08
1.08 search
1.08 run=6 nbConstraintChecks=738627 nbPropagations=29586 nbRevisions=374549 nbUselessRevisions=303515
1.08 nbAssignments=596 nbFailedAssignments=217 nbBacktracks=322 nbVisitedNodes=1002 nbRestartNogoods=19 mapSize=274
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.23 cpuTime=0.18 mem=14M892
1.15
1.15 search
1.15 run=7 nbConstraintChecks=1077944 nbPropagations=45132 nbRevisions=580106 nbUselessRevisions=469434
1.15 nbAssignments=885 nbFailedAssignments=328 nbBacktracks=492 nbVisitedNodes=1493 nbRestartNogoods=27 mapSize=407
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.303 cpuTime=0.25 mem=14M892
1.26
1.26 search
1.26 run=8 nbConstraintChecks=1596678 nbPropagations=68344 nbRevisions=890339 nbUselessRevisions=720343
1.26 nbAssignments=1312 nbFailedAssignments=491 nbBacktracks=750 nbVisitedNodes=2225 nbRestartNogoods=31
1.26 mapSize=631 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.409 cpuTime=0.35 mem=14M892
1.42
1.42 search
1.42 run=9 nbConstraintChecks=2445487 nbPropagations=103058 nbRevisions=1356646 nbUselessRevisions=1095604
1.42 nbAssignments=1946 nbFailedAssignments=730 nbBacktracks=1135 nbVisitedNodes=3310 nbRestartNogoods=35
1.42 mapSize=957 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.574 cpuTime=0.5 mem=14M892
1.45
1.45 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=14M892)
1.63
1.63 search
1.63 run=10 nbConstraintChecks=3619306 nbPropagations=154673 nbRevisions=2056809 nbUselessRevisions=1660296
1.63 nbAssignments=2915 nbFailedAssignments=1113 nbBacktracks=1711 nbVisitedNodes=4976 nbRestartNogoods=41
1.63 => wckTime=0.786 cpuTime=0.7 mem=14M892
1.95
1.95 search
1.95 run=11 nbConstraintChecks=5538002 nbPropagations=233455 nbRevisions=3142892 nbUselessRevisions=2539792
1.95 nbAssignments=4405 nbFailedAssignments=1731 nbBacktracks=2575 nbVisitedNodes=7582 nbRestartNogoods=48
1.95 => wckTime=1.106 cpuTime=1.01 mem=14M892
2.40
2.40 search
2.40 run=12 nbConstraintChecks=8240708 nbPropagations=350194 nbRevisions=4754495 nbUselessRevisions=3843432
2.40 nbAssignments=6565 nbFailedAssignments=2587 nbBacktracks=3872 nbVisitedNodes=11289 nbRestartNogoods=51
2.40 => wckTime=1.549 cpuTime=1.45 mem=14M892
3.07
3.07 search
3.07 run=13 nbConstraintChecks=12459323 nbPropagations=526117 nbRevisions=7188423 nbUselessRevisions=5812929
3.07 nbAssignments=9816 nbFailedAssignments=3883 nbBacktracks=5819 nbVisitedNodes=16964 nbRestartNogoods=60
3.08 => wckTime=2.226 cpuTime=2.12 mem=14M892
4.01
4.01 search
4.01 run=14 nbConstraintChecks=18125597 nbPropagations=783750 nbRevisions=10751051 nbUselessRevisions=8698407
4.01 nbAssignments=14550 nbFailedAssignments=5686 nbBacktracks=8742 nbVisitedNodes=25061 nbRestartNogoods=70
4.01 => wckTime=3.159 cpuTime=3.04 mem=14M892
5.54
5.54 search
5.54 run=15 nbConstraintChecks=27661951 nbPropagations=1176110 nbRevisions=16191978 nbUselessRevisions=13107948
5.54 nbAssignments=21904 nbFailedAssignments=8658 nbBacktracks=13120 nbVisitedNodes=37926 nbRestartNogoods=84
5.54 => wckTime=4.692 cpuTime=4.56 mem=14M892
7.82
7.82 search
7.82 run=16 nbConstraintChecks=41969461 nbPropagations=1764399 nbRevisions=24402158 nbUselessRevisions=19762811
7.82 nbAssignments=32725 nbFailedAssignments=12903 nbBacktracks=19688 nbVisitedNodes=56635 nbRestartNogoods=92
7.82 => wckTime=6.977 cpuTime=6.83 mem=14M892
11.40
11.40 search
11.40 run=17 nbConstraintChecks=64232440 nbPropagations=2664115 nbRevisions=36990081 nbUselessRevisions=29961406
11.40 nbAssignments=49686 nbFailedAssignments=20004 nbBacktracks=29540 nbVisitedNodes=86432 nbRestartNogoods=100
11.40 => wckTime=10.549 cpuTime=10.36 mem=14M892
16.38
16.38 search
16.38 run=18 nbConstraintChecks=95212776 nbPropagations=4003471 nbRevisions=55661842 nbUselessRevisions=45081610
16.38 nbAssignments=74368 nbFailedAssignments=29898 nbBacktracks=44318 nbVisitedNodes=129263 nbRestartNogoods=116
16.38 => wckTime=15.529 cpuTime=15.3 mem=14M892
23.68
23.68 search
23.68 run=19 nbConstraintChecks=140085937 nbPropagations=5983717 nbRevisions=83340405 nbUselessRevisions=67540155
23.68 nbAssignments=110438 nbFailedAssignments=43790 nbBacktracks=66488 nbVisitedNodes=191460 nbRestartNogoods=129
23.68 => wckTime=22.834 cpuTime=22.53 mem=14M892
34.94
34.94 search
34.94 run=20 nbConstraintChecks=210575651 nbPropagations=8948429 nbRevisions=124693206 nbUselessRevisions=101066926
34.94 nbAssignments=164750 nbFailedAssignments=64841 nbBacktracks=99740 nbVisitedNodes=285531 nbRestartNogoods=139
34.94 => wckTime=34.092 cpuTime=33.68 mem=14M892
51.86
51.86 search
51.86 run=21 nbConstraintChecks=315964381 nbPropagations=13397298 nbRevisions=186663421 nbUselessRevisions=151308966
51.86 nbAssignments=246430 nbFailedAssignments=96634 nbBacktracks=149618 nbVisitedNodes=427306 nbRestartNogoods=154
51.86 => wckTime=51.017 cpuTime=50.45 mem=14M892
78.50
78.50 search
78.50 run=22 nbConstraintChecks=481463451 nbPropagations=20167790 nbRevisions=281567575 nbUselessRevisions=228346597
78.50 nbAssignments=373296 nbFailedAssignments=148674 nbBacktracks=224438 nbVisitedNodes=649205 nbRestartNogoods=167
78.50 => wckTime=77.654 cpuTime=76.85 mem=14M892
115.85
115.85 search
115.85 run=23 nbConstraintChecks=712827582 nbPropagations=30209089 nbRevisions=422190647 nbUselessRevisions=342554927
115.85 nbAssignments=556362 nbFailedAssignments=219506 nbBacktracks=336666 nbVisitedNodes=965387 nbRestartNogoods=178
115.85 => wckTime=115.003 cpuTime=113.85 mem=14M892
174.00
174.00 search
174.00 run=24 nbConstraintChecks=1074036516 nbPropagations=45335616 nbRevisions=634393695 nbUselessRevisions=515055796
174.00 nbAssignments=837708 nbFailedAssignments=332503 nbBacktracks=505010 nbVisitedNodes=1455929 nbRestartNogoods=195
174.00 => wckTime=173.149 cpuTime=171.46 mem=14M892
259.21
259.21 search
259.21 run=25 nbConstraintChecks=1604873668 nbPropagations=67905093 nbRevisions=950857162 nbUselessRevisions=772254743
259.21 nbAssignments=1251236 nbFailedAssignments=493512 nbBacktracks=757523 nbVisitedNodes=2171698
259.21 nbRestartNogoods=201
259.21 => wckTime=258.366 cpuTime=255.9 mem=14M892
389.33
389.33 search
389.33 run=26 nbConstraintChecks=2424206795 nbPropagations=101747202 nbRevisions=1425872514
389.33 nbUselessRevisions=1158168138 nbAssignments=1871941 nbFailedAssignments=735443 nbBacktracks=1136291
389.33 nbVisitedNodes=3245495 nbRestartNogoods=217
389.33 => wckTime=388.486 cpuTime=384.82 mem=14M892
438.71
438.71 search
438.71 run=27 nbConstraintChecks=2745934888 nbPropagations=140008856 nbRevisions=1963285999
438.71 nbUselessRevisions=1594814881 nbAssignments=2112798 nbFailedAssignments=829580 nbBacktracks=1283012
438.71 nbVisitedNodes=3662455 nbRestartNogoods=223
438.71 => wckTime=437.862 cpuTime=433.87 mem=14M892
438.71
438.71 global
438.71 nbConstraintChecks=2745934907 nbPropagations=140008897 nbRevisions=1963286000 nbUselessRevisions=1594814881
438.71 nbRestartNogoods=223 solvingWckTime=437.864 solvingCpuTime=433.87 expiredTime=no totalExploration=yes
438.71 nbFoundSolutions=0 globalCpuTime=434.29
438.71 => wckTime=438.397 cpuTime=434.25 mem=14M892
438.71
438.71 s UNSATISFIABLE
438.71 d NODES 2112798
438.71 d CHECKS 2745934907
438.71
438.71 totalWckTime=438.479 totalCpuTime=434.31
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-202535-1168072581 -o ROOT/results/node15/solver-202535-1168072581 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202535-1168072581/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.64 1.87 1.94 4/93 13717
/proc/meminfo: memFree=1017768/2055920 swapFree=4174172/4192956
[pid=13716] ppid=13714 vsize=18540 CPUtime=0
/proc/13716/stat : 13716 (runsolver) R 13714 13716 13537 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155652993 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/13716/statm: 4635 279 244 17 0 2626 0
[startup+0.110165 s]
/proc/loadavg: 1.64 1.87 1.94 4/93 13717
/proc/meminfo: memFree=1017768/2055920 swapFree=4174172/4192956
[pid=13716] ppid=13714 vsize=914988 CPUtime=0.09
/proc/13716/stat : 13716 (java) R 13714 13716 13537 0 -1 0 3045 0 1 0 7 2 0 0 20 0 8 0 155652993 936947712 2791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155476913 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13716/statm: 228747 2791 1445 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.518222 s]
/proc/loadavg: 1.64 1.87 1.94 4/93 13717
/proc/meminfo: memFree=1017768/2055920 swapFree=4174172/4192956
[pid=13716] ppid=13714 vsize=915328 CPUtime=0.49
/proc/13716/stat : 13716 (java) R 13714 13716 13537 0 -1 0 6833 0 1 0 45 4 0 0 18 0 8 0 155652993 937295872 6572 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13716/statm: 228832 6572 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33936 s]
/proc/loadavg: 1.64 1.87 1.94 3/100 13724
/proc/meminfo: memFree=994224/2055920 swapFree=4174172/4192956
[pid=13716] ppid=13714 vsize=915456 CPUtime=1.3
/proc/13716/stat : 13716 (java) R 13714 13716 13537 0 -1 0 8631 0 1 0 124 6 0 0 24 0 8 0 155652993 937426944 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13716/statm: 228864 8369 2513 14 0 215334 0
[pid=13716/tid=13718] ppid=13714 vsize=915456 CPUtime=0.03
/proc/13716/task/13718/stat : 13718 (java) S 13714 13716 13537 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155652997 937426944 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13719] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13719/stat : 13719 (java) S 13714 13716 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652998 937426944 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13720] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13720/stat : 13720 (java) S 13714 13716 13537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652998 937426944 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13721] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13721/stat : 13721 (java) S 13714 13716 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155653001 937426944 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13722] ppid=13714 vsize=915456 CPUtime=0.22
/proc/13716/task/13722/stat : 13722 (java) R 13714 13716 13537 0 -1 64 381 0 0 0 21 1 0 0 16 0 8 0 155653001 937426944 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153055601 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13723] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13723/stat : 13723 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155653001 937426944 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13724] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13724/stat : 13724 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155653001 937426944 8369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.97664 s]
/proc/loadavg: 1.64 1.87 1.94 3/100 13724
/proc/meminfo: memFree=993904/2055920 swapFree=4174172/4192956
[pid=13716] ppid=13714 vsize=915456 CPUtime=2.93
/proc/13716/stat : 13716 (java) R 13714 13716 13537 0 -1 0 8664 0 1 0 286 7 0 0 25 0 8 0 155652993 937426944 8401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807462 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13716/statm: 228864 8401 2513 14 0 215334 0
[pid=13716/tid=13718] ppid=13714 vsize=915456 CPUtime=0.03
/proc/13716/task/13718/stat : 13718 (java) S 13714 13716 13537 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155652997 937426944 8401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13719] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13719/stat : 13719 (java) S 13714 13716 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652998 937426944 8401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13720] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13720/stat : 13720 (java) S 13714 13716 13537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652998 937426944 8401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13721] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13721/stat : 13721 (java) S 13714 13716 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155653001 937426944 8401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13722] ppid=13714 vsize=915456 CPUtime=0.23
/proc/13716/task/13722/stat : 13722 (java) S 13714 13716 13537 0 -1 64 391 0 0 0 22 1 0 0 15 0 8 0 155653001 937426944 8401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13723] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13723/stat : 13723 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155653001 937426944 8401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13724] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13724/stat : 13724 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155653001 937426944 8401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
[startup+6.27721 s]
/proc/loadavg: 1.67 1.87 1.94 3/100 13724
/proc/meminfo: memFree=993904/2055920 swapFree=4174172/4192956
[pid=13716] ppid=13714 vsize=915456 CPUtime=6.2
/proc/13716/stat : 13716 (java) R 13714 13716 13537 0 -1 0 8671 0 1 0 613 7 0 0 25 0 8 0 155652993 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806581 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13716/statm: 228864 8408 2513 14 0 215334 0
[pid=13716/tid=13718] ppid=13714 vsize=915456 CPUtime=0.03
/proc/13716/task/13718/stat : 13718 (java) S 13714 13716 13537 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155652997 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13719] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13719/stat : 13719 (java) S 13714 13716 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652998 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13720] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13720/stat : 13720 (java) S 13714 13716 13537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652998 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13721] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13721/stat : 13721 (java) S 13714 13716 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155653001 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13722] ppid=13714 vsize=915456 CPUtime=0.23
/proc/13716/task/13722/stat : 13722 (java) S 13714 13716 13537 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 155653001 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13723] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13723/stat : 13723 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155653001 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13724] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13724/stat : 13724 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155653001 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456
[startup+12.7543 s]
/proc/loadavg: 1.70 1.87 1.94 3/100 13724
/proc/meminfo: memFree=993904/2055920 swapFree=4174172/4192956
[pid=13716] ppid=13714 vsize=915456 CPUtime=12.62
/proc/13716/stat : 13716 (java) R 13714 13716 13537 0 -1 0 8676 0 1 0 1255 7 0 0 25 0 8 0 155652993 937426944 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13716/statm: 228864 8413 2513 14 0 215334 0
[pid=13716/tid=13718] ppid=13714 vsize=915456 CPUtime=0.03
/proc/13716/task/13718/stat : 13718 (java) S 13714 13716 13537 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155652997 937426944 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13719] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13719/stat : 13719 (java) S 13714 13716 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652998 937426944 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13720] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13720/stat : 13720 (java) S 13714 13716 13537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652998 937426944 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13721] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13721/stat : 13721 (java) S 13714 13716 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155653001 937426944 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13722] ppid=13714 vsize=915456 CPUtime=0.24
/proc/13716/task/13722/stat : 13722 (java) S 13714 13716 13537 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155653001 937426944 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13723] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13723/stat : 13723 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155653001 937426944 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13724] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13724/stat : 13724 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155653001 937426944 8413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915456
[startup+25.6155 s]
/proc/loadavg: 1.77 1.88 1.94 3/100 13724
/proc/meminfo: memFree=993968/2055920 swapFree=4174172/4192956
[pid=13716] ppid=13714 vsize=915456 CPUtime=25.36
/proc/13716/stat : 13716 (java) R 13714 13716 13537 0 -1 0 8683 0 1 0 2529 7 0 0 25 0 8 0 155652993 937426944 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13716/statm: 228864 8419 2513 14 0 215334 0
[pid=13716/tid=13718] ppid=13714 vsize=915456 CPUtime=0.03
/proc/13716/task/13718/stat : 13718 (java) S 13714 13716 13537 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155652997 937426944 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13719] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13719/stat : 13719 (java) S 13714 13716 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652998 937426944 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13720] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13720/stat : 13720 (java) S 13714 13716 13537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652998 937426944 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13721] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13721/stat : 13721 (java) S 13714 13716 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155653001 937426944 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13722] ppid=13714 vsize=915456 CPUtime=0.24
/proc/13716/task/13722/stat : 13722 (java) S 13714 13716 13537 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155653001 937426944 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13723] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13723/stat : 13723 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155653001 937426944 8419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13724] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13724/stat : 13724 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155653001 937426944 8419 18446744073709551615 134512640 134570532 4294956464 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.2209 s]
/proc/loadavg: 1.92 1.91 1.95 3/100 13724
/proc/meminfo: memFree=994032/2055920 swapFree=4174172/4192956
[pid=13716] ppid=13714 vsize=915456 CPUtime=50.72
/proc/13716/stat : 13716 (java) R 13714 13716 13537 0 -1 0 8685 0 1 0 5065 7 0 0 25 0 8 0 155652993 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13716/statm: 228864 8421 2513 14 0 215334 0
[pid=13716/tid=13718] ppid=13714 vsize=915456 CPUtime=0.03
/proc/13716/task/13718/stat : 13718 (java) S 13714 13716 13537 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155652997 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13719] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13719/stat : 13719 (java) S 13714 13716 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652998 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13720] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13720/stat : 13720 (java) S 13714 13716 13537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652998 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13721] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13721/stat : 13721 (java) S 13714 13716 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155653001 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13722] ppid=13714 vsize=915456 CPUtime=0.24
/proc/13716/task/13722/stat : 13722 (java) S 13714 13716 13537 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155653001 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13723] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13723/stat : 13723 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155653001 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13724] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13724/stat : 13724 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155653001 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915456
[startup+102.431 s]
/proc/loadavg: 1.97 1.92 1.95 3/100 13724
/proc/meminfo: memFree=993968/2055920 swapFree=4174172/4192956
[pid=13716] ppid=13714 vsize=915456 CPUtime=101.47
/proc/13716/stat : 13716 (java) R 13714 13716 13537 0 -1 0 8690 0 1 0 10139 8 0 0 25 0 8 0 155652993 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807345 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13716/statm: 228864 8426 2513 14 0 215334 0
[pid=13716/tid=13718] ppid=13714 vsize=915456 CPUtime=0.03
/proc/13716/task/13718/stat : 13718 (java) S 13714 13716 13537 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155652997 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13719] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13719/stat : 13719 (java) S 13714 13716 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652998 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13720] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13720/stat : 13720 (java) S 13714 13716 13537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652998 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13721] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13721/stat : 13721 (java) S 13714 13716 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155653001 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13722] ppid=13714 vsize=915456 CPUtime=0.24
/proc/13716/task/13722/stat : 13722 (java) S 13714 13716 13537 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155653001 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13723] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13723/stat : 13723 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155653001 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13724] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13724/stat : 13724 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155653001 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915456
[startup+162.495 s]
/proc/loadavg: 1.99 1.93 1.95 3/100 13724
/proc/meminfo: memFree=993968/2055920 swapFree=4174172/4192956
[pid=13716] ppid=13714 vsize=915456 CPUtime=160.98
/proc/13716/stat : 13716 (java) R 13714 13716 13537 0 -1 0 8693 0 1 0 16090 8 0 0 25 0 8 0 155652993 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834536 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13716/statm: 228864 8429 2513 14 0 215334 0
[pid=13716/tid=13718] ppid=13714 vsize=915456 CPUtime=0.03
/proc/13716/task/13718/stat : 13718 (java) S 13714 13716 13537 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155652997 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13719] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13719/stat : 13719 (java) S 13714 13716 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652998 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13720] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13720/stat : 13720 (java) S 13714 13716 13537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652998 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13721] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13721/stat : 13721 (java) S 13714 13716 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155653001 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13722] ppid=13714 vsize=915456 CPUtime=0.24
/proc/13716/task/13722/stat : 13722 (java) S 13714 13716 13537 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155653001 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13723] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13723/stat : 13723 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155653001 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13724] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13724/stat : 13724 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155653001 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.98
Current children cumulated vsize (KiB) 915456
[startup+222.546 s]
/proc/loadavg: 1.99 1.94 1.95 3/100 13724
/proc/meminfo: memFree=993968/2055920 swapFree=4174172/4192956
[pid=13716] ppid=13714 vsize=915456 CPUtime=220.47
/proc/13716/stat : 13716 (java) R 13714 13716 13537 0 -1 0 8695 0 1 0 22039 8 0 0 25 0 8 0 155652993 937426944 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820121 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13716/statm: 228864 8431 2513 14 0 215334 0
[pid=13716/tid=13718] ppid=13714 vsize=915456 CPUtime=0.03
/proc/13716/task/13718/stat : 13718 (java) S 13714 13716 13537 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155652997 937426944 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13719] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13719/stat : 13719 (java) S 13714 13716 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652998 937426944 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13720] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13720/stat : 13720 (java) S 13714 13716 13537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652998 937426944 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13721] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13721/stat : 13721 (java) S 13714 13716 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155653001 937426944 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13722] ppid=13714 vsize=915456 CPUtime=0.24
/proc/13716/task/13722/stat : 13722 (java) S 13714 13716 13537 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155653001 937426944 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13723] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13723/stat : 13723 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155653001 937426944 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13724] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13724/stat : 13724 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155653001 937426944 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.47
Current children cumulated vsize (KiB) 915456
[startup+282.594 s]
/proc/loadavg: 1.99 1.95 1.95 3/100 13724
/proc/meminfo: memFree=993968/2055920 swapFree=4174172/4192956
[pid=13716] ppid=13714 vsize=915456 CPUtime=279.97
/proc/13716/stat : 13716 (java) R 13714 13716 13537 0 -1 0 8698 0 1 0 27988 9 0 0 25 0 8 0 155652993 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807578 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13716/statm: 228864 8434 2513 14 0 215334 0
[pid=13716/tid=13718] ppid=13714 vsize=915456 CPUtime=0.03
/proc/13716/task/13718/stat : 13718 (java) S 13714 13716 13537 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155652997 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13719] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13719/stat : 13719 (java) S 13714 13716 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652998 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13720] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13720/stat : 13720 (java) S 13714 13716 13537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652998 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13721] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13721/stat : 13721 (java) S 13714 13716 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155653001 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13722] ppid=13714 vsize=915456 CPUtime=0.24
/proc/13716/task/13722/stat : 13722 (java) S 13714 13716 13537 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155653001 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13723] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13723/stat : 13723 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155653001 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13724] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13724/stat : 13724 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155653001 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.97
Current children cumulated vsize (KiB) 915456
[startup+342.651 s]
/proc/loadavg: 1.99 1.95 1.95 3/100 13724
/proc/meminfo: memFree=993968/2055920 swapFree=4174172/4192956
[pid=13716] ppid=13714 vsize=915456 CPUtime=339.48
/proc/13716/stat : 13716 (java) R 13714 13716 13537 0 -1 0 8698 0 1 0 33939 9 0 0 25 0 8 0 155652993 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794441 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13716/statm: 228864 8434 2513 14 0 215334 0
[pid=13716/tid=13718] ppid=13714 vsize=915456 CPUtime=0.03
/proc/13716/task/13718/stat : 13718 (java) S 13714 13716 13537 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155652997 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13719] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13719/stat : 13719 (java) S 13714 13716 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652998 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13720] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13720/stat : 13720 (java) S 13714 13716 13537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652998 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13721] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13721/stat : 13721 (java) S 13714 13716 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155653001 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13722] ppid=13714 vsize=915456 CPUtime=0.24
/proc/13716/task/13722/stat : 13722 (java) S 13714 13716 13537 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155653001 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13723] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13723/stat : 13723 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155653001 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13724] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13724/stat : 13724 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155653001 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.48
Current children cumulated vsize (KiB) 915456
[startup+402.714 s]
/proc/loadavg: 2.04 1.97 1.95 3/100 13724
/proc/meminfo: memFree=993968/2055920 swapFree=4174172/4192956
[pid=13716] ppid=13714 vsize=915456 CPUtime=398.99
/proc/13716/stat : 13716 (java) R 13714 13716 13537 0 -1 0 8700 0 1 0 39889 10 0 0 25 0 8 0 155652993 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13716/statm: 228864 8436 2513 14 0 215334 0
[pid=13716/tid=13718] ppid=13714 vsize=915456 CPUtime=0.03
/proc/13716/task/13718/stat : 13718 (java) S 13714 13716 13537 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155652997 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13719] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13719/stat : 13719 (java) S 13714 13716 13537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652998 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13720] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13720/stat : 13720 (java) S 13714 13716 13537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652998 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13721] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13721/stat : 13721 (java) S 13714 13716 13537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155653001 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13722] ppid=13714 vsize=915456 CPUtime=0.24
/proc/13716/task/13722/stat : 13722 (java) S 13714 13716 13537 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155653001 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13723] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13723/stat : 13723 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155653001 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13716/tid=13724] ppid=13714 vsize=915456 CPUtime=0
/proc/13716/task/13724/stat : 13724 (java) S 13714 13716 13537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155653001 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.99
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 438.748
CPU time (s): 434.814
CPU user time (s): 434.649
CPU system time (s): 0.164974
CPU usage (%): 99.1034
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 434.649
system time used= 0.164974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8792
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= 9979
involuntary context switches= 31476
runsolver used 0.538918 s user time and 1.41278 s system time
The end
Begin job on node15 on Sat Jan 6 08:36:21 UTC 2007
IDJOB= 202535
IDBENCH= 3864
FILE ID= node15/202535-1168072581
PBS_JOBID= 3475751
Free space on /tmp= 66283 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202535-1168072581/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-202535-1168072581 -o ROOT/results/node15/solver-202535-1168072581 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202535-1168072581/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5fb8f6a93a09012584dbcbec6c1ad546
RANDOM SEED= 185648120
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.276
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.276
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: 1018248 kB
Buffers: 85128 kB
Cached: 777056 kB
SwapCached: 7128 kB
Active: 378024 kB
Inactive: 555968 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1018248 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 2076 kB
Writeback: 0 kB
Mapped: 90480 kB
Slab: 88040 kB
Committed_AS: 4925952 kB
PageTables: 2516 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= 66278 MiB
End job on node15 on Sat Jan 6 08:43:40 UTC 2007