0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/211018-1168075382/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.54 nbVariables=1612 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.54 => wckTime=0.234 cpuTime=0.15 mem=9M844
0.54
0.54 predicates being loaded...
0.54
0.55 constraints being loaded...
1.66 nbConstraints=3329 nbMergedConstraints=323 nbSingletonDomainVariables=320 nbConvertedConstraints=2137
1.66 nbConvertConstraintsChecks=122991 nbExtensionStructures=9 nbSharedExtensionStructures=2128
1.66 nbConflictsStructures=57 nbSharedConflictsStructures=3272 nbSharedBinaryRepresentations=21
1.66 nbEvaluationManagers=48 nbSharedEvaluationManagers=1144 maxDegree=106 maxArity=13
1.66 => wckTime=1.357 cpuTime=1.13 mem=25M925
1.72
1.72 solver IterativeSystematicSolver being built...
2.00 => wckTime=1.699 cpuTime=1.34 mem=33M639
2.03
2.03 preprocessing
2.03 nbConstraintChecks=0 nbPropagations=1612 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.03 detectedInconsistency=no
2.03 => wckTime=0.024 cpuTime=0.01 mem=33M639
3.16
3.16 search
3.16 run=0 nbConstraintChecks=40162 nbValidityChecks=22127 nbPropagations=2784 nbRevisions=16181
3.16 nbUselessRevisions=15102 nbAssignments=758 nbFailedAssignments=6 nbBacktracks=133 nbVisitedNodes=767
3.16 nbRestartNogoods=0 mapSize=2 nbInferences=1 nbTooLargeKeys=0
3.16 => wckTime=1.156 cpuTime=1.1 mem=34M650
4.14
4.14 search
4.14 run=1 nbConstraintChecks=55472 nbValidityChecks=46454 nbPropagations=6713 nbRevisions=48337
4.14 nbUselessRevisions=45142 nbAssignments=1491 nbFailedAssignments=10 nbBacktracks=241 nbVisitedNodes=1506
4.14 nbRestartNogoods=5 mapSize=4 nbInferences=2 nbTooLargeKeys=0
4.14 => wckTime=2.131 cpuTime=2.05 mem=34M650
5.08
5.08 search
5.08 run=2 nbConstraintChecks=70701 nbValidityChecks=70734 nbPropagations=11780 nbRevisions=96413
5.08 nbUselessRevisions=90073 nbAssignments=2226 nbFailedAssignments=14 nbBacktracks=345 nbVisitedNodes=2246
5.08 nbRestartNogoods=9 mapSize=5 nbInferences=2 nbTooLargeKeys=0
5.08 => wckTime=3.077 cpuTime=2.96 mem=35M644
5.82
5.82 search
5.82 run=3 nbConstraintChecks=84946 nbValidityChecks=93722 nbPropagations=18042 nbRevisions=159994
5.82 nbUselessRevisions=149392 nbAssignments=2817 nbFailedAssignments=19 nbBacktracks=499 nbVisitedNodes=2845
5.82 nbRestartNogoods=13 mapSize=10 nbInferences=2 nbTooLargeKeys=0
5.82 => wckTime=3.812 cpuTime=3.69 mem=35M644
6.48
6.48 search
6.48 run=4 nbConstraintChecks=98792 nbValidityChecks=116446 nbPropagations=25403 nbRevisions=238702
6.48 nbUselessRevisions=222821 nbAssignments=3356 nbFailedAssignments=21 nbBacktracks=601 nbVisitedNodes=3387
6.48 nbRestartNogoods=15 mapSize=11 nbInferences=2 nbTooLargeKeys=0
6.48 => wckTime=4.47 cpuTime=4.35 mem=35M644
7.00
7.00 search
7.00 run=5 nbConstraintChecks=119430 nbValidityChecks=139323 nbPropagations=34134 nbRevisions=333243
7.00 nbUselessRevisions=310757 nbAssignments=3788 nbFailedAssignments=32 nbBacktracks=720 nbVisitedNodes=3842
7.00 nbRestartNogoods=17 mapSize=33 nbInferences=2 nbTooLargeKeys=0
7.00 => wckTime=4.993 cpuTime=4.86 mem=35M644
7.63
7.63 search
7.63 run=6 nbConstraintChecks=141405 nbValidityChecks=165453 nbPropagations=44502 nbRevisions=446204
7.63 nbUselessRevisions=415475 nbAssignments=4304 nbFailedAssignments=51 nbBacktracks=833 nbVisitedNodes=4401
7.63 nbRestartNogoods=18 mapSize=74 nbInferences=3 nbTooLargeKeys=0
7.63 => wckTime=5.629 cpuTime=5.49 mem=35M644
8.15
8.15 search
8.15 run=7 nbConstraintChecks=154574 nbValidityChecks=186921 nbPropagations=56064 nbRevisions=574049
8.15 nbUselessRevisions=533910 nbAssignments=4722 nbFailedAssignments=55 nbBacktracks=1041 nbVisitedNodes=4825
8.15 nbRestartNogoods=20 mapSize=78 nbInferences=3 nbTooLargeKeys=0
8.15 => wckTime=6.148 cpuTime=6.0 mem=35M644
8.78
8.78 search
8.78 run=8 nbConstraintChecks=167888 nbValidityChecks=208639 nbPropagations=68898 nbRevisions=717225
8.78 nbUselessRevisions=666408 nbAssignments=5245 nbFailedAssignments=59 nbBacktracks=1350 nbVisitedNodes=5356
8.78 nbRestartNogoods=22 mapSize=83 nbInferences=3 nbTooLargeKeys=0
8.78 => wckTime=6.778 cpuTime=6.63 mem=36M639
9.64
9.64 search
9.64 run=9 nbConstraintChecks=181517 nbValidityChecks=230490 nbPropagations=82940 nbRevisions=875594
9.64 nbUselessRevisions=812946 nbAssignments=5896 nbFailedAssignments=64 nbBacktracks=1777 nbVisitedNodes=6016
9.64 nbRestartNogoods=25 mapSize=89 nbInferences=3 nbTooLargeKeys=0
9.64 => wckTime=7.633 cpuTime=7.47 mem=36M639
11.12
11.12 search
11.12 run=10 nbConstraintChecks=228652 nbValidityChecks=280671 nbPropagations=99581 nbRevisions=1069081
11.12 nbUselessRevisions=992414 nbAssignments=6896 nbFailedAssignments=80 nbBacktracks=2359 nbVisitedNodes=7239
11.12 nbRestartNogoods=28 mapSize=308 nbInferences=201 nbTooLargeKeys=0
11.12 => wckTime=9.11 cpuTime=8.93 mem=36M639
13.78
13.78 search
13.78 run=11 nbConstraintChecks=285483 nbValidityChecks=374511 nbPropagations=119650 nbRevisions=1324918
13.78 nbUselessRevisions=1232096 nbAssignments=8635 nbFailedAssignments=91 nbBacktracks=3223 nbVisitedNodes=9646
13.78 nbRestartNogoods=31 mapSize=970 nbInferences=856 nbTooLargeKeys=0
13.78 => wckTime=11.774 cpuTime=11.57 mem=37M634
15.86
15.86 search
15.86 run=12 nbConstraintChecks=378964 nbValidityChecks=437098 nbPropagations=155019 nbRevisions=1670998
15.86 nbUselessRevisions=1546218 nbAssignments=10286 nbFailedAssignments=190 nbBacktracks=4526 nbVisitedNodes=11618
15.86 nbRestartNogoods=37 mapSize=1286 nbInferences=967 nbTooLargeKeys=0
15.86 => wckTime=13.851 cpuTime=13.62 mem=38M628
21.19
21.19 search
21.19 run=13 nbConstraintChecks=471160 nbValidityChecks=564845 nbPropagations=195981 nbRevisions=2108396
21.19 nbUselessRevisions=1948530 nbAssignments=13680 nbFailedAssignments=206 nbBacktracks=6472 nbVisitedNodes=16243
21.19 nbRestartNogoods=40 mapSize=2510 nbInferences=2166 nbTooLargeKeys=0
21.19 => wckTime=19.183 cpuTime=18.92 mem=39M623
25.71
25.71 search
25.71 run=14 nbConstraintChecks=710183 nbValidityChecks=704237 nbPropagations=273548 nbRevisions=2765181
25.71 nbUselessRevisions=2532205 nbAssignments=17267 nbFailedAssignments=404 nbBacktracks=9410 nbVisitedNodes=20697
25.71 nbRestartNogoods=47 mapSize=3369 nbInferences=2513 nbTooLargeKeys=0
25.71 => wckTime=23.705 cpuTime=23.4 mem=41M612
32.18
32.18 search
32.18 run=15 nbConstraintChecks=1218880 nbValidityChecks=891508 nbPropagations=399017 nbRevisions=3713917
32.18 nbUselessRevisions=3357705 nbAssignments=22222 nbFailedAssignments=746 nbBacktracks=13791 nbVisitedNodes=26501
32.18 nbRestartNogoods=50 mapSize=4188 nbInferences=2622 nbTooLargeKeys=0
32.18 => wckTime=30.175 cpuTime=29.79 mem=43M602
41.72
41.74 search
41.74 run=16 nbConstraintChecks=1822937 nbValidityChecks=1098259 nbPropagations=590758 nbRevisions=5040305
41.74 nbUselessRevisions=4490623 nbAssignments=29873 nbFailedAssignments=1395 nbBacktracks=20361 nbVisitedNodes=35735
41.74 nbRestartNogoods=57 mapSize=5698 nbInferences=2890 nbTooLargeKeys=0
41.74 => wckTime=39.72 cpuTime=39.26 mem=46M586
54.98
54.98 search
54.98 run=17 nbConstraintChecks=2394175 nbValidityChecks=1318769 nbPropagations=878744 nbRevisions=6862935
54.98 nbUselessRevisions=6019338 nbAssignments=40963 nbFailedAssignments=2056 nbBacktracks=30214 nbVisitedNodes=48623
54.98 nbRestartNogoods=65 mapSize=7388 nbInferences=3323 nbTooLargeKeys=0
54.98 => wckTime=52.978 cpuTime=52.41 mem=51M559
75.90
75.90 search
75.90 run=18 nbConstraintChecks=3994824 nbValidityChecks=2073201 nbPropagations=1405938 nbRevisions=10185937
75.90 nbUselessRevisions=8799003 nbAssignments=57949 nbFailedAssignments=3493 nbBacktracks=44992 nbVisitedNodes=69606
75.90 nbRestartNogoods=73 mapSize=11346 nbInferences=4014 nbTooLargeKeys=0
75.90 => wckTime=73.893 cpuTime=73.11 mem=16M309
108.86
108.86 search
108.86 run=19 nbConstraintChecks=6343688 nbValidityChecks=3216615 nbPropagations=2271828 nbRevisions=15659094
108.86 nbUselessRevisions=13377532 nbAssignments=84568 nbFailedAssignments=5519 nbBacktracks=67162
108.86 nbVisitedNodes=102867 nbRestartNogoods=80 mapSize=17833 nbInferences=6341 nbTooLargeKeys=0
108.86 => wckTime=106.851 cpuTime=105.77 mem=23M320
161.04
161.04 search
161.04 run=20 nbConstraintChecks=12362709 nbValidityChecks=5600011 nbPropagations=3724619 nbRevisions=25058839
161.04 nbUselessRevisions=21272376 nbAssignments=123341 nbFailedAssignments=8732 nbBacktracks=100415
161.04 nbVisitedNodes=150760 nbRestartNogoods=87 mapSize=26587 nbInferences=8551 nbTooLargeKeys=0
161.04 => wckTime=159.03 cpuTime=157.5 mem=33M337
225.42
225.42 search
225.42 run=21 nbConstraintChecks=16821074 nbValidityChecks=7202260 nbPropagations=5842110 nbRevisions=38002848
225.42 nbUselessRevisions=31996488 nbAssignments=179907 nbFailedAssignments=13554 nbBacktracks=150297
225.42 nbVisitedNodes=219493 nbRestartNogoods=99 mapSize=38593 nbInferences=10231 nbTooLargeKeys=0
225.42 => wckTime=223.411 cpuTime=221.3 mem=49M363
330.90
330.90 search
330.90 run=22 nbConstraintChecks=23350229 nbValidityChecks=9882255 nbPropagations=8866660 nbRevisions=56222199
330.90 nbUselessRevisions=47048558 nbAssignments=267530 nbFailedAssignments=19856 nbBacktracks=225115
330.90 nbVisitedNodes=326692 nbRestartNogoods=111 mapSize=56874 nbInferences=16610 nbTooLargeKeys=0
330.90 => wckTime=328.896 cpuTime=325.78 mem=38M837
486.74
486.74 search
486.74 run=23 nbConstraintChecks=33876490 nbValidityChecks=13712891 nbPropagations=13213492 nbRevisions=81675069
486.74 nbUselessRevisions=67945879 nbAssignments=396134 nbFailedAssignments=28797 nbBacktracks=337342
486.74 nbVisitedNodes=483874 nbRestartNogoods=124 mapSize=84091 nbInferences=23934 nbTooLargeKeys=0
486.74 => wckTime=484.737 cpuTime=480.17 mem=40M147
725.07
725.07 search
725.07 run=24 nbConstraintChecks=50784613 nbValidityChecks=20694470 nbPropagations=19849361 nbRevisions=120919685
725.07 nbUselessRevisions=100279361 nbAssignments=595691 nbFailedAssignments=43854 nbBacktracks=505686
725.07 nbVisitedNodes=729933 nbRestartNogoods=131 mapSize=129361 nbInferences=39998 nbTooLargeKeys=0
725.07 => wckTime=723.063 cpuTime=716.29 mem=56M596
1071.52
1071.52 search
1071.52 run=25 nbConstraintChecks=77083112 nbValidityChecks=30692535 nbPropagations=30154880 nbRevisions=181201539
1071.52 nbUselessRevisions=149838810 nbAssignments=888992 nbFailedAssignments=64894 nbBacktracks=758211
1071.52 nbVisitedNodes=1087735 nbRestartNogoods=141 mapSize=191332 nbInferences=59631 nbTooLargeKeys=0
1071.52 => wckTime=1069.515 cpuTime=1059.54 mem=89M702
1617.69
1617.69 search
1617.69 run=26 nbConstraintChecks=127290507 nbValidityChecks=48928881 nbPropagations=46542965 nbRevisions=278767995
1617.69 nbUselessRevisions=230446213 nbAssignments=1326392 nbFailedAssignments=94940 nbBacktracks=1136979
1617.69 nbVisitedNodes=1620043 nbRestartNogoods=156 mapSize=282676 nbInferences=88113 nbTooLargeKeys=0
1617.69 => wckTime=1615.686 cpuTime=1600.57 mem=106M430
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-211018-1168075382 -o ROOT/results/node38/solver-211018-1168075382 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211018-1168075382/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.56 1.90 1.80 2/73 15509
/proc/meminfo: memFree=1629352/2055920 swapFree=4192812/4192956
[pid=15508] ppid=15502 vsize=168 CPUtime=0
/proc/15508/stat : 15508 (java) R 15502 15508 15056 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 155938491 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 8605995 0 0 4096 0 0 0 0 17 1 0 0
/proc/15508/statm: 42 23 18 14 0 2 0
[startup+0.105226 s]
/proc/loadavg: 1.56 1.90 1.80 2/73 15509
/proc/meminfo: memFree=1629352/2055920 swapFree=4192812/4192956
[pid=15508] ppid=15502 vsize=914988 CPUtime=0.08
/proc/15508/stat : 15508 (java) R 15502 15508 15056 0 -1 0 2991 0 1 0 6 2 0 0 25 0 8 0 155938491 936947712 2737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154010163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15508/statm: 228747 2737 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516308 s]
/proc/loadavg: 1.56 1.90 1.80 2/73 15509
/proc/meminfo: memFree=1629352/2055920 swapFree=4192812/4192956
[pid=15508] ppid=15502 vsize=915328 CPUtime=0.49
/proc/15508/stat : 15508 (java) R 15502 15508 15056 0 -1 0 6751 0 1 0 45 4 0 0 25 0 8 0 155938491 937295872 6490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15508/statm: 228832 6490 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34147 s]
/proc/loadavg: 1.67 1.92 1.81 3/87 15523
/proc/meminfo: memFree=1508408/2055920 swapFree=4192812/4192956
[pid=15508] ppid=15502 vsize=915644 CPUtime=1.3
/proc/15508/stat : 15508 (java) R 15502 15508 15056 0 -1 0 17625 0 1 0 108 22 0 0 25 0 8 0 155938491 937619456 17362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073879910 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15508/statm: 228911 17362 2178 14 0 215381 0
[pid=15508/tid=15510] ppid=15502 vsize=915644 CPUtime=0.03
/proc/15508/task/15510/stat : 15510 (java) S 15502 15508 15056 0 -1 64 1004 0 0 0 3 0 0 0 16 0 8 0 155938495 937619456 17362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15512] ppid=15502 vsize=915644 CPUtime=0
/proc/15508/task/15512/stat : 15512 (java) S 15502 15508 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155938495 937619456 17362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15513] ppid=15502 vsize=915644 CPUtime=0
/proc/15508/task/15513/stat : 15513 (java) S 15502 15508 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155938495 937619456 17362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15516] ppid=15502 vsize=915644 CPUtime=0
/proc/15508/task/15516/stat : 15516 (java) S 15502 15508 15056 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155938499 937619456 17362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15517] ppid=15502 vsize=915644 CPUtime=0.2
/proc/15508/task/15517/stat : 15517 (java) S 15502 15508 15056 0 -1 64 430 0 0 0 19 1 0 0 16 0 8 0 155938499 937619456 17362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15518] ppid=15502 vsize=915644 CPUtime=0
/proc/15508/task/15518/stat : 15518 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155938499 937619456 17362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15519] ppid=15502 vsize=915644 CPUtime=0
/proc/15508/task/15519/stat : 15519 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155938499 937619456 17362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915644
[startup+2.97979 s]
/proc/loadavg: 1.67 1.92 1.81 3/87 15523
/proc/meminfo: memFree=1482040/2055920 swapFree=4192812/4192956
[pid=15508] ppid=15502 vsize=915852 CPUtime=2.93
/proc/15508/stat : 15508 (java) R 15502 15508 15056 0 -1 0 19236 0 1 0 269 24 0 0 25 0 8 0 155938491 937832448 18972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074204579 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15508/statm: 228963 18972 2534 14 0 215433 0
[pid=15508/tid=15510] ppid=15502 vsize=915852 CPUtime=0.09
/proc/15508/task/15510/stat : 15510 (java) S 15502 15508 15056 0 -1 64 2099 0 0 0 9 0 0 0 17 0 8 0 155938495 937832448 18972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15512] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15512/stat : 15512 (java) S 15502 15508 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 18972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15513] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15513/stat : 15513 (java) S 15502 15508 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 18972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15516] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15516/stat : 15516 (java) S 15502 15508 15056 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155938499 937832448 18972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15517] ppid=15502 vsize=915852 CPUtime=0.34
/proc/15508/task/15517/stat : 15517 (java) S 15502 15508 15056 0 -1 64 515 0 0 0 32 2 0 0 15 0 8 0 155938499 937832448 18972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15518] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15518/stat : 15518 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155938499 937832448 18972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15519] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15519/stat : 15519 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155938499 937832448 18972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915852
[startup+6.28043 s]
/proc/loadavg: 1.78 1.94 1.82 3/87 15523
/proc/meminfo: memFree=1430264/2055920 swapFree=4192812/4192956
[pid=15508] ppid=15502 vsize=915852 CPUtime=6.2
/proc/15508/stat : 15508 (java) R 15502 15508 15056 0 -1 0 19262 0 1 0 596 24 0 0 25 0 8 0 155938491 937832448 18994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854127 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15508/statm: 228963 18994 2538 14 0 215433 0
[pid=15508/tid=15510] ppid=15502 vsize=915852 CPUtime=0.09
/proc/15508/task/15510/stat : 15510 (java) S 15502 15508 15056 0 -1 64 2100 0 0 0 9 0 0 0 16 0 8 0 155938495 937832448 18994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15512] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15512/stat : 15512 (java) S 15502 15508 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 18994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15513] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15513/stat : 15513 (java) S 15502 15508 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 18994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15516] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15516/stat : 15516 (java) S 15502 15508 15056 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155938499 937832448 18994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15517] ppid=15502 vsize=915852 CPUtime=0.37
/proc/15508/task/15517/stat : 15517 (java) S 15502 15508 15056 0 -1 64 533 0 0 0 35 2 0 0 16 0 8 0 155938499 937832448 18994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15518] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15518/stat : 15518 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155938499 937832448 18994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15519] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15519/stat : 15519 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155938499 937832448 18994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915852
[startup+12.7587 s]
/proc/loadavg: 1.80 1.94 1.82 3/87 15523
/proc/meminfo: memFree=1399672/2055920 swapFree=4192812/4192956
[pid=15508] ppid=15502 vsize=915852 CPUtime=12.62
/proc/15508/stat : 15508 (java) R 15502 15508 15056 0 -1 0 19272 0 1 0 1238 24 0 0 25 0 8 0 155938491 937832448 19001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074145146 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15508/statm: 228963 19001 2538 14 0 215433 0
[pid=15508/tid=15510] ppid=15502 vsize=915852 CPUtime=0.09
/proc/15508/task/15510/stat : 15510 (java) S 15502 15508 15056 0 -1 64 2100 0 0 0 9 0 0 0 16 0 8 0 155938495 937832448 19001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15512] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15512/stat : 15512 (java) S 15502 15508 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 19001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15513] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15513/stat : 15513 (java) S 15502 15508 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 19001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15516] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15516/stat : 15516 (java) S 15502 15508 15056 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155938499 937832448 19001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15517] ppid=15502 vsize=915852 CPUtime=0.38
/proc/15508/task/15517/stat : 15517 (java) S 15502 15508 15056 0 -1 64 541 0 0 0 36 2 0 0 16 0 8 0 155938499 937832448 19001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15518] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15518/stat : 15518 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155938499 937832448 19001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15519] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15519/stat : 15519 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155938499 937832448 19001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915852
[startup+25.6242 s]
/proc/loadavg: 1.83 1.94 1.82 3/87 15523
/proc/meminfo: memFree=1399864/2055920 swapFree=4192812/4192956
[pid=15508] ppid=15502 vsize=915852 CPUtime=25.39
/proc/15508/stat : 15508 (java) R 15502 15508 15056 0 -1 0 19274 0 1 0 2514 25 0 0 25 0 8 0 155938491 937832448 19002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074145268 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15508/statm: 228963 19002 2538 14 0 215433 0
[pid=15508/tid=15510] ppid=15502 vsize=915852 CPUtime=0.09
/proc/15508/task/15510/stat : 15510 (java) S 15502 15508 15056 0 -1 64 2100 0 0 0 9 0 0 0 16 0 8 0 155938495 937832448 19002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15512] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15512/stat : 15512 (java) S 15502 15508 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 19002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15513] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15513/stat : 15513 (java) S 15502 15508 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 19002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15516] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15516/stat : 15516 (java) S 15502 15508 15056 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155938499 937832448 19002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15517] ppid=15502 vsize=915852 CPUtime=0.39
/proc/15508/task/15517/stat : 15517 (java) S 15502 15508 15056 0 -1 64 542 0 0 0 37 2 0 0 16 0 8 0 155938499 937832448 19002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15518] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15518/stat : 15518 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155938499 937832448 19002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15519] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15519/stat : 15519 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155938499 937832448 19002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915852
[startup+51.2422 s]
/proc/loadavg: 1.89 1.94 1.82 3/87 15523
/proc/meminfo: memFree=1396728/2055920 swapFree=4192812/4192956
[pid=15508] ppid=15502 vsize=915852 CPUtime=50.76
/proc/15508/stat : 15508 (java) R 15502 15508 15056 0 -1 0 19275 0 1 0 5051 25 0 0 25 0 8 0 155938491 937832448 19003 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074145114 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15508/statm: 228963 19003 2538 14 0 215433 0
[pid=15508/tid=15510] ppid=15502 vsize=915852 CPUtime=0.09
/proc/15508/task/15510/stat : 15510 (java) S 15502 15508 15056 0 -1 64 2100 0 0 0 9 0 0 0 16 0 8 0 155938495 937832448 19003 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15512] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15512/stat : 15512 (java) S 15502 15508 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 19003 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15513] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15513/stat : 15513 (java) S 15502 15508 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 19003 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15516] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15516/stat : 15516 (java) S 15502 15508 15056 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155938499 937832448 19003 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15517] ppid=15502 vsize=915852 CPUtime=0.39
/proc/15508/task/15517/stat : 15517 (java) S 15502 15508 15056 0 -1 64 543 0 0 0 37 2 0 0 17 0 8 0 155938499 937832448 19003 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15518] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15518/stat : 15518 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155938499 937832448 19003 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15519] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15519/stat : 15519 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155938499 937832448 19003 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915852
[startup+102.486 s]
/proc/loadavg: 1.95 1.95 1.83 3/87 15523
/proc/meminfo: memFree=1390968/2055920 swapFree=4192812/4192956
[pid=15508] ppid=15502 vsize=915852 CPUtime=101.56
/proc/15508/stat : 15508 (java) R 15502 15508 15056 0 -1 0 20730 0 1 0 10130 26 0 0 25 0 8 0 155938491 937832448 20457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074153824 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15508/statm: 228963 20457 2538 14 0 215433 0
[pid=15508/tid=15510] ppid=15502 vsize=915852 CPUtime=0.13
/proc/15508/task/15510/stat : 15510 (java) S 15502 15508 15056 0 -1 64 3554 0 0 0 12 1 0 0 16 0 8 0 155938495 937832448 20457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15512] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15512/stat : 15512 (java) S 15502 15508 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 20457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15513] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15513/stat : 15513 (java) S 15502 15508 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 20457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15516] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15516/stat : 15516 (java) S 15502 15508 15056 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155938499 937832448 20457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15517] ppid=15502 vsize=915852 CPUtime=0.39
/proc/15508/task/15517/stat : 15517 (java) S 15502 15508 15056 0 -1 64 543 0 0 0 37 2 0 0 16 0 8 0 155938499 937832448 20457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15518] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15518/stat : 15518 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155938499 937832448 20457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15519] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15519/stat : 15519 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155938499 937832448 20457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915852
[startup+162.553 s]
/proc/loadavg: 1.98 1.95 1.83 3/87 15523
/proc/meminfo: memFree=1390904/2055920 swapFree=4192812/4192956
[pid=15508] ppid=15502 vsize=915852 CPUtime=161.11
/proc/15508/stat : 15508 (java) R 15502 15508 15056 0 -1 0 20730 0 1 0 16085 26 0 0 25 0 8 0 155938491 937832448 20457 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074210386 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1411.56
Current children cumulated vsize (KiB) 915852
[startup+1484.29 s]
/proc/loadavg: 2.01 2.03 1.94 3/87 15523
/proc/meminfo: memFree=1319480/2055920 swapFree=4192812/4192956
[pid=15508] ppid=15502 vsize=915852 CPUtime=1471.09
/proc/15508/stat : 15508 (java) R 15502 15508 15056 0 -1 0 36962 0 1 0 147072 37 0 0 25 0 8 0 155938491 937832448 36683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074173517 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15508/statm: 228963 36683 2538 14 0 215433 0
[pid=15508/tid=15510] ppid=15502 vsize=915852 CPUtime=0.62
/proc/15508/task/15510/stat : 15510 (java) S 15502 15508 15056 0 -1 64 19779 0 0 0 55 7 0 0 16 0 8 0 155938495 937832448 36683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15512] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15512/stat : 15512 (java) S 15502 15508 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 36683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15513] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15513/stat : 15513 (java) S 15502 15508 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 36683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15516] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15516/stat : 15516 (java) S 15502 15508 15056 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155938499 937832448 36683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15517] ppid=15502 vsize=915852 CPUtime=0.39
/proc/15508/task/15517/stat : 15517 (java) S 15502 15508 15056 0 -1 64 544 0 0 0 37 2 0 0 16 0 8 0 155938499 937832448 36683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15518] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15518/stat : 15518 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155938499 937832448 36683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15519] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15519/stat : 15519 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155938499 937832448 36683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1471.09
Current children cumulated vsize (KiB) 915852
[startup+1544.37 s]
/proc/loadavg: 2.00 2.02 1.94 3/87 15523
/proc/meminfo: memFree=1307128/2055920 swapFree=4192812/4192956
[pid=15508] ppid=15502 vsize=915852 CPUtime=1530.65
/proc/15508/stat : 15508 (java) R 15502 15508 15056 0 -1 0 40060 0 1 0 153026 39 0 0 25 0 8 0 155938491 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918510 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15508/statm: 228963 39780 2538 14 0 215433 0
[pid=15508/tid=15510] ppid=15502 vsize=915852 CPUtime=0.75
/proc/15508/task/15510/stat : 15510 (java) S 15502 15508 15056 0 -1 64 22876 0 0 0 66 9 0 0 16 0 8 0 155938495 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15512] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15512/stat : 15512 (java) S 15502 15508 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15513] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15513/stat : 15513 (java) S 15502 15508 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15516] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15516/stat : 15516 (java) S 15502 15508 15056 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15517] ppid=15502 vsize=915852 CPUtime=0.39
/proc/15508/task/15517/stat : 15517 (java) S 15502 15508 15056 0 -1 64 544 0 0 0 37 2 0 0 16 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15518] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15518/stat : 15518 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15519] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15519/stat : 15519 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.65
Current children cumulated vsize (KiB) 915852
[startup+1604.46 s]
/proc/loadavg: 2.00 2.02 1.94 3/87 15523
/proc/meminfo: memFree=1307128/2055920 swapFree=4192812/4192956
[pid=15508] ppid=15502 vsize=915852 CPUtime=1590.21
/proc/15508/stat : 15508 (java) R 15502 15508 15056 0 -1 0 40060 0 1 0 158982 39 0 0 25 0 8 0 155938491 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074188362 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15508/statm: 228963 39780 2538 14 0 215433 0
[pid=15508/tid=15510] ppid=15502 vsize=915852 CPUtime=0.75
/proc/15508/task/15510/stat : 15510 (java) S 15502 15508 15056 0 -1 64 22876 0 0 0 66 9 0 0 16 0 8 0 155938495 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15512] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15512/stat : 15512 (java) S 15502 15508 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15513] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15513/stat : 15513 (java) S 15502 15508 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15516] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15516/stat : 15516 (java) S 15502 15508 15056 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15517] ppid=15502 vsize=915852 CPUtime=0.39
/proc/15508/task/15517/stat : 15517 (java) S 15502 15508 15056 0 -1 64 544 0 0 0 37 2 0 0 16 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15518] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15518/stat : 15518 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15519] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15519/stat : 15519 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1590.21
Current children cumulated vsize (KiB) 915852
[startup+1664.54 s]
/proc/loadavg: 2.00 2.01 1.94 3/87 15523
/proc/meminfo: memFree=1307064/2055920 swapFree=4192812/4192956
[pid=15508] ppid=15502 vsize=915852 CPUtime=1649.72
/proc/15508/stat : 15508 (java) R 15502 15508 15056 0 -1 0 40060 0 1 0 164933 39 0 0 25 0 8 0 155938491 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074169915 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15508/statm: 228963 39780 2538 14 0 215433 0
[pid=15508/tid=15510] ppid=15502 vsize=915852 CPUtime=0.75
/proc/15508/task/15510/stat : 15510 (java) S 15502 15508 15056 0 -1 64 22876 0 0 0 66 9 0 0 16 0 8 0 155938495 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15512] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15512/stat : 15512 (java) S 15502 15508 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15513] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15513/stat : 15513 (java) S 15502 15508 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15516] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15516/stat : 15516 (java) S 15502 15508 15056 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15517] ppid=15502 vsize=915852 CPUtime=0.39
/proc/15508/task/15517/stat : 15517 (java) S 15502 15508 15056 0 -1 64 544 0 0 0 37 2 0 0 16 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15518] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15518/stat : 15518 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15519] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15519/stat : 15519 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.72
Current children cumulated vsize (KiB) 915852
[startup+1724.62 s]
/proc/loadavg: 2.12 2.04 1.95 3/87 15523
/proc/meminfo: memFree=1307000/2055920 swapFree=4192812/4192956
[pid=15508] ppid=15502 vsize=915852 CPUtime=1709.28
/proc/15508/stat : 15508 (java) R 15502 15508 15056 0 -1 0 40060 0 1 0 170888 40 0 0 25 0 8 0 155938491 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074153818 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15508/statm: 228963 39780 2538 14 0 215433 0
[pid=15508/tid=15510] ppid=15502 vsize=915852 CPUtime=0.75
/proc/15508/task/15510/stat : 15510 (java) S 15502 15508 15056 0 -1 64 22876 0 0 0 66 9 0 0 16 0 8 0 155938495 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15512] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15512/stat : 15512 (java) S 15502 15508 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15513] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15513/stat : 15513 (java) S 15502 15508 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15516] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15516/stat : 15516 (java) S 15502 15508 15056 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15517] ppid=15502 vsize=915852 CPUtime=0.39
/proc/15508/task/15517/stat : 15517 (java) S 15502 15508 15056 0 -1 64 544 0 0 0 37 2 0 0 16 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15518] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15518/stat : 15518 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15519] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15519/stat : 15519 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.28
Current children cumulated vsize (KiB) 915852
[startup+1784.7 s]
/proc/loadavg: 2.04 2.03 1.95 3/87 15523
/proc/meminfo: memFree=1306936/2055920 swapFree=4192812/4192956
[pid=15508] ppid=15502 vsize=915852 CPUtime=1768.83
/proc/15508/stat : 15508 (java) R 15502 15508 15056 0 -1 0 40060 0 1 0 176843 40 0 0 25 0 8 0 155938491 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074212259 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15508/statm: 228963 39780 2538 14 0 215433 0
[pid=15508/tid=15510] ppid=15502 vsize=915852 CPUtime=0.75
/proc/15508/task/15510/stat : 15510 (java) S 15502 15508 15056 0 -1 64 22876 0 0 0 66 9 0 0 16 0 8 0 155938495 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15512] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15512/stat : 15512 (java) S 15502 15508 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15513] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15513/stat : 15513 (java) S 15502 15508 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15516] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15516/stat : 15516 (java) S 15502 15508 15056 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15517] ppid=15502 vsize=915852 CPUtime=0.39
/proc/15508/task/15517/stat : 15517 (java) S 15502 15508 15056 0 -1 64 544 0 0 0 37 2 0 0 16 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15518] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15518/stat : 15518 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15519] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15519/stat : 15519 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768.83
Current children cumulated vsize (KiB) 915852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.18 s]
/proc/loadavg: 2.02 2.02 1.95 3/87 15581
/proc/meminfo: memFree=1339880/2055920 swapFree=4192812/4192956
[pid=15508] ppid=15502 vsize=915852 CPUtime=1800.06
/proc/15508/stat : 15508 (java) R 15502 15508 15056 0 -1 0 40060 0 1 0 179965 41 0 0 25 0 8 0 155938491 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074212348 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15508/statm: 228963 39780 2538 14 0 215433 0
[pid=15508/tid=15510] ppid=15502 vsize=915852 CPUtime=0.75
/proc/15508/task/15510/stat : 15510 (java) S 15502 15508 15056 0 -1 64 22876 0 0 0 66 9 0 0 16 0 8 0 155938495 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15512] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15512/stat : 15512 (java) S 15502 15508 15056 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15513] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15513/stat : 15513 (java) S 15502 15508 15056 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155938495 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15516] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15516/stat : 15516 (java) S 15502 15508 15056 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15517] ppid=15502 vsize=915852 CPUtime=0.39
/proc/15508/task/15517/stat : 15517 (java) S 15502 15508 15056 0 -1 64 544 0 0 0 37 2 0 0 16 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15518] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15518/stat : 15518 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15508/tid=15519] ppid=15502 vsize=915852 CPUtime=0
/proc/15508/task/15519/stat : 15519 (java) S 15502 15508 15056 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155938499 937832448 39780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915852
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1816.34
CPU time (s): 1800.22
CPU user time (s): 1799.76
CPU system time (s): 0.45893
CPU usage (%): 99.1127
Max. virtual memory (cumulated for all children) (KiB): 915852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.45893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43408
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= 38566
involuntary context switches= 78367
runsolver used 2.00169 s user time and 4.86826 s system time
The end
Begin job on node38 on Sat Jan 6 09:23:04 UTC 2007
IDJOB= 211018
IDBENCH= 4662
FILE ID= node38/211018-1168075382
PBS_JOBID= 3476002
Free space on /tmp= 66509 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/46s-smv.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211018-1168075382/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-211018-1168075382 -o ROOT/results/node38/solver-211018-1168075382 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211018-1168075382/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c67e75c3854f587fdae15b47c6c9ccf0
RANDOM SEED= 31481050
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.267
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.267
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: 1632944 kB
Buffers: 25752 kB
Cached: 304932 kB
SwapCached: 0 kB
Active: 72368 kB
Inactive: 279584 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1632944 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 9436 kB
Writeback: 0 kB
Mapped: 31500 kB
Slab: 56632 kB
Committed_AS: 3100560 kB
PageTables: 1736 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= 66513 MiB
End job on node38 on Sat Jan 6 09:53:25 UTC 2007